Zum Inhalt springen

  2. Fagin, Ronald [VerfasserIn]; Halpern, Joseph Y. [VerfasserIn]; Moses, Yoram [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]

    Reasoning about knowledge - [First MIT Press paperback edition]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Massachusetts; London, England: MIT Press, 2003

  4. Vardi, Moshe Y. [VerfasserIn]

    Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    LIPIcs - Leibniz International Proceedings in Informatics. 29th International Symposium on Temporal Representation and Reasoning (TIME 2022), 2022

  5. Vardi, Moshe Y. [VerfasserIn]

    Logical Algorithmics: From Theory to Practice (Invited Talk)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    LIPIcs - Leibniz International Proceedings in Informatics. 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), 2023

  6. Vardi, Moshe Y. [VerfasserIn]

    Boolean Satisfiability: Theory and Engineering

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery, 2018

    Erschienen in: Theory and Practice of Satisfiability Solving (18w5208) ; (Jan. 2018) -

  7. Vardi, Moshe Y. [VerfasserIn]

    The Siren Song of Temporal Synthesis (Invited Talk)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 29th International Conference on Concurrency Theory (CONCUR 2018), 2018

  8. Vardi, Moshe Y. [VerfasserIn]

    Branching vs. Linear Time: Semantical Perspective

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, 2011

  9. Vardi, Moshe Y. [VerfasserIn]

    Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), 2011

  10. Vardi, Moshe Y. [VerfasserIn] ; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft]

    Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 285000

  11. Vardi, Moshe Y. [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Management of Data, ACM Special Interest Group on Operating Systems

    Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 1987

    Erschienen in: ACM Digital Library- ACM Conferences

  12. Kupferman, Orna [VerfasserIn]; Vardi, Gal [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]

    Flow Games

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), 2018

  13. Rehof, Jakob [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn] ; Jakob Rehof and Moshe Y. Vardi [MitwirkendeR]

    Design and Synthesis from Components (Dagstuhl Seminar 14232)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Reports. Dagstuhl Reports, Volume 4, Issue 6, 2014

  14. Peled, Doron [VerfasserIn] ; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]

    Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: IFIP International Federation for Information Processing, 2002

    Erschienen in: Lecture notes in computer science ; 2529

  15. Hu, Alan J. [VerfasserIn] ; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1427

  16. Gottlob, Georg [VerfasserIn] ; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]

    Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 893

  17. Mehlhorn, Kurt [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]; Herbstritt, Marc [VerfasserIn] ; Kurt Mehlhorn and Moshe Y. Vardi and Marc Herbstritt [MitwirkendeR]

    Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Reports. Dagstuhl Reports, Volume 2, Issue 11, 2013

  18. Tarlecki, Andrzej [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]; Wilhelm, Reinhard [VerfasserIn]

    Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Manifestos. Dagstuhl Manifestos, Volume 1, Issue 1, 2011

  19. Mogavero, Fabio [VerfasserIn]; Murano, Aniello [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]

    Reasoning About Strategies

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 2010

  20. Lustig, Yoad [VerfasserIn]; Nain, Sumit [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]

    Synthesis from Probabilistic Components

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, 2011