Tobias Heindel

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	555	173
H-index	11	6
i10-index	16	1

2005200620072008200920102011201220132014201520162017201820192020202120222023202420252 11 10 28 25 32 28 27 22 44 29 43 20 21 34 51 39 25 31 24 3

גישה ציבורית

הצג הכל

9 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Barbara KönigUniversität Duisburg-Essen, Theoretische Informatikכתובת אימייל מאומתת בדומיין uni-due.de
Andrea CorradiniProfessor of Computer Science, University of Pisaכתובת אימייל מאומתת בדומיין di.unipi.it
Paolo BaldanProfessor of Computer Science, University of Padovaכתובת אימייל מאומתת בדומיין math.unipd.it
Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieureכתובת אימייל מאומתת בדומיין ens.fr
Pawel SobocinskiTallinn University of Technologyכתובת אימייל מאומתת בדומיין cs.ioc.ee
Ricardo Honorato-ZimmerSchool of Informatics, University of Edinburghכתובת אימייל מאומתת בדומיין sms.ed.ac.uk
Sandro StuckiChalmers University of Technologyכתובת אימייל מאומתת בדומיין chalmers.se
Filippo BonchiCNRS ENS-Lyonכתובת אימייל מאומתת בדומיין ens-lyon.fr
Frank HermannProduct Owner; CARIADכתובת אימייל מאומתת בדומיין frank-hermann.de
Javier EsparzaProfessor of Computer Science, Technical University of Munichכתובת אימייל מאומתת בדומיין in.tum.de
Ilias GarnierPostdoc, École Normale Supérieureכתובת אימייל מאומתת בדומיין di.ens.fr
Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de Parisכתובת אימייל מאומתת בדומיין polytechnique.edu
Eric GoubaultEcole Polytechniqueכתובת אימייל מאומתת בדומיין cea.fr
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, Franceכתובת אימייל מאומתת בדומיין irif.fr
Fabio GadducciProfessore di Informatica, Università di Pisaכתובת אימייל מאומתת בדומיין unipi.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of Leicesterכתובת אימייל מאומתת בדומיין mcs.le.ac.uk
Arend RensinkProfessor in Computer Science, University of Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Jakob Grue SimonsenIT University of Copenhagenכתובת אימייל מאומתת בדומיין itu.dk
Ugo Dal LagoUniversity of Bologna and INRIA Sophia Antipolisכתובת אימייל מאומתת בדומיין cs.unibo.it

עקוב אחר

Tobias Heindel

TU Berlin

כתובת אימייל מאומתת בדומיין tu-berlin.de - דף הבית

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


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Sesqui-pushout rewriting‏ A Corradini, T Heindel, F Hermann, B König‏ International Conference on Graph Transformation, 30-45, 2006‏	188	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
Verifying red-black trees‏ P Baldan, A Corradini, J Esparza, T Heindel, B König, V Kozioura‏ Proc. of COSMICAH 5, 04, 2005‏	31	2005
Van Kampen colimits as bicolimits in Span‏ T Heindel, P Sobociński‏ International Conference on Algebra and Coalgebra in Computer Science, 335-349, 2009‏	29	2009
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‏ International Conference on Algebra and Coalgebra in Computer Science, 350-366, 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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים