R. Langerak

From MaRDI portal
Person:360664

Available identifiers

zbMath Open langerak.romMaRDI QIDQ360664

List of research outcomes





PublicationDate of PublicationType
Causal ambiguity and partial orders in event structures2023-05-17Paper
Discretization of Continuous Dynamical Systems Using UPPAAL2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q49949642021-06-22Paper
Improving the Timed Automata Approach to Biological Pathway Dynamics2020-02-24Paper
Stability and robustness of planar switching linear systems2013-08-27Paper
https://portal.mardi4nfdi.de/entity/Q35425702008-12-01Paper
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control2008-09-02Paper
https://portal.mardi4nfdi.de/entity/Q54404872008-02-05Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q48175432004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q27695892002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q44992032001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q40286271993-03-28Paper

Research outcomes over time

This page was built for person: R. Langerak

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:360664&oldid=7228056"
Powered by MediaWiki