Author Info
Name
Affiliation
Papers
TOBIAS HEINDEL
Formal Methods and Tools Group, EWI-INF, University of Twente, PO Box 217, 7500 AE Enschede, The Netherlands
23
Collaborators
Citations 
PageRank 
27
156
12.93
Referers 
Referees 
References 
257
216
226
Search Limit
100257
Title
Citations
PageRank
Year
Rewriting Abstract Structures - Materialization Explained Categorically.00.342019
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.00.342018
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.10.372017
Moment Semantics For Reversible Rule-Based Systems10.362015
Approximations for Stochastic Graph Rewriting.40.552014
Mean Quantitative Coverability in Stochastic Graph Transformation Systems.00.342014
Processes and unfoldings: concurrent computations in adhesive categories.00.342014
A Geometric View of Partial Order Reduction20.402013
Pattern graphs and rule-based models: the semantics of kappa20.402013
Structured Operational Semantics For Graph Rewriting00.342012
Computational Complexity of Interactive Behaviors00.342012
Adhesivity with Partial Maps instead of Spans20.402012
Being Van Kampen is a universal property00.342011
A lattice-theoretical perspective on adhesive categories30.482011
Hereditary Pushouts Reconsidered90.622010
Structural Decomposition Of Reactions Of Graph-Like Objects20.392010
Unfolding grammars in adhesive categories80.872009
Towards Secrecy for Rewriting in Weakly Adhesive Categories10.422009
Van Kampen colimits as bicolimits in span1083.532009
Grammar Morphisms and Weakly Adhesive Categories00.342008
Parallel and Sequential Independence for Borrowed Contexts10.382008
Adhesive DPO Parallelism for Monic Matches10.362007
Processes for adhesive rewriting systems110.702006