|
|
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 |
1 | Nicola Cannata, Emanuela Merelli (eds.) |
Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007 |
FBTC@CONCUR |
2008 |
DBLP BibTeX RDF |
|
1 | Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari |
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen |
Concurrency in Biological Modeling: Behavior, Execution and Visualization. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mathias John, Roland Ewald, Adelinde M. Uhrmacher |
A Spatial Extension to the pi Calculus. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Versari, Nadia Busi |
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Federica Ciocchetta, Jane Hillston |
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Cannata, Emanuela Merelli |
Preface. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Täubner, Silke Eckstein |
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei |
A Static Analysis for Beta-Binders. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Describing the Immune System Using Enhanced Mobile Membranes. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
An Intermediate Language for the Simulation of Biological Systems. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek |
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ezio 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. |
FBTC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|