Line Juhl
From MaRDI portal
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 |
|---|---|---|
| Synchronizing words for weighted and timed automata | 2017-04-25 | Paper |
| Weighted modal transition systems Formal Methods in System Design | 2014-06-30 | Paper |
| Optimal bounds for multiweighted and parametrised energy games Theories of Programming and Formal Methods | 2013-08-16 | Paper |
| Extending modal transition systems with structured labels MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
| Modal transition systems with weight intervals The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
| Energy games in multiweighted automata Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
| Quantitative refinement for weighted modal transition systems Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Research outcomes over time
This page was built for person: Line Juhl
