Ricardo Honorato-Zimmer
Ricardo Honorato-Zimmer
School of Informatics, University of Edinburgh
Verified email at sms.ed.ac.uk
Title
Cited by
Cited by
Year
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation
G Misirli, M Cavaliere, W Waites, M Pocock, C Madsen, O Gilfellon, ...
Bioinformatics, btv660, 2015
192015
Chromar, a language of parameterised agents
R Honorato-Zimmer, AJ Millar, GD Plotkin, A Zardilis
Theoretical Computer Science 765, 97-119, 2019
162019
Annotations for Rule-Based Models
M Cavaliere, V Danos, R Honorato-Zimmer, W Waites
Modeling Biomolecular Site Dynamics, 271-296, 2019
16*2019
(M, R) systems and RAF sets: common ideas, tools and projections
S Jaramillo, R Honorato-Zimmer, U Pereira, D Contreras, B Reynaert, ...
In: Proceedings of the Alife XII Conference, 2010
142010
Thermodynamic graph-rewriting
V Danos, R Harmer, R Honorato-Zimmer
International Conference on Concurrency Theory, 380-394, 2013
132013
Thermodynamic graph-rewriting
V Danos, R Harmer, R Honorato-Zimmer
International Conference on Concurrency Theory, 380-394, 2013
132013
Kappa Rule-Based Modeling in Synthetic Biology
J Wilson-Kanamori, V Danos, T Thomson, R Honorato-Zimmer
Computational Methods in Synthetic Biology, 105-135, 2015
112015
Reversible sesqui-pushout rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Graph Transformation, 161-176, 2014
112014
Approximations for stochastic graph rewriting
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
Formal Methods and Software Engineering--16th International Conference on …, 2014
92014
Moment Semantics for Reversible Rule-Based Systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Reversible Computation, 3-26, 2015
72015
Rigid geometric constraints for Kappa models
V Danos, R Honorato-Zimmer, S Jaramillo-Riveri, S Stucki
Electronic Notes in Theoretical Computer Science 313, 23-46, 2015
72015
Chromar, a rule-based language of parameterised objects
R Honorato-Zimmer, AJ Millar, GD Plotkin, A Zardilis
Electronic Notes in Theoretical Computer Science 335, 49-66, 2018
62018
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS-W)(2016)
V Danos, R Honorato-Zimmer
6*
Deriving rate equations for site graph rewriting systems
V Danos, R Harmer, R Honorato-Zimmer, S Stucki
Fourth International Workshop on Static Analysis and Systems Biology, SASB 13, 2013
52013
Coarse-graining the dynamics of ideal branched polymers
V Danos, R Honorato-Zimmer, S Jaramillo-Riveri, S Stucki
Electronic Notes in Theoretical Computer Science 313, 47-64, 2015
32015
Annotations for Rule-Based Models
M Cavaliere, V Danos, R Honorato-Zimmer, W Waites
Modeling Biomolecular Site Dynamics, 271-296, 2019
12019
Emergent Communities in Socio-cognitive Networks
V Danos, R Honorato-Zimmer
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
12016
Computing approximations for graph transformation systems
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
MeMo 2015, 33, 2015
12015
Thermodynamic graph-rewriting
V Danos, R Harmer, R Honorato-Zimmer
arXiv preprint arXiv:1503.06022, 2015
12015
Rate Equations for Graphs
V Danos, T Heindel, R Honorato-Zimmer, S Stucki
International Conference on Computational Methods in Systems Biology, 3-26, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20