HSB 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (79)

A Alessandro AbateAbate, Alessandro University of OxfordUnited Kingdom Committee Member in Program Committee within the HSB-track
Frank AllgowerAllgower, Frank University of StuttgartGermany Committee Member in Program Committee within the HSB-track
Eugene AsarinAsarin, Eugene IRIF, University Paris Diderot and CNRS, France Timed Patterns: from Definition to Matching and Monitoring, a survey in memoriam Oded Maler
B Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the HSB-track
Alexander BockmayrBockmayr, Alexander Freie Universität Berlin Poster flash: Formalizing metabolic-regulatory networks by hybrid automata
Sergiy BogomolovBogomolov, Sergiy Australian National UniversityAustralia Committee Member in Program Committee within the HSB-track
Pavol BokesBokes, Pavol Comenius University Controlling noisy expression through auto regulation of burst frequency and protein stability
Luca BortolussiBortolussi, Luca University of TriesteItaly Committee Member in Program Committee within the HSB-track
C Giulio CaravagnaCaravagna, Giulio Institute of Cancer ResearchUnited Kingdom Committee Member in Program Committee within the HSB-track
Luca CardelliCardelli, Luca Microsoft Research and University of OxfordUnited Kingdom Committee Member in Program Committee within the HSB-track
Milan CeskaCeska, Milan Brno University of Technology Czechia Session Chair of I (part of HSB) Committee Member in Program Committee within the HSB-track Committee Member in Organizing Committee within the HSB-track
Madalena ChavesChaves, Madalena INRIA rPrism -- A software for reactive weighted state transition models
Elizabeth CherryCherry, Elizabeth Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the HSB-track
Michela ChiappaloneChiappalone, Michela Italian Institute of TechnologyItaly Session Chair of Synthesis and Inference (part of HSB) Invited talk: Closed-loop neurohybrid interfaces: from in vitro to in vivo studies and beyond Committee Member in Program Committee within the HSB-track
Eugenio CinquemaniCinquemani, Eugenio INRIA, GrenobleFrance Committee Member in Program Committee within the HSB-track
D Neil DalchauDalchau, Neil Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the HSB-track
Thao DangDang, Thao CNRS/VERIMAGFrance Oded Maler: An odyssey from Computer Science to Biological Sciences Committee Member in Program Committee within the HSB-track
Hidde De JongDe Jong, Hidde INRIA Grenoble - Rhone-AlpesFrance Committee Member in Program Committee within the HSB-track
Alexandre DonzeDonze, Alexandre University of California, Berkeley From Sensitive to Formal Barbaric Systems Biology
Tommaso DreossiDreossi, Tommaso University of California at BerkeleyUnited States Committee Member in Program Committee within the HSB-track
E Jeremy S EdwardsEdwards, Jeremy S University of New Mexico Extracting landscape features from single particle trajectories
F François FagesFages, François Inria Saclay - Ile de FranceFrance Committee Member in Program Committee within the HSB-track
Eric FanchonFanchon, Eric CNRS, TIMC-IMAGFrance Committee Member in Program Committee within the HSB-track
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Analysis (part of HSB) Committee Member in Program Committee within the HSB-track
Daniel FigueiredoFigueiredo, Daniel University of Aveiro rPrism -- A software for reactive weighted state transition models
G Pascal GiehrGiehr, Pascal Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
Giulia GiordanoGiordano, Giulia TU DelftNetherlands Committee Member in Program Committee within the HSB-track
Judah GoldfederGoldfeder, Judah Yeshiva University Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks
Gerrit GroßmannGroßmann, Gerrit Saarland University Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks
H Matej HajnalHajnal, Matej Masaryk University Poster flash: Comprehensive Modelling Platform Data-informed parameter synthesis for population Markov chains
Ádám HalászHalász, Ádám West Virginia UniversityUnited States Extracting landscape features from single particle trajectories Committee Member in Program Committee within the HSB-track
Marek HavlíkHavlík, Marek Masaryk University Poster flash: Comprehensive Modelling Platform
Jane HillstonHillston, Jane University of EdinburghUnited Kingdom Geometric fluid approximation for general continuous-time Markov chains Committee Member in Program Committee within the HSB-track
Jakub HrabecHrabec, Jakub Masaryk University Poster flash: Comprehensive Modelling Platform
J Agung JuliusJulius, Agung Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the HSB-track
K Merrill KnappKnapp, Merrill SRI International Fuzzy Matching in Symbolic Systems Biology
Hillel KuglerKugler, Hillel MicrosoftUnited States Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks Committee Member in Program Committee within the HSB-track
Marta KwiatkowskaKwiatkowska, Marta University of Oxford Invited talk: Modelling and personalisation techniques for behavioural prediction and emotion recognition
Charalampos KyriakopoulosKyriakopoulos, Charalampos Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
L Luca LaurentiLaurenti, Luca University of OxfordUnited Kingdom Committee Member in Program Committee within the HSB-track
Lin LiuLiu, Lin Freie Universität Berlin Poster flash: Formalizing metabolic-regulatory networks by hybrid automata
Alexander LückLück, Alexander Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
M Ouri MalerMaler, Ouri West Virginia University Extracting landscape features from single particle trajectories
Manuel A. MartinsMartins, Manuel A. University of Aveiro rPrism -- A software for reactive weighted state transition models
Lukrécia MertováMertová, Lukrécia Masaryk University Poster flash: Comprehensive Modelling Platform
Michalis MichaelidesMichaelides, Michalis University of Edinburgh Geometric fluid approximation for general continuous-time Markov chains
Cecile MoulinMoulin, Cecile Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623 Using a hybrid approach to model central carbon metabolism across the cell cycle
Chris MyersMyers, Chris University of UtahUnited States Committee Member in Program Committee within the HSB-track
N Laura NenziNenzi, Laura University of TriesteItaly Committee Member in Program Committee within the HSB-track
Morgane NouvianNouvian, Morgane University of Konstanz Data-informed parameter synthesis for population Markov chains
P Miroslav PajicPajic, Miroslav Duke UniversityUnited States Committee Member in Program Committee within the HSB-track
Nicola PaolettiPaoletti, Nicola Royal Holloway, University of London, UK Session Chair of Oded Maler memorial (1) (part of HSB) Session Chair of Oded Maler memorial (2) (part of HSB) Session Chair of V (part of HSB) Committee Member in Program Committee within the HSB-track Committee Member in Organizing Committee within the HSB-track
Sabine PeresPeres, Sabine Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623. Using a hybrid approach to model central carbon metabolism across the cell cycle
Isabel Cristina Perez-VeronaPerez-Verona, Isabel Cristina IMT Institute for Advanced Studies Lucca, Italy Fixed-point Computation of Equilibria in Biochemical Regulatory Networks
Ion PetrePetre, Ion Åbo Akademi UniversityFinland Committee Member in Program Committee within the HSB-track
Tatjana PetrovPetrov, Tatjana Universität KonstanzGermany Session Chair of Modelling (part of HSB) Data-informed parameter synthesis for population Markov chains Committee Member in Program Committee within the HSB-track
Carla PiazzaPiazza, Carla University of UdineItaly Committee Member in Program Committee within the HSB-track
R Adrian RiescoRiesco, Adrian Universidad Complutense de MadridSpain Fuzzy Matching in Symbolic Systems Biology
Eugénio A. M. RochaRocha, Eugénio A. M. University of Aveiro rPrism -- A software for reactive weighted state transition models
S David SafranekSafranek, David Masaryk UniversityCzechia Session Chair of VII (part of HSB) Poster flash: Comprehensive Modelling Platform Data-informed parameter synthesis for population Markov chains Committee Member in Program Committee within the HSB-track
Guido SanguinettiSanguinetti, Guido University of EdinburghUnited Kingdom Geometric fluid approximation for general continuous-time Markov chains Committee Member in Program Committee within the HSB-track
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Program Committee within the HSB-track
Beatriz Santos-BuitragoSantos-Buitrago, Beatriz Seoul National University Fuzzy Matching in Symbolic Systems Biology
Gustavo Santos-GarciaSantos-Garcia, Gustavo Universidad de Salamanca Fuzzy Matching in Symbolic Systems Biology
Igor SchreiberSchreiber, Igor University of Chemistry and Technology of Prague Invited talk: Reaction networks, stability of steady states, motifs for oscillatory dynamics, and parameter estimation in complex biochemical mechanisms
Abhyudai SinghSingh, Abhyudai University of DelawareUnited States Controlling noisy expression through auto regulation of burst frequency and protein stability Committee Member in Program Committee within the HSB-track
Kateřina StaňkováStaňková, Kateřina Maastricht UniversityNetherlands Committee Member in Program Committee within the HSB-track
T Carolyn TalcottTalcott, Carolyn SRI International Fuzzy Matching in Symbolic Systems Biology
Laurent TournierTournier, Laurent MaIAGE, INRA, Université Paris-Saclay. Using a hybrid approach to model central carbon metabolism across the cell cycle
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy Fixed-point Computation of Equilibria in Biochemical Regulatory Networks
Matej TrojákTroják, Matej Masaryk University Poster flash: Comprehensive Modelling Platform
Max TschaikowskiTschaikowski, Max IMT Institute for Advanced Studies Lucca, Italy Fixed-point Computation of Equilibria in Biochemical Regulatory Networks
W Jörn WalterWalter, Jörn Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
James WeimerWeimer, James University of Pennsylvania, USA Committee Member in Program Committee within the HSB-track
Verena WolfWolf, Verena Saarland UniversityGermany A Hybrid HMM Approach for the Dynamics of DNA Methylation Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks Committee Member in Program Committee within the HSB-track
Y Boyan YordanovYordanov, Boyan Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the HSB-track
Z Paolo ZulianiZuliani, Paolo Newcastle UniversityUnited Kingdom Committee Member in Program Committee within the HSB-track
Č Jan ČervenýČervený, Jan Global Change Research Institute CAS Poster flash: Comprehensive Modelling Platform
Š Jakub ŠalagovičŠalagovič, Jakub Masaryk University Poster flash: Comprehensive Modelling Platform