Published in: LIPIcs, Volume 285, 18th International Symposium on Parameterized and Exact Computation (IPEC 2023)
Alexander Leonhardt, Holger Dell, Anselm Haak, Frank Kammer, Johannes Meintrup, Ulrich Meyer, and Manuel Penschuck. PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM). In 18th International Symposium on Parameterized and Exact Computation (IPEC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 285, pp. 37:1-37:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{leonhardt_et_al:LIPIcs.IPEC.2023.37, author = {Leonhardt, Alexander and Dell, Holger and Haak, Anselm and Kammer, Frank and Meintrup, Johannes and Meyer, Ulrich and Penschuck, Manuel}, title = {{PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM)}}, booktitle = {18th International Symposium on Parameterized and Exact Computation (IPEC 2023)}, pages = {37:1--37:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-305-8}, ISSN = {1868-8969}, year = {2023}, volume = {285}, editor = {Misra, Neeldhara and Wahlstr\"{o}m, Magnus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2023.37}, URN = {urn:nbn:de:0030-drops-194563}, doi = {10.4230/LIPIcs.IPEC.2023.37}, annote = {Keywords: PACE 2023 Challenge, Heuristic, Exact, Twin-Width} }
Published in: LIPIcs, Volume 121, 32nd International Symposium on Distributed Computing (DISC 2018)
Reginald Frank and Jennifer L. Welch. Brief Announcement: A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids. In 32nd International Symposium on Distributed Computing (DISC 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 121, pp. 47:1-47:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{frank_et_al:LIPIcs.DISC.2018.47, author = {Frank, Reginald and Welch, Jennifer L.}, title = {{Brief Announcement: A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids}}, booktitle = {32nd International Symposium on Distributed Computing (DISC 2018)}, pages = {47:1--47:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-092-7}, ISSN = {1868-8969}, year = {2018}, volume = {121}, editor = {Schmid, Ulrich and Widder, Josef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2018.47}, URN = {urn:nbn:de:0030-drops-98360}, doi = {10.4230/LIPIcs.DISC.2018.47}, annote = {Keywords: Clock synchronization, Lower bound, k-ary m-toroid} }
Published in: Dagstuhl Reports, Volume 7, Issue 12 (2018)
João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne. Multi-Level Modelling (Dagstuhl Seminar 17492). In Dagstuhl Reports, Volume 7, Issue 12, pp. 18-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{almeida_et_al:DagRep.7.12.18, author = {Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas}, title = {{Multi-Level Modelling (Dagstuhl Seminar 17492)}}, pages = {18--49}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {7}, number = {12}, editor = {Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.12.18}, URN = {urn:nbn:de:0030-drops-86758}, doi = {10.4230/DagRep.7.12.18}, annote = {Keywords: metamodeling, multi-level modeling} }
Published in: Dagstuhl Reports, Volume 6, Issue 5 (2016)
Tony Clark, Ulrich Frank, and Vinay Kulkarni. Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192). In Dagstuhl Reports, Volume 6, Issue 5, pp. 31-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{clark_et_al:DagRep.6.5.31, author = {Clark, Tony and Frank, Ulrich and Kulkarni, Vinay}, title = {{Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)}}, pages = {31--55}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {6}, number = {5}, editor = {Clark, Tony and Frank, Ulrich and Kulkarni, Vinay}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.5.31}, URN = {urn:nbn:de:0030-drops-67197}, doi = {10.4230/DagRep.6.5.31}, annote = {Keywords: Digital transformation, DSML, enterprise modelling, enterprise software systems, Organisational action systems} }
Published in: Dagstuhl Reports, Volume 2, Issue 3 (2012)
Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, and Stefan Strecker. Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). In Dagstuhl Reports, Volume 2, Issue 3, pp. 67-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{france_et_al:DagRep.2.3.67, author = {France, Robert B. and Frank, Ulrich and Oberweis, Andreas and Rossi, Matti and Strecker, Stefan}, title = {{Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)}}, pages = {67--85}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {3}, editor = {France, Robert B. and Frank, Ulrich and Oberweis, Andreas and Rossi, Matti and Strecker, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.3.67}, URN = {urn:nbn:de:0030-drops-35379}, doi = {10.4230/DagRep.2.3.67}, annote = {Keywords: Enterprise Modelling, Enterprise Systems, Reference Model, Meta Modeling, Method Engineering, Information Systems Architectures} }
Feedback for Dagstuhl Publishing