Lecture Notes in Computer Science - Formal Methods for Dynamical Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642388736, 9783642388743

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

Lecture Notes in Computer Science - Formal Methods for Dynamical Systems ◽

10.1007/978-3-642-38874-3_4 ◽

2013 ◽

pp. 113-149 ◽

Cited By ~ 5

Author(s):

Luca Bortolussi ◽

Jane Hillston

Keyword(s):

Population Models ◽

Fluid Approximation ◽

Individual Agent

Model Checking of Biological Systems

Lecture Notes in Computer Science - Formal Methods for Dynamical Systems ◽

10.1007/978-3-642-38874-3_3 ◽

2013 ◽

pp. 63-112 ◽

Cited By ~ 16

Author(s):

Luboš Brim ◽

Milan Češka ◽

David Šafránek

Keyword(s):

Model Checking ◽

Biological Systems

Topological Quantum Computation

Lecture Notes in Computer Science - Formal Methods for Dynamical Systems ◽

10.1007/978-3-642-38874-3_5 ◽

2013 ◽

pp. 150-179 ◽

Cited By ~ 1

Author(s):

Jiannis K. Pachos

Keyword(s):

Quantum Computation ◽

Topological Quantum ◽

Topological Quantum Computation

Automation of Quantitative Information-Flow Analysis

Lecture Notes in Computer Science - Formal Methods for Dynamical Systems ◽

10.1007/978-3-642-38874-3_1 ◽

2013 ◽

pp. 1-28 ◽

Cited By ~ 3

Author(s):

Boris Köpf ◽

Andrey Rybalchenko

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Quantitative Information ◽

Information Flow Analysis ◽

Quantitative Information Flow

ODE Analysis of Biological Systems

Lecture Notes in Computer Science - Formal Methods for Dynamical Systems ◽

10.1007/978-3-642-38874-3_2 ◽

2013 ◽

pp. 29-62 ◽

Cited By ~ 6

Author(s):

Diana-Elena Gratie ◽

Bogdan Iancu ◽

Ion Petre

Keyword(s):

Biological Systems

Lecture Notes in Computer Science - Formal Methods for Dynamical SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

Model Checking of Biological Systems

Topological Quantum Computation

Automation of Quantitative Information-Flow Analysis

ODE Analysis of Biological Systems

Lecture Notes in Computer Science - Formal Methods for Dynamical Systems
Latest Publications