|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 52 publication records. Showing 52 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue |
Static Analysis and Stochastic Search for Reachability Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 139-158, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matej Hajnal, Samuel Pastva |
Toward Model Selection by Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 57-71, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Michael Kaltenbach |
A Unified View on Bipartite Species-reaction Graphs and Their Relation to Interaction Graphs and Qualitative Dynamics of Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 73-90, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Beica, Jérôme Feret, Tatjana Petrov |
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 3-32, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Gupta, Tatjana Petrov (eds.) |
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený |
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 91-116, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Gupta, Tatjana Petrov |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 1-2, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wright, Ian Stark |
Modelling Patterns of Gene Regulation in the bond-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 117-138, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guido Sanguinetti, David Safránek (eds.) |
Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret |
Proving the Absence of Unbounded Polymers in Rule-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018, pp. 33-56, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Terradot, Andreea Beica, Andrea Y. Weiße, Vincent Danos |
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 91-112, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Célia Biane, Franck Delaplace, Tarek Melliti |
Abductive Network Action Inference for Targeted Therapy Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 3-25, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis |
Chromar, a Rule-based Language of Parameterised Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 49-66, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé |
Unfolding of Parametric Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 67-90, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guido Sanguinetti, David Safránek |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 1-2, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro 0001 |
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 113-130, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Kim Quyên Lý |
Reachability Analysis via Orthogonal Sets of Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016, pp. 27-48, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé, Nathalie Théret (eds.) |
6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim |
Formal Biochemical Space with Semantics in Kappa and BNGL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015, pp. 27-49, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Hamano |
Stochastic Transcription Elongation via Rule Based Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015, pp. 73-88, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurore Alcolei, Kévin Perrot, Sylvain Sené |
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015, pp. 3-25, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Elena Gratie, Cristian Gratie |
Composition Colored Petri Nets for the Refinement of Reaction-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015, pp. 51-72, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé, Nathalie Théret |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015, pp. 1-2, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé, Heinz Koeppl (eds.) |
5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Vincent Picard, Anne Siegel, Jérémie Bourdon |
Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 67-82, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erwan Bigan, Jean-Marc Steyaert, Stéphane Douady |
On Necessary and Sufficient Conditions for Proto-cell Stationary Growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 3-15, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret |
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 45-65, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé, Heinz Koeppl |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 1-2, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte |
Verification of Spatial and Temporal Modalities in Biochemical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 29-44, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alan Veliz-Cuba, Boris Aguilar, Reinhard C. Laubenbacher |
Dimension Reduction of Large Sparse AND-NOT Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 83-95, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Juraj Niznan, David Safránek |
Compact Representation of Photosynthesis Dynamics by Rule-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014, pp. 17-27, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki |
Rigid Geometric Constraints for Kappa Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012, pp. 23-46, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Hamano |
Sustainability of RNA-interference in Rule Based Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012, pp. 65-77, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Amar, Loïc Paulevé |
HSIM: A Hybrid Stochastic Simulation System for Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012, pp. 3-21, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Andre Levchenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012, pp. 1-2, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki |
Coarse-graining the Dynamics of Ideal Branched Polymers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: 3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012, pp. 47-64, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Andre Levchenko (eds.) |
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Jérôme Feret, Andre Levchenko (eds.) |
3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel |
Containment in Rule-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 125-137, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Linda Brodo, Davide Chiarugi |
Control Flow Analysis of Generalised Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 3-22, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine |
Formal Cellular Machinery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 55-74, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Noel, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu |
Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 75-91, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elena Czeizler, Eugen Czeizler, Bogdan Iancu, Ion Petre |
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 35-53, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé, Adrien Richard |
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 93-104, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tatjana Petrov, Arnab Ganguly 0001, Heinz Koeppl |
Model Decomposition and Stochastic Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 105-124, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Towards Abstraction-Based Verification of Shape Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 23-34, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Andre Levchenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011, pp. 1-2, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Andre Levchenko (eds.) |
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Loïc Paulevé, Morgan Magnin, Olivier F. Roux |
Abstract Interpretation of Dynamics of Biological Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010, pp. 43-56, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kreyssig, Peter Dittrich |
Fragments and Chemical Organisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010, pp. 19-41, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Feret, Andre Levchenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Koeppl, Tatjana Petrov |
Stochastic Semantics of Signaling as a Composition of Agent-view Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASB ![In: Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010, pp. 3-17, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|