Collection

Supplementary Materials

Supplementary materials (e.g., Software, Datasets, ...) corresponding to research articles published by Dagstuhl Publishing

Artifact
Software
PACE2024

Authors: Michael Jünger, Paul J. Jünger, Petra Mutzel, and Gerhard Reinelt


Abstract

Cite as

Michael Jünger, Paul J. Jünger, Petra Mutzel, Gerhard Reinelt. PACE2024 (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{GitHub_OSCM_2024,
   title = {{PACE2024}}, 
   author = {J\"{u}nger, Michael and J\"{u}nger, Paul J. and Mutzel, Petra and Reinelt, Gerhard},
   note = {Software, version 1.0. (visited on 2024-12-05)},
   url = {https://github.com/pauljngr/PACE2024},
   doi = {10.4230/artifacts.22523},
}
Artifact
Software
Arcee

Authors: Kimon Boehmer, Lukas Lee George, Fanny Hauser, and Jesse Palarus


Abstract

Cite as

Kimon Boehmer, Lukas Lee George, Fanny Hauser, Jesse Palarus. Arcee (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{Arcee,
   title = {{Arcee}}, 
   author = {Boehmer, Kimon and George, Lukas Lee and Hauser, Fanny and Palarus, Jesse},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:4a1810b816bec954e0780d591b0c79276ac8f285;origin=https://github.com/lucidLuckylee/pace_2024;visit=swh:1:snp:c15056f72ef6b62e3ef8f87b844229391c3a10b8;anchor=swh:1:rev:9269201822ced0770c31bfc3fccb48c45abbfb42}{\texttt{swh:1:dir:4a1810b816bec954e0780d591b0c79276ac8f285}} (visited on 2024-12-05)},
   url = {https://github.com/lucidLuckylee/pace_2024},
   doi = {10.4230/artifacts.22579},
}
Artifact
Software
OCMu64

Authors: Ragnar Groot Koerkamp and Mees de Vries


Abstract

Cite as

Ragnar Groot Koerkamp, Mees de Vries. OCMu64 (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22525,
   title = {{OCMu64}}, 
   author = {Groot Koerkamp, Ragnar and de Vries, Mees},
   note = {Software (visited on 2024-12-05)},
   url = {https://github.com/mjdv/ocmu64},
   doi = {10.4230/artifacts.22525},
}
Artifact
Software
CoqInterval

Authors: Paul Geneau de Lamarlière and Guillaume Melquiond


Abstract

Cite as

Paul Geneau de Lamarlière, Guillaume Melquiond. CoqInterval (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22454,
   title = {{CoqInterval}}, 
   author = {Geneau de Lamarli\`{e}re, Paul and Melquiond, Guillaume},
   note = {Software, version 4.10.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:78da3e6e98b7ef018180119255ce1e10a048cc88;origin=https://gitlab.inria.fr/coqinterval/interval.git;visit=swh:1:snp:c1aa8c7d68f6002ef304d4d2ea6f5170da9efb39}{\texttt{swh:1:dir:78da3e6e98b7ef018180119255ce1e10a048cc88}} (visited on 2024-11-28)},
   url = {https://gitlab.inria.fr/coqinterval/interval.git},
   doi = {10.4230/artifacts.22454},
}
Artifact
Software
ROADEF_SCHEDULING

Authors: Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, and Laure Brisoux-Devendeville


Abstract

Cite as

Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville. ROADEF_SCHEDULING (Software, Source Code,~Data,~Benchmark). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22455,
   title = {{ROADEF\underlineSCHEDULING}}, 
   author = {Cherif, Sami and Sattoutah, Heythem and Li, Chu-Min and Lucet, Corinne and Brisoux-Devendeville, Laure},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:7083377094f69163d37d30b77d740c72c562139d;origin=https://github.com/satoutahhaithem/ROADEF_SCHEDULING;visit=swh:1:snp:c34fc60c52e7d5289f8e1c049ce6ba5e0adc48d2;anchor=swh:1:rev:92a1a45786ba37797dda7d78f7d02347f6f2a0a8}{\texttt{swh:1:dir:7083377094f69163d37d30b77d740c72c562139d}} (visited on 2024-11-28)},
   url = {https://github.com/satoutahhaithem/ROADEF_SCHEDULING},
   doi = {10.4230/artifacts.22455},
}
Artifact
Software
Global Benchmark Database

Authors: Markus Iser and Christoph Jabs


Abstract

Cite as

Markus Iser, Christoph Jabs. Global Benchmark Database (Software, GBD Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22456,
   title = {{Global Benchmark Database}}, 
   author = {Iser, Markus and Jabs, Christoph},
   note = {Software, version 4.8.5., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:37fb54c7420fd71b6c4930bcf7e78d5129325a6d;origin=https://github.com/Udopia/gbd;visit=swh:1:snp:2ac08f4b21c50b3e1afa06cdf1c124f23032a3ee;anchor=swh:1:rev:d046347f76eab17038205b3485b0dec83d90860f}{\texttt{swh:1:dir:37fb54c7420fd71b6c4930bcf7e78d5129325a6d}} (visited on 2024-11-28)},
   url = {https://github.com/Udopia/gbd},
   doi = {10.4230/artifacts.22456},
}
Artifact
Software
Global Benchmark Database (Extension Module)

Authors: Markus Iser and Christoph Jabs


Abstract

Cite as

Markus Iser, Christoph Jabs. Global Benchmark Database (Extension Module) (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22457,
   title = {{Global Benchmark Database (Extension Module)}}, 
   author = {Iser, Markus and Jabs, Christoph},
   note = {Software, version 1.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:705258b1bd5c3415069fbd156759945a8ad725c0;origin=https://github.com/Udopia/gbdc;visit=swh:1:snp:23f6abd3b9d7389152ed319b2671f16df2071c42;anchor=swh:1:rev:7b6183a29cca2316e7b5b6801d9cc0c86b3ed404}{\texttt{swh:1:dir:705258b1bd5c3415069fbd156759945a8ad725c0}} (visited on 2024-11-28)},
   url = {https://github.com/Udopia/gbdc},
   doi = {10.4230/artifacts.22457},
}
Artifact
Software
Fluctuation Find Min and Max

Authors: Clemens Heuberger, Daniel Krenn, and Tobias Lechner


Abstract

Cite as

Clemens Heuberger, Daniel Krenn, Tobias Lechner. Fluctuation Find Min and Max (Software, Code for Example 9). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22448,
   title = {{Fluctuation Find Min and Max}}, 
   author = {Heuberger, Clemens and Krenn, Daniel and Lechner, Tobias},
   note = {Software, version 1.0., Austrian Science Fund (FWF) [10.55776/DOC78], swhId: \href{https://archive.softwareheritage.org/swh:1:dir:e3d6789813ee435280117108c7bfd47809aeecc9;origin=https://gitlab.com/cheuberg/fluctuation-find-min-max;visit=swh:1:snp:4c5976f8bc6f69a47e4c593ebe5bee8e221afda3;anchor=swh:1:rev:eff7aab95599c61ea5c9102aceedfa8736742e3b}{\texttt{swh:1:dir:e3d6789813ee435280117108c7bfd47809aeecc9}} (visited on 2024-11-28)},
   url = {https://gitlab.com/cheuberg/fluctuation-find-min-max},
   doi = {10.4230/artifacts.22448},
}
Artifact
InteractiveResource
Magic Microcontroller Simulator

Authors: Howe Choong Yin and Alex Churchill


Abstract

Cite as

Howe Choong Yin, Alex Churchill. Magic Microcontroller Simulator (InteractiveResource, Magic Microcontroller Simulator). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22449,
   title = {{Magic Microcontroller Simulator}}, 
   author = {Yin, Howe Choong and Churchill, Alex},
   note = {InteractiveResource, version 1.0. (visited on 2024-11-28)},
   url = {https://www.toothycat.net/~hologram/Magic/MTGProgSimulatorText.html},
   doi = {10.4230/artifacts.22449},
}
Artifact
Software
QECC: Quantum Computation and Error-Correcting Codes

Authors: Jacques Garrigue and Takafumi Saikawa


Abstract

Cite as

Jacques Garrigue, Takafumi Saikawa. QECC: Quantum Computation and Error-Correcting Codes (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22446,
   title = {{QECC: Quantum Computation and Error-Correcting Codes}}, 
   author = {Garrigue, Jacques and Saikawa, Takafumi},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:d4d158675180ee276e730bd7f67a9122a6472eb3;origin=https://github.com/t6s/qecc;visit=swh:1:snp:98c582f9ca38ec1ef707cc25a4ef8f23befe0386;anchor=swh:1:rev:afc45f0ce1b3258fbf0c9469085ff8749de14a2a}{\texttt{swh:1:dir:d4d158675180ee276e730bd7f67a9122a6472eb3}} (visited on 2024-11-28)},
   url = {https://github.com/t6s/qecc},
   doi = {10.4230/artifacts.22446},
}
Artifact
Software
OWL Ontologies for the Urban Flooding Open Knowledge Network (UF-OKN)

Authors: Torsten Hahmann and David K. Kedrowski


Abstract

Cite as

Torsten Hahmann, David K. Kedrowski. OWL Ontologies for the Urban Flooding Open Knowledge Network (UF-OKN) (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22447,
   title = {{OWL Ontologies for the Urban Flooding Open Knowledge Network (UF-OKN)}}, 
   author = {Hahmann, Torsten and Kedrowski, David K.},
   note = {Software, version 2.1., National Science Foundation, award# 2033607, National Science Foundation, award# 1937099, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:00a0f1fbcd022a6beed4d88b6430567ef1314872;origin=https://github.com/UFOKN/Knowledge-Graph;visit=swh:1:snp:c72cfbb7d2958ec9082a9266afc9de82b375f737;anchor=swh:1:rev:4b80c683fa9b83d85e3cb09cadc608069172e308}{\texttt{swh:1:dir:00a0f1fbcd022a6beed4d88b6430567ef1314872}} (visited on 2024-11-28)},
   url = {https://github.com/UFOKN/Knowledge-Graph/tree/master/ontologies/v2.1},
   doi = {10.4230/artifacts.22447},
}
Artifact
Software
TDA-Jyamiti/Algos-cplxs-pers-modules

Authors: Tamal K. Dey, Florian Russold, and Shreyas N. Samaga


Abstract

Cite as

Tamal K. Dey, Florian Russold, Shreyas N. Samaga. TDA-Jyamiti/Algos-cplxs-pers-modules (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22452,
   title = {{TDA-Jyamiti/Algos-cplxs-pers-modules}}, 
   author = {Dey, Tamal K. and Russold, Florian and Samaga, Shreyas N.},
   note = {Software, NSF 2301360, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:6c13c2c3aeb94cc68377d695005250d1ab892cb7;origin=https://github.com/TDA-Jyamiti/Algos-cplxs-pers-modules;visit=swh:1:snp:cf1c636b5c687db1f9fd059ec1c433c6c280180b;anchor=swh:1:rev:5040010c80b997ed83eaee51c314ac2a48c9cfeb}{\texttt{swh:1:dir:6c13c2c3aeb94cc68377d695005250d1ab892cb7}} (visited on 2024-11-28)},
   url = {https://github.com/TDA-Jyamiti/Algos-cplxs-pers-modules/},
   doi = {10.4230/artifacts.22452},
}
Artifact
Software
stg-tud/ainf-compiling-with-arrays

Authors: David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini


Abstract

Cite as

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini. stg-tud/ainf-compiling-with-arrays (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22453,
   title = {{stg-tud/ainf-compiling-with-arrays}}, 
   author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:8e0e755d11e4e3e91fb05bf8df1a5c8bec0f553a;origin=https://github.com/stg-tud/ainf-compiling-with-arrays;visit=swh:1:snp:e92b86a1a72b7e96bb4c6207f6d6a157de14195f;anchor=swh:1:rev:a8a88bca53396f58df5ae5d1da0755f1b02b01b8}{\texttt{swh:1:dir:8e0e755d11e4e3e91fb05bf8df1a5c8bec0f553a}} (visited on 2024-11-28)},
   url = {https://github.com/stg-tud/ainf-compiling-with-arrays},
   doi = {10.4230/artifacts.22453},
}
Artifact
Software
fwjmath/maxocc-subword

Authors: Wenjie Fang


Abstract

Cite as

Wenjie Fang. fwjmath/maxocc-subword (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22450,
   title = {{fwjmath/maxocc-subword}}, 
   author = {Fang, Wenjie},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:fef689a6896632f63f67b460e989fc106d5899e0;origin=https://github.com/fwjmath/maxocc-subword;visit=swh:1:snp:93b3836bd2f1078505ef49ee70d7bfaedcbda9cc;anchor=swh:1:rev:82a00ae9fddc73a2a246bfdb1980f1a39c3c8496}{\texttt{swh:1:dir:fef689a6896632f63f67b460e989fc106d5899e0}} (visited on 2024-11-28)},
   url = {https://github.com/fwjmath/maxocc-subword},
   doi = {10.4230/artifacts.22450},
}
Artifact
Software
STARK: A Software Tool for the Analysis of Robustness in the unKnown environment

Authors: Valentina Castiglioni, Michele Loreti, and Simone Tini


Abstract

Cite as

Valentina Castiglioni, Michele Loreti, Simone Tini. STARK: A Software Tool for the Analysis of Robustness in the unKnown environment (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@misc{dagstuhl-artifact-22451,
   title = {{STARK: A Software Tool for the Analysis of Robustness in the unKnown environment}}, 
   author = {Castiglioni, Valentina and Loreti, Michele and Tini, Simone},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:ddfb418d5a080b8e83323a1b2c38d9f7065e2554;origin=https://github.com/quasylab/jspear;visit=swh:1:snp:8132c5d3ed79097d14de6b333de38b74741c7f2f;anchor=swh:1:rev:c6b2386d36b72ab790999d2963203b7d5aa03ce7}{\texttt{swh:1:dir:ddfb418d5a080b8e83323a1b2c38d9f7065e2554}} (visited on 2024-11-28)},
   url = {https://github.com/quasylab/jspear/tree/working},
   doi = {10.4230/artifacts.22451},
}
  • Free-Text Filter

  • Refine by Publication Year
  • 82 2024

  • Refine by Category
  • 76 Software
  • 3 Dataset
  • 1 Collection
  • 1 InteractiveResource
  • 1 Other

  • Refine by Author
  • 4 Iser, Markus
  • 4 Jabs, Christoph
  • 2 Ahmed, Omar Y.
  • 2 Berlakovich, Felix
  • 2 Brown, Nathaniel K.
  • Show More...

  • Refine by Keyword
  • 2 Optimal Layout Synthesis
  • 2 Parallel Plans
  • 2 Quantum Circuits
  • 2 SAT solving
  • 2 agda
  • Show More...

  • Refine by Programming Language
  • 25 Python
  • 19 C++
  • 9 Shell
  • 8 C
  • 8 Coq
  • Show More...

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail