Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 52 matches
- 2020
- Andreea Beica, Jérôme Feret, Tatjana Petrov:
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB 2020: 3-32 - Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret:
Proving the Absence of Unbounded Polymers in Rule-based Models. SASB 2020: 33-56 - Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Static Analysis and Stochastic Search for Reachability Problem. SASB 2020: 139-158 - Ankit Gupta, Tatjana Petrov:
Preface. SASB 2020: 1-2 - Matej Hajnal, Samuel Pastva:
Toward Model Selection by Formal Methods. SASB 2020: 57-71 - 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: 73-90 - Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený:
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB 2020: 91-116 - Thomas Wright, Ian Stark:
Modelling Patterns of Gene Regulation in the bond-calculus. SASB 2020: 117-138 - Guido Sanguinetti, David Safránek:
Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016. Electronic Notes in Theoretical Computer Science 335, Elsevier 2020 [contents] - Ankit Gupta, Tatjana Petrov:
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science 350, Elsevier 2020 [contents] - 2018
- Célia Biane, Franck Delaplace, Tarek Melliti:
Abductive Network Action Inference for Targeted Therapy Discovery. SASB 2018: 3-25 - Jérôme Feret, Kim Quyên Lý:
Reachability Analysis via Orthogonal Sets of Patterns. SASB 2018: 27-48 - Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis:
Chromar, a Rule-based Language of Parameterised Objects. SASB 2018: 49-66 - Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Unfolding of Parametric Boolean Networks. SASB 2018: 67-90 - Guido Sanguinetti, David Safránek:
Preface. SASB 2018: 1-2 - Guillaume Terradot, Andreea Beica, Andrea Y. Weiße, Vincent Danos:
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. SASB 2018: 91-112 - Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro:
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. SASB 2018: 113-130 - 2016
- Loïc Paulevé, Nathalie Théret:
6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015. Electronic Notes in Theoretical Computer Science 326, Elsevier 2016 [contents] - 2015
- Aurore Alcolei, Kévin Perrot, Sylvain Sené:
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks. SASB 2015: 3-25 - 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: 27-49 - Diana-Elena Gratie, Cristian Gratie:
Composition Colored Petri Nets for the Refinement of Reaction-based Models. SASB 2015: 51-72 - Masahiro Hamano:
Stochastic Transcription Elongation via Rule Based Modelling. SASB 2015: 73-88 - Loïc Paulevé, Nathalie Théret:
Preface. SASB 2015: 1-2 - Loïc Paulevé, Heinz Koeppl:
5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014. Electronic Notes in Theoretical Computer Science 316, Elsevier 2015 [contents] - 2014
- Erwan Bigan, Jean-Marc Steyaert, Stéphane Douady:
On Necessary and Sufficient Conditions for Proto-cell Stationary Growth. SASB 2014: 3-15 - Lubos Brim, Juraj Niznan, David Safránek:
Compact Representation of Photosynthesis Dynamics by Rule-based Models. SASB 2014: 17-27 - Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte:
Verification of Spatial and Temporal Modalities in Biochemical Systems. SASB 2014: 29-44 - Jérôme Feret:
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. SASB 2014: 45-65 - Loïc Paulevé, Heinz Koeppl:
Preface. SASB 2014: 1-2 - Vincent Picard, Anne Siegel, Jérémie Bourdon:
Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications. SASB 2014: 67-82
skipping 22 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-07 01:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint