Tobias Heindel

Cited by

	All	Since 2019
Citations	542	199
h-index	11	7
i10-index	16	3

200520062007200820092010201120122013201420152016201720182019202020212022202320242 12 9 28 25 31 28 25 22 44 29 43 19 21 33 50 40 24 34 18

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerified email at sms.ed.ac.uk
Sandro StuckiAmazonVerified email at amazon.com
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Frank HermannProduct Owner; CARIADVerified email at frank-hermann.de
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de ParisVerified email at polytechnique.edu
Eric GoubaultEcole PolytechniqueVerified email at cea.fr
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, FranceVerified email at irif.fr
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
Jakob Grue SimonsenDepartment of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it

Tobias Heindel

TU Berlin

Verified email at tu-berlin.de - Homepage

Blockchain ← now ∥ formerly → Applied Category Theory Markov chains quantitative aspects of rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König International Conference on Graph Transformation, 30-45, 2006	177	2006
Hereditary pushouts reconsidered T Heindel International Conference on Graph Transformation, 250-265, 2010	40	2010
Processes for adhesive rewriting systems P Baldan, A Corradini, T Heindel, B König, P Sobociński International Conference on Foundations of Software Science and Computation …, 2006	34	2006
Van Kampen colimits as bicolimits in Span T Heindel, P Sobociński International Conference on Algebra and Coalgebra in Computer Science, 335-349, 2009	30	2009
Verifying red-black trees P Baldan, A Corradini, J Esparza, T Heindel, B König, V Kozioura Proc. of COSMICAH 5, 04, 2005	30	2005
A category theoretical approach to the concurrent semantics of rewriting T Heindel PhD thesis, Universität Duisburg–Essen, September 2009. http://www. ti. inf …, 2009	24	2009
Unfolding grammars in adhesive categories P Baldan, A Corradini, T Heindel, B König, P Sobociński Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	24	2009
Reversible sesqui-pushout rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Graph Transformation, 161-176, 2014	15	2014
Pattern graphs and rule-based models: The semantics of kappa J Hayman, T Heindel International Conference on Foundations of Software Science and …, 2013	14	2013
Rewriting abstract structures: materialization explained categorically A Corradini, T Heindel, B König, D Nolte, A Rensink Foundations of Software Science and Computation Structures: 22nd …, 2019	11	2019
Processes and unfoldings: concurrent computations in adhesive categories P Baldan, A Corradini, T Heindel, B König, P Sobociński Mathematical Structures in Computer Science 24 (4), 240402, 2014	11	2014
On pushouts of partial maps J Hayman, T Heindel International Conference on Graph Transformation, 177-191, 2014	11	2014
Adhesivity with partial maps instead of spans T Heindel Fundamenta Informaticae 118 (1-2), 1-33, 2012	11	2012
Approximations for stochastic graph rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki Formal Methods and Software Engineering: 16th International Conference on …, 2014	10	2014
A geometric view of partial order reduction E Goubault, T Heindel, S Mimram Electronic Notes in Theoretical Computer Science 298, 179-195, 2013	10	2013
Being Van Kampen is a universal property P Sobocinski, T Heindel Logical Methods in Computer Science 7, 2011	10	2011
The algebras of graph rewriting N Behr, V Danos, I Garnier, T Heindel arXiv preprint arXiv:1612.06240, 2016	9	2016
Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Reversible Computation, 3-26, 2015	8	2015
A lattice-theoretical perspective on adhesive categories P Baldan, F Bonchi, A Corradini, T Heindel, B König Journal of Symbolic Computation 46 (3), 222-245, 2011	8	2011
Parallel and sequential independence for borrowed contexts F Bonchi, F Gadducci, T Heindel International Conference on Graph Transformation, 226-241, 2008	8	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors