Tobias Heindel

Cited by

	All	Since 2018
Citations	498	183
h-index	11	7
i10-index	14	3

20052006200720082009201020112012201320142015201620172018201920202021202220232 10 9 29 27 27 26 26 18 42 30 45 20 22 35 48 37 29 12

Public access

View all

7 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
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 SobocinskiProfessor of Computer Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Sandro StuckiAmazonVerified email at chalmers.se
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
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
Samuel MimramLIX, École PolytechniqueVerified email at lix.polytechnique.fr
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
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 Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006	152	2006
Hereditary pushouts reconsidered T Heindel Graph Transformations: 5th International Conference, ICGT 2010, Enschede …, 2010	36	2010
Processes for adhesive rewriting systems P Baldan, A Corradini, T Heindel, B König, P Sobociński Foundations of Software Science and Computation Structures: 9th …, 2006	33	2006
Van Kampen colimits as bicolimits in Span T Heindel, P Sobociński Algebra and Coalgebra in Computer Science: Third International Conference …, 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	22	2009
Reversible sesqui-pushout rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014	15	2014
Pattern graphs and rule-based models: The semantics of kappa J Hayman, T Heindel Foundations of Software Science and Computation Structures: 16th …, 2013	15	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 T Heindel, P Sobocinski 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
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
On pushouts of partial maps J Hayman, T Heindel Graph Transformation: 7th International Conference, ICGT 2014, Held as Part …, 2014	10	2014
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	9	2016
Adhesivity with partial maps instead of spans T Heindel Fundamenta Informaticae 118 (1-2), 1-33, 2012	9	2012
Parallel and sequential independence for borrowed contexts F Bonchi, F Gadducci, T Heindel Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008	8	2008
Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015	7	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	7	2011

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