R. Langerak

Available identifiers

zbMath Open langerak.romMaRDI QIDQ360664

List of research outcomes

Publication	Date of Publication	Type
Causal ambiguity and partial orders in event structures	2023-05-17	Paper
Discretization of Continuous Dynamical Systems Using UPPAAL	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4994964	2021-06-22	Paper
Improving the Timed Automata Approach to Biological Pathway Dynamics	2020-02-24	Paper
Stability and robustness of planar switching linear systems	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q3542570	2008-12-01	Paper
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control	2008-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5440487	2008-02-05	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4817543	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2769589	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4499203	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4028627	1993-03-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: R. Langerak