Tobias Heindel

Citée par

	Toutes	Depuis 2018
Citations	503	187
indice h	11	7
indice i10	14	3

20052006200720082009201020112012201320142015201620172018201920202021202220232 11 9 28 27 27 26 27 18 42 30 45 20 22 35 48 37 26 19

Accès public

Tout afficher

7 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikAdresse e-mail validée de uni-due.de
Andrea CorradiniProfessor of Computer Science, University of PisaAdresse e-mail validée de di.unipi.it
Paolo BaldanProfessor of Computer Science, University of PadovaAdresse e-mail validée de math.unipd.it
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureAdresse e-mail validée de ens.fr
Pawel SobocinskiTallinn University of TechnologyAdresse e-mail validée de cs.ioc.ee
Sandro StuckiAmazonAdresse e-mail validée de chalmers.se
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghAdresse e-mail validée de sms.ed.ac.uk
Filippo BonchiCNRS ENS-LyonAdresse e-mail validée de ens-lyon.fr
Javier EsparzaProfessor of Computer Science, Technical University of MunichAdresse e-mail validée de in.tum.de
Ilias GarnierPostdoc, École Normale SupérieureAdresse e-mail validée de di.ens.fr
Samuel MimramLIX, École PolytechniqueAdresse e-mail validée de lix.polytechnique.fr
Eric GoubaultEcole PolytechniqueAdresse e-mail validée de cea.fr
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, FranceAdresse e-mail validée de irif.fr
Fabio GadducciProfessore di Informatica, Università di PisaAdresse e-mail validée de unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterAdresse e-mail validée de mcs.le.ac.uk
Arend RensinkProfessor in Computer Science, University of TwenteAdresse e-mail validée de utwente.nl
Jakob Grue SimonsenDepartment of Computer Science, University of Copenhagen (DIKU)Adresse e-mail validée de diku.dk
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisAdresse e-mail validée de cs.unibo.it
Frank HermannData Scientist; CARIAD

Suivre

Tobias Heindel

TU Berlin

Adresse e-mail validée de tu-berlin.de - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006	156	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 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
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs