The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2007 (12) 2008 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nicola Cannata, Emanuela Merelli (eds.) Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007 Search on Bibsonomy FBTC@CONCUR The full citation details ... 2008 DBLP  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen Concurrency in Biological Modeling: Behavior, Execution and Visualization. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mathias John, Roland Ewald, Adelinde M. Uhrmacher A Spatial Extension to the pi Calculus. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristian Versari, Nadia Busi Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Federica Ciocchetta, Jane Hillston Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicola Cannata, Emanuela Merelli Preface. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claudia Täubner, Silke Eckstein Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chiara Bodei A Static Analysis for Beta-Binders. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bogdan Aman, Gabriel Ciobanu Describing the Immune System Using Enhanced Mobile Membranes. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo An Intermediate Language for the Simulation of Biological Systems. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Search on Bibsonomy FBTC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (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