Ricardo Honorato-Zimmer

According to our database, Ricardo Honorato-Zimmer authored at least 14 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Rate Equations for Graphs.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Chromar, a language of parameterised agents.

Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis

Theor. Comput. Sci., 2019

2018

Chromar, a Rule-based Language of Parameterised Objects.

Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis

Proceedings of SASB 2018, 2018

Annotations for Rule-Based Models.

Matteo Cavaliere, Vincent Danos, Ricardo Honorato-Zimmer, William Waites

CoRR, 2018

2016

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.

Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat

Bioinform., 2016

Emergent Communities in Socio-cognitive Networks.

Vincent Danos, Ricardo Honorato-Zimmer

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

2015

Thermodynamic graph-rewriting.

Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer

Log. Methods Comput. Sci., 2015

Moment Semantics for Reversible Rule-Based Systems.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Mean Quantitative Coverability in Stochastic Graph Transformation Systems.

Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Approximations for Stochastic Graph Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Formal Methods and Software Engineering, 2014

Reversible Sesqui-Pushout Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Graph Transformation - 7th International Conference, 2014

2012

Coarse-graining the Dynamics of Ideal Branched Polymers.

Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

Rigid Geometric Constraints for Kappa Models.

Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

2010

(M, R) Systems and RAF Sets - Common Ideas, Tools and Projections.

Juan-Carlos Letelier, Sebastián Jaramillo, Ricardo Honorato-Zimmer, Ulises Pereira, Diego Contreras, Bryan Reynaert, Valentina C. Hernandez, Jorge Soto Andrade, María Luz Cárdenas, Athel Cornish-Bowden

Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010