R. Langerak

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Causal ambiguity and partial orders in event structures CONCUR '97: Concurrency Theory	2023-05-17	Paper
Discretization of Continuous Dynamical Systems Using UPPAAL ModelEd, TestEd, TrustEd	2022-11-09	Paper
Setting parameters for biological models with ANIMO	2021-06-22	Paper
Setting parameters for biological models with ANIMO (available as arXiv preprint)	2021-06-22	Paper
Improving the timed automata approach to biological pathway dynamics Lecture Notes in Computer Science	2020-02-24	Paper
Stability and robustness of planar switching linear systems Systems & Control Letters	2013-08-27	Paper
Estimations of solutions convergence of hybrid systems with delay	2008-12-01	Paper
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control Hybrid Systems: Computation and Control	2008-09-02	Paper
Estimations of solutions convergence of hybrid systems consisting of linear equations with delay	2008-02-05	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
scientific article; zbMATH DE number 2102705 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 1701761 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1497786 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 140240 (Why is no real title available?)	1993-03-28	Paper

Research outcomes over time

This page was built for person: R. Langerak