Supplementary Materials

Abstract

Cite as

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

@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},
}

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)

@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},
}

Abstract

Cite as

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

@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},
}

Abstract

Cite as

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

@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},
}

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)

@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},
}

Abstract

Cite as

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

@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},
}

Abstract

Cite as

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

@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},
}

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)

@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},
}

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)

@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},
}

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)

@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},
}

Abstract

Cite as

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

@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},
}

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)

@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},
}

Abstract

Cite as

Michal Konečný, Sewon Park, Holger Thies. cAERN library (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

@misc{dagstuhl-artifact-22444,
   title = {{cAERN library}}, 
   author = {Kone\v{c}n\'{y}, Michal and Park, Sewon and Thies, Holger},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:91c89245541a8dbcad3ab085bb8682112e684311;origin=https://github.com/holgerthies/coq-aern;visit=swh:1:snp:4a136325144f9e2b906fa56a7cd796b6cfbcb691;anchor=swh:1:rev:fac208d7aa858884395cb77474788d4c8605c8ce}{\texttt{swh:1:dir:91c89245541a8dbcad3ab085bb8682112e684311}} (visited on 2024-11-28)},
   url = {https://github.com/holgerthies/coq-aern},
   doi = {10.4230/artifacts.22444},
}

Abstract

Cite as

Damien Pous. Hypergraphs (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

@misc{dagstuhl-artifact-22445,
   title = {{Hypergraphs}}, 
   author = {Pous, Damien},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:028863b2f75dde258591611a6c7c165e289db890;origin=https://github.com/damien-pous/hypergraph;visit=swh:1:snp:76c08bf95d77951c90bdd771a828219ebb4cdcd2;anchor=swh:1:rev:661b5ef93f9d6a2f450f6f0638a1b61780dfe0a4}{\texttt{swh:1:dir:028863b2f75dde258591611a6c7c165e289db890}} (visited on 2024-11-28)},
   url = {https://perso.ens-lyon.fr/damien.pous/hypergraph/},
   doi = {10.4230/artifacts.22445},
}

Abstract

Cite as

Markus Iser, Christoph Jabs. GBD Evaluation Scripts (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

@misc{dagstuhl-artifact-22458,
   title = {{GBD Evaluation Scripts}}, 
   author = {Iser, Markus and Jabs, Christoph},
   note = {Software, version 1.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:159fae7ac54d9f678ee38ed882dae693cd5f14cf;origin=https://github.com/Udopia/gbdeval;visit=swh:1:snp:0ca8e899579d511367cf2981a5da9ff656f6577d;anchor=swh:1:rev:1db61d77d84d5e54ad5cedd66cd15f9334212875}{\texttt{swh:1:dir:159fae7ac54d9f678ee38ed882dae693cd5f14cf}} (visited on 2024-11-28)},
   url = {https://github.com/Udopia/gbdeval},
   doi = {10.4230/artifacts.22458},
}