J. Davoren
发表
Daniel D. Selvaratnam,
I. Shames,
M. Cantoni,
2022,
ArXiv.
Anil Nerode,
Sergei N. Artëmov,
J. M. Davoren,
1997
.
J. Davoren,
I. Epstein,
2022
.
A. Nerode,
T. Moor,
J. Davoren,
2022
.
J. Davoren,
1998
.
J. Davoren,
A. Hazen,
2000
.
J. M. Davoren,
Daniel D. Selvaratnam,
I. Shames,
2022,
FORMATS.
Michael Cantoni,
Iman Shames,
J. M. Davoren,
2021,
Theoretical Computer Science.
Jennifer M. Davoren,
J. Davoren,
2007,
LFCS.
J. M. Davoren,
J. Davoren,
1998
.
A. Nerode,
J. M. Davoren,
J.M. Davoren,
2000,
Proceedings of the IEEE.
Jennifer M. Davoren,
J. Davoren,
1999,
RAIRO Theor. Informatics Appl..
Jennifer M. Davoren,
J. Davoren,
1997,
Hybrid Systems.
Jörg Raisch,
Jennifer M. Davoren,
Thomas Moor,
2003,
ADHS.
J. Raisch,
T. Moor,
J. M. Davoren,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Jennifer M. Davoren,
Thomas Moor,
T. Moor,
2001,
HSCC.
Jörg Raisch,
Thomas Moor,
Jen M. Davoren,
2006
.
J. M. Davoren,
Thomas Moor,
Jörg Raisch,
2002,
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
J. M. Davoren,
Brian D. O. Anderson,
Thomas Moor,
2002,
Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
A. Nerode,
A. Nerode,
S. Artemov,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
Anil Nerode,
Sergei N. Artëmov,
Jennifer M. Davoren,
1997,
LFCS.
Jennifer M. Davoren,
J. Davoren,
2009,
Ann. Pure Appl. Log..
Rajeev Goré,
Jennifer M. Davoren,
R. Goré,
2000,
Advances in Modal Logic.
J. M. Davoren,
J. Davoren,
1999
.
A. Nerode,
T. Moor,
J. M. Davoren,
2022
.
Anil Nerode,
Rajeev Goré,
Jennifer M. Davoren,
2004,
FORMATS/FTRTFT.