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.
- Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, and Mihalis Yannakakis. Formal Methods in System Design 1(2/3):275-288 (1992)Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, and Mihalis Yannakakis. Formal Methods in System Design 1(2/3):275-288 (1992)a month and 15 days agoby davef2
- Moshe Y. Vardi. Commun. ACM 56(3):5 (2013)Moshe Y. Vardi. Commun. ACM 56(3):5 (2013)2 months and 27 days agoby dblp1
- Serge Abiteboul, Moshe Y. Vardi, and Victor Vianu. Structure in Complexity Theory Conference, page 156-168. IEEE Computer Society, (1992)Serge Abiteboul, Moshe Y. Vardi, and Victor Vianu. Structure in Complexity Theory Conference, page 156-168. IEEE Computer Society, (1992)4 months and 2 days agoby dblp1
- Ronald Fagin, Larry J. Stockmeyer, and Moshe Y. Vardi. Structure in Complexity Theory Conference, page 19-30. IEEE Computer Society, (1993)Ronald Fagin, Larry J. Stockmeyer, and Moshe Y. Vardi. Structure in Complexity Theory Conference, page 19-30. IEEE Computer Society, (1993)4 months and 2 days agoby dblp1
- Moshe Y. Vardi. Commun. ACM 56(1):5 (2013)Moshe Y. Vardi. Commun. ACM 56(1):5 (2013)4 months and 3 days agoby dblp1
- Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, and Moshe Y. Vardi. Inf. Comput. (2013)Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, and Moshe Y. Vardi. Inf. Comput. (2013)4 months and 6 days agoby dblp1
- Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. AAAI, page 428-435. Morgan Kaufmann, (1986)Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. AAAI, page 428-435. Morgan Kaufmann, (1986)5 months and 13 days agoby dblp1
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. AAAI, page 1142-1147. AAAI Press / The MIT Press, (1994)Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. AAAI, page 1142-1147. AAAI Press / The MIT Press, (1994)5 months and 14 days agoby dblp1
- Phokion G. Kolaitis, and Moshe Y. Vardi. AAAI/IAAI, page 175-181. AAAI Press / The MIT Press, (2000)Phokion G. Kolaitis, and Moshe Y. Vardi. AAAI/IAAI, page 175-181. AAAI Press / The MIT Press, (2000)5 months and 14 days agoby dblp1
- Deian Tabakov, Kristin Y. Rozier, and Moshe Y. Vardi. Formal Methods in System Design 41(3):236-268 (2012)Deian Tabakov, Kristin Y. Rozier, and Moshe Y. Vardi. Formal Methods in System Design 41(3):236-268 (2012)5 months and 15 days agoby dblp1
- Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm. Dagstuhl Manifestos 1(1):21-40 (2011)Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm. Dagstuhl Manifestos 1(1):21-40 (2011)5 months and 19 days agoby dblp1
- Moshe Y. Vardi. QEST, page 1. IEEE Computer Society, (2012)Moshe Y. Vardi. QEST, page 1. IEEE Computer Society, (2012)5 months and 27 days agoby dblp1
- Yoad Lustig, and Moshe Y. Vardi. GandALF, volume 54 of EPTCS, page 1-16. (2011)Yoad Lustig, and Moshe Y. Vardi. GandALF, volume 54 of EPTCS, page 1-16. (2011)6 months and 5 days agoby dblp1
- Moshe Y. Vardi. Commun. ACM 55(11):5 (2012)Moshe Y. Vardi. Commun. ACM 55(11):5 (2012)6 months and 8 days agoby dblp1
- Gabriel M. Kuper, and Moshe Y. Vardi. Theor. Comput. Sci. 116(1&2):33-57 (1993)preliminary version: ICDT 1988: 267-280.Gabriel M. Kuper, and Moshe Y. Vardi. Theor. Comput. Sci. 116(1&2):33-57 (1993)preliminary version: ICDT 1988: 267-280.7 months agoby dblp1
- Serge Abiteboul, Moshe Y. Vardi, and Victor Vianu. Theor. Comput. Sci. 149(1):101-128 (1995)preliminary version: ICDT 1992: 113-123.Serge Abiteboul, Moshe Y. Vardi, and Victor Vianu. Theor. Comput. Sci. 149(1):101-128 (1995)preliminary version: ICDT 1992: 113-123.7 months agoby dblp1
- Guoqiang Pan, Ulrike Sattler, and Moshe Y. Vardi. Journal of Applied Non-Classical Logics 16(1-2):169-208 (2006)Guoqiang Pan, Ulrike Sattler, and Moshe Y. Vardi. Journal of Applied Non-Classical Logics 16(1-2):169-208 (2006)7 months agoby dblp1
- Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. CoRR (2011)Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. CoRR (2011)7 months agoby dblp1
- Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. CoRR (2012)Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. CoRR (2012)7 months agoby dblp1
- Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, and Moshe Y. Vardi. SIGMOD Record 28(4):39-41 (1999)Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, and Moshe Y. Vardi. SIGMOD Record 28(4):39-41 (1999)8 months agoby dblp1