Ricardo Honorato-Zimmer

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