|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Checking interval properties of computations |
Molinari, Alberto |
2015 |
6-8 |
p. 587-619 |
artikel |
||
| 2 | Dynamic controllability via Timed Game Automata |
Cimatti, Alessandro |
2016 |
6-8 |
p. 681-722 |
artikel |
||
| 3 | Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification |
Nilsson, Mikael |
2015 |
6-8 |
p. 723-752 |
artikel |
||
| 4 | Metric propositional neighborhood logic with an equivalence relation |
Montanari, Angelo |
2016 |
6-8 |
p. 621-648 |
artikel |
||
| 5 | Mining approximate interval-based temporal dependencies |
Combi, Carlo |
2015 |
6-8 |
p. 547-585 |
artikel |
||
| 6 | Planning and execution with flexible timelines: a formal account |
Cialdea Mayer, Marta |
2015 |
6-8 |
p. 649-680 |
artikel |
||
| 7 | Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014) |
Bresolin, Davide |
2016 |
6-8 |
p. 545-546 |
artikel |
7 gevonden resultaten