Tobias Heindel

Citeras av

	Alla	Sedan 2020
Citat	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

Offentlig åtkomst

Visa alla

9 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerifierad e-postadress på uni-due.de
Andrea CorradiniProfessor of Computer Science, University of PisaVerifierad e-postadress på di.unipi.it
Paolo BaldanProfessor of Computer Science, University of PadovaVerifierad e-postadress på math.unipd.it
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerifierad e-postadress på ens.fr
Pawel SobocinskiTallinn University of TechnologyVerifierad e-postadress på cs.ioc.ee
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerifierad e-postadress på sms.ed.ac.uk
Sandro StuckiChalmers University of TechnologyVerifierad e-postadress på chalmers.se
Filippo BonchiCNRS ENS-LyonVerifierad e-postadress på ens-lyon.fr
Frank HermannProduct Owner; CARIADVerifierad e-postadress på frank-hermann.de
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerifierad e-postadress på in.tum.de
Ilias GarnierPostdoc, École Normale SupérieureVerifierad e-postadress på di.ens.fr
Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de ParisVerifierad e-postadress på polytechnique.edu
Eric GoubaultEcole PolytechniqueVerifierad e-postadress på cea.fr
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, FranceVerifierad e-postadress på irif.fr
Fabio GadducciProfessore di Informatica, Università di PisaVerifierad e-postadress på unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerifierad e-postadress på mcs.le.ac.uk
Arend RensinkProfessor in Computer Science, University of TwenteVerifierad e-postadress på utwente.nl
Jakob Grue SimonsenIT University of CopenhagenVerifierad e-postadress på itu.dk
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerifierad e-postadress på cs.unibo.it

Följ

Tobias Heindel

TU Berlin

Verifierad e-postadress på tu-berlin.de - Startsida

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


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare