Helmut Veith - RankMe

158 papers A* 17A 11B 33C 8Misc 4Journal 46Unranked 30

Year	Rank	Type	Title / Venue / Authors
2020	C	`conf`	Pebble-Intervals Automata and FO LATA Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
2019	J	`jnl`	Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). CoRR Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
2018	—	`book`	Handbook of Model Checking. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
2018	—	`ch.`	Introduction to Model Checking. Handbook of Model Checking Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith
2018	—	`book`	Model checking, 2nd Edition. Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, Helmut Veith
2018	J	`jnl`	Parameterized model checking of rendezvous systems. Distributed Comput. Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2017	A*	`conf`	A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. POPL Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2017	J	`jnl`	Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. J. Autom. Reason. Moritz Sinn, Florian Zuleger, Helmut Veith
2017	J	`jnl`	Empirical software metrics for benchmarking of verification tools. Formal Methods Syst. Des. Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
2017	J	`jnl`	On compiling Boolean circuits optimized for secure multi-party computation. Formal Methods Syst. Des. Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser
2017	A	`conf`	On the Automated Verification of Web Applications with Embedded SQL. ICDT Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
2017	J	`jnl`	On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Inf. Comput. Igor V. Konnov, Helmut Veith, Josef Widder
2017	J	`jnl`	Para Formal Methods Syst. Des. Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2016	J	`jnl`	A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. CoRR Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2016	C	`conf`	A simple and scalable static analysis for bound analysis and amortized complexity analysis. Software Engineering Moritz Sinn, Florian Zuleger, Helmut Veith
2016	J	`jnl`	Decidability in Parameterized Verification. SIGACT News Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2016	C	`conf`	Empirical software metrics for benchmarking of verification tools. Software Engineering Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
2016	B	`conf`	Local Linearizability for Concurrent Container-Type Data Structures. CONCUR Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
2016	B	`conf`	Monadic Second Order Finite Satisfiability and Unbounded Tree-Width. CSL Tomer Kotek, Helmut Veith, Florian Zuleger
2016	J	`jnl`	On the automated verification of web applications with embedded SQL. CoRR Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
2016	B	`conf`	Parameterized Systems in BIP: Design and Model Checking. CONCUR Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
2015	J	`jnl`	Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2015	—	`conf`	Compilation for Secure Two-Party Computations. Software Engineering & Management Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2015	—	`book`	Decidability of Parameterized Verification Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015	B	`conf`	Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. FMCAD Moritz Sinn, Florian Zuleger, Helmut Veith
2015	J	`jnl`	Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. CoRR Moritz Sinn, Florian Zuleger, Helmut Veith
2015	—	`conf`	Empirical Software Metrics for Benchmarking of Verification Tools. CAV (1) Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
2015	A*	`conf`	Extending ALCQIO with Trees. LICS Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2015	J	`jnl`	Local Linearizability. CoRR Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
2015	J	`jnl`	Loop Patterns in C Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Thomas Pani, Helmut Veith, Florian Zuleger
2015	J	`jnl`	Monadic second order finite satisfiability and unbounded tree-width. CoRR Tomer Kotek, Helmut Veith, Florian Zuleger
2015	A	`conf`	Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ICST Azadeh Farzan, Andreas Holzer, Helmut Veith
2015	—	`conf`	SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. CAV (1) Igor Konnov, Helmut Veith, Josef Widder
2015	—	`conf`	What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Ershov Memorial Conference Igor V. Konnov, Helmut Veith, Josef Widder
2014	B	`conf`	A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
2014	A*	`conf`	A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CAV Moritz Sinn, Florian Zuleger, Helmut Veith
2014	J	`jnl`	A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CoRR Moritz Sinn, Florian Zuleger, Helmut Veith
2014	B	`conf`	CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. CC Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2014	C	`conf`	Concolic Testing of Concurrent Programs. Software Engineering Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2014	J	`jnl`	Extending ALCQIO with reachability. CoRR Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	B	`conf`	On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. CONCUR Igor Konnov, Helmut Veith, Josef Widder
2014	—	`conf`	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. MFCS (2) Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
2014	B	`conf`	Parameterized Model Checking of Rendezvous Systems. CONCUR Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2014	C	`conf`	Reusing Information in Multi-Goal Reachability Analyses. Software Engineering Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
2014	B	`conf`	Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. Description Logics Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2014	A*	`conf`	Vienna Summer of Logic. KR Matthias Baaz, Thomas Eiter, Helmut Veith
2014	—	`conf`	iDQ: Instantiation-Based DQBF Solving. POS@SAT Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
2013	A*	`conf`	Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	—	`conf`	Challenges in compiler construction for secure two-party computation. PETShop@CCS Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz
2013	A*	`ed.`	Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings CAV Natasha Sharygina, Helmut Veith
2013	—	`conf`	Con2colic testing. ESEC/SIGSOFT FSE Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2013	A	`conf`	Information Reuse for Multi-goal Reachability Analyses. ESOP Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
2013	J	`jnl`	On the Concept of Variable Roles and its Use in Software Analysis CoRR Yulia Demyanova, Helmut Veith, Florian Zuleger
2013	J	`jnl`	On the Structure and Complexity of Rational Sets of Regular Languages CoRR Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2013	—	`conf`	On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2013	B	`conf`	On the concept of variable roles and its use in software analysis. FMCAD Yulia Demyanova, Helmut Veith, Florian Zuleger
2013	—	`ed.`	PETShop'13, Proceedings of the 2013 ACM Workshop on Language Support for Privacy-Enhancing Technologies, Co-located with CCS 2013, November 4, 2013, Berlin, Germany PETShop@CCS Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2013	B	`conf`	Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	J	`jnl`	Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2013	A*	`conf`	The first workshop on language support for privacy-enhancing technologies (PETShop'13). CCS Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2013	—	`conf`	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	J	`jnl`	Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. Sagar Chaki, Christian Schallhart, Helmut Veith
2012	J	`jnl`	Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) CoRR Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
2012	J	`jnl`	Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2012	A	`conf`	Proving Reachability Using FShell - (Competition Contribution). TACAS Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
2012	A*	`conf`	Secure two-party computations in ANSI C. CCS Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith
2012	J	`jnl`	Special Issue: Games in Verification. J. Comput. Syst. Sci. Helmut Veith
2012	J	`jnl`	Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2011	B	`conf`	Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
2011	J	`jnl`	Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Dagstuhl Reports Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
2011	—	`ch.`	Malware Detection. Encyclopedia of Cryptography and Security (2nd Ed.) Stefan Katzenbeisser, Johannes Kinder, Helmut Veith
2011	B	`conf`	Seamless Testing for Models and Code. FASE Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2010	—	`conf`	10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. Decision Procedures in Software, Hardware and Bioware Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
2010	—	`conf`	10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. Decision Procedures in Software, Hardware and Bioware Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
2010	—	`conf`	An Introduction to Test Specification in FQL. Haifa Verification Conference Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
2010	B	`ed.`	Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings CSL Anuj Dawar, Helmut Veith
2010	—	`ed.`	Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010 Decision Procedures in Software, Hardware and Bioware Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
2010	A*	`conf`	How did you specify your test suite. ASE Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2010	—	`conf`	New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. ISoLA (1) Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
2010	J	`jnl`	On the distributivity of LTL specifications. ACM Trans. Comput. Log. Marko Samer, Helmut Veith
2010	B	`conf`	Precise static analysis of untrusted driver binaries. FMCAD Johannes Kinder, Helmut Veith
2010	J	`jnl`	Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2010	J	`jnl`	Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
2010	—	`conf`	The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli Edmund M. Clarke, Robert P. Kurshan, Helmut Veith
2009	B	`conf`	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI Johannes Kinder, Florian Zuleger, Helmut Veith
2009	Misc	`conf`	Automated Software Analysis. SYNASC Helmut Veith
2009	A	`conf`	Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. DISC Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
2009	Misc	`conf`	Embedding Formal Methods into Systems Engineering. SYNASC Helmut Veith
2009	A	`conf`	Encoding Treewidth into SAT. SAT Marko Samer, Helmut Veith
2009	B	`conf`	Query-Driven Program Testing. VMCAI Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2009	C	`conf`	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ICFEM Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
2008	—	`ed.`	25 Years of Model Checking - History, Achievements, Perspectives 25 Years of Model Checking Orna Grumberg, Helmut Veith
2008	A*	`conf`	FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
2008	A*	`conf`	Jakstab: A Static Analysis Platform for Binaries. CAV Johannes Kinder, Helmut Veith
2008	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings LPAR Iliano Cervesato, Helmut Veith, Andrei Voronkov
2008	A	`conf`	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
2007	—	`conf`	Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. S&P Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
2007	J	`jnl`	Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptol. ePrint Arch. Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
2007	B	`conf`	On the Notion of Vacuous Truth. LPAR Marko Samer, Helmut Veith
2007	J	`jnl`	Software transformations to improve malware detection. J. Comput. Virol. Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
2007	—	`conf`	Using Verification Technology to Specify and Detect Malware. EUROCAST Andreas Holzer, Johannes Kinder, Helmut Veith
2007	J	`jnl`	Verification Across Intellectual Property Boundaries CoRR Sagar Chaki, Christian Schallhart, Helmut Veith
2007	A*	`conf`	Verification Across Intellectual Property Boundaries. CAV Sagar Chaki, Christian Schallhart, Helmut Veith
2006	B	`conf`	Environment Abstraction for Parameterized Verification. VMCAI Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
2006	J	`jnl`	The first order definability of graphs: Upper bounds for quantifier depth. Discret. Appl. Math. Oleg Pikhurko, Helmut Veith, Oleg Verbitsky
2005	J	`jnl`	An Iterative Framework for Simulation Conformance. J. Log. Comput. Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
2005	B	`conf`	Detecting Malicious Code by Model Checking. DIMVA Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2005	C	`conf`	Deterministic CTL Query Solving. TIME Marko Samer, Helmut Veith
2005	J	`jnl`	Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2005	Misc	`conf`	Ensuring Media Integrity on Third-Party Infrastructures. SEC Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2005	—	`conf`	From Temporal Logic Queries to Vacuity Detection. VISSAS Marko Samer, Helmut Veith
2005	—	`conf`	Malware Engineering. Sicherheit Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2005	—	`conf`	Model Checking: Back and Forth between Hardware and Software. VSTTE Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
2005	B	`conf`	State/Event Software Verification for Branching-Time Specifications. IFM Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
2005	—	`ch.`	Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith
2004	A*	`conf`	A Syntactic Characterization of Distributive LTL Queries. ICALP Marko Samer, Helmut Veith
2004	J	`jnl`	Modular Verification of Software Components in C. IEEE Trans. Software Eng. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
2004	B	`conf`	Parameterized Vacuity. FMCAD Marko Samer, Helmut Veith
2004	J	`jnl`	Provably Secure Authentication of Digital Media Through Invertible Watermarks. IACR Cryptol. ePrint Arch. Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2004	B	`conf`	Verification by Network Decomposition. CONCUR Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
2003	J	`jnl`	Counterexample-guided abstraction refinement for symbolic model checking. J. ACM Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
2003	—	`conf`	Counterexamples Revisited: Principles, Algorithms, Applications. Verification: Theory and Practice Edmund M. Clarke, Helmut Veith
2003	B	`conf`	Friends or Foes? Communities in Software Verification (Invited Lecture). CSL Helmut Veith
2003	C	`conf`	Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith
2003	A*	`conf`	Modular Verification of Software Components in C. ICSE Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
2003	A	`conf`	SAT Based Predicate Abstraction for Hardware Verification. SAT Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang
2003	B	`conf`	Validity of CTL Queries Revisited. CSL Marko Samer, Helmut Veith
2003	—	`conf`	Watermarking schemes provably secure against copy and ambiguity attacks. Digital Rights Management Workshop André Adelsbach, Stefan Katzenbeisser, Helmut Veith
2002	B	`conf`	Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. FMCAD Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
2002	J	`jnl`	Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. Georg Gottlob, Erich Grädel, Helmut Veith
2002	J	`jnl`	On the complexity of data disjunctions. Theor. Comput. Sci. Thomas Eiter, Helmut Veith
2002	—	`conf`	Securing symmetric watermarking schemes against protocol attacks. Security and Watermarking of Multimedia Contents Stefan Katzenbeisser, Helmut Veith
2002	A*	`conf`	Tree-Like Counterexamples in Model Checking. LICS Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith
2001	J	`jnl`	Complexity of t-tautologies. Ann. Pure Appl. Log. Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
2001	A*	`conf`	Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
2001	A	`conf`	Non-linear Quantification Scheduling in Image Computation. ICCAD Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
2001	Misc	`conf`	Progress on the State Explosion Problem in Model Checking. Informatics Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
2001	—	`conf`	Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
2000	B	`conf`	An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX Matthias Baaz, Christian G. Fermüller, Helmut Veith
2000	A*	`conf`	Counterexample-Guided Abstraction Refinement. CAV Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
2000	B	`conf`	Executable Protocol Specification in ESL. FMCAD Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang
1999	J	`jnl`	Interpolation in fuzzy logic. Arch. Math. Log. Matthias Baaz, Helmut Veith
1999	—	`conf`	On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
1999	J	`jnl`	Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Log. Georg Gottlob, Nicola Leone, Helmut Veith
1998	—	`conf`	A General Method to Determine the Expression Complexity of Database Query Languages. Grundlagen von Datenbanken Helmut Veith
1998	A	`conf`	How to Encode a Logical Structure by an OBDD. CCC Helmut Veith
1998	B	`conf`	Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
1998	B	`conf`	Quantifier Elimination in Fuzzy Logic. CSL Matthias Baaz, Helmut Veith
1998	J	`jnl`	Succinct Representation, Leaf Languages, and Projection Reductions. Inf. Comput. Helmut Veith
1997	—	`conf`	Generalized Quantifiers in Logic Programs. ESSLLI Thomas Eiter, Georg Gottlob, Helmut Veith
1997	J	`jnl`	Languages Represented by Boolean Formulas. Inf. Process. Lett. Helmut Veith
1997	B	`conf`	Modular Logic Programming and Generalized Quantifiers. LPNMR Thomas Eiter, Georg Gottlob, Helmut Veith
1996	A	`conf`	Succinct Representation, Leaf Languages, and Projection Reductions. CCC Helmut Veith
1995	B	`conf`	Second Order Logic and the Weak Exponential Hierarchies. MFCS Georg Gottlob, Nicola Leone, Helmut Veith
1995	J	`jnl`	Succinct Representation and Leaf Languages Electron. Colloquium Comput. Complex. Helmut Veith