The following pages link to Marta Zofia Kwiatkowska (Q11760):
Displaying 50 items.
- Logical Methods in Computer Science (Q13644986) (← links)
- The cell surface protein Ag43 facilitates phage infection of Escherichia coli in the presence of bile salts and carbohydrates (Q38289611) (← links)
- Design and analysis of DNA strand displacement devices using probabilistic model checking (Q42112000) (← links)
- Factors affecting one-year survival after radical cystectomy: A prospective study. (Q46181356) (← links)
- Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation (Q46444951) (← links)
- Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers (Q50740056) (← links)
- Modelling DNA origami self-assembly at the domain level (Q50782455) (← links)
- Chemical reaction network designs for asynchronous logic circuits. (Q51556389) (← links)
- From computers to ubiquitous computing, by 2020. Introduction (Q51871917) (← links)
- Programming discrete distributions with chemical reaction networks. (Q53426030) (← links)
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (Q56981797) (← links)
- A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation (Q56981803) (← links)
- Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation (Q56981808) (← links)
- Chemical Reaction Network Designs for Asynchronous Logic Circuits (Q56981813) (← links)
- Programming Discrete Distributions with Chemical Reaction Networks (Q56981832) (← links)
- Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation (Q56981856) (← links)
- Using probabilistic model checking for dynamic power management (Q57526672) (← links)
- Guiding the folding pathway of DNA origami (Q59051232) (← links)
- Optimizing key updates in sensor networks (Q59416334) (← links)
- DNA walker circuits: computational potential, design, and verification (Q59493824) (← links)
- A Specification Theory of Real-Time Processes (Q59556875) (← links)
- PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. (Q59612511) (← links)
- Challenges for Modeling and Simulation Methods in Systems Biology (Q59720678) (← links)
- 40th international colloquium on automata, languages and programming (Q60488385) (← links)
- (Q60529508) (redirect page) (← links)
- On the Hardness of Robust Classification (Q76471888) (← links)
- Molecular Filters for Noise Reduction (Q89168003) (← links)
- PID Control of Biochemical Reaction Networks (Q112268297) (← links)
- Correlated Equilibria and Fairness in Concurrent Stochastic Games (Q112268298) (← links)
- Automatic verification of concurrent stochastic systems (Q112268299) (← links)
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q112268300) (← links)
- Multi-player Equilibria Verification for Concurrent Stochastic Games (Q112268301) (← links)
- Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games (Q112268302) (← links)
- Verification and Control of Turn-Based Probabilistic Real-Time Games (Q112268303) (← links)
- Efficient synthesis of robust models for stochastic systems (Q112268304) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q112268305) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q112268306) (← links)
- Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage (Q112268308) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q112268310) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q112268311) (← links)
- Verification of linear duration properties over continuous-time markov chains (Q112268312) (← links)
- Modal Specifications for Probabilistic Timed Systems (Q112268313) (← links)
- A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks (Q112268314) (← links)
- Advances in Quantitative Verification for Ubiquitous Computing (Q112268318) (← links)
- Assume-Guarantee Reasoning for Safe Component Behaviours (Q112268323) (← links)
- Practical Applications of Probabilistic Model Checking to Communication Protocols (Q112268329) (← links)
- Dependability Analysis and Verification for Connected Systems (Q112268335) (← links)
- Software Engineering Techniques for the Development of Systems of Systems (Q112268341) (← links)
- Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications (Q112268345) (← links)
- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control (Q112268349) (← links)