|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nicola Cannata, Emanuela Merelli, Irek Ulidowski (eds.) |
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008 |
FBTC@ICALP |
2009 |
DBLP BibTeX RDF |
|
1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Model Checking Biological Oscillators. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Cannata, Emanuela Merelli, Irek Ulidowski |
Preface. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
Spatial Calculus of Looping Sequences. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder |
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Igor Cappello, Paola Quaglia |
A Translation of Beta-binders in a Prioritized Pi-calculus. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Coletta, Roberta Gori, Francesca Levi |
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Radu Mardare, Ivan Mura |
Analysing Biochemical Oscillation through Probabilistic Model Checking. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Alberto Policriti |
The Importance of Being (A Little Bit) Discrete. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland |
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips |
A Process Model of Actin Polymerisation. |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dario Campagna, Carla Piazza |
Hybrid Automata in Systems Biology: How Far Can We Go? |
FBTC@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|