| Chromar, a language of parameterised agents R Honorato-Zimmer, AJ Millar, GD Plotkin, A Zardilis Theoretical Computer Science 765, 97-119, 2019 | 24 | 2019 |
| 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 | 20 | 2015 |
| (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 | 19* | 2010 |
| Kappa rule-based modeling in synthetic biology J Wilson-Kanamori, V Danos, T Thomson, R Honorato-Zimmer Computational Methods in Synthetic Biology, 105-135, 2014 | 16 | 2014 |
| Reversible sesqui-pushout rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Graph Transformation, 161-176, 2014 | 15 | 2014 |
| Thermodynamic graph-rewriting V Danos, R Harmer, R Honorato-Zimmer International Conference on Concurrency Theory, 380-394, 2013 | 14 | 2013 |
| Thermodynamic graph-rewriting V Danos, R Harmer, R Honorato-Zimmer International Conference on Concurrency Theory, 380-394, 2013 | 14 | 2013 |
| 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 | 10 | 2015 |
| Approximations for stochastic graph rewriting V Danos, T Heindel, R Honorato-Zimmer, S Stucki Formal Methods and Software Engineering--16th International Conference on …, 2014 | 10 | 2014 |
| Moment semantics for reversible rule-based systems V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Reversible Computation, 3-26, 2015 | 8 | 2015 |
| 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 | 7 | 2018 |
| 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 | 5 | 2013 |
| 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS-W)(2016) V Danos, R Honorato-Zimmer | 5* | |
| Rate equations for graphs V Danos, T Heindel, R Honorato-Zimmer, S Stucki International Conference on Computational Methods in Systems Biology, 3-26, 2020 | 4 | 2020 |
| 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 | 3 | 2015 |
| Thermodynamic graph-rewriting V Danos, R Harmer, R Honorato-Zimmer Logical Methods in Computer Science 11, 2015 | 2 | 2015 |
| Annotations for Rule-Based Models M Cavaliere, V Danos, R Honorato-Zimmer, W Waites Modeling Biomolecular Site Dynamics, 271-296, 2019 | 1 | 2019 |
| Emergent Communities in Socio-cognitive Networks V Danos, R Honorato-Zimmer 2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016 | 1 | 2016 |
| Computing approximations for graph transformation systems V Danos, T Heindel, RH Zimmer 2nd International Workshop on Meta Models for Process Languages, 2015 | 1 | 2015 |
| Annotations for Rule-Based Models M Cavaliere, V Danos, R Honorato-Zimmer, W Waites Modeling Biomolecular Site Dynamics, 271-296, 2019 | | 2019 |
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureDirección de correo verificada de ens.fr
