no help available
no help available
BibSonomy
author- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- :: Moshe Vardi
- ::
The blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- 12452
- publication
- research
- computing
- culture
- peer
- review
- verification
- conference
- workshop
- _to_download_springer
- academic
- imported
- mgr
- coverability
- states_graph
- extended-goal,
- ltl
- publishing
- program
- planning
- equitations
- scholarly
- process
- 2007
- refinement
- algorithm
- technology
- _book
- temporally-extended-goal
- SPA
- planning,
- formal
- journal
- consequence
- automata
- LTL
- model_checking
- algorithms
- orders
- finite_model
- symbolic
- safety
- automata-theory,
- committee
- diss
- kiwi
- FV
- No matching items.
- Catriel Beeri, and Moshe Y. Vardi. SIGMOD Record 12(1):33-37 (1981)Catriel Beeri, and Moshe Y. Vardi. SIGMOD Record 12(1):33-37 (1981)8 months agoby dblp1
- Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, and Moshe Y. Vardi. SIGMOD Record 34(1):5-12 (2005)Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, and Moshe Y. Vardi. SIGMOD Record 34(1):5-12 (2005)8 months agoby dblp1
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. SIGMOD Record 32(4):83-92 (2003)Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. SIGMOD Record 32(4):83-92 (2003)8 months agoby dblp1
- Catriel Beeri, and Moshe Y. Vardi. XP1 Workshop on Database Theory, (1980)Catriel Beeri, and Moshe Y. Vardi. XP1 Workshop on Database Theory, (1980)8 months agoby dblp1
- Moshe Y. Vardi. XP4.5 Workshop on Database Theory, (1983)Moshe Y. Vardi. XP4.5 Workshop on Database Theory, (1983)8 months agoby dblp1
- Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, and Moshe Y. Vardi. PODS, page 1-12. ACM Press, (1991)Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, and Moshe Y. Vardi. PODS, page 1-12. ACM Press, (1991)8 months agoby dblp1
- Surajit Chaudhuri, and Moshe Y. Vardi. PODS, page 55-66. ACM Press, (1992)Surajit Chaudhuri, and Moshe Y. Vardi. PODS, page 55-66. ACM Press, (1992)8 months agoby dblp1
- Phokion G. Kolaitis, and Moshe Y. Vardi. PODS, page 61-71. ACM Press, (1990)Phokion G. Kolaitis, and Moshe Y. Vardi. PODS, page 61-71. ACM Press, (1990)8 months agoby dblp1
- Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, and Moshe Y. Vardi. PODS, page 79. ACM Press, (1996)Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, and Moshe Y. Vardi. PODS, page 79. ACM Press, (1996)8 months agoby dblp1
- Moshe Y. Vardi. PODS, page 266-276. ACM Press, (1995)Moshe Y. Vardi. PODS, page 266-276. ACM Press, (1995)8 months agoby dblp2
- Surajit Chaudhuri, and Moshe Y. Vardi. PODS, page 107-116. ACM Press, (1994)Surajit Chaudhuri, and Moshe Y. Vardi. PODS, page 107-116. ACM Press, (1994)8 months agoby dblp1
- Surajit Chaudhuri, and Moshe Y. Vardi. PODS, page 59-70. ACM Press, (1993)Surajit Chaudhuri, and Moshe Y. Vardi. PODS, page 59-70. ACM Press, (1993)8 months agoby dblp1
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. PODS, page 194-204. ACM Press, (1999)Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. PODS, page 194-204. ACM Press, (1999)8 months agoby dblp2
- Phokion G. Kolaitis, and Moshe Y. Vardi. PODS, page 205-213. ACM Press, (1998)Phokion G. Kolaitis, and Moshe Y. Vardi. PODS, page 205-213. ACM Press, (1998)8 months agoby dblp1
- Gabriel M. Kuper, and Moshe Y. Vardi. PODS, page 86-96. ACM, (1984)Gabriel M. Kuper, and Moshe Y. Vardi. PODS, page 86-96. ACM, (1984)8 months agoby dblp1
- Gabriel M. Kuper, Jeffrey D. Ullman, and Moshe Y. Vardi. PODS, page 221-228. ACM, (1984)Gabriel M. Kuper, Jeffrey D. Ullman, and Moshe Y. Vardi. PODS, page 221-228. ACM, (1984)8 months agoby dblp1
- Marc H. Graham, and Moshe Y. Vardi. PODS, page 281-289. ACM, (1984)Marc H. Graham, and Moshe Y. Vardi. PODS, page 281-289. ACM, (1984)8 months agoby dblp1
- Moshe Y. Vardi. PODS, page 57-65. ACM, (1985)Moshe Y. Vardi. PODS, page 57-65. ACM, (1985)8 months agoby dblp2
- Moshe Y. Vardi. PODS, page 230-238. ACM, (1982)Moshe Y. Vardi. PODS, page 230-238. ACM, (1982)8 months agoby dblp1
- Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. PODS, page 352-365. ACM, (1983)Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. PODS, page 352-365. ACM, (1983)8 months agoby dblp1