Tobias Heindel

Geciteerd door

	Alles	Sinds 2020
Citaties	548	171
h-index	11	6
i10-index	16	1

2005200620072008200920102011201220132014201520162017201820192020202120222023202420252 12 10 27 25 31 28 25 22 44 29 43 19 21 33 51 39 24 32 22 3

Openbare toegang

Alles bekijken

9 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikGeverifieerd e-mailadres voor uni-due.de
Andrea CorradiniProfessor of Computer Science, University of PisaGeverifieerd e-mailadres voor di.unipi.it
Paolo BaldanProfessor of Computer Science, University of PadovaGeverifieerd e-mailadres voor math.unipd.it
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureGeverifieerd e-mailadres voor ens.fr
Pawel SobocinskiTallinn University of TechnologyGeverifieerd e-mailadres voor cs.ioc.ee
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghGeverifieerd e-mailadres voor sms.ed.ac.uk
Sandro StuckiChalmers University of TechnologyGeverifieerd e-mailadres voor chalmers.se
Filippo BonchiCNRS ENS-LyonGeverifieerd e-mailadres voor ens-lyon.fr
Frank HermannProduct Owner; CARIADGeverifieerd e-mailadres voor frank-hermann.de
Javier EsparzaProfessor of Computer Science, Technical University of MunichGeverifieerd e-mailadres voor in.tum.de
Ilias GarnierPostdoc, École Normale SupérieureGeverifieerd e-mailadres voor di.ens.fr
Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de ParisGeverifieerd e-mailadres voor polytechnique.edu
Eric GoubaultEcole PolytechniqueGeverifieerd e-mailadres voor cea.fr
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, FranceGeverifieerd e-mailadres voor irif.fr
Fabio GadducciProfessore di Informatica, Università di PisaGeverifieerd e-mailadres voor unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterGeverifieerd e-mailadres voor mcs.le.ac.uk
Arend RensinkProfessor in Computer Science, University of TwenteGeverifieerd e-mailadres voor utwente.nl
Jakob Grue SimonsenIT University of CopenhagenGeverifieerd e-mailadres voor itu.dk
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisGeverifieerd e-mailadres voor cs.unibo.it

Volgen

Tobias Heindel

TU Berlin

Geverifieerd e-mailadres voor tu-berlin.de - Homepage

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


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König International Conference on Graph Transformation, 30-45, 2006	181	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs