Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tobias Heindel
@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}
}
@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}
}
@inproceedings{DBLP:conf/bpm/HeindelW20,
author = {Tobias Heindel and
Ingo Weber},
editor = {Dirk Fahland and
Chiara Ghidini and
J{\"{o}}rg Becker and
Marlon Dumas},
title = {Incentive Alignment of Business Processes},
booktitle = {Business Process Management - 18th International Conference, {BPM}
2020, Seville, Spain, September 13-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12168},
pages = {93--110},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58666-9\_6},
doi = {10.1007/978-3-030-58666-9\_6},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeindelW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DanosHHS20,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Alessandro Abate and
Tatjana Petrov and
Verena Wolf},
title = {Rate Equations for Graphs},
booktitle = {Computational Methods in Systems Biology - 18th International Conference,
{CMSB} 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12314},
pages = {3--26},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60327-4\_1},
doi = {10.1007/978-3-030-60327-4\_1},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DanosHHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06504,
author = {Tobias Heindel and
Ingo Weber},
title = {Incentive Alignment of Business Processes: a game theoretic approach},
journal = {CoRR},
volume = {abs/2006.06504},
year = {2020},
url = {https://arxiv.org/abs/2006.06504},
eprinttype = {arXiv},
eprint = {2006.06504},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11066,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
title = {Rate Equations for Graphs},
journal = {CoRR},
volume = {abs/2008.11066},
year = {2020},
url = {https://arxiv.org/abs/2008.11066},
eprinttype = {arXiv},
eprint = {2008.11066},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11066.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}
}
@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}
}
@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 = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/CabreraHH018.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}
}
@inproceedings{DBLP:conf/fossacs/DanosHGS17,
author = {Vincent Danos and
Tobias Heindel and
Ilias Garnier and
Jakob Grue Simonsen},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Computing Continuous-Time Markov Chains as Transformers of Unbounded
Observables},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {338--354},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_20},
doi = {10.1007/978-3-662-54458-7\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DanosHGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/DanosHHS15,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Jean Krivine and
Jean{-}Bernard Stefani},
title = {Moment Semantics for Reversible Rule-Based Systems},
booktitle = {Reversible Computation - 7th International Conference, {RC} 2015,
Grenoble, France, July 16-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9138},
pages = {3--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20860-2\_1},
doi = {10.1007/978-3-319-20860-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/DanosHHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HeindelDHS14,
author = {Tobias Heindel and
Vincent Danos and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
title = {Mean Quantitative Coverability in Stochastic Graph Transformation
Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {68},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.68.958},
doi = {10.14279/TUJ.ECEASST.68.958},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/HeindelDHS14.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}
}
@inproceedings{DBLP:conf/gg/DanosHHS14,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Reversible Sesqui-Pushout Rewriting},
booktitle = {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},
pages = {161--176},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_11},
doi = {10.1007/978-3-319-09108-2\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/DanosHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HaymanH14,
author = {Jonathan Hayman and
Tobias Heindel},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {On Pushouts of Partial Maps},
booktitle = {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},
pages = {177--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_12},
doi = {10.1007/978-3-319-09108-2\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/HaymanH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DanosHHS14,
author = {Vincent Danos and
Tobias Heindel and
Ricardo Honorato{-}Zimmer and
Sandro Stucki},
editor = {Stephan Merz and
Jun Pang},
title = {Approximations for Stochastic Graph Rewriting},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {1--10},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_1},
doi = {10.1007/978-3-319-11737-9\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DanosHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HaymanH13,
author = {Jonathan Hayman and
Tobias Heindel},
editor = {Frank Pfenning},
title = {Pattern Graphs and Rule-Based Models: The Semantics of Kappa},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_1},
doi = {10.1007/978-3-642-37075-5\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HaymanH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultHM13,
author = {Eric Goubault and
Tobias Heindel and
Samuel Mimram},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {A Geometric View of Partial Order Reduction},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {179--195},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.013},
doi = {10.1016/J.ENTCS.2013.09.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultHM13.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/fuin/Heindel12,
author = {Tobias Heindel},
title = {Adhesivity with Partial Maps instead of Spans},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
pages = {1--33},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-704},
doi = {10.3233/FI-2012-704},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Heindel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-0663,
author = {Ugo Dal Lago and
Tobias Heindel and
Damiano Mazza and
Daniele Varacca},
title = {Computational Complexity of Interactive Behaviors},
journal = {CoRR},
volume = {abs/1209.0663},
year = {2012},
url = {http://arxiv.org/abs/1209.0663},
eprinttype = {arXiv},
eprint = {1209.0663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-0663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4594,
author = {Tobias Heindel and
Pawel Sobocinski},
title = {Being Van Kampen is a universal property},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:14)2011},
doi = {10.2168/LMCS-7(1:14)2011},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4594.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:journals/corr/abs-1108-0465,
author = {Andrei Dorman and
Tobias Heindel},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Structured Operational Semantics for Graph Rewriting},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {37--51},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.4},
doi = {10.4204/EPTCS.59.4},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Heindel10,
author = {Tobias Heindel},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Hereditary Pushouts Reconsidered},
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 = {250--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_17},
doi = {10.1007/978-3-642-15928-2\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Heindel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2111,
author = {Tobias Heindel},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Structural Decomposition of Reactions of Graph-Like Objects},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {26--41},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.3},
doi = {10.4204/EPTCS.32.3},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Heindel2009,
author = {Tobias Heindel},
title = {A category theoretical approach to the concurrent semantics of rewriting:
adhesive categories and related concepts},
school = {University of Duisburg-Essen},
year = {2009},
url = {http://duepublico.uni-duisburg-essen.de/servlets/DerivateServlet/Derivate-24329/diss.pdf},
urn = {urn:nbn:de:hbz:464-20100429-091158-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Heindel2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HeindelS09,
author = {Tobias Heindel and
Pawel Sobocinski},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Van Kampen Colimits as Bicolimits in Span},
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 = {335--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_23},
doi = {10.1007/978-3-642-03741-2\_23},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/HeindelS09.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}
}
@inproceedings{DBLP:conf/gg/BonchiGH08,
author = {Filippo Bonchi and
Fabio Gadducci and
Tobias Heindel},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Parallel and Sequential Independence for 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 = {226--241},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_16},
doi = {10.1007/978-3-540-87405-8\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BonchiGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Heindel08,
author = {Tobias Heindel},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Grammar Morphisms and Weakly Adhesive Categories},
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 = {493--495},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_43},
doi = {10.1007/978-3-540-87405-8\_43},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Heindel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heindel09,
author = {Tobias Heindel},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Towards Secrecy for Rewriting in Weakly Adhesive Categories},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {97--115},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.041},
doi = {10.1016/J.ENTCS.2009.06.041},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heindel09.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:journals/entcs/BonchiH07,
author = {Filippo Bonchi and
Tobias Heindel},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Adhesive {DPO} Parallelism for Monic Matches},
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 = {51--61},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.016},
doi = {10.1016/J.ENTCS.2007.04.016},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-21 17:28 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:
