Jennifer M. Davoren
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1997–2007
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | LFCS | Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. | Jennifer M. Davoren |
| 2000 | AiML | Bimodal Logics for Reasoning About Continuous Dynamics. | Jennifer M. Davoren, Rajeev Gor |
| 1997 | LFCS | Topological Semantics for Hybrid Systems. | Sergei N. Artmov, Jennifer M. Davoren, Anil Nerode |