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 89 matches
- 2023
- Jeremy Ramsden:
Bioinformatics - An Introduction, 4th Edition. Computational Biology, Springer 2023, ISBN 978-3-030-45606-1, pp. 1-394 - 2022
- Hannes Hauswedell:
Sequence Analysis and Modern C++ - The Creation of the SeqAn3 Bioinformatics Library, 2. Computational Biology, Springer 2022, ISBN 978-3-030-90989-5, pp. 3-323 - Fahad Saeed, Muhammad Haseeb, Sumesh Kumar:
High-Performance Algorithms for Mass Spectrometry-Based Omics. Computational Biology 34, Springer 2022, ISBN 978-3-031-01959-3, pp. 1-129 - 2019
- Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan:
Statistical Model Checking-Based Analysis of Biological Networks. Automated Reasoning for Systems Biology and Medicine 2019: 63-92 - Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine 2019: 3-35 - Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. Automated Reasoning for Systems Biology and Medicine 2019: 215-242 - Dragan Bosnacki, Natal A. W. van Riel, Mitko Veta:
Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis. Automated Reasoning for Systems Biology and Medicine 2019: 453-469 - Juliana Küster Filipe Bowles, Marco B. Caminati:
Balancing Prescriptions with Constraint Solvers. Automated Reasoning for Systems Biology and Medicine 2019: 243-267 - Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher:
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. Automated Reasoning for Systems Biology and Medicine 2019: 133-153 - Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine 2019: 157-189 - Sara-Jane Dunn, Boyan Yordanov:
Automated Reasoning for the Synthesis and Analysis of Biological Programs. Automated Reasoning for Systems Biology and Medicine 2019: 37-62 - Amr Ismail, Mostafa Herajy, Monika Heiner:
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. Automated Reasoning for Systems Biology and Medicine 2019: 349-367 - Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan:
Models, Devices, Properties, and Verification of Artificial Pancreas Systems. Automated Reasoning for Systems Biology and Medicine 2019: 93-131 - Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers:
Approximation Techniques for Stochastic Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine 2019: 327-348 - Maria Pires Pacheco, Tamara Bintener, Thomas Sauter:
Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data. Automated Reasoning for Systems Biology and Medicine 2019: 401-424 - Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon:
Logic and Linear Programs to Understand Cancer Response. Automated Reasoning for Systems Biology and Medicine 2019: 191-213 - Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber, Ovidiu Radulescu:
Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine. Automated Reasoning for Systems Biology and Medicine 2019: 269-295 - Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin:
Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol. Automated Reasoning for Systems Biology and Medicine 2019: 369-397 - Ludovica Luisa Vissat, Jane Hillston, Anna Williams:
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. Automated Reasoning for Systems Biology and Medicine 2019: 299-326 - Fusun Yaman, Aaron Adler, Jacob Beal:
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering. Automated Reasoning for Systems Biology and Medicine 2019: 425-452 - Pietro Liò, Paolo Zuliani:
Automated Reasoning for Systems Biology and Medicine. Computational Biology 30, Springer 2019, ISBN 978-3-030-17296-1 [contents] - 2018
- Dariusz Mrozek:
Scalable Big Data Analytics for Protein Bioinformatics - Efficient Computational Solutions for Protein Structures. Computational Biology 28, Springer 2018, ISBN 978-3-319-98838-2, pp. 3-309 - 2017
- Sourav S. Bhowmick, Boon-Siew Seah:
Summarizing Biological Networks. Computational Biology 24, Springer 2017, ISBN 978-3-319-54620-9, pp. 1-142 - Dan F. DeBlasio, John D. Kececioglu:
Parameter Advising for Multiple Sequence Alignment. Computational Biology 26, Springer 2017, ISBN 978-3-319-64917-7, pp. 1-142 - 2016
- Florian Frommlet, Malgorzata Bogdan, David Ramsey:
Phenotypes and Genotypes - The Search for Influential Genes. Computational Biology 18, Springer 2016, ISBN 978-1-4471-5309-2, pp. 1-217 - Jörg Ackermann, Ina Koch:
Quantitative Analysis. Modeling in Systems Biology, The Petri Net Approach 2016: 153-178 - Richard Banks, Victor Khomenko, L. Jason Steggles:
Modeling Genetic Regulatory Networks. Modeling in Systems Biology, The Petri Net Approach 2016: 73-100 - Claudine Chaouiya, Hanna Klaudel, Franck Pommereau:
A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. Modeling in Systems Biology, The Petri Net Approach 2016: 253-279 - Simon Hardy, Ravi Iyengar:
Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs. Modeling in Systems Biology, The Petri Net Approach 2016: 225-251 - Ina Koch, Falk Schreiber:
Introduction. Modeling in Systems Biology, The Petri Net Approach 2016: 3-18
skipping 59 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-10-12 00:14 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