Feedback on the Current Page
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},
}
Arend Mellendijk. algebra-tactic (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27124,
title = {{algebra-tactic}},
author = {Mellendijk, Arend},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:c939acdbc385233836c284ca55f264661c444c36;origin=https://github.com/amellendijk/algebra-tactic;visit=swh:1:snp:1ae7b2d2024fcbb577fe915ce6e3e8268ea25d74;anchor=swh:1:rev:3372ce1dc459f56e8de10abdfd51f3deaa4b0411}{\texttt{swh:1:dir:c939acdbc385233836c284ca55f264661c444c36}} (visited on 2026-07-16)},
url = {https://github.com/amellendijk/algebra-tactic},
doi = {10.4230/artifacts.27124},
}
Zeke Medley, Panagiotis Manolios. 0xekez/fslatp (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27134,
title = {{0xekez/fslatp}},
author = {Medley, Zeke and Manolios, Panagiotis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:26cbefe528532dda47d04b7198cca383281e5a72;origin=https://github.com/0xekez/fslatp;visit=swh:1:snp:c0586566dcf43c2bf58ba92e5b738480c1db6b0b;anchor=swh:1:rev:98d85b5d1e46d2428b51d5e3799812e2a07387e6}{\texttt{swh:1:dir:26cbefe528532dda47d04b7198cca383281e5a72}} (visited on 2026-07-16)},
url = {https://github.com/0xekez/fslatp},
doi = {10.4230/artifacts.27134},
}
Thomas Zhu, Pietro Monticone, Sean Welleck, Jeremy Avigad. Lean Architect supplementary material (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27122,
title = {{Lean Architect supplementary material}},
author = {Zhu, Thomas and Monticone, Pietro and Welleck, Sean and Avigad, Jeremy},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:b5fd29736a2e6b7dc989266fe19d489e5f7c644d;origin=https://github.com/hanwenzhu/LeanArchitect;visit=swh:1:snp:6673da745f251a6cb39a11ce0fe264fdf4239663;anchor=swh:1:rev:f1c14e1c14290117ffcb017cf2d089a6a5e1523a}{\texttt{swh:1:dir:b5fd29736a2e6b7dc989266fe19d489e5f7c644d}} (visited on 2026-07-16)},
url = {https://github.com/hanwenzhu/LeanArchitect},
doi = {10.4230/artifacts.27122},
}