Jacob Illum Rasmussen

Available identifiers

zbMath Open rasmussen.jacob-illumMaRDI QIDQ2474053

List of research outcomes

Publication	Date of Publication	Type
Almost Optimal Strategies in One Clock Priced Timed Games	2008-04-17	Paper
Optimal reachability for multi-priced timed automata	2008-03-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
On using priced timed automata to achieve optimal scheduling	2006-11-17	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Screening Currents in Affine Current Algebra	N/A	Paper

Research outcomes over time

This page was built for person: Jacob Illum Rasmussen