Articoli con mandati relativi all'accesso pubblico - Tobias HeindelUlteriori informazioni
Disponibili pubblicamente: 9
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
Mandati: German Research Foundation
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
Mandati: German Research Foundation
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
Mandati: German Research Foundation
Reversible sesqui-pushout rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Graph Transformation, 161-176, 2014
Mandati: European Commission
On pushouts of partial maps
J Hayman, T Heindel
International Conference on Graph Transformation, 177-191, 2014
Mandati: European Commission
Approximations for stochastic graph rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
Formal Methods and Software Engineering: 16th International Conference on …, 2014
Mandati: European Commission
Moment semantics for reversible rule-based systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Reversible Computation, 3-26, 2015
Mandati: European Commission
Computing continuous-time markov chains as transformers of unbounded observables
V Danos, T Heindel, I Garnier, JG Simonsen
International Conference on Foundations of Software Science and Computation …, 2017
Mandati: Danish Council for Independent Research
Mean Quantitative Coverability in Stochastic Graph Transformation Systems
T Heindel, V Danos, R Honorato-Zimmer, S Stucki
Electronic Communications of the EASST 68, 2014
Mandati: European Commission
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software