dblp.uni-trier.dewww.uni-trier.de

Thomas Moor

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
5EEJennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode: On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT 2004: 52-67
4EEJennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor: Non-deterministic Temporal Logics for General Flow Systems. HSCC 2004: 280-295
2002
3EEJennifer M. Davoren, Thomas Moor, Anil Nerode: Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163
2EEThomas Moor, Jörg Raisch, Siu O'Young: Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. Discrete Event Dynamic Systems 12(1): 83-107 (2002)
2001
1EEThomas Moor, Jennifer M. Davoren: Robust Controller Synthesis for Hybrid Systems Using Modal Logic. HSCC 2001: 433-446

Coauthor Index

1Vaughan Coulthard [4] [5]
2Jennifer M. Davoren [1] [3] [4] [5]
3Rajeev Goré [5]
4Nicolas Markey [4]
5Anil Nerode [3] [5]
6Siu O'Young [2]
7Jörg Raisch [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)