BibSonomy :: author  ::

bookmarks

publications

(64)

• Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
  Yasmina Abdeddaïm and Eugene Asarin and Matthieu Gallien and Félix Ingrand and Charles Lesire and Mihaela Sighireanu ICAPS 2-9 (2007)
  to dblp by dblp on 2008-08-15 00:00:00
  | URL | BibTeX  
• Noisy Turing Machines.
  Eugene Asarin and Pieter Collins Proceedings of 32nd International Colloquium on Automata, Languages and Programming 1031--1042 (2005)
  to juergen by idsia and 2 other people on 2008-03-11 14:52:34
  | BibTeX  
• Noisy Turing Machines.
  Eugene Asarin and Pieter Collins Proceedings of 32nd International Colloquium on Automata, Languages and Programming 1031--1042 (2005)
  to juergen by schaul and 2 other people on 2008-02-26 11:58:58
  | BibTeX  
• Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.
  Eugene Asarin and Gordon J. Pace and Gerardo Schneider and Sergio Yovine Theor. Comput. Sci. 390 1-26 (2008)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Attenuation Regulation as a Term Rewriting System.
  Eugene Asarin and Thierry Cachat and Alexander Seliverstov and Tayssir Touili and Vassily A. Lyubetsky AB 81-94 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
  Eugene Asarin and Gerardo Schneider and Sergio Yovine Theor. Comput. Sci. 379 231-265 (2007)
  to dblp by dblp on 2007-06-11 00:00:00
  | URL | BibTeX  
• Hybridization methods for the analysis of nonlinear systems.
  Eugene Asarin and Thao Dang and Antoine Girard Acta Inf. 43 451-476 (2007)
  to dblp by dblp on 2007-02-07 00:00:00
  | URL | BibTeX  
• On Timed Simulation Relations for Hybrid Systems and Compositionality.
  Goran Frehse FORMATS 200-214 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX  
• On the Expressiveness of MTL with Past Operators.
  Pavithra Prabhakar and Deepak D'Souza FORMATS 322-336 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX  
• Concurrent Semantics Without the Notions of State or State Transitions.
  Edward A. Lee FORMATS 18-31 (2006)
  to dblp by dblp on 2006-10-23 00:00:00
  | URL | BibTeX