default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Barbara König 0001
@inproceedings{DBLP:conf/birthday/Bernemann0SW24,
author = {Rebecca Bernemann and
Barbara K{\"{o}}nig and
Matthias Schaffeld and
Torben Weis},
editor = {Stefan Kiefer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Hidden Markov Models with Unobservable Transitions},
booktitle = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
Esparza on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14660},
pages = {101--121},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56222-8\_5},
doi = {10.1007/978-3-031-56222-8\_5},
timestamp = {Thu, 27 Jun 2024 16:55:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bernemann0SW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DAngeloGK0NRW24,
author = {Keri D'Angelo and
Sebastian Gurke and
Johanna Maria Kirss and
Barbara K{\"{o}}nig and
Matina Najafi and
Wojciech Rozowski and
Paul Wild},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {Behavioural Metrics: Compositionality of the Kantorovich Lifting and
an Application to Up-To Techniques},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {20:1--20:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.20},
doi = {10.4230/LIPICS.CONCUR.2024.20},
timestamp = {Fri, 30 Aug 2024 16:44:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/DAngeloGK0NRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Stoltenow000LO24,
author = {Lara Stoltenow and
Barbara K{\"{o}}nig and
Sven Schneider and
Andrea Corradini and
Leen Lambers and
Fernando Orejas},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {Coinductive Techniques for Checking Satisfiability of Generalized
Nested Conditions},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {39:1--39:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.39},
doi = {10.4230/LIPICS.CONCUR.2024.39},
timestamp = {Fri, 30 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Stoltenow000LO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/000124,
author = {Barbara K{\"{o}}nig},
editor = {Aniello Murano and
Alexandra Silva},
title = {Approximating Fixpoints of Approximated Functions (Invited Talk)},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {4:1--4:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.4},
doi = {10.4230/LIPICS.CSL.2024.4},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/000124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BeoharG0MFSW24,
author = {Harsh Beohar and
Sebastian Gurke and
Barbara K{\"{o}}nig and
Karla Messing and
Jonas Forster and
Lutz Schr{\"{o}}der and
Paul Wild},
editor = {Olaf Beyersdorff and
Mamadou Moustapha Kant{\'{e}} and
Orna Kupferman and
Daniel Lokshtanov},
title = {Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based
Approach},
booktitle = {41st International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2024, March 12-14, 2024, Clermont-Ferrand, France},
series = {LIPIcs},
volume = {289},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.STACS.2024.10},
doi = {10.4230/LIPICS.STACS.2024.10},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BeoharG0MFSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2024,
editor = {Barbara K{\"{o}}nig and
Henning Urbat},
title = {Coalgebraic Methods in Computer Science - 17th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2024, Colocated with {ETAPS} 2024, Luxembourg City,
Luxembourg, April 6-7, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14617},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-66438-0},
doi = {10.1007/978-3-031-66438-0},
isbn = {978-3-031-66437-3},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-19632,
author = {Keri D'Angelo and
Sebastian Gurke and
Johanna Maria Kirss and
Barbara K{\"{o}}nig and
Matina Najafi and
Wojciech Rozowski and
Paul Wild},
title = {Behavioural Metrics: Compositionality of the Kantorovich Lifting and
an Application to Up-To Techniques},
journal = {CoRR},
volume = {abs/2404.19632},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.19632},
doi = {10.48550/ARXIV.2404.19632},
eprinttype = {arXiv},
eprint = {2404.19632},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-19632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-06864,
author = {Lara Stoltenow and
Barbara K{\"{o}}nig and
Sven Schneider and
Andrea Corradini and
Leen Lambers and
Fernando Orejas},
title = {Coinductive Techniques for Checking Satisfiability of Generalized
Nested Conditions},
journal = {CoRR},
volume = {abs/2407.06864},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.06864},
doi = {10.48550/ARXIV.2407.06864},
eprinttype = {arXiv},
eprint = {2407.06864},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-06864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaldanEKP23,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Tommaso Padoan},
title = {Fixpoint Theory - Upside Down},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:15)2023},
doi = {10.46298/LMCS-19(2:15)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaldanEKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bonchi0P23,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Daniela Petrisan},
title = {Up-to techniques for behavioural metrics via fibrations},
journal = {Math. Struct. Comput. Sci.},
volume = {33},
number = {4-5},
pages = {182--221},
year = {2023},
url = {https://doi.org/10.1017/s0960129523000166},
doi = {10.1017/S0960129523000166},
timestamp = {Mon, 18 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Bonchi0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WittboldBHHK23,
author = {Florian Wittbold and
Rebecca Bernemann and
Reiko Heckel and
Tobias Heindel and
Barbara K{\"{o}}nig},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {Stochastic Decision Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {264--285},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_15},
doi = {10.1007/978-3-031-33620-1\_15},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WittboldBHHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaldanE0P23,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Tommaso Padoan},
editor = {Bartek Klin and
Elaine Pimentel},
title = {A Lattice-Theoretical View of Strategy Iteration},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {7:1--7:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.7},
doi = {10.4230/LIPICS.CSL.2023.7},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaldanE0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BeoharG0M23,
author = {Harsh Beohar and
Sebastian Gurke and
Barbara K{\"{o}}nig and
Karla Messing},
editor = {Bartek Klin and
Elaine Pimentel},
title = {Hennessy-Milner Theorems via Galois Connections},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.12},
doi = {10.4230/LIPICS.CSL.2023.12},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BeoharG0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanEKMP23,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Timo Matt and
Tommaso Padoan},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {A Monoidal View on Fixpoint Checks},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {3--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_1},
doi = {10.1007/978-3-031-36709-0\_1},
timestamp = {Fri, 21 Jul 2023 17:56:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanEKMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-13344,
author = {Florian Wittbold and
Rebecca Bernemann and
Reiko Heckel and
Tobias Heindel and
Barbara K{\"{o}}nig},
title = {Stochastic Decision Petri Nets},
journal = {CoRR},
volume = {abs/2303.13344},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.13344},
doi = {10.48550/ARXIV.2303.13344},
eprinttype = {arXiv},
eprint = {2303.13344},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-13344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14111,
author = {Simon Lutz and
Florian Wittbold and
Simon Dierl and
Benedikt B{\"{o}}ing and
Falk Howar and
Barbara K{\"{o}}nig and
Emmanuel M{\"{u}}ller and
Daniel Neider},
title = {Interpretable Anomaly Detection via Discrete Optimization},
journal = {CoRR},
volume = {abs/2303.14111},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14111},
doi = {10.48550/ARXIV.2303.14111},
eprinttype = {arXiv},
eprint = {2303.14111},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02957,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Timo Matt and
Tommaso Padoan},
title = {A Monoidal View on Fixpoint Checks},
journal = {CoRR},
volume = {abs/2305.02957},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02957},
doi = {10.48550/ARXIV.2305.02957},
eprinttype = {arXiv},
eprint = {2305.02957},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02957.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14826,
author = {Jonas Forster and
Lutz Schr{\"{o}}der and
Paul Wild and
Harsh Beohar and
Sebastian Gurke and
Barbara K{\"{o}}nig and
Karla Messing},
title = {Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras},
journal = {CoRR},
volume = {abs/2307.14826},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14826},
doi = {10.48550/ARXIV.2307.14826},
eprinttype = {arXiv},
eprint = {2307.14826},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-05711,
author = {Harsh Beohar and
Sebastian Gurke and
Barbara K{\"{o}}nig and
Karla Messing and
Jonas Forster and
Lutz Schr{\"{o}}der and
Paul Wild},
title = {Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based
Approach},
journal = {CoRR},
volume = {abs/2310.05711},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.05711},
doi = {10.48550/ARXIV.2310.05711},
eprinttype = {arXiv},
eprint = {2310.05711},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-05711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HulsbuschKKS22,
author = {Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Lara Stoltenow},
title = {Conditional Bisimilarity for Reactive Systems},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:6)2022},
doi = {10.46298/LMCS-18(1:6)2022},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HulsbuschKKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BeoharKKM22,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Christina Mika{-}Michalski},
editor = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Predicate and Relation Liftings for Coalgebras with Side Effects:
An Application in Coalgebraic Modal Logic},
booktitle = {Coalgebraic Methods in Computer Science - 16th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2022, Colocated with {ETAPS} 2022, Munich, Germany,
April 2-3, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13225},
pages = {1--22},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10736-8\_1},
doi = {10.1007/978-3-031-10736-8\_1},
timestamp = {Wed, 27 Jul 2022 22:15:46 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/BeoharKKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FordMSB022,
author = {Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der and
Harsh Beohar and
Barbara K{\"{o}}nig},
editor = {Christel Baier and
Dana Fisman},
title = {Graded Monads and Behavioural Equivalence Games},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {61:1--61:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533374},
doi = {10.1145/3531130.3533374},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FordMSB022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SchaffeldBWKM22,
author = {Matthias Schaffeld and
Rebecca Bernemann and
Torben Weis and
Barbara K{\"{o}}nig and
Viktor Matkovic},
title = {Lifecycle-Based View on Cyber-Physical System Models Using Extended
Hidden Markov Models},
booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14,
2022},
pages = {1--5},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954592},
doi = {10.1109/MEMOCODE57689.2022.9954592},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SchaffeldBWKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-15467,
author = {Harsh Beohar and
Chase Ford and
Barbara K{\"{o}}nig and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Graded Monads and Behavioural Equivalence Games},
journal = {CoRR},
volume = {abs/2203.15467},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.15467},
doi = {10.48550/ARXIV.2203.15467},
eprinttype = {arXiv},
eprint = {2203.15467},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-15467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13871,
author = {Rebecca Bernemann and
Barbara K{\"{o}}nig and
Matthias Schaffeld and
Torben Weis},
title = {Probabilistic Systems with Hidden State and Unobservable Transitions},
journal = {CoRR},
volume = {abs/2205.13871},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13871},
doi = {10.48550/ARXIV.2205.13871},
eprinttype = {arXiv},
eprint = {2205.13871},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05407,
author = {Harsh Beohar and
Sebastian Gurke and
Barbara K{\"{o}}nig and
Karla Messing},
title = {Hennessy-Milner Theorems via Galois Connections},
journal = {CoRR},
volume = {abs/2207.05407},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05407},
doi = {10.48550/ARXIV.2207.05407},
eprinttype = {arXiv},
eprint = {2207.05407},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09872,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Tommaso Padoan},
title = {A Lattice-Theoretical View of Strategy Iteration},
journal = {CoRR},
volume = {abs/2207.09872},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09872},
doi = {10.48550/ARXIV.2207.09872},
eprinttype = {arXiv},
eprint = {2207.09872},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BaldanE0P21,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Tommaso Padoan},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Fixpoint Theory - Upside Down},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {62--81},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_4},
doi = {10.1007/978-3-030-71995-1\_4},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BaldanE0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08184,
author = {Paolo Baldan and
Richard Eggert and
Barbara K{\"{o}}nig and
Tommaso Padoan},
title = {Fixpoint Theory - Upside Down},
journal = {CoRR},
volume = {abs/2101.08184},
year = {2021},
url = {https://arxiv.org/abs/2101.08184},
eprinttype = {arXiv},
eprint = {2101.08184},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09911,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Christina Mika{-}Michalski},
title = {Coalgebraic modal logic and games for coalgebras with side effects},
journal = {CoRR},
volume = {abs/2110.09911},
year = {2021},
url = {https://arxiv.org/abs/2110.09911},
eprinttype = {arXiv},
eprint = {2110.09911},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-09911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BeoharKKS20,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Alexandra Silva},
title = {Conditional transition systems with upgrades},
journal = {Sci. Comput. Program.},
volume = {186},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102320},
doi = {10.1016/J.SCICO.2019.102320},
timestamp = {Thu, 12 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BeoharKKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/0001MS20,
author = {Barbara K{\"{o}}nig and
Christina Mika{-}Michalski and
Lutz Schr{\"{o}}der},
editor = {Daniela Petrisan and
Jurriaan Rot},
title = {Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing
Formulas},
booktitle = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
April 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12094},
pages = {133--154},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57201-3\_8},
doi = {10.1007/978-3-030-57201-3\_8},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/0001MS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Baldan0P20,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Tommaso Padoan},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {25:1--25:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.25},
doi = {10.4230/LIPICS.CONCUR.2020.25},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Baldan0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Hulsbusch0KS20,
author = {Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Lara Stoltenow},
editor = {Zena M. Ariola},
title = {Conditional Bisimilarity for Reactive Systems},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.10},
doi = {10.4230/LIPICS.FSCD.2020.10},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Hulsbusch0KS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BernemannCH020,
author = {Rebecca Bernemann and
Benjamin Cabrera and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Nitin Saxena and
Sunil Simon},
title = {Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks},
booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
series = {LIPIcs},
volume = {182},
pages = {38:1--38:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.38},
doi = {10.4230/LIPICS.FSTTCS.2020.38},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BernemannCH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Bruggink0MNS20,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig and
Marleen Matjeka and
Dennis Nolte and
Lara Stoltenow},
editor = {Fabio Gadducci and
Timo Kehrer},
title = {A Flexible and Easy-to-Use Library for the Rapid Development of Graph
Tools in Java},
booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020,
Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12150},
pages = {297--306},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51372-6\_17},
doi = {10.1007/978-3-030-51372-6\_17},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Bruggink0MNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2020,
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5},
doi = {10.1007/978-3-030-45231-5},
isbn = {978-3-030-45230-8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-11459,
author = {Barbara K{\"{o}}nig and
Christina Mika{-}Michalski and
Lutz Schr{\"{o}}der},
title = {Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing
Formulas},
journal = {CoRR},
volume = {abs/2002.11459},
year = {2020},
url = {https://arxiv.org/abs/2002.11459},
eprinttype = {arXiv},
eprint = {2002.11459},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-11459.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08877,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Tommaso Padoan},
title = {Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations},
journal = {CoRR},
volume = {abs/2003.08877},
year = {2020},
url = {https://arxiv.org/abs/2003.08877},
eprinttype = {arXiv},
eprint = {2003.08877},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11792,
author = {Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Lara Stoltenow},
title = {Conditional Bisimilarity for Reactive Systems},
journal = {CoRR},
volume = {abs/2004.11792},
year = {2020},
url = {https://arxiv.org/abs/2004.11792},
eprinttype = {arXiv},
eprint = {2004.11792},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-14817,
author = {Rebecca Bernemann and
Benjamin Cabrera and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks},
journal = {CoRR},
volume = {abs/2009.14817},
year = {2020},
url = {https://arxiv.org/abs/2009.14817},
eprinttype = {arXiv},
eprint = {2009.14817},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-14817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/KonigNN19,
author = {Barbara K{\"{o}}nig and
Maxime Nederkorn and
Dennis Nolte},
title = {CoReS: {A} tool for computing core graphs via {SAT/SMT} solvers},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.100484},
doi = {10.1016/J.JLAMP.2019.100484},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/KonigNN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CorradiniKN19,
author = {Andrea Corradini and
Barbara K{\"{o}}nig and
Dennis Nolte},
title = {Specifying graph languages with type graphs},
journal = {J. Log. Algebraic Methods Program.},
volume = {104},
pages = {176--200},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.01.005},
doi = {10.1016/J.JLAMP.2019.01.005},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/CorradiniKN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaldanKMP19,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Christina Mika{-}Michalski and
Tommaso Padoan},
title = {Fixpoint games on continuous lattices},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {26:1--26:29},
year = {2019},
url = {https://doi.org/10.1145/3290339},
doi = {10.1145/3290339},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BaldanKMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CorradiniHKNR19,
author = {Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Dennis Nolte and
Arend Rensink},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Rewriting Abstract Structures: Materialization Explained Categorically},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {169--188},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_10},
doi = {10.1007/978-3-030-17127-8\_10},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CorradiniHKNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WildSP019,
author = {Paul Wild and
Lutz Schr{\"{o}}der and
Dirk Pattinson and
Barbara K{\"{o}}nig},
editor = {Sarit Kraus},
title = {A Modal Characterization Theorem for a Probabilistic Fuzzy Description
Logic},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1900--1906},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/263},
doi = {10.24963/IJCAI.2019/263},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WildSP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Konig19,
author = {Barbara K{\"{o}}nig},
editor = {Barbara K{\"{o}}nig},
title = {Preface},
booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {347},
pages = {1--3},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.09.001},
doi = {10.1016/J.ENTCS.2019.09.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Konig19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2019,
editor = {Barbara K{\"{o}}nig},
title = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {347},
publisher = {Elsevier},
year = {2019},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/347/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04809,
author = {Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Dennis Nolte and
Arend Rensink},
title = {Rewriting Abstract Structures: Materialization Explained Categorically},
journal = {CoRR},
volume = {abs/1902.04809},
year = {2019},
url = {http://arxiv.org/abs/1902.04809},
eprinttype = {arXiv},
eprint = {1902.04809},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00784,
author = {Paul Wild and
Lutz Schr{\"{o}}der and
Dirk Pattinson and
Barbara K{\"{o}}nig},
title = {A Modal Characterization Theorem for a Probabilistic Fuzzy Description
Logic},
journal = {CoRR},
volume = {abs/1906.00784},
year = {2019},
url = {http://arxiv.org/abs/1906.00784},
eprinttype = {arXiv},
eprint = {1906.00784},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Beohar0K0W18,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Alexandra Silva and
Thorsten Wi{\ss}mann},
title = {A coalgebraic treatment of conditional transition systems with upgrades},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:19)2018},
doi = {10.23638/LMCS-14(1:19)2018},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Beohar0K0W18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaldanBKK18,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Coalgebraic Behavioral Metrics},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:20)2018},
doi = {10.23638/LMCS-14(3:20)2018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaldanBKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BrugginkK18,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig},
title = {Recognizable languages of arrows and cospans},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1290--1332},
year = {2018},
url = {https://doi.org/10.1017/S096012951800018X},
doi = {10.1017/S096012951800018X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BrugginkK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/KonigK18,
author = {Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
title = {A generalized partition refinement algorithm, instantiated to language
equivalence checking for weighted automata},
journal = {Soft Comput.},
volume = {22},
number = {4},
pages = {1103--1120},
year = {2018},
url = {https://doi.org/10.1007/s00500-016-2363-z},
doi = {10.1007/S00500-016-2363-Z},
timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soco/KonigK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001NPR18,
author = {Barbara K{\"{o}}nig and
Dennis Nolte and
Julia Padberg and
Arend Rensink},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {A Tutorial on Graph Transformation},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {83--104},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_5},
doi = {10.1007/978-3-319-75396-6\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001NPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bonchi0P18,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Daniela Petrisan},
editor = {Sven Schewe and
Lijun Zhang},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.17},
doi = {10.4230/LIPICS.CONCUR.2018.17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bonchi0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CabreraHH018,
author = {Benjamin Cabrera and
Tobias Heindel and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Sven Schewe and
Lijun Zhang},
title = {Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian
Networks},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.27},
doi = {10.4230/LIPICS.CONCUR.2018.27},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CabreraHH018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KonigM18,
author = {Barbara K{\"{o}}nig and
Christina Mika{-}Michalski},
editor = {Sven Schewe and
Lijun Zhang},
title = {(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {37:1--37:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.37},
doi = {10.4230/LIPICS.CONCUR.2018.37},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KonigM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/0001NN18,
author = {Barbara K{\"{o}}nig and
Maxime Nederkorn and
Dennis Nolte},
editor = {Leen Lambers and
Jens H. Weber},
title = {CoReS: {A} Tool for Computing Core Graphs via {SAT/SMT} Solvers},
booktitle = {Graph Transformation - 11th International Conference, {ICGT} 2018,
Held as Part of {STAF} 2018, Toulouse, France, June 25-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10887},
pages = {37--42},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92991-0\_3},
doi = {10.1007/978-3-319-92991-0\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/0001NN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/WildSP018,
author = {Paul Wild and
Lutz Schr{\"{o}}der and
Dirk Pattinson and
Barbara K{\"{o}}nig},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {A van Benthem Theorem for Fuzzy Modal Logic},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {909--918},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209180},
doi = {10.1145/3209108.3209180},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/WildSP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00478,
author = {Paul Wild and
Lutz Schr{\"{o}}der and
Dirk Pattinson and
Barbara K{\"{o}}nig},
title = {A van Benthem Theorem for Fuzzy Modal Logic},
journal = {CoRR},
volume = {abs/1802.00478},
year = {2018},
url = {http://arxiv.org/abs/1802.00478},
eprinttype = {arXiv},
eprint = {1802.00478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11064,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Daniela Petrisan},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
journal = {CoRR},
volume = {abs/1806.11064},
year = {2018},
url = {http://arxiv.org/abs/1806.11064},
eprinttype = {arXiv},
eprint = {1806.11064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-11064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02566,
author = {Benjamin Cabrera and
Tobias Heindel and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian
Networks},
journal = {CoRR},
volume = {abs/1807.02566},
year = {2018},
url = {http://arxiv.org/abs/1807.02566},
eprinttype = {arXiv},
eprint = {1807.02566},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-04722,
author = {Paul Wild and
Lutz Schr{\"{o}}der and
Dirk Pattinson and
Barbara K{\"{o}}nig},
title = {A van Benthem Theorem for Quantitative Probabilistic Modal Logic},
journal = {CoRR},
volume = {abs/1810.04722},
year = {2018},
url = {http://arxiv.org/abs/1810.04722},
eprinttype = {arXiv},
eprint = {1810.04722},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11404,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Tommaso Padoan and
Christina Mika{-}Michalski},
title = {Fixpoint Games on Continuous Lattices},
journal = {CoRR},
volume = {abs/1810.11404},
year = {2018},
url = {http://arxiv.org/abs/1810.11404},
eprinttype = {arXiv},
eprint = {1810.11404},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/0001S17,
author = {Barbara K{\"{o}}nig and
Jan St{\"{u}}ckrath},
title = {Well-structured graph transformation systems},
journal = {Inf. Comput.},
volume = {252},
pages = {71--94},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.03.005},
doi = {10.1016/J.IC.2016.03.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/0001S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enic/Cabrera017,
author = {Benjamin Cabrera and
Barbara K{\"{o}}nig},
editor = {Reda Alhajj and
Heinz Ulrich Hoppe and
Tobias Hecking and
Piotr Br{\'{o}}dka and
Przemyslaw Kazienko},
title = {Extracting the Main Path of Historic Events from Wikipedia},
booktitle = {Network Intelligence Meets User Centered Social Media Networks [4th
European Network Intelligence Conference, {ENIC} 2017, Duisburg, Germany,
September 11-12, 2017]},
series = {Lecture Notes in Social Networks},
pages = {65--81},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90312-5\_5},
doi = {10.1007/978-3-319-90312-5\_5},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enic/Cabrera017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Corradini0N17,
author = {Andrea Corradini and
Barbara K{\"{o}}nig and
Dennis Nolte},
editor = {Juan de Lara and
Detlef Plump},
title = {Specifying Graph Languages with Type Graphs},
booktitle = {Graph Transformation - 10th International Conference, {ICGT} 2017,
Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10373},
pages = {73--89},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61470-0\_5},
doi = {10.1007/978-3-319-61470-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Corradini0N17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Bonchi0K17,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
editor = {Axel Legay and
Tiziana Margaria},
title = {Up-To Techniques for Weighted Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {535--552},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_31},
doi = {10.1007/978-3-662-54577-5\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Bonchi0K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BeoharKK017,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Alexandra Silva},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Conditional transition systems with upgrades},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285624},
doi = {10.1109/TASE.2017.8285624},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BeoharKK017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/0001KM17aa,
author = {Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Christina Mika},
editor = {Herbert Wiklicky and
Erik P. de Vink},
title = {{PAWS:} {A} Tool for the Analysis of Weighted Systems},
booktitle = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {250},
pages = {75--91},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.250.5},
doi = {10.4204/EPTCS.250.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001KM17aa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2017,
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-033-0},
isbn = {978-3-95977-033-0},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bonchi0K17,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
title = {Up-To Techniques for Weighted Systems (Extended Version)},
journal = {CoRR},
volume = {abs/1701.05001},
year = {2017},
url = {http://arxiv.org/abs/1701.05001},
eprinttype = {arXiv},
eprint = {1701.05001},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bonchi0K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Corradini0N17,
author = {Andrea Corradini and
Barbara K{\"{o}}nig and
Dennis Nolte},
title = {Specifying Graph Languages with Type Graphs},
journal = {CoRR},
volume = {abs/1704.05263},
year = {2017},
url = {http://arxiv.org/abs/1704.05263},
eprinttype = {arXiv},
eprint = {1704.05263},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Corradini0N17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonigM17,
author = {Barbara K{\"{o}}nig and
Christina Mika},
title = {Bisimulation Games on Coalgebras},
journal = {CoRR},
volume = {abs/1705.10165},
year = {2017},
url = {http://arxiv.org/abs/1705.10165},
eprinttype = {arXiv},
eprint = {1705.10165},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonigM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Beohar0K017,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Alexandra Silva},
title = {Conditional Transition Systems with Upgrades},
journal = {CoRR},
volume = {abs/1706.02526},
year = {2017},
url = {http://arxiv.org/abs/1706.02526},
eprinttype = {arXiv},
eprint = {1706.02526},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Beohar0K017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-07511,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Coalgebraic Behavioral Metrics},
journal = {CoRR},
volume = {abs/1712.07511},
year = {2017},
url = {http://arxiv.org/abs/1712.07511},
eprinttype = {arXiv},
eprint = {1712.07511},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-07511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Beohar0KS16,
author = {Harsh Beohar and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper and
Alexandra Silva},
title = {A coalgebraic treatment of conditional transition systems with upgrades},
journal = {CoRR},
volume = {abs/1612.05002},
year = {2016},
url = {http://arxiv.org/abs/1612.05002},
eprinttype = {arXiv},
eprint = {1612.05002},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Beohar0KS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bruggink0K15,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
title = {Robustness and closure properties of recognizable languages in adhesive
categories},
journal = {Sci. Comput. Program.},
volume = {104},
pages = {71--98},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.08.006},
doi = {10.1016/J.SCICO.2014.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Bruggink0K15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaldanBK015,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Towards Trace Metrics via Functor Lifting},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {35--49},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.35},
doi = {10.4230/LIPICS.CALCO.2015.35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BaldanBK015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Bruggink0NZ15,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig and
Dennis Nolte and
Hans Zantema},
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Proving Termination of Graph Transformation Systems Using Weighted
Type Graphs over Semirings},
booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
pages = {52--68},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9\_4},
doi = {10.1007/978-3-319-21145-9\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Bruggink0NZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bruggink0NZ15,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig and
Dennis Nolte and
Hans Zantema},
title = {Proving Termination of Graph Transformation Systems using Weighted
Type Graphs over Semirings},
journal = {CoRR},
volume = {abs/1505.01695},
year = {2015},
url = {http://arxiv.org/abs/1505.01695},
eprinttype = {arXiv},
eprint = {1505.01695},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bruggink0NZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaldanBK015,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Towards Trace Metrics via Functor Lifting},
journal = {CoRR},
volume = {abs/1505.08105},
year = {2015},
url = {http://arxiv.org/abs/1505.08105},
eprinttype = {arXiv},
eprint = {1505.08105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaldanBK015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbdullaG0V15,
author = {Parosh Aziz Abdulla and
Fabio Gadducci and
Barbara K{\"{o}}nig and
Viktor Vafeiadis},
title = {Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {1--28},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.11.1},
doi = {10.4230/DAGREP.5.11.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbdullaG0V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaldanCHKS14,
author = {Paolo Baldan and
Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Pawel Sobocinski},
title = {Processes and unfoldings: concurrent computations in adhesive categories},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S096012951200031X},
doi = {10.1017/S096012951200031X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaldanCHKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FlanaganK14,
author = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Developments in automated verification techniques},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {123--125},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0297-7},
doi = {10.1007/S10009-013-0297-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FlanaganK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/KerstanKW14,
author = {Henning Kerstan and
Barbara K{\"{o}}nig and
Bram Westerbaan},
editor = {Marcello M. Bonsangue},
title = {Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {168--188},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_10},
doi = {10.1007/978-3-662-44124-4\_10},
timestamp = {Sat, 19 Oct 2019 20:27:44 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/KerstanKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KonigS14,
author = {Barbara K{\"{o}}nig and
Jan St{\"{u}}ckrath},
editor = {Paolo Baldan and
Daniele Gorla},
title = {A General Framework for Well-Structured Graph Transformation Systems},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {467--481},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_32},
doi = {10.1007/978-3-662-44584-6\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/KonigS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaldanBKK14,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Behavioral Metrics via Functor Lifting},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {403--415},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.403},
doi = {10.4230/LIPICS.FSTTCS.2014.403},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaldanBKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BrugginkKZ14,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig and
Hans Zantema},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Termination Analysis for Graph Transformation Systems},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {179--194},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_15},
doi = {10.1007/978-3-662-44602-7\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BrugginkKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/KonigK14,
author = {Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Generic Partition Refinement Algorithms for Coalgebras and an Instantiation
to Weighted Automata},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {311--325},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_24},
doi = {10.1007/978-3-662-44602-7\_24},
timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/KonigK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ZantemaKB14,
author = {Hans Zantema and
Barbara K{\"{o}}nig and
H. J. Sander Bruggink},
editor = {Gilles Dowek},
title = {Termination of Cycle Rewriting},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {476--490},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_33},
doi = {10.1007/978-3-319-08918-8\_33},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/ZantemaKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2014,
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2},
doi = {10.1007/978-3-319-09108-2},
isbn = {978-3-319-09107-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonigS14,
author = {Barbara K{\"{o}}nig and
Jan St{\"{u}}ckrath},
title = {A General Framework for Well-Structured Graph Transformation Systems},
journal = {CoRR},
volume = {abs/1406.4782},
year = {2014},
url = {http://arxiv.org/abs/1406.4782},
eprinttype = {arXiv},
eprint = {1406.4782},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonigS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaldanBKK14,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Behavioral Metrics via Functor Lifting},
journal = {CoRR},
volume = {abs/1410.3385},
year = {2014},
url = {http://arxiv.org/abs/1410.3385},
eprinttype = {arXiv},
eprint = {1410.3385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaldanBKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KerstanK13,
author = {Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Coalgebraic Trace Semantics for Continuous Probabilistic Transition
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:16)2013},
doi = {10.2168/LMCS-9(4:16)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KerstanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KupperKB13,
author = {Sebastian K{\"{u}}pper and
Barbara K{\"{o}}nig and
H. J. Sander Bruggink},
title = {Concatenation and other Closure Properties of Recognizable Languages
in Adhesive Categories},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {58},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.58.854},
doi = {10.14279/TUJ.ECEASST.58.854},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KupperKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BlumeBFK13,
author = {Christoph Blume and
H. J. Sander Bruggink and
Martin Friedrich and
Barbara K{\"{o}}nig},
title = {Treewidth, pathwidth and cospan decompositions with applications to
graph-accepting tree automata},
journal = {J. Vis. Lang. Comput.},
volume = {24},
number = {3},
pages = {192--206},
year = {2013},
url = {https://doi.org/10.1016/j.jvlc.2012.10.002},
doi = {10.1016/J.JVLC.2012.10.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BlumeBFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DormanHK12,
author = {Andrei Dorman and
Tobias Heindel and
Barbara K{\"{o}}nig},
title = {Structured Operational Semantics for Graph Rewriting},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {105--145},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.105},
doi = {10.7561/SACS.2012.1.105},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DormanHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BrugginkHK12,
author = {H. J. Sander Bruggink and
Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig},
title = {Towards Alternating Automata for Graph Languages},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {47},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.47.734},
doi = {10.14279/TUJ.ECEASST.47.734},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BrugginkHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Konig12,
author = {Barbara K{\"{o}}nig},
title = {Conditions in Reactive Systems and in Graph Rewriting},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {51},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.51.776},
doi = {10.14279/TUJ.ECEASST.51.776},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Konig12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanBCKRS12,
author = {Paolo Baldan and
Alessandro Bruni and
Andrea Corradini and
Barbara K{\"{o}}nig and
C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
title = {Efficient unfolding of contextual Petri nets},
journal = {Theor. Comput. Sci.},
volume = {449},
pages = {2--22},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.046},
doi = {10.1016/J.TCS.2012.04.046},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaldanBCKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KerstanK12,
author = {Henning Kerstan and
Barbara K{\"{o}}nig},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Coalgebraic Trace Semantics for Probabilistic Transition Systems Based
on Measure Theory},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {410--424},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_29},
doi = {10.1007/978-3-642-32940-1\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/KerstanK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekBHKMS12,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Filippo Bonchi and
Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Stefan Milius and
Alexandra Silva},
editor = {Lars Birkedal},
title = {A Coalgebraic Perspective on Minimization and Determinization},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {58--73},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_4},
doi = {10.1007/978-3-642-28729-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekBHKMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HulsbuschK12,
author = {Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig},
editor = {Lars Birkedal},
title = {Deriving Bisimulation Congruences for Conditional Reactive Systems},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {361--375},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_24},
doi = {10.1007/978-3-642-28729-9\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HulsbuschK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KonigS12,
author = {Barbara K{\"{o}}nig and
Jan St{\"{u}}ckrath},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Well-Structured Graph Transformation Systems with Negative Application
Conditions},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {81--95},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_6},
doi = {10.1007/978-3-642-33654-6\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/KonigS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BlumeBEK12,
author = {Christoph Blume and
H. J. Sander Bruggink and
Dominik Engelke and
Barbara K{\"{o}}nig},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Efficient Symbolic Implementation of Graph Automata with Applications
to Invariant Checking},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {264--278},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_18},
doi = {10.1007/978-3-642-33654-6\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BlumeBEK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BertrandDKSS12,
author = {Nathalie Bertrand and
Giorgio Delzanno and
Barbara K{\"{o}}nig and
Arnaud Sangnier and
Jan St{\"{u}}ckrath},
editor = {Ashish Tiwari},
title = {On the Decidability Status of Reachability and Coverability in Graph
Transformation Systems},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {101--116},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.101},
doi = {10.4230/LIPICS.RTA.2012.101},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BertrandDKSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5},
doi = {10.1007/978-3-642-28756-5},
isbn = {978-3-642-28755-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HeumullerJKS11,
author = {Marvin Heum{\"{u}}ller and
Salil Joshi and
Barbara K{\"{o}}nig and
Jan St{\"{u}}ckrath},
title = {Construction of Pushout Complements in the Category of Hypergraphs},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {39},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.39.647},
doi = {10.14279/TUJ.ECEASST.39.647},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HeumullerJKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BlumeBFK11,
author = {Christoph Blume and
H. J. Sander Bruggink and
Martin Friedrich and
Barbara K{\"{o}}nig},
title = {Treewidth, Pathwidth and Cospan Decompositions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {41},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.41.643},
doi = {10.14279/TUJ.ECEASST.41.643},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BlumeBFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaldanBCHK11,
author = {Paolo Baldan and
Filippo Bonchi and
Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig},
title = {A lattice-theoretical perspective on adhesive categories},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {222--245},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.006},
doi = {10.1016/J.JSC.2010.09.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BaldanBCHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrugginkCHK11,
author = {H. J. Sander Bruggink and
Rapha{\"{e}}l Cauderlier and
Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Conditional Reactive Systems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {191--203},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.191},
doi = {10.4230/LIPICS.FSTTCS.2011.191},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BrugginkCHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2011,
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6},
doi = {10.1007/978-3-642-23217-6},
isbn = {978-3-642-23216-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BlumeBK10,
author = {Christoph Blume and
H. J. Sander Bruggink and
Barbara K{\"{o}}nig},
title = {Recognizable Graph Languages for Checking Invariants},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {29},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.29.408},
doi = {10.14279/TUJ.ECEASST.29.408},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BlumeBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HermannCEK10,
author = {Frank Hermann and
Andrea Corradini and
Hartmut Ehrig and
Barbara K{\"{o}}nig},
title = {Efficient Analysis of Permutation Equivalence of Graph Derivations
Based on Petri Nets},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {29},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.29.415},
doi = {10.14279/TUJ.ECEASST.29.415},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HermannCEK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HermannHK10,
author = {Frank Hermann and
Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig},
title = {Specification and Verification of Model Transformations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {30},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.30.424},
doi = {10.14279/TUJ.ECEASST.30.424},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HermannHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaldanCHK10,
author = {Paolo Baldan and
Thomas Chatain and
Stefan Haar and
Barbara K{\"{o}}nig},
title = {Unfolding-based diagnosis of systems with an evolving topology},
journal = {Inf. Comput.},
volume = {208},
number = {10},
pages = {1169--1192},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.11.009},
doi = {10.1016/J.IC.2009.11.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaldanCHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanBCKS10,
author = {Paolo Baldan and
Alessandro Bruni and
Andrea Corradini and
Barbara K{\"{o}}nig and
Stefan Schwoon},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {On the Computation of McMillan's Prefix for Contextual Nets and Graph
Grammars},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {91--106},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_7},
doi = {10.1007/978-3-642-15928-2\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanBCKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KonigE10,
author = {Barbara K{\"{o}}nig and
Javier Esparza},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Verification of Graph Transformation Systems with Context-Free Specifications},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {107--122},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_8},
doi = {10.1007/978-3-642-15928-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KonigE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BrugginkK10,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {A Logic on Subobjects and Recognizability},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {197--212},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_15},
doi = {10.1007/978-3-642-15240-5\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BrugginkK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HulsbuschKRSSW10,
author = {Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Arend Rensink and
Maria Semenyak and
Christian Soltenborn and
Heike Wehrheim},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Showing Full Semantics Preservation in Model Transformation - {A}
Comparison of Techniques},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {183--198},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_14},
doi = {10.1007/978-3-642-16265-7\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HulsbuschKRSSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigEHK09,
author = {Hartmut Ehrig and
Claudia Ermel and
Frank Hermann and
Barbara K{\"{o}}nig},
title = {Behaviour Simulation and Equivalence of Systems Modelled by Graph
Transformation},
journal = {Bull. {EATCS}},
volume = {97},
pages = {117--125},
year = {2009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigEHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonchiGK09,
author = {Filippo Bonchi and
Fabio Gadducci and
Barbara K{\"{o}}nig},
title = {Synthesising {CCS} bisimulation using graph rewriting},
journal = {Inf. Comput.},
volume = {207},
number = {1},
pages = {14--40},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.10.005},
doi = {10.1016/J.IC.2008.10.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BonchiGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaldanCHKS09,
author = {Paolo Baldan and
Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Pawel Sobocinski},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Unfolding Grammars in Adhesive Categories},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {350--366},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_24},
doi = {10.1007/978-3-642-03741-2\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BaldanCHKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BaldanK08,
author = {Paolo Baldan and
Barbara K{\"{o}}nig},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {14},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.14.188.179},
doi = {10.14279/TUJ.ECEASST.14.188.179},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BaldanK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaldanCK08,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig},
title = {A framework for the verification of infinite-state graph transformation
systems},
journal = {Inf. Comput.},
volume = {206},
number = {7},
pages = {869--907},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2008.04.002},
doi = {10.1016/J.IC.2008.04.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BaldanCK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaldanCEHK08,
author = {Paolo Baldan and
Andrea Corradini and
Hartmut Ehrig and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri
Nets},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:3)2008},
doi = {10.2168/LMCS-4(4:3)2008},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaldanCEHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BaldanCKS08,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig and
Stefan Schwoon},
title = {McMillan's Complete Prefix for Contextual Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {199--220},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_12},
doi = {10.1007/978-3-540-89287-8\_12},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/BaldanCKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaldanCK08,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Unfolding Graph Transformation Systems: Theory and Applications to
Verification},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {16--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_3},
doi = {10.1007/978-3-540-68679-8\_3},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaldanCK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JoshiK08,
author = {Salil Joshi and
Barbara K{\"{o}}nig},
editor = {Aarti Gupta and
Sharad Malik},
title = {Applying the Graph Minor Theorem to the Verification of Graph Transformation
Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {214--226},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_21},
doi = {10.1007/978-3-540-70545-1\_21},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/JoshiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanCHK08,
author = {Paolo Baldan and
Thomas Chatain and
Stefan Haar and
Barbara K{\"{o}}nig},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Unfolding-Based Diagnosis of Systems with an Evolving Topology},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_19},
doi = {10.1007/978-3-540-85361-9\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanCHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/RangelKE08,
author = {Guilherme Rangel and
Barbara K{\"{o}}nig and
Hartmut Ehrig},
editor = {Roberto M. Amadio},
title = {Deriving Bisimulation Congruences in the Presence of Negative Application
Conditions},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {413--427},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_29},
doi = {10.1007/978-3-540-78499-9\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/RangelKE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RangelLKEB08,
author = {Guilherme Rangel and
Leen Lambers and
Barbara K{\"{o}}nig and
Hartmut Ehrig and
Paolo Baldan},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Behavior Preservation in Model Refactoring Using {DPO} Transformations
with Borrowed Contexts},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {242--256},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_17},
doi = {10.1007/978-3-540-87405-8\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/RangelLKEB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanCEK08,
author = {Paolo Baldan and
Andrea Corradini and
Hartmut Ehrig and
Barbara K{\"{o}}nig},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Open Petri Nets: Non-deterministic Processes and Compositionality},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {257--273},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_18},
doi = {10.1007/978-3-540-87405-8\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanCEK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KonigK08,
author = {Barbara K{\"{o}}nig and
Vitali Kozioura},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Towards the Verification of Attributed Graph Transformation Systems},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {305--320},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_21},
doi = {10.1007/978-3-540-87405-8\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KonigK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BrugginkK08,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {On the Recognizability of Arrow and Graph Languages},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {336--350},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_23},
doi = {10.1007/978-3-540-87405-8\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BrugginkK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanK08,
author = {Paolo Baldan and
Barbara K{\"{o}}nig},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Workshop on Petri Nets and Graph Transformations},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {467--469},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_34},
doi = {10.1007/978-3-540-87405-8\_34},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2007gtvc,
editor = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
title = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {213},
number = {1},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/213/issue/1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2007gtvc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-4115,
author = {Paolo Baldan and
Andrea Corradini and
Hartmut Ehrig and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri
Nets},
journal = {CoRR},
volume = {abs/0809.4115},
year = {2008},
url = {http://arxiv.org/abs/0809.4115},
eprinttype = {arXiv},
eprint = {0809.4115},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-4115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RangelKE07,
author = {Guilherme Rangel and
Barbara K{\"{o}}nig and
Hartmut Ehrig},
title = {Bisimulation Verification for the {DPO} Approach with Borrowed},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {6},
year = {2007},
url = {https://doi.org/10.14279/tuj.eceasst.6.70},
doi = {10.14279/TUJ.ECEASST.6.70},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RangelKE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KonigK07,
author = {Barbara K{\"{o}}nig and
Vitali Kozioura},
title = {Incremental construction of coverability graphs},
journal = {Inf. Process. Lett.},
volume = {103},
number = {5},
pages = {203--209},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.04.002},
doi = {10.1016/J.IPL.2007.04.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KonigK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Konig07,
author = {Barbara K{\"{o}}nig},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Deriving Bisimulation Congruences with Borrowed Contexts},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {36--39},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_3},
doi = {10.1007/978-3-540-73859-6\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/Konig07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaldanCEHK07,
author = {Paolo Baldan and
Andrea Corradini and
Hartmut Ehrig and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri
Nets},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {126--142},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_9},
doi = {10.1007/978-3-540-73859-6\_9},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BaldanCEHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KonigRH08,
author = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
editor = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {213},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.070},
doi = {10.1016/J.ENTCS.2008.04.070},
timestamp = {Fri, 17 Feb 2023 09:59:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KonigRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2006gtvc,
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/4},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2006gtvc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Konig06,
author = {Barbara K{\"{o}}nig},
title = {Graph transformation systems, Petri nets and Semilinear Sets: Checking
for the Absence of Forbidden Paths in Graphs},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {2},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.2.26},
doi = {10.14279/TUJ.ECEASST.2.26},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Konig06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EhrigK06,
author = {Hartmut Ehrig and
Barbara K{\"{o}}nig},
title = {Deriving bisimulation congruences in the {DPO} approach to graph rewriting
with borrowed contexts},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {6},
pages = {1133--1163},
year = {2006},
url = {https://doi.org/10.1017/S096012950600569X},
doi = {10.1017/S096012950600569X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EhrigK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BaldanHK06,
author = {Paolo Baldan and
Stefan Haar and
Barbara K{\"{o}}nig},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Distributed Unfolding of Petri Nets},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {126--141},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_9},
doi = {10.1007/11690634\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BaldanHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BaldanCHKS06,
author = {Paolo Baldan and
Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Pawel Sobocinski},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Processes for Adhesive Rewriting Systems},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {202--216},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_14},
doi = {10.1007/11690634\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BaldanCHKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/CorradiniHHK06,
author = {Andrea Corradini and
Tobias Heindel and
Frank Hermann and
Barbara K{\"{o}}nig},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Sesqui-Pushout Rewriting},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {30--45},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_4},
doi = {10.1007/11841883\_4},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/CorradiniHHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanEK06,
author = {Paolo Baldan and
Hartmut Ehrig and
Barbara K{\"{o}}nig},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Composition and Decomposition of {DPO} Transformations with Borrowed
Context},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {153--167},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_12},
doi = {10.1007/11841883\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanEK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BonchiGK06,
author = {Filippo Bonchi and
Fabio Gadducci and
Barbara K{\"{o}}nig},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Process Bisimulation \emph{Via} a Graphical Encoding},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {168--183},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_13},
doi = {10.1007/11841883\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BonchiGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiKM06,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Ugo Montanari},
title = {Saturated Semantics for Reactive Systems},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {69--80},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.46},
doi = {10.1109/LICS.2006.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonchiKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KonigK06,
author = {Barbara K{\"{o}}nig and
Vitali Kozioura},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Counterexample-Guided Abstraction Refinement for the Analysis of Graph
Transformation Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {197--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_13},
doi = {10.1007/11691372\_13},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KonigK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BaldanCKL06,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig and
Alberto Lluch{-}Lafuente},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Pierre{-}Yves Schobbens},
title = {A Temporal Graph Logic for Verification of Graph Transformation Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 18th International
Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4409},
pages = {1--20},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71998-4\_1},
doi = {10.1007/978-3-540-71998-4\_1},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BaldanCKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkHK07,
author = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Preface},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.012},
doi = {10.1016/J.ENTCS.2007.04.012},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KonigK08,
author = {Barbara K{\"{o}}nig and
Vitali Kozioura},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Augur 2 - {A} New Version of a Tool for the Analysis of Graph Transformation
Systems},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {201--210},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.042},
doi = {10.1016/J.ENTCS.2008.04.042},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KonigK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2005gtvc,
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Proceedings of the Workshop on Graph Transformation for Verification
and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San
Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/154/issue/2},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2005gtvc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Konig05,
author = {Barbara K{\"{o}}nig},
title = {A general framework for types in graph rewriting},
journal = {Acta Informatica},
volume = {42},
number = {4-5},
pages = {349--388},
year = {2005},
url = {https://doi.org/10.1007/s00236-005-0180-4},
doi = {10.1007/S00236-005-0180-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Konig05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/KonigK05,
author = {Barbara K{\"{o}}nig and
Vitali Kozioura},
title = {Augur - {A} Tool for the Analysis of Graph Transformation Systems},
journal = {Bull. {EATCS}},
volume = {87},
pages = {126--137},
year = {2005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/KonigK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Konig05,
author = {Barbara K{\"{o}}nig},
title = {Analysing input/output-capabilities of mobile processes with a generic
type system},
journal = {J. Log. Algebraic Methods Program.},
volume = {63},
number = {1},
pages = {35--58},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.004},
doi = {10.1016/J.JLAP.2004.01.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Konig05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GruberHKK05,
author = {Hermann Gruber and
Markus Holzer and
Astrid Kiehn and
Barbara K{\"{o}}nig},
editor = {Clelia de Felice and
Antonio Restivo},
title = {On Timed Automata with Discrete Time - Structural and Language Theoretical
Characterization},
booktitle = {Developments in Language Theory, 9th International Conference, {DLT}
2005, Palermo, Italy, July 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3572},
pages = {272--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11505877\_24},
doi = {10.1007/11505877\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GruberHKK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkHK06,
author = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Preface},
booktitle = {Proceedings of the Workshop on Graph Transformation for Verification
and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San
Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {2},
pages = {1--5},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.03.028},
doi = {10.1016/J.ENTCS.2005.03.028},
timestamp = {Fri, 20 Jan 2023 11:11:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004P4241,
editor = {Barbara K{\"{o}}nig and
Ugo Montanari and
Philippa Gardner},
title = {Graph Transformations and Process Algebras for Modeling Distributed
and Mobile Systems, 6.-11. June 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04241},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/04241/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2004P4241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:phd/basesearch/Konig04,
author = {Barbara K{\"{o}}nig},
title = {Analysis and verification of systems with dynamically evolving structure
(Analyse und Verifikation von Systemen mit dynamischen Strukturver{\"{a}}nderungen)},
year = {2004},
url = {https://doi.org/10.18419/opus-2555},
doi = {10.18419/OPUS-2555},
urn = {urn:nbn:de:bsz:93-opus-23338},
timestamp = {Wed, 28 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Konig04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HolzerK04,
author = {Markus Holzer and
Barbara K{\"{o}}nig},
title = {Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State
Complexity Results, and How These Topics are Related to Each Other
(Column: Formal Language Theory)},
journal = {Bull. {EATCS}},
volume = {83},
pages = {139--155},
year = {2004},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HolzerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HolzerK04,
author = {Markus Holzer and
Barbara K{\"{o}}nig},
title = {On deterministic finite automata and syntactic monoid size},
journal = {Theor. Comput. Sci.},
volume = {327},
number = {3},
pages = {319--347},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.04.010},
doi = {10.1016/J.TCS.2004.04.010},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HolzerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanCK04,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Verifying Finite-State Graph Grammars: An Unfolding-Based Approach},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {83--98},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_6},
doi = {10.1007/978-3-540-28644-8\_6},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanCK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EhrigK04,
author = {Hartmut Ehrig and
Barbara K{\"{o}}nig},
editor = {Igor Walukiewicz},
title = {Deriving Bisimulation Congruences in the {DPO} Approach to Graph Rewriting},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {151--166},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_12},
doi = {10.1007/978-3-540-24727-2\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EhrigK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanKS04,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Ingo St{\"{u}}rmer},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Generating Test Cases for Code Generators by Unfolding Graph Transformation
Systems},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {194--209},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_15},
doi = {10.1007/978-3-540-30203-2\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaldanKR04,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Arend Rensink},
editor = {Barbara K{\"{o}}nig and
Ugo Montanari and
Philippa Gardner},
title = {Summary 2: Graph Grammar Verification through Abstraction},
booktitle = {Graph Transformations and Process Algebras for Modeling Distributed
and Mobile Systems, 6.-11. June 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04241},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/29},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BaldanKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KonigMG04,
author = {Barbara K{\"{o}}nig and
Ugo Montanari and
Philippa Gardner},
editor = {Barbara K{\"{o}}nig and
Ugo Montanari and
Philippa Gardner},
title = {04241 Abstracts Collection - Graph Transformations and Process Algebras
for Modeling Distributed and Mobile Systems},
booktitle = {Graph Transformations and Process Algebras for Modeling Distributed
and Mobile Systems, 6.-11. June 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04241},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/27},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KonigMG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HolzerK03,
author = {Markus Holzer and
Barbara K{\"{o}}nig},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {On Deterministic Finite Automata and Syntactic Monoid Size, Continued},
booktitle = {Developments in Language Theory, 7th International Conference, {DLT}
2003, Szeged, Hungary, July 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2710},
pages = {349--360},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45007-6\_28},
doi = {10.1007/3-540-45007-6\_28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HolzerK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BaldanKK03,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Bernhard K{\"{o}}nig},
editor = {Radhia Cousot},
title = {A Logic for Analyzing Abstractions of Graph Transformation Systems},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {255--272},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_14},
doi = {10.1007/3-540-44898-5\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BaldanKK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldanCKK04,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig and
Bernhard K{\"{o}}nig},
editor = {Furio Honsell and
Marina Lenisa and
Marino Miculan},
title = {Verifying a Behavioural Logic for Graph Transformation Systems},
booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational
Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {104},
pages = {5--24},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.018},
doi = {10.1016/J.ENTCS.2004.08.018},
timestamp = {Fri, 09 Dec 2022 11:43:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaldanCKK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Konig02,
author = {Barbara K{\"{o}}nig},
title = {Hypergraph Construction and its Application to the Static Analysis
of Concurrent Systems},
journal = {Math. Struct. Comput. Sci.},
volume = {12},
number = {2},
pages = {149--175},
year = {2002},
url = {https://doi.org/10.1017/S0960129501003486},
doi = {10.1017/S0960129501003486},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Konig02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HolzerK02a,
author = {Markus Holzer and
Barbara K{\"{o}}nig},
editor = {Masami Ito and
Masafumi Toyama},
title = {On Deterministic Finite Automata and Syntactic Monoid Size},
booktitle = {Developments in Language Theory, 6th International Conference, {DLT}
2002, Kyoto, Japan, September 18-21, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2450},
pages = {258--269},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45005-X\_22},
doi = {10.1007/3-540-45005-X\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HolzerK02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanK02,
author = {Paolo Baldan and
Barbara K{\"{o}}nig},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Approximating the Behaviour of Graph Transformation Systems},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {14--29},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_4},
doi = {10.1007/3-540-45832-8\_4},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaldanK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniGKK07,
author = {Andrea Corradini and
Fabio Gadducci and
Wolfram Kahl and
Barbara K{\"{o}}nig},
editor = {Ian Mackie and
Detlef Plump},
title = {Inequational Deduction as Term Graph Rewriting},
booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting,
{TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {1},
pages = {31--44},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/j.entcs.2002.09.004},
doi = {10.1016/J.ENTCS.2002.09.004},
timestamp = {Tue, 06 Dec 2022 15:31:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniGKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanCK01,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {A Static Analysis Technique for Graph Transformation Systems},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {381--395},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_26},
doi = {10.1007/3-540-44685-0\_26},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanCK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KonigM01,
author = {Barbara K{\"{o}}nig and
Ugo Montanari},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Observational Equivalence for Synchronized Graph Rewriting with Mobility},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {145--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_7},
doi = {10.1007/3-540-45500-0\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/KonigM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Konig00,
author = {Barbara K{\"{o}}nig},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A General Framework for Types in Graph Rewriting},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {373--384},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_30},
doi = {10.1007/3-540-44450-5\_30},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Konig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Konig00,
author = {Barbara K{\"{o}}nig},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Analysing Input/Output-Capabilities of Mobile Processes with a Generic
Type System},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {403--414},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_34},
doi = {10.1007/3-540-45022-X\_34},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Konig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Konig00a,
author = {Barbara K{\"{o}}nig},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {A Graph Rewriting Semantics for the Polyadic Calculus},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {451--458},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Konig00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Konig99,
author = {Barbara K{\"{o}}nig},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Generating Type Systems for Process Graphs},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {352--367},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_25},
doi = {10.1007/3-540-48320-9\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Konig99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Konig98,
author = {Barbara K{\"{o}}nig},
title = {Description and verification of mobile processes with graph rewriting
techniques},
school = {Technical University Munich, Germany},
year = {1998},
url = {https://d-nb.info/958013837},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Konig98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-02 01:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
