Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Honorato-Zimmer, Ricardo
110  Ergebnisse:
Personensuche X
?
1

Rate Equations for Graphs:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,
Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo. - p. 3-26 , 2020
Link: https://doi.org/10.1007/..
 
?
2

Chromar, a language of parameterised agents:

Honorato-Zimmer, Ricardo ; Millar, Andrew J. ; Plotkin, Gordon D..
Theoretical Computer Science.  765 (2019)  - p. 97-119 , 2019
Link: https://doi.org/10.1016/..
 
?
3

Chromar, a Rule-based Language of Parameterised Objects:

Honorato-Zimmer, Ricardo ; Millar, Andrew J. ; Plotkin, Gordon D..
Electronic Notes in Theoretical Computer Science.  335 (2018)  - p. 49-66 , 2018
Link: https://doi.org/10.1016/..
 
?
4

Annotation of rule-based models with formal semantics to en..:

Misirli, Goksel ; Cavaliere, Matteo ; Waites, William...
Bioinformatics.  32 (2015)  6 - p. 908-917 , 2015
Link: https://doi.org/10.1093/..
 
?
5

Coarse-graining the Dynamics of Ideal Branched Polymers:

Danos, Vincent ; Honorato-Zimmer, Ricardo ; Jaramillo-Riveri, Sebastián.
Electronic Notes in Theoretical Computer Science.  313 (2015)  - p. 47-64 , 2015
Link: https://doi.org/10.1016/..
 
?
6

Rigid Geometric Constraints for Kappa Models:

Danos, Vincent ; Honorato-Zimmer, Ricardo ; Jaramillo-Riveri, Sebastián.
Electronic Notes in Theoretical Computer Science.  313 (2015)  - p. 23-46 , 2015
Link: https://doi.org/10.1016/..
 
?
7

Rate Equations for Graphs:

Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo.
info:eu-repo/semantics/altIdentifier/arxiv/2008.11066.  , 2020
Link: https://hal.archives-ouv..
 
?
8

Rate Equations for Graphs:

Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo.
http://arxiv.org/abs/2008.11066.  , 2020
Link: http://arxiv.org/abs/200..
 
?
9

Annotations for Rule-Based Models:

Cavaliere, Matteo ; Danos, Vincent ; Honorato-Zimmer, Ricardo.
http://arxiv.org/abs/1809.05708.  , 2018
Link: http://arxiv.org/abs/180..
 
?
10

Annotation of rule-based models with formal semantics to en..:

Misirli, Goksel ; Cavaliere, Matteo ; Waites, William...
info:eu-repo/semantics/altIdentifier/doi/10.1093/bioinformatics/btv660.  , 2016
Link: https://hal.archives-ouv..
 
?
11

Emergent Communities in Socio-cognitive Networks:

Danos, Vincent ; Honorato-Zimmer, Ricardo
hal-01976443.  , 2016
Link: https://hal.archives-ouv..
 
?
12

Annotation of rule-based models with formal semantics to en..:

Misirli, Goksel ; Cavaliere, Matteo ; Waites, William...
https://strathprints.strath.ac.uk/84416/1/Misirli_etal_Bioinformatics_2015_Annotation_of_rule_based_models_with_formal_semantics_to_enable_creation.pdf.  , 2016
Link: https://strathprints.str..
 
?
13

Annotation of rule-based models with formal semantics to en..:

Misirli, Goksel ; Cavaliere, Matteo ; Waites, William...
info:eu-repo/semantics/altIdentifier/doi/10.1093/bioinformatics/btv660.  , 2015
Link: https://hal.archives-ouv..
 
?
14

Moment Semantics for Reversible Rule-Based Systems:

Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-20860-2_1.  , 2015
Link: https://hal.science/hal-..
 
?
15

Moment Semantics for Reversible Rule-Based Systems:

Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-20860-2_1.  , 2015
Link: https://hal.archives-ouv..
 
1-15