Michael Jünger, Paul J. Jünger, Petra Mutzel, Gerhard Reinelt. PACE2024 (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@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}, }
Kimon Boehmer, Lukas Lee George, Fanny Hauser, Jesse Palarus. Arcee (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@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}, }
Ragnar Groot Koerkamp, Mees de Vries. OCMu64 (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
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}, }
Feedback for Dagstuhl Publishing