Вы здесь

Главная

Vardi M. Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ From Monadic Logic to PSL 2008 Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ Automata-Theoretic Model Cheking Revisited 2007 Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.03.2007
СТ Model Checking for Database Theoreticians 2005 Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 06.05.2005
СТ Resets vs. Aborts in Linear Temporal Logic 2003 Armoni R., Bustan D., Kupferman O., Vardi M. Y. Lecture Notes in Computer Science 17.04.2003
СТ Decidable Containment of Recursive Queries 2003 Calvanese D., De Giacomo G., Vardi M. Y. Lecture Notes in Computer Science 21.01.2003
СТ View-Based Query Answering and Query Containment over Semistructured Data 2002 Calvanese D., De Giacomo G., Lenzerini M., Vardi M. Y. Lecture Notes in Computer Science 23.10.2002
СТ The ForSpec Temporal Logic: A New Temporal Property-Specification Language 2002 Armoni R., Fix L., Flaisher A., Gerth R., Ginsburg B., Kanza T., Landver A., Mador-Haim S., Singerman E., Tiemeyer A., Vardi M. Y., Zbar Y. Lecture Notes in Computer Science 21.05.2002
СТ Is There a Best Symbolic Cycle-Detection Algorithm? 2001 Fister K., Fraer R., Kamhi G., Vardi M. Y., Yang Z. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001
М Reasoning about Knowledge 1996 Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. 05.04.2001
СТ Model Checking of Safety Properties 1999 Kupferman O., Vardi M. Y. Lecture Notes in Computer Science 16.07.1999
СТ Improved Automata Generation for Linear Temporal Logic 1999 Daniele M., Giunchiglia F., Vardi M. Y. Lecture Notes in Computer Science 16.07.1999
СТ Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach 1999 Vardi M. Y. Lecture Notes in Computer Science 18.06.1999
СТ Modular Model Checking 1998 Kupferman O., Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Sometimes and Not Never Re-revisited: On Branching Versus Linear Time 1998 Vardi M. Y. Lecture Notes in Computer Science 11.09.1998
СТ Synthesis from Knowledge-Based Specifications 1998 Van Der Meyden R., Vardi M. Y. Lecture Notes in Computer Science 11.09.1998
СТ Verification of Open Systems 1997 Vardi M. Y. Lecture Notes in Computer Science 09.01.1998
СТ An Automata-Theoretic Approach to Linear Temporal Logic 1996 Vardi M. Y. Lecture Notes in Computer Science 30.03.1996
СТ Alternating Automata and Program Verification 1995 Vardi M. Y. Lecture Notes in Computer Science Computer Science Today 01.12.1995
СТ On the Complexity of Branching Modular Model Checking (Extended Abstract) 1995 Kupferman O., Vardi M. Y. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ An Automata-Theoretic Approach to Fair Realizability and Synthesis 1995 Vardi M. Y. Lecture Notes in Computer Science 27.07.1995
СТ An Automata-Theoretic Approach to Branching-Time Model Checking 1994 Bernholtz O., Vardi M. Y., Wolper P. Lecture Notes in Computer Science 21.07.1994
СТ The Logical Data Model 1993 Kuper G. M., Vardi M. Y. ACM Tran. Database Systems 03.11.1993
СТ Undecidable Optimization Problems for Database Logic Programs 1993 Gaifman H., Mairson H., Sagiv Y., Vardi M. Y. J. of the ACM 13.09.1993
СТ What Can Machines Know? On the Properties of Knowledge in Distributes Systems 1992 Fagin R., Halpern J. Y., Vardi M. Y. J. of the ACM 29.05.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic for Programming Artificial Intelligence, and Reasoning: Proc./10th Intern. Conf., LPAR 2003, Almaty, Kazakhstan, September 2003 2003 Lecture Notes in Artificial Intelligence
  1. Vardi M. Y.
  2. Voronkov A.
 20.11.2003
СБ Formal Techniques for Networked and Distributed Systems - FORTE 2002: Proc./22nd IFIP WG 6.1 Intern. Conf., Houston, Texas, USA, November 2002 2002 Lecture Notes in Computer Science
  1. Peled D. A.
  2. Vardi M. Y.
 29.11.2002
СБ Computer Aided Verification: Proc./10th Intern. Conf., CAV 98. Vancouver, BC, Canada, June-July 1998 1998 Lecture Notes in Computer Science
  1. Hu A. J.
  2. Vardi M. Y.
 03.07.1998
СБ Database Theory - ICDT 95: Proc./5th Intern. Conf. Prague, Czech Republic, January 1995 1995 Lecture Notes in Computer Science
  1. Gottlob G.
  2. Vardi M. Y.
 13.02.1995