|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 71 publication records. Showing 71 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Figueiredo 0001, Eugénio Rocha, Manuel António Martins, Madalena Chaves |
rPrism - A Software for Reactive Weighted State Transition Models.  |
HSB  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska 0002, Nicola Paoletti (eds.) |
Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matej Hajnal, Morgane Nouvian, David Safránek, Tatjana Petrov |
Data-Informed Parameter Synthesis for Population Markov Chains. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecile Moulin, Laurent Tournier, Sabine Pérès |
Using a Hybrid Approach to Model Central Carbon Metabolism Across the Cell Cycle. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang 0001 |
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski |
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Schreiber, Frantisek Muzika, Jan Cervený |
Reaction Networks, Oscillatory Motifs and Parameter Estimation in Biochemical Systems. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Bokes, Abhyudai Singh |
Controlling Noisy Expression Through Auto Regulation of Burst Frequency and Protein Stability. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Charalampos Kyriakopoulos, Pascal Giehr, Alexander Lück, Jörn Walter, Verena Wolf |
A Hybrid HMM Approach for the Dynamics of DNA Methylation. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Liu, Alexander Bockmayr |
Hybrid Modeling of Metabolic-Regulatory Networks (Extended Abstract). |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Averna, Marta Carè, Stefano Buccelli, Marianna Semprini, Francesco Difato, Michela Chiappalone |
A Multimodular System to Study the Impact of a Focal Lesion in Neuronal Cell Cultures. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ádám M. Halász, Brandon L. Clark, Ouri Maler, Jeremy S. Edwards |
Extracting Landscape Features from Single Particle Trajectories. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Großmann, Verena Wolf |
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. |
HSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim |
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thilo Krüger, Verena Wolf |
Hybrid Stochastic Simulation of Rule-Based Polymerization Models. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani |
On Observability and Reconstruction of Promoter Activity Statistics from Reporter Protein Mean and Variance Profiles. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Mandon, Stefan Haar, Loïc Paulevé |
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest |
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont |
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Alberto Policriti, Simone Silvetti |
Logic-Based Multi-objective Design of Chemical Reaction Networks. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Kong 0004, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang 0001, Christian Schilling 0001 |
Discrete Abstraction of Multiaffine Systems. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Rocca, Thao Dang 0001, Eric Fanchon, Jean Marc Moulis |
Application of the Reachability Analysis for the Iron Homeostasis Study. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Herajy, Monika Heiner |
Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Beica, Vincent Danos |
Synchronous Balanced Analysis. |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani, Alexandre Donzé (eds.) |
Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings |
HSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Gyori, Bing Liu 0013, Soumya Paul, R. Ramanathan 0002, P. S. Thiagarajan |
Approximate Probabilistic Verification of Hybrid Systems. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Beica, Calin C. Guet, Tatjana Petrov |
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka |
Model Checking Tap Withdrawal in C. Elegans. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Draelants, Przemyslaw Klosiewicz, Jan Broeckhove, Wim Vanroose |
Solving General Auxin Transport Models with a Numerical Continuation Toolbox in Python: PyNCT. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Fippo Fitime, Christian Schuster, Peter Angel, Olivier Roux 0001, Carito Guziolowski |
Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani |
Reconstructing Statistics of Promoter Switching from Reporter Protein Population Snapshot Data. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti |
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Streck, Kirsten Thobe, Heike Siebert |
Comparative Statistical Analysis of Qualitative Parametrization Sets. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf |
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Martin Demko, Samuel Pastva, David Safránek |
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Ádám M. Halász, Thao Dang 0001, Carla Piazza (eds.) |
Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, David Safránek (eds.) |
Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Santos-García, Carolyn L. Talcott, Javier De Las Rivas |
Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane |
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Ramanathan 0002, Yan Zhang 0027, Jun Zhou 0014, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan |
Parallelized Parameter Estimation of Biological Pathway Models. |
HSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Donal Stewart, Stephen Gilmore, Michael A. Cousin |
FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Rocca, Thao Dang 0001, Eric Fanchon |
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang 0001, Tommaso Dreossi, Carla Piazza |
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidde de Jong, Johannes Geiselmann |
Fluorescent Reporter Genes and the Analysis of Bacterial Regulatory Networks. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyuk-Jun Chang, Alessandro Astolfi |
Immune Response Enhancement Strategy via Hybrid Control Perspective. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvis Brazma, Karlis Cerans, Dace Ruklisa, Thomas Schlitt, Juris Viksna |
Modeling and Analysis of Qualitative Behavior of Gene Regulatory Networks. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Charalampos Kyriakopoulos, Verena Wolf |
Optimal Observation Time Points in Stochastic Chemical Kinetics. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler |
Exploring Synthetic Mass Action Models. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David C. Sterratt, Oksana Sorokina, J. Douglas Armstrong |
Integration of Rule-Based Models and Compartmental Models of Neurons. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoly A. Sorokin, Oksana Sorokina, J. Douglas Armstrong |
RKappa: Statistical Sampling Suite for Kappa Models. |
HSB |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang 0001, Tommaso Dreossi |
Falsifying Oscillation Properties of Parametric Biological Models. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Shu, Diana Catalina Ardila, Ricardo G. Sanfelice, Jonathan P. Vande Geest |
A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti |
On the Robustness of Temporal Properties for Stochastic Models. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang 0001, Carla Piazza (eds.) |
Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Noël, Sergey Vakulenko, Ovidiu Radulescu |
A hybrid mammalian cell cycle model. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon |
Producing a Set of Models for the Iron Homeostasis Network. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Chen, Christopher Short, Ádám M. Halász, Jeremy S. Edwards |
The impact of high density receptor clusters on VEGF signaling. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková |
Robustness Analysis for Value-Freezing Signal Temporal Logic. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler |
Exploring the Dynamics of Mass Action Systems. |
HSB |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti |
A subsystems approach for parameter estimation of ODE models of hybrid systems |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Doug Bruce, Pras Pathmanathan, Jonathan P. Whiteley |
Modelling the effect of gap junctions on tissue-level cardiac electrophysiology |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Dluhos, Lubos Brim, David Safránek |
On Expressing and Monitoring Oscillatory Dynamics |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Caravagna, Alex Graudenzi, Marco Antoniotti, Giancarlo Mauri, Alberto d'Onofrio |
Effects of delayed immune-response in tumor immune-system interplay |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Liò, Emanuela Merelli, Nicola Paoletti |
Disease processes as hybrid dynamical systems |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Luca Bortolussi (eds.) |
Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon |
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards |
Statistical Model Checking for Stochastic Hybrid Systems |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Loes Olde Loohuis, Andreas Witzel, Bud Mishra |
Towards Cancer Hybrid Automata |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Casagrande, Tommaso Dreossi, Carla Piazza |
Hybrid Automata and ε-Analysis on a Neural Oscillator |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Testylier, Thao Dang 0001 |
Analysis of parametric biological models with non-linear dynamics |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Noel, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu |
Hybrid models of the cell cycle molecular machinery |
HSB |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #71 of 71 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license