Tobias Heindel

Cited by

	All	Since 2018
Citations	516	196
h-index	11	7
i10-index	15	3

20052006200720082009201020112012201320142015201620172018201920202021202220232 11 9 28 25 30 30 25 18 44 29 45 19 21 35 48 37 24 31

Public access

View all

8 articles

1 article

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
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
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
Sandro StuckiAmazonVerified email at amazon.com
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerified email at sms.ed.ac.uk
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Samuel MimramLIX, École PolytechniqueVerified email at lix.polytechnique.fr
Eric GoubaultEcole PolytechniqueVerified email at cea.fr
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, FranceVerified email at irif.fr
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
Frank HermannData Scientist; CARIAD

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	165	2006
Hereditary pushouts reconsidered T Heindel International Conference on Graph Transformation, 250-265, 2010	38	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	33	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	31	2009
Verifying red-black trees P Baldan, A Corradini, J Esparza, T Heindel, B König, V Kozioura Proc. of COSMICAH 5, 04, 2005	29	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	23	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	23	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
A geometric view of partial order reduction E Goubault, T Heindel, S Mimram Electronic Notes in Theoretical Computer Science 298, 179-195, 2013	11	2013
Being Van Kampen is a universal property P Sobocinski, T Heindel Logical Methods in Computer Science 7, 2011	11*	2011
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	10	2014
On pushouts of partial maps J Hayman, T Heindel International Conference on Graph Transformation, 177-191, 2014	10	2014
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
Adhesivity with partial maps instead of spans T Heindel Fundamenta Informaticae 118 (1-2), 1-33, 2012	10	2012
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	9	2019
The algebras of graph rewriting N Behr, V Danos, I Garnier, T Heindel arXiv preprint arXiv:1612.06240, 2016	8	2016
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
Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Reversible Computation, 3-26, 2015	7	2015

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