Published in: LIPIcs, Volume 297, 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, and Adriano Peron. Automata-Theoretic Characterisations of Branching-Time Temporal Logics. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 128:1-128:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{benerecetti_et_al:LIPIcs.ICALP.2024.128, author = {Benerecetti, Massimo and Bozzelli, Laura and Mogavero, Fabio and Peron, Adriano}, title = {{Automata-Theoretic Characterisations of Branching-Time Temporal Logics}}, booktitle = {51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)}, pages = {128:1--128:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-322-5}, ISSN = {1868-8969}, year = {2024}, volume = {297}, editor = {Bringmann, Karl and Grohe, Martin and Puppis, Gabriele and Svensson, Ola}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.128}, URN = {urn:nbn:de:0030-drops-202716}, doi = {10.4230/LIPIcs.ICALP.2024.128}, annote = {Keywords: Branching-Time Temporal Logics, Monadic Second-Order Logics, Tree Automata} }
Published in: LIPIcs, Volume 297, 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)
Bruno Loff and Mateusz Skomra. Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 147:1-147:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{loff_et_al:LIPIcs.ICALP.2024.147, author = {Loff, Bruno and Skomra, Mateusz}, title = {{Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games}}, booktitle = {51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)}, pages = {147:1--147:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-322-5}, ISSN = {1868-8969}, year = {2024}, volume = {297}, editor = {Bringmann, Karl and Grohe, Martin and Puppis, Gabriele and Svensson, Ola}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.147}, URN = {urn:nbn:de:0030-drops-202908}, doi = {10.4230/LIPIcs.ICALP.2024.147}, annote = {Keywords: Mean-payoff games, discounted games, policy iteration, smoothed analysis} }
Published in: Dagstuhl Manifestos, Volume 10, Issue 1 (2024)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). In Dagstuhl Manifestos, Volume 10, Issue 1, pp. 1-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{delgrande_et_al:DagMan.10.1.1, author = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank}, title = {{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)}}, pages = {1--61}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2024}, volume = {10}, number = {1}, editor = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1.1}, URN = {urn:nbn:de:0030-drops-201403}, doi = {10.4230/DagMan.10.1.1}, annote = {Keywords: Knowledge representation and reasoning, Applications of logics, Declarative representations, Formal logic} }
Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1
Ansgar Scherp, Gerd Groener, Petr Škoda, Katja Hose, and Maria-Esther Vidal. Semantic Web: Past, Present, and Future. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 3:1-3:37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{scherp_et_al:TGDK.2.1.3, author = {Scherp, Ansgar and Groener, Gerd and \v{S}koda, Petr and Hose, Katja and Vidal, Maria-Esther}, title = {{Semantic Web: Past, Present, and Future}}, journal = {Transactions on Graph Data and Knowledge}, pages = {3:1--3:37}, ISSN = {2942-7517}, year = {2024}, volume = {2}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.3}, URN = {urn:nbn:de:0030-drops-198607}, doi = {10.4230/TGDK.2.1.3}, annote = {Keywords: Linked Open Data, Semantic Web Graphs, Knowledge Graphs} }
Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1
Pablo R. Fillottrani and C. Maria Keet. Logics for Conceptual Data Modelling: A Review. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 4:1-4:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{fillottrani_et_al:TGDK.2.1.4, author = {Fillottrani, Pablo R. and Keet, C. Maria}, title = {{Logics for Conceptual Data Modelling: A Review}}, journal = {Transactions on Graph Data and Knowledge}, pages = {4:1--4:30}, ISSN = {2942-7517}, year = {2024}, volume = {2}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.4}, URN = {urn:nbn:de:0030-drops-198616}, doi = {10.4230/TGDK.2.1.4}, annote = {Keywords: Conceptual Data Modelling, EER, UML, Description Logics, OWL} }
Published in: Dagstuhl Reports, Volume 12, Issue 10 (2023)
Timothy Kluthe, Brett A. Becker, Christopher D. Hundhausen, Ciera Jaspan, Andreas Stefik, and Thomas Zimmermann. Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442). In Dagstuhl Reports, Volume 12, Issue 10, pp. 225-240, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{kluthe_et_al:DagRep.12.10.225, author = {Kluthe, Timothy and Becker, Brett A. and Hundhausen, Christopher D. and Jaspan, Ciera and Stefik, Andreas and Zimmermann, Thomas}, title = {{Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442)}}, pages = {225--240}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {12}, number = {10}, editor = {Kluthe, Timothy and Becker, Brett A. and Hundhausen, Christopher D. and Jaspan, Ciera and Stefik, Andreas and Zimmermann, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.225}, URN = {urn:nbn:de:0030-drops-178289}, doi = {10.4230/DagRep.12.10.225}, annote = {Keywords: Community evidence standards, Human factors} }
Published in: LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, and Martin Zimmermann. HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 202, pp. 47:1-47:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{fortin_et_al:LIPIcs.MFCS.2021.47, author = {Fortin, Marie and Kuijer, Louwe B. and Totzke, Patrick and Zimmermann, Martin}, title = {{HyperLTL Satisfiability Is \Sigma₁¹-Complete, HyperCTL* Satisfiability Is \Sigma₁²-Complete}}, booktitle = {46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)}, pages = {47:1--47:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-201-3}, ISSN = {1868-8969}, year = {2021}, volume = {202}, editor = {Bonchi, Filippo and Puglisi, Simon J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.47}, URN = {urn:nbn:de:0030-drops-144870}, doi = {10.4230/LIPIcs.MFCS.2021.47}, annote = {Keywords: HyperLTL, HyperCTL*, Satisfiability, Analytical Hierarchy} }
Published in: Dagstuhl Reports, Volume 10, Issue 2 (2020)
Kristian Kersting, Miryung Kim, Guy Van den Broeck, and Thomas Zimmermann. SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091). In Dagstuhl Reports, Volume 10, Issue 2, pp. 76-87, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{kersting_et_al:DagRep.10.2.76, author = {Kersting, Kristian and Kim, Miryung and Van den Broeck, Guy and Zimmermann, Thomas}, title = {{SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)}}, pages = {76--87}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {10}, number = {2}, editor = {Kersting, Kristian and Kim, Miryung and Van den Broeck, Guy and Zimmermann, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.76}, URN = {urn:nbn:de:0030-drops-130603}, doi = {10.4230/DagRep.10.2.76}, annote = {Keywords: correctness / explainability / traceability / fairness for ml, data scientist productivity, debugging/ testing / verification for ml systems} }
Published in: Dagstuhl Reports, Volume 9, Issue 11 (2020)
Margaret-Anne Storey, Alexander Serebrenik, Carolyn Penstein Rosé, Thomas Zimmermann, and James D. Herbsleb. BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471). In Dagstuhl Reports, Volume 9, Issue 11, pp. 84-96, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{storey_et_al:DagRep.9.11.84, author = {Storey, Margaret-Anne and Serebrenik, Alexander and Ros\'{e}, Carolyn Penstein and Zimmermann, Thomas and Herbsleb, James D.}, title = {{BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471)}}, pages = {84--96}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {11}, editor = {Storey, Margaret-Anne and Serebrenik, Alexander and Ros\'{e}, Carolyn Penstein and Zimmermann, Thomas and Herbsleb, James D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.11.84}, URN = {urn:nbn:de:0030-drops-119848}, doi = {10.4230/DagRep.9.11.84}, annote = {Keywords: automated software development, bots, chatbots, collaborative software development, cscw, devops, nlp, software engineering} }
Published in: Dagstuhl Reports, Volume 7, Issue 3 (2017)
Thomas Fritz, Gloria Mark, Gail C. Murphy, and Thomas Zimmermann. Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102). In Dagstuhl Reports, Volume 7, Issue 3, pp. 19-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{fritz_et_al:DagRep.7.3.19, author = {Fritz, Thomas and Mark, Gloria and Murphy, Gail C. and Zimmermann, Thomas}, title = {{Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102)}}, pages = {19--26}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Fritz, Thomas and Mark, Gloria and Murphy, Gail C. and Zimmermann, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.19}, URN = {urn:nbn:de:0030-drops-73592}, doi = {10.4230/DagRep.7.3.19}, annote = {Keywords: productivity, software development, human factors, productivity factors, grand challenges} }
Published in: Dagstuhl Reports, Volume 4, Issue 6 (2015)
Harald Gall, Tim Menzies, Laurie Williams, and Thomas Zimmermann. Software Development Analytics (Dagstuhl Seminar 14261). In Dagstuhl Reports, Volume 4, Issue 6, pp. 64-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{gall_et_al:DagRep.4.6.64, author = {Gall, Harald and Menzies, Tim and Williams, Laurie and Zimmermann, Thomas}, title = {{Software Development Analytics (Dagstuhl Seminar 14261)}}, pages = {64--83}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {6}, editor = {Gall, Harald and Menzies, Tim and Williams, Laurie and Zimmermann, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.64}, URN = {urn:nbn:de:0030-drops-47638}, doi = {10.4230/DagRep.4.6.64}, annote = {Keywords: software development, data-driven decision making, analytics, empirical software engineering, mining software repositories, business intelligence, pre} }
Published in: Dagstuhl Seminar Proceedings, Volume 6302, Aspects For Legacy Applications (2007)
Silvia Breu, Thomas Zimmermann, and Christian Lindig. HAM: Cross-cutting Concerns in Eclipse. In Aspects For Legacy Applications. Dagstuhl Seminar Proceedings, Volume 6302, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{breu_et_al:DagSemProc.06302.5, author = {Breu, Silvia and Zimmermann, Thomas and Lindig, Christian}, title = {{HAM: Cross-cutting Concerns in Eclipse}}, booktitle = {Aspects For Legacy Applications}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6302}, editor = {Siobh\'{a}n Clarke and Leon Moonen and Ganesan Ramalingam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06302.5}, URN = {urn:nbn:de:0030-drops-8847}, doi = {10.4230/DagSemProc.06302.5}, annote = {Keywords: Aspect Mining, Aspect-Oriented Programming, CVS, Eclipse, Formal Concept Analysis, Java, Mining Version Archives} }
Published in: Dagstuhl Seminar Proceedings, Volume 6302, Aspects For Legacy Applications (2007)
Silvia Breu, Thomas Zimmermann, Christian Lindig, and Benjamin Livshits. Mining Additions of Method Calls in ArgoUML. In Aspects For Legacy Applications. Dagstuhl Seminar Proceedings, Volume 6302, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{breu_et_al:DagSemProc.06302.6, author = {Breu, Silvia and Zimmermann, Thomas and Lindig, Christian and Livshits, Benjamin}, title = {{Mining Additions of Method Calls in ArgoUML}}, booktitle = {Aspects For Legacy Applications}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6302}, editor = {Siobh\'{a}n Clarke and Leon Moonen and Ganesan Ramalingam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06302.6}, URN = {urn:nbn:de:0030-drops-8865}, doi = {10.4230/DagSemProc.06302.6}, annote = {Keywords: Management, Measurement} }
Published in: Dagstuhl Seminar Proceedings, Volume 6302, Aspects For Legacy Applications (2007)
Silvia Breu and Thomas Zimmermann. Mining Aspects from Version History. In Aspects For Legacy Applications. Dagstuhl Seminar Proceedings, Volume 6302, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{breu_et_al:DagSemProc.06302.7, author = {Breu, Silvia and Zimmermann, Thomas}, title = {{Mining Aspects from Version History}}, booktitle = {Aspects For Legacy Applications}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6302}, editor = {Siobh\'{a}n Clarke and Leon Moonen and Ganesan Ramalingam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06302.7}, URN = {urn:nbn:de:0030-drops-8807}, doi = {10.4230/DagSemProc.06302.7}, annote = {Keywords: Aspect mining, formal concept analysis, mining software repositories} }
Published in: Dagstuhl Seminar Proceedings, Volume 6302, Aspects For Legacy Applications (2007)
Silvia Breu, Thomas Zimmermann, and Christian Lindig. Mining Eclipse for CrossCutting. In Aspects For Legacy Applications. Dagstuhl Seminar Proceedings, Volume 6302, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{breu_et_al:DagSemProc.06302.8, author = {Breu, Silvia and Zimmermann, Thomas and Lindig, Christian}, title = {{Mining Eclipse for CrossCutting}}, booktitle = {Aspects For Legacy Applications}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6302}, editor = {Siobh\'{a}n Clarke and Leon Moonen and Ganesan Ramalingam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06302.8}, URN = {urn:nbn:de:0030-drops-8853}, doi = {10.4230/DagSemProc.06302.8}, annote = {Keywords: } }