Вы здесь

Vardi M. Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Alternating Automata and Program Verification 1995 Vardi M. Y. Lecture Notes in Computer Science Computer Science Today 01.12.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
СТ 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 Linear Temporal Logic 1996 Vardi M. Y. Lecture Notes in Computer Science 30.03.1996
СТ Automata-Theoretic Model Cheking Revisited 2007 Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.03.2007
СТ Decidable Containment of Recursive Queries 2003 Calvanese D., De Giacomo G., Vardi M. Y. Lecture Notes in Computer Science 21.01.2003
СТ From Monadic Logic to PSL 2008 Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ Improved Automata Generation for Linear Temporal Logic 1999 Daniele M., Giunchiglia F., Vardi M. Y. Lecture Notes in Computer Science 16.07.1999
СТ 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
СТ Model Checking for Database Theoreticians 2005 Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 06.05.2005
СТ Model Checking of Safety Properties 1999 Kupferman O., Vardi M. Y. Lecture Notes in Computer Science 16.07.1999
СТ Modular Model Checking 1998 Kupferman O., Vardi M. Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ 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
СТ Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach 1999 Vardi M. Y. Lecture Notes in Computer Science 18.06.1999
М Reasoning about Knowledge 1996 Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. 05.04.2001
СТ 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
СТ 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
СТ 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
СТ 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
СТ Verification of Open Systems 1997 Vardi M. Y. Lecture Notes in Computer Science 09.01.1998
СТ 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
СТ 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