|
|
|
|
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.  |
SASB  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matej Hajnal, Samuel Pastva |
Toward Model Selection by Formal Methods. |
SASB |
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. |
SASB |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Beica, Jérôme Feret, Tatjana Petrov |
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. |
SASB |
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 |
SASB |
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. |
SASB |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Gupta, Tatjana Petrov |
Preface. |
SASB |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wright, Ian Stark |
Modelling Patterns of Gene Regulation in the bond-calculus. |
SASB |
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 |
SASB |
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. |
SASB |
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. |
SASB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Biane, Franck Delaplace, Tarek Melliti |
Abductive Network Action Inference for Targeted Therapy Discovery. |
SASB |
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. |
SASB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé |
Unfolding of Parametric Boolean Networks. |
SASB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Sanguinetti, David Safránek |
Preface. |
SASB |
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. |
SASB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Kim Quyên Lý |
Reachability Analysis via Orthogonal Sets of Patterns. |
SASB |
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 |
SASB |
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. |
SASB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Hamano |
Stochastic Transcription Elongation via Rule Based Modelling. |
SASB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurore Alcolei, Kévin Perrot, Sylvain Sené |
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks. |
SASB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana-Elena Gratie, Cristian Gratie |
Composition Colored Petri Nets for the Refinement of Reaction-based Models. |
SASB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé, Nathalie Théret |
Preface. |
SASB |
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 |
SASB |
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. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Bigan, Jean-Marc Steyaert, Stéphane Douady |
On Necessary and Sufficient Conditions for Proto-cell Stationary Growth. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret |
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé, Heinz Koeppl |
Preface. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte |
Verification of Spatial and Temporal Modalities in Biochemical Systems. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Veliz-Cuba, Boris Aguilar, Reinhard C. Laubenbacher |
Dimension Reduction of Large Sparse AND-NOT Network Models. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Juraj Niznan, David Safránek |
Compact Representation of Photosynthesis Dynamics by Rule-based Models. |
SASB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki |
Rigid Geometric Constraints for Kappa Models. |
SASB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Hamano |
Sustainability of RNA-interference in Rule Based Modelling. |
SASB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Amar, Loïc Paulevé |
HSIM: A Hybrid Stochastic Simulation System for Systems Biology. |
SASB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Andre Levchenko |
Preface. |
SASB |
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. |
SASB |
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 |
SASB |
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 |
SASB |
2012 |
DBLP BibTeX RDF |
|
| 1 | Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel |
Containment in Rule-Based Models. |
SASB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Linda Brodo, Davide Chiarugi |
Control Flow Analysis of Generalised Boolean Networks. |
SASB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine |
Formal Cellular Machinery. |
SASB |
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. |
SASB |
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. |
SASB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé, Adrien Richard |
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. |
SASB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Petrov, Arnab Ganguly 0001, Heinz Koeppl |
Model Decomposition and Stochastic Fragments. |
SASB |
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. |
SASB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Andre Levchenko |
Preface. |
SASB |
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 |
SASB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Loïc Paulevé, Morgan Magnin, Olivier F. Roux |
Abstract Interpretation of Dynamics of Biological Regulatory Networks. |
SASB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kreyssig, Peter Dittrich |
Fragments and Chemical Organisations. |
SASB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Andre Levchenko |
Preface. |
SASB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Koeppl, Tatjana Petrov |
Stochastic Semantics of Signaling as a Composition of Agent-view Automata. |
SASB |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license