The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FBTC@ICALP"( http://dblp.L3S.de/Venues/FBTC@ICALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/fbtc

Publication years (Num. hits)
2008 (11) 2009 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
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
1Nicola 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 Search on Bibsonomy FBTC@ICALP The full citation details ... 2009 DBLP  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei Model Checking Biological Oscillators. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicola Cannata, Emanuela Merelli, Irek Ulidowski Preface. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini Spatial Calculus of Looping Sequences. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Igor Cappello, Paola Quaglia A Translation of Beta-binders in a Prioritized Pi-calculus. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessio Coletta, Roberta Gori, Francesca Levi Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paolo Ballarini, Radu Mardare, Ivan Mura Analysing Biochemical Oscillation through Probabilistic Model Checking. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Alberto Policriti The Importance of Being (A Little Bit) Discrete. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland Improved Continuous Approximation of PEPA Models through Epidemiological Examples. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips A Process Model of Actin Polymerisation. Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Carla Piazza Hybrid Automata in Systems Biology: How Far Can We Go? Search on Bibsonomy FBTC@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license