Ricardo Honorato-Zimmer

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 11

Top Topics

Geometric Consistency

Graph Transformation

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CoRR (2020)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CMSB (2020)
Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis
Chromar, a language of parameterised agents. Theor. Comput. Sci. 765 (2019)
Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis
Chromar, a Rule-based Language of Parameterised Objects. SASB 335 (2018)
Matteo Cavaliere, Vincent Danos, Ricardo Honorato-Zimmer, William Waites
Annotations for Rule-Based Models. CoRR (2018)
Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinform. 32 (6) (2016)
Vincent Danos, Ricardo Honorato-Zimmer
Emergent Communities in Socio-cognitive Networks. FAS*W@SASO/ICCAC (2016)
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
Rigid Geometric Constraints for Kappa Models. Electron. Notes Theor. Comput. Sci. 313 (2015)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Moment Semantics for Reversible Rule-Based Systems. RC (2015)
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Thermodynamic graph-rewriting. Log. Methods Comput. Sci. 11 (2) (2015)
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
Coarse-graining the Dynamics of Ideal Branched Polymers. Electron. Notes Theor. Comput. Sci. 313 (2015)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Reversible Sesqui-Pushout Rewriting. ICGT (2014)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Approximations for Stochastic Graph Rewriting. ICFEM (2014)
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
Mean Quantitative Coverability in Stochastic Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Thermodynamic Graph-Rewriting. CONCUR (2013)
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
(M, R) Systems and RAF Sets - Common Ideas, Tools and Projections. ALIFE (2010)