Feedback on the Current Page
Vikraman Choudhury, Wind Wong. Artifact for Symmetries in Sorting (Software, Formalization). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{choudhuryAgdasymmetries2025,
title = {{Artifact for Symmetries in Sorting}},
author = {Choudhury, Vikraman and Wong, Wind},
note = {Software, 101106046, 101115046, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:5e86a19fe276e62519af96e6bf3c8ec42f8fe4f2;origin=https://github.com/windtf/agda-symmetries;visit=swh:1:snp:ee1178405c990e0e7f94b69c8029d18a6fff6ded;anchor=swh:1:rev:58ed7d1d33bc9b12cb95d1e31dfb49446a7d3119}{\texttt{swh:1:dir:5e86a19fe276e62519af96e6bf3c8ec42f8fe4f2}} (visited on 2026-07-30)},
url = {https://github.com/windtf/agda-symmetries},
doi = {10.4230/artifacts.26218},
}
Robin Adams, Jean-Philippe Bernardy, Lorenzo Perticone, Jeremy Pope. Graded Modal Type Theory for Pulse Schedules (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27329,
title = {{Graded Modal Type Theory for Pulse Schedules}},
author = {Adams, Robin and Bernardy, Jean-Philippe and Perticone, Lorenzo and Pope, Jeremy},
note = {Software, This research was funded by the SSF (Swedish Foundation for Strategic Research) project QuantumStack, grant number FUS21-0063., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:bc79e493a8f11d72e5382289e1ef8d1284024082;origin=https://codeberg.org/radams78/grampus.git;visit=swh:1:snp:dfc2042f8a825085f51d25ac29729c9fbbe428d6;anchor=swh:1:rev:71bd1fc1fe6105e27027da7b208cf83da35f9b4f}{\texttt{swh:1:dir:bc79e493a8f11d72e5382289e1ef8d1284024082}} (visited on 2026-07-30)},
url = {https://codeberg.org/radams78/grampus.git},
doi = {10.4230/artifacts.27329},
}
Casper Ståhl, Levs Gondelman, René Rydhof Hansen, Danny Bøgsted Poulsen. LC4S-Rocq (Software, Source code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27330,
title = {{LC4S-Rocq}},
author = {St\r{a}hl, Casper and Gondelman, Levs and Hansen, Ren\'{e} Rydhof and Poulsen, Danny B{\o}gsted},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:828cd84332eae467073735e4aee31198815adf58;origin=https://github.com/CasperStaahl/LC4S-Rocq;visit=swh:1:snp:6621719c2965396c06e9906088cd29f038a2d0fa;anchor=swh:1:rev:6fb8b0157f1fffd88ff7c55f72b2b19eb8c2e603}{\texttt{swh:1:dir:828cd84332eae467073735e4aee31198815adf58}} (visited on 2026-07-30)},
url = {https://github.com/CasperStaahl/LC4S-Rocq},
doi = {10.4230/artifacts.27330},
}
Daniel Theisges da Costa, Júlio Costa, Paulo Jorge Teixeira Matos, Maria João Varanda Pereira. SmartLEM / OntologyToUI (Software, NPM Package source code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27314,
title = {{SmartLEM / OntologyToUI}},
author = {da Costa, Daniel Theisges and Costa, J\'{u}lio and Matos, Paulo Jorge Teixeira and Pereira, Maria Jo\~{a}o Varanda},
note = {Software, version v1.0., This work was supported by national funds: UID/05757 - Research Centre in Digitalization and Intelligent Robotics (CeDRI); and SusTEC, LA/P/0007/2020 (DOI: 10.54499/LA/P/0007/2020) and funded by CETP, the Clean Energy Transition Partnership under the 2022 CETP joint call for research proposals, co funded by the European Commission (GAN° 101069750). Specifically, the financial assistance of the FCT grant CETP/0003/2022 (DOI 10.54499/CETP/0003/2022) towards this research is hereby acknowledged., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:840123e5e0c6e231e56bad1d41fe75ba1890f803;origin=https://github.com/NewDaniC/OntologyToUI;visit=swh:1:snp:d7455bc8e495b2219eda4e30e6750295448bb7ea;anchor=swh:1:rev:262830d8dc5a4aca5ec165270586626932dad37c}{\texttt{swh:1:dir:840123e5e0c6e231e56bad1d41fe75ba1890f803}} (visited on 2026-07-28)},
url = {https://github.com/NewDaniC/OntologyToUI},
doi = {10.4230/artifacts.27314},
}
Xiaolan Xu, Sara Mendes. xu-xiaolan/gender-bias-en-pt-at (Dataset). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27322,
title = {{xu-xiaolan/gender-bias-en-pt-at}},
author = {Xu, Xiaolan and Mendes, Sara},
note = {Dataset, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:f3d848b15460545b49033fd09dfa2af692d74510;origin=https://github.com/xu-xiaolan/gender-bias-en-pt-at;visit=swh:1:snp:18d2c452ed832594afd062e5f91c13d5882d256c;anchor=swh:1:rev:2ae81b8ef8bbfc678337b89a3574e5cdc901875f}{\texttt{swh:1:dir:f3d848b15460545b49033fd09dfa2af692d74510}} (visited on 2026-07-28)},
url = {https://github.com/xu-xiaolan/gender-bias-en-pt-at},
doi = {10.4230/artifacts.27322},
}
Ana Rita Peixoto. topicwordgraph (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27313,
title = {{topicwordgraph}},
author = {Peixoto, Ana Rita},
note = {Software, version 1.0., This work was partially supported by national funds through Fundação para a Ciência e a Tecnologia, I.P. (FCT), ISTAR-Iscte Pluriannual Projects UID/04466/2025 (https://doi.org/10.54499/UID/04466/2025)., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2f09eb9f388de51f82caa9f5e7a78d537a07314a;origin=https://github.com/ritapx/topicwordgraph;visit=swh:1:snp:77fb812aa98c3d8aeab5757b401ee677d101bb57;anchor=swh:1:rev:5dc02481a29496d55d61aecf7ab4177c88181dac}{\texttt{swh:1:dir:2f09eb9f388de51f82caa9f5e7a78d537a07314a}} (visited on 2026-07-28)},
url = {https://github.com/ritapx/topicwordgraph},
doi = {10.4230/artifacts.27313},
}
@misc{dagpub-supp--paper-25457-urlgithub.com-matthewlakin-LocalizedEnumeratorOptimization,
title = {{LocalizedEnumeratorOptimization}},
author = {Lakin, Matthew R.},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:095f551c8228cf74f1548237675d8391b3963452;origin=https://github.com/matthewlakin/LocalizedEnumeratorOptimization;visit=swh:1:snp:0dd546eb08d02d7763e89ab566b95e59b3f08a51;anchor=swh:1:rev:a71a192a507f94738e58a41f6ae52afbe541d61a}{\texttt{swh:1:dir:095f551c8228cf74f1548237675d8391b3963452}} (visited on 2026-07-27)},
url = {https://github.com/matthewlakin/LocalizedEnumeratorOptimization},
}
Afonso B. Caniço, André L. Santos. ambco-iscte/jask (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27040,
title = {{ambco-iscte/jask}},
author = {B. Cani\c{c}o, Afonso and Santos, Andr\'{e} L.},
note = {Software, version 0.7.3. (visited on 2026-07-22)},
url = {https://github.com/ambco-iscte/jask},
doi = {10.4230/artifacts.27040},
}
Ana Paula Silva. SLR Protocol (Text). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27127,
title = {{SLR Protocol}},
author = {Silva, Ana Paula},
note = {Text (visited on 2026-07-22)},
url = {https://drive.google.com/open?id=1WMa233ZR-LRSCwsrNX7SMtLi9cgrP3-1&usp=drive_fs},
doi = {10.4230/artifacts.27127},
}
José Paiva, Ricardo Queirós. Gamibot (Text, Project Website). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27132,
title = {{Gamibot}},
author = {Paiva, Jos\'{e} and Queir\'{o}s, Ricardo},
note = {Text (visited on 2026-07-22)},
url = {https://inov-norte.github.io/gamibot-docs},
doi = {10.4230/artifacts.27132},
}
Aeacus Sheng. Dsc (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-26768,
title = {{Dsc}},
author = {Sheng, Aeacus},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:3426ce298c72bee5193a80074861219cff844070;origin=https://github.com/Aeacu2/Dsc;visit=swh:1:snp:dabe0de147e4a71e4c8a6cb04a350397ae70df98;anchor=swh:1:rev:bea2da7e663f4b543e057d36a4dba9bd422abc03}{\texttt{swh:1:dir:3426ce298c72bee5193a80074861219cff844070}} (visited on 2026-07-16)},
url = {https://github.com/Aeacu2/Dsc},
doi = {10.4230/artifacts.26768},
}
Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda. auto-res/lean-rademacher (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27120,
title = {{auto-res/lean-rademacher}},
author = {Sonoda, Sho and Kasaura, Kazumi and Mizuno, Yuma and Tsukamoto, Kei and Onda, Naoto},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:06614ca069f4562b630fca2903e3b286a426e317;origin=https://github.com/auto-res/lean-rademacher;visit=swh:1:snp:d3bc817a59894cb2cbb2258c50aee2a4e7f63d3e;anchor=swh:1:rev:f34ab4f0a9029682f1af3179a3fe9b5e114e511f}{\texttt{swh:1:dir:06614ca069f4562b630fca2903e3b286a426e317}} (visited on 2026-07-16)},
url = {https://github.com/auto-res/lean-rademacher/tree/f34ab4f0a9029682f1af3179a3fe9b5e114e511f},
doi = {10.4230/artifacts.27120},
}
Vladimir Gladshtein, K. Rustan M. Leino. dafny-lang/b3 (Software, Dafny implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27039,
title = {{dafny-lang/b3}},
author = {Gladshtein, Vladimir and Leino, K. Rustan M.},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:1795668a148637332f93759bb96a4cd4283d6e32;origin=https://github.com/dafny-lang/b3;visit=swh:1:snp:648aaa9b8094ff8bbc35fddd2bcb5703151269fe;anchor=swh:1:rev:b24a2b2d6101df900e67d3bb151c4e85af4cd16d}{\texttt{swh:1:dir:1795668a148637332f93759bb96a4cd4283d6e32}} (visited on 2026-07-16)},
url = {https://github.com/dafny-lang/b3},
doi = {10.4230/artifacts.27039},
}
Reed Mullanix, Jacques Carette. panbench (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{Mullanix:2026,
title = {{panbench}},
author = {Mullanix, Reed and Carette, Jacques},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:1ab8fcd7ff7e56663004064274c3fe86bc213ec3;origin=https://github.com/JacquesCarette/panbench;visit=swh:1:snp:6182348efe3fa4a888a6200c05c0c0970178a16c;anchor=swh:1:rev:c2089c1f2ec9871b3c6ecdfd6ba63fda835298ef}{\texttt{swh:1:dir:1ab8fcd7ff7e56663004064274c3fe86bc213ec3}} (visited on 2026-07-16)},
url = {https://github.com/JacquesCarette/panbench},
doi = {10.4230/artifacts.26134},
}
Sage Binder, Hanna Lachnitt, Katherine Kosaian. Apply2Isar (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27121,
title = {{Apply2Isar}},
author = {Binder, Sage and Lachnitt, Hanna and Kosaian, Katherine},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:8753f0c693cdc7159375110e6dd9d977e62984a8;origin=https://github.com/sagebinder/apply2isar;visit=swh:1:snp:d413b506ca05f076c64c1ed2cf58f8c55da2f875;anchor=swh:1:rev:ecca6ce39f971746f0f3e35caf20e818819079d0}{\texttt{swh:1:dir:8753f0c693cdc7159375110e6dd9d977e62984a8}} (visited on 2026-07-16)},
url = {https://github.com/sagebinder/apply2isar},
doi = {10.4230/artifacts.27121},
}