|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari |
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 87-102, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 119-131, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mathias John, Roland Ewald, Adelinde M. Uhrmacher |
A Spatial Extension to the pi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 133-148, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Versari, Nadia Busi |
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 165-180, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Federica Ciocchetta, Jane Hillston |
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 103-117, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Cannata, Emanuela Merelli |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 1-3, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 149-164, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei |
A Static Analysis for Beta-Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 69-85, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Describing the Immune System Using Enhanced Mobile Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 5-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo |
An Intermediate Language for the Simulation of Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 19-34, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 35-50, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@CONCUR ![In: Proceedings of the First Workshop `From Biology To Concurrency and back`, FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007, pp. 51-67, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|