Ulrik Nyman

Available identifiers

zbMath Open nyman.ulrikMaRDI QIDQ2169110

List of research outcomes

Publication	Date of Publication	Type
Monte Carlo tree search for priced timed automata	2023-06-02	Paper
Randomized refinement checking of timed I/O automata	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q3384887	2021-12-17	Paper
Timed I/O automata	2017-05-10	Paper
EXPTIME-complete Decision Problems for Modal and Mixed Specifications	2014-07-23	Paper
New Results on Timed Specifications	2012-06-08	Paper
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata	2011-01-08	Paper
Modal and mixed specifications: key decision problems and their complexities	2010-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3396636	2009-09-19	Paper
On Modal Refinement and Consistency	2008-09-18	Paper
Complexity of Decision Problems for Mixed and Modal Specifications	2008-04-11	Paper
Modal I/O Automata for Interface and Product Line Theories	2007-09-04	Paper
A numerical method for the evaluation of non-linear transient moisture flow in cellulosic materials	2007-05-22	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: Ulrik Nyman