BibSonomy :: author  ::

bookmarks

publications

(538)

• "Where do you come from? and where are you going?".
  Moshe Y. Vardi Commun. ACM 51 5 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Open Implication.
  Karin Greimel and Roderick Bloem and Barbara Jobstmann and Moshe Y. Vardi ICALP (2) 361-372 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Navigation Scheme for Interactive Movies with Linear Narrative.
  Guy Vardi Hypertext 131-132 (1999)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.
  Farn Wang and Karsten Schmidt FORTE 50-64 (2002)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Misbehavior in organizations : theory, research, and management
  {Yoav} Vardi and {Ely} Weitz (2004)
  to Arbeitsethik Betriebspsychologie Organisationspsychologie Unternehmenskultur by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning.
  Erion Plaku and Lydia E. Kavraki and Moshe Y. Vardi Robotics: Science and Systems (2007)
  to dblp by dblp on 2008-05-25 00:00:00
  | URL | BibTeX  
• Application of verification techniques to inverse monoids.
  Markus Lohrey Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Tree Automata Make Ordinal Theory Easy.
  Thierry Cachat Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• PDL with Intersection and Converse is 2EXP-complete.
  Stefan Göller and Markus Lohrey and Carsten Lutz Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp and 1 other person on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.
  Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX