Pebble-Intervals Automata and FO2 with Two Orders.

Helmut Veith https://www.tuwien.ac.at/aktuelles/news_detail/article/10002/ http://www.forsyte.tuwien.ac.at/~veith/ https://scholar.google.com/citations?user=9VeRxLIAAAAJ https://zbmath.org/authors/?q=ai:veith.helmut https://mathscinet.ams.org/mathscinet/MRAuthorID/623509 https://mathgenealogy.org/id.php?id=102236 https://en.wikipedia.org/wiki/Helmut_Veith https://www.wikidata.org/entity/Q23707622 https://id.loc.gov/authorities/names/nb2008015378 https://d-nb.info/gnd/141019107 TU Wien, Vienna, Austria Nadia Labai Tomer Kotek Magdalena Ortiz 0001 Helmut Veith Pebble-Intervals Automata and FO2 with Two Orders. 208-221 2020 LATA https://doi.org/10.1007/978-3-030-40608-0_14 conf/lata/2020 db/conf/lata/lata2020.html#LabaiKOV20

Nadia Labai Tomer Kotek Magdalena Ortiz 0001 Helmut Veith Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). 2019 abs/1912.00171 CoRR http://arxiv.org/abs/1912.00171 db/journals/corr/corr1912.html#abs-1912-00171

Edmund M. Clarke Orna Grumberg Daniel Kroening Doron A. Peled Helmut Veith Model checking, 2nd Edition. MIT Press 2018 978-0-262-03883-6 https://mitpress.mit.edu/books/model-checking-second-edition

Benjamin Aminof Tomer Kotek Sasha Rubin Francesco Spegni Helmut Veith Parameterized model checking of rendezvous systems. 187-222 2018 31 Distributed Comput. 3 https://doi.org/10.1007/s00446-017-0302-6 https://www.wikidata.org/entity/Q59605462 db/journals/dc/dc31.html#AminofKRSV18

Edmund M. Clarke Thomas A. Henzinger Helmut Veith Introduction to Model Checking. 1-26 2018 Handbook of Model Checking https://doi.org/10.1007/978-3-319-10575-8_1 reference/mc/2018 db/reference/mc/mc2018.html#ClarkeHV18 Edmund M. Clarke Thomas A. Henzinger Helmut Veith Roderick Bloem Handbook of Model Checking. Springer 2018 978-3-319-10574-1 978-3-319-10575-8 https://doi.org/10.1007/978-3-319-10575-8 db/reference/mc/mc2018.html

Yulia Demyanova Thomas Pani Helmut Veith Florian Zuleger Empirical software metrics for benchmarking of verification tools. 289-316 2017 50 Formal Methods Syst. Des. 2-3 https://doi.org/10.1007/s10703-016-0264-5 https://www.wikidata.org/entity/Q59607221 db/journals/fmsd/fmsd50.html#DemyanovaPVZ17

Igor Konnov 0001 Marijana Lazic Helmut Veith Josef Widder Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. 270-307 2017 51 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-017-0297-4 https://www.wikidata.org/entity/Q59607712 db/journals/fmsd/fmsd51.html#KonnovLVW17

Niklas Büscher Martin Franz Andreas Holzer Helmut Veith Stefan Katzenbeisser 0001 On compiling Boolean circuits optimized for secure multi-party computation. 308-331 2017 51 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-017-0300-0 db/journals/fmsd/fmsd51.html#BuscherFHVK17

Igor V. Konnov 0001 Helmut Veith Josef Widder On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. 95-109 2017 252 Inf. Comput. https://doi.org/10.1016/j.ic.2016.03.006 db/journals/iandc/iandc252.html#KonnovVW17

Moritz Sinn Florian Zuleger Helmut Veith Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. 3-45 2017 59 J. Autom. Reason. 1 https://doi.org/10.1007/s10817-016-9402-4 https://www.wikidata.org/entity/Q58105348 db/journals/jar/jar59.html#SinnZV17

Shachar Itzhaky Tomer Kotek Noam Rinetzky Mooly Sagiv Orr Tamir Helmut Veith Florian Zuleger On the Automated Verification of Web Applications with Embedded SQL. 16:1-16:18 2017 ICDT https://doi.org/10.4230/LIPIcs.ICDT.2017.16 conf/icdt/2017 db/conf/icdt/icdt2017.html#ItzhakyKRSTVZ17 Igor V. Konnov 0001 Marijana Lazic Helmut Veith Josef Widder A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. 719-734 2017 POPL https://doi.org/10.1145/3009837.3009860 https://doi.org/10.1145/3093333.3009860 https://www.wikidata.org/entity/Q124963883 conf/popl/2017 db/conf/popl/popl2017.html#KonnovLVW17

Roderick Bloem Swen Jacobs Ayrat Khalimov 0001 Igor Konnov 0001 Sasha Rubin Helmut Veith Josef Widder Decidability in Parameterized Verification. 53-64 2016 47 SIGACT News 2 https://doi.org/10.1145/2951860.2951873 db/journals/sigact/sigact47.html#BloemJKKRVW16

Andreas Haas Thomas A. Henzinger Andreas Holzer Christoph M. Kirsch Michael Lippautz Hannes Payer Ali Sezgin Ana Sokolova Helmut Veith Local Linearizability for Concurrent Container-Type Data Structures. 6:1-6:15 2016 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2016.6 conf/concur/2016 db/conf/concur/concur2016.html#HaasHHKLPSSV16 Igor V. Konnov 0001 Tomer Kotek Qiang Wang 0020 Helmut Veith Simon Bliudze Joseph Sifakis Parameterized Systems in BIP: Design and Model Checking. 30:1-30:16 2016 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2016.30 conf/concur/2016 db/conf/concur/concur2016.html#KonnovKWVBS16 Tomer Kotek Helmut Veith Florian Zuleger Monadic Second Order Finite Satisfiability and Unbounded Tree-Width. 13:1-13:20 2016 CSL https://doi.org/10.4230/LIPIcs.CSL.2016.13 conf/csl/2016 db/conf/csl/csl2016.html#KotekVZ16 Yulia Demyanova Thomas Pani Helmut Veith Florian Zuleger Empirical software metrics for benchmarking of verification tools. 67-68 2016 Software Engineering https://dl.gi.de/handle/20.500.12116/725 conf/se/2016 db/conf/se/se2016.html#DemyanovaPVZ16 Moritz Sinn Florian Zuleger Helmut Veith A simple and scalable static analysis for bound analysis and amortized complexity analysis. 101-102 2016 Software Engineering https://dl.gi.de/handle/20.500.12116/744 conf/se/2016 db/conf/se/se2016.html#SinnZV16

Igor Konnov 0001 Marijana Lazic Helmut Veith Josef Widder A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. 2016 abs/1608.05327 CoRR http://arxiv.org/abs/1608.05327 db/journals/corr/corr1608.html#KonnovLVW16

Shachar Itzhaky Tomer Kotek Noam Rinetzky Mooly Sagiv Orr Tamir Helmut Veith Florian Zuleger On the automated verification of web applications with embedded SQL. 2016 abs/1610.02101 CoRR http://arxiv.org/abs/1610.02101 db/journals/corr/corr1610.html#ItzhakyKRSTVZ16

Roderick Bloem Swen Jacobs Ayrat Khalimov 0001 Igor Konnov 0001 Sasha Rubin Helmut Veith Josef Widder Decidability of Parameterized Verification Morgan & Claypool Publishers 2015 Synthesis Lectures on Distributed Computing Theory 978-3-031-00883-2 978-3-031-02011-7 https://doi.org/10.2200/S00658ED1V01Y201508DCT013 https://doi.org/10.1007/978-3-031-02011-7

Thomas Pani Helmut Veith Florian Zuleger Loop Patterns in C Programs. 2015 72 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.72.1014 db/journals/eceasst/eceasst72.html#PaniVZ15

Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith Closure properties and complexity of rational sets of regular languages. 62-79 2015 605 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2015.08.035 db/journals/tcs/tcs605.html#HolzerSTV15

Igor Konnov 0001 Helmut Veith Josef Widder SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. 85-102 2015 CAV (1) https://doi.org/10.1007/978-3-319-21690-4_6 conf/cav/2015-1 db/conf/cav/cav2015-1.html#KonnovVW15 Yulia Demyanova Thomas Pani Helmut Veith Florian Zuleger Empirical Software Metrics for Benchmarking of Verification Tools. 561-579 2015 CAV (1) https://doi.org/10.1007/978-3-319-21690-4_39 conf/cav/2015-1 db/conf/cav/cav2015-1.html#DemyanovaPVZ15 Igor V. Konnov 0001 Helmut Veith Josef Widder What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. 6-21 2015 Ershov Memorial Conference https://doi.org/10.1007/978-3-319-41579-6_2 conf/ershov/2015 db/conf/ershov/ershov2015.html#KonnovVW15 Moritz Sinn Florian Zuleger Helmut Veith Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. 144-151 2015 FMCAD conf/fmcad/2015 db/conf/fmcad/fmcad2015.html#SinnZV15 https://doi.org/10.1109/FMCAD.2015.7542264 Azadeh Farzan Andreas Holzer Helmut Veith Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. 1-11 2015 ICST https://doi.org/10.1109/ICST.2015.7102600 https://doi.ieeecomputersociety.org/10.1109/ICST.2015.7102600 conf/icst/2015 db/conf/icst/icst2015.html#FarzanHV15 Tomer Kotek Mantas Simkus Helmut Veith Florian Zuleger Extending ALCQIO with Trees. 511-522 2015 LICS https://doi.org/10.1109/LICS.2015.54 https://doi.ieeecomputersociety.org/10.1109/LICS.2015.54 http://dl.acm.org/citation.cfm?id=2876560 conf/lics/2015 db/conf/lics/lics2015.html#KotekSVZ15 Martin Franz Andreas Holzer Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Compilation for Secure Two-Party Computations. 143-145 2015 Software Engineering & Management conf/se/2015 db/conf/se/se2015.html#FranzH0SV15 https://dl.gi.de/handle/20.500.12116/2538

Andreas Haas Thomas A. Henzinger Andreas Holzer Christoph M. Kirsch Michael Lippautz Hannes Payer Ali Sezgin Ana Sokolova Helmut Veith Local Linearizability. 2015 abs/1502.07118 CoRR http://arxiv.org/abs/1502.07118 db/journals/corr/corr1502.html#HaasHHKLPSSV15

Tomer Kotek Helmut Veith Florian Zuleger Monadic second order finite satisfiability and unbounded tree-width. 2015 abs/1505.06622 CoRR http://arxiv.org/abs/1505.06622 db/journals/corr/corr1505.html#KotekVZ15

Moritz Sinn Florian Zuleger Helmut Veith Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. 2015 abs/1508.04958 CoRR http://arxiv.org/abs/1508.04958 db/journals/corr/corr1508.html#SinnZV15

Moritz Sinn Florian Zuleger Helmut Veith A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. 745-761 2014 CAV https://doi.org/10.1007/978-3-319-08867-9_50 conf/cav/2014 db/conf/cav/cav2014.html#SinnZV14 Martin Franz Andreas Holzer Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. 244-249 2014 CC https://doi.org/10.1007/978-3-642-54807-9_15 conf/cc/2014 db/conf/cc/cc2014.html#FranzHKSV14 Benjamin Aminof Tomer Kotek Sasha Rubin Francesco Spegni Helmut Veith Parameterized Model Checking of Rendezvous Systems. 109-124 2014 CONCUR https://doi.org/10.1007/978-3-662-44584-6_9 conf/concur/2014 db/conf/concur/concur2014.html#AminofKRSV14 Igor Konnov 0001 Helmut Veith Josef Widder On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. 125-140 2014 CONCUR https://doi.org/10.1007/978-3-662-44584-6_10 conf/concur/2014 db/conf/concur/concur2014.html#KonnovVW14 Diego Calvanese Tomer Kotek Mantas Simkus Helmut Veith Florian Zuleger Shape and Content: Incorporating Domain Knowledge into Shape Analysis. 124-127 2014 Description Logics https://ceur-ws.org/Vol-1193/paper_34.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#CalvaneseKSVZ14 Tomer Kotek Mantas Simkus Helmut Veith Florian Zuleger Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. 591-594 2014 Description Logics https://ceur-ws.org/Vol-1193/paper_35.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#KotekSVZ14 Diego Calvanese Tomer Kotek Mantas Simkus Helmut Veith Florian Zuleger Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. 3-17 2014 IFM https://doi.org/10.1007/978-3-319-10181-1_1 https://www.wikidata.org/entity/Q64360037 conf/ifm/2014 db/conf/ifm/ifm2014.html#CalvaneseKSVZ14 Matthias Baaz Thomas Eiter Helmut Veith Vienna Summer of Logic. 2014 KR https://aaai.org/papers/5-8701-vienna-summer-of-logic/ conf/kr/2014 db/conf/kr/kr2014.html#BaazEV14 Gergely Kovásznai Helmut Veith Andreas Fröhlich Armin Biere On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. 481-492 2014 MFCS (2) https://doi.org/10.1007/978-3-662-44465-8_41 conf/mfcs/2014-2 db/conf/mfcs/mfcs2014-2.html#KovasznaiVFB14 Andreas Fröhlich Gergely Kovásznai Armin Biere Helmut Veith iDQ: Instantiation-Based DQBF Solving. 103-116 2014 POS@SAT https://doi.org/10.29007/1s5k conf/sat/2014pos db/conf/sat/pos2014.html#FrohlichKBV14 Dirk Beyer 0001 Andreas Holzer Michael Tautschnig Helmut Veith Reusing Information in Multi-Goal Reachability Analyses. 97-98 2014 Software Engineering conf/se/2014 db/conf/se/se2014.html#BeyerHTV14 https://dl.gi.de/handle/20.500.12116/30979 Azadeh Farzan Andreas Holzer Niloofar Razavi Helmut Veith Concolic Testing of Concurrent Programs. 101-102 2014 Software Engineering conf/se/2014 db/conf/se/se2014.html#FarzanHRV14 https://dl.gi.de/handle/20.500.12116/30982 Annu Gmeiner Igor Konnov 0001 Ulrich Schmid 0001 Helmut Veith Josef Widder Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. 122-171 2014 conf/sfm/2014 SFM https://doi.org/10.1007/978-3-319-07317-0_4 db/conf/sfm/sfm2014.html#GmeinerKSVW14 Cezara Dragoi Thomas A. Henzinger Helmut Veith Josef Widder Damien Zufferey A Logic-Based Framework for Verifying Consensus Algorithms. 161-181 2014 VMCAI https://doi.org/10.1007/978-3-642-54013-4_10 conf/vmcai/2014 db/conf/vmcai/vmcai2014.html#DragoiHVWZ14

Moritz Sinn Florian Zuleger Helmut Veith A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. 2014 abs/1401.5842 CoRR http://arxiv.org/abs/1401.5842 db/journals/corr/corr1401.html#SinnZV14

Tomer Kotek Mantas Simkus Helmut Veith Florian Zuleger Extending ALCQIO with reachability. 2014 abs/1402.6804 CoRR http://arxiv.org/abs/1402.6804 db/journals/corr/corr1402.html#KotekSVZ14

Sagar Chaki Christian Schallhart Helmut Veith Verification across Intellectual Property Boundaries. 15:1-15:12 2013 22 ACM Trans. Softw. Eng. Methodol. 2 https://doi.org/10.1145/2430545.2430550 db/journals/tosem/tosem22.html#ChakiSV13

Andreas Holzer Nikolaos P. Karvelas Stefan Katzenbeisser 0001 Helmut Veith Martin Franz Challenges in compiler construction for secure two-party computation. 3-6 2013 PETShop@CCS https://doi.org/10.1145/2517872.2517876 https://www.wikidata.org/entity/Q130851697 conf/ccs/2013petshop db/conf/ccs/petshop2013.html#HolzerKKVF13 Martin Franz Andreas Holzer Rupak Majumdar Bryan Parno Helmut Veith The first workshop on language support for privacy-enhancing technologies (PETShop'13). 1485-1486 2013 CCS https://doi.org/10.1145/2508859.2509032 conf/ccs/2013 db/conf/ccs/ccs2013.html#FranzHMPV13 Dirk Beyer 0001 Andreas Holzer Michael Tautschnig Helmut Veith Information Reuse for Multi-goal Reachability Analyses. 472-491 2013 ESOP https://doi.org/10.1007/978-3-642-37036-6_26 conf/esop/2013 db/conf/esop/esop2013.html#BeyerHTV13 Annu John Igor Konnov 0001 Ulrich Schmid 0001 Helmut Veith Josef Widder Parameterized model checking of fault-tolerant distributed algorithms by abstraction. 201-209 2013 FMCAD https://ieeexplore.ieee.org/document/6679411/ conf/fmcad/2013 db/conf/fmcad/fmcad2013.html#JohnKSVW13 Yulia Demyanova Helmut Veith Florian Zuleger On the concept of variable roles and its use in software analysis. 226-230 2013 FMCAD https://ieeexplore.ieee.org/document/6679414/ conf/fmcad/2013 db/conf/fmcad/fmcad2013.html#DemyanovaVZ13 Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith On the Structure and Complexity of Rational Sets of Regular Languages. 377-388 2013 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2013.377 conf/fsttcs/2013 db/conf/fsttcs/fsttcs2013.html#HolzerSTV13 Annu John Igor Konnov 0001 Ulrich Schmid 0001 Helmut Veith Josef Widder Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. 119-121 2013 PODC https://doi.org/10.1145/2484239.2484285 conf/podc/2013 db/conf/podc/podc2013.html#JohnKSVW13 Azadeh Farzan Andreas Holzer Niloofar Razavi Helmut Veith Con2colic testing. 37-47 2013 ESEC/SIGSOFT FSE https://doi.org/10.1145/2491411.2491453 conf/sigsoft/2013 db/conf/sigsoft/fse2013.html#FarzanHRV13 Annu John Igor Konnov 0001 Ulrich Schmid 0001 Helmut Veith Josef Widder Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. 209-226 2013 SPIN https://doi.org/10.1007/978-3-642-39176-7_14 conf/spin/2013 db/conf/spin/spin2013.html#JohnKSVW13 Natasha Sharygina Helmut Veith Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings 2013 Springer Lecture Notes in Computer Science 8044 https://doi.org/10.1007/978-3-642-39799-8 978-3-642-39798-1 CAV db/conf/cav/cav2013.html Martin Franz Andreas Holzer Rupak Majumdar Bryan Parno Helmut Veith 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 ACM PETShop@CCS 2013 978-1-4503-2489-2 http://dl.acm.org/citation.cfm?id=2517872 db/conf/ccs/petshop2013.html

Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith On the Structure and Complexity of Rational Sets of Regular Languages http://arxiv.org/abs/1305.6074 2013 CoRR abs/1305.6074 db/journals/corr/corr1305.html#abs-1305-6074

Yulia Demyanova Helmut Veith Florian Zuleger On the Concept of Variable Roles and its Use in Software Analysis http://arxiv.org/abs/1305.6745 2013 CoRR abs/1305.6745 db/journals/corr/corr1305.html#abs-1305-6745

Diego Calvanese Tomer Kotek Mantas Simkus Helmut Veith Florian Zuleger Shape and Content: Incorporating Domain Knowledge into Shape Analysis. 2013 abs/1312.6624 CoRR http://arxiv.org/abs/1312.6624 db/journals/corr/corr1312.html#CalvaneseKSVZ13

Helmut Veith Special Issue: Games in Verification. 393 2012 78 J. Comput. Syst. Sci. 2 https://doi.org/10.1016/j.jcss.2011.05.007 db/journals/jcss/jcss78.html#Veith12

Andreas Holzer Martin Franz Stefan Katzenbeisser 0001 Helmut Veith Secure two-party computations in ANSI C. 772-783 2012 CCS https://doi.org/10.1145/2382196.2382278 conf/ccs/2012 db/conf/ccs/ccs2012.html#HolzerFKV12 Andreas Holzer Daniel Kroening Christian Schallhart Michael Tautschnig Helmut Veith Proving Reachability Using FShell - (Competition Contribution). 538-541 2012 TACAS https://doi.org/10.1007/978-3-642-28756-5_43 conf/tacas/2012 db/conf/tacas/tacas2012.html#HolzerKSTV12

Florian Zuleger Sumit Gulwani Moritz Sinn Helmut Veith Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) http://arxiv.org/abs/1203.5303 2012 CoRR abs/1203.5303 db/journals/corr/corr1203.html#abs-1203-5303

Annu John Igor Konnov 0001 Ulrich Schmid 0001 Helmut Veith Josef Widder Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms http://arxiv.org/abs/1210.3839 2012 CoRR abs/1210.3839 db/journals/corr/corr1210.html#abs-1210-3839

Annu John Igor Konnov 0001 Ulrich Schmid 0001 Helmut Veith Josef Widder Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms http://arxiv.org/abs/1210.3846 2012 CoRR abs/1210.3846 db/journals/corr/corr1210.html#abs-1210-3846

Andreas Holzer Visar Januzaj Stefan Kugele Boris Langer Christian Schallhart Michael Tautschnig Helmut Veith Seamless Testing for Models and Code. 278-293 2011 FASE https://doi.org/10.1007/978-3-642-19811-3_20 conf/fase/2011 db/conf/fase/fase2011.html#HolzerJKLSTV11 Florian Zuleger Sumit Gulwani Moritz Sinn Helmut Veith Bound Analysis of Imperative Programs with the Size-Change Abstraction. 280-297 2011 SAS https://doi.org/10.1007/978-3-642-23702-7_22 conf/sas/2011 db/conf/sas/sas2011.html#ZulegerGSV11 Stefan Katzenbeisser 0001 Johannes Kinder Helmut Veith Malware Detection. 752-755 2011 Encyclopedia of Cryptography and Security (2nd Ed.) https://doi.org/10.1007/978-1-4419-5906-5_838 reference/crypt/2011 db/reference/crypt/crypt2011.html#KatzenbeisserKV11

Nikolaj S. Bjørner Robert Nieuwenhuis Helmut Veith Andrei Voronkov Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). 23-35 2011 1 Dagstuhl Reports 7 https://doi.org/10.4230/DagRep.1.7.23 db/journals/dagstuhl-reports/dagstuhl-reports1.html#BjornerNVV11

Johannes Kinder Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Proactive Detection of Computer Worms Using Model Checking. 424-438 2010 7 IEEE Trans. Dependable Secur. Comput. 4 https://doi.org/10.1109/TDSC.2008.74 http://doi.ieeecomputersociety.org/10.1109/TDSC.2008.74 db/journals/tdsc/tdsc7.html#KinderKSV10

Marko Samer Helmut Veith On the distributivity of LTL specifications. 2010 11 ACM Trans. Comput. Log. 3 https://doi.org/10.1145/1740582.1740588 db/journals/tocl/tocl11.html#SamerV10 20:1-20:26

Somesh Jha Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Stephen Chenney Semantic integrity in large-scale online simulations. 2010 10 ACM Trans. Internet Techn. 1 https://doi.org/10.1145/1667067.1667069 db/journals/toit/toit10.html#JhaKSVC10 2:1-2:24

Edmund M. Clarke Robert P. Kurshan Helmut Veith The Localization Reduction and Counterexample-Guided Abstraction Refinement. 61-71 2010 Essays in Memory of Amir Pnueli https://doi.org/10.1007/978-3-642-13754-9_4 conf/birthday/2010pnueli db/conf/birthday/pnueli2010.html#ClarkeKV10 Johannes Kinder Helmut Veith Precise static analysis of untrusted driver binaries. 43-50 2010 FMCAD https://ieeexplore.ieee.org/document/5770932/ conf/fmcad/2010 db/conf/fmcad/fmcad2010.html#KinderV10 Andreas Holzer Michael Tautschnig Christian Schallhart Helmut Veith An Introduction to Test Specification in FQL. 9-22 2010 Haifa Verification Conference https://doi.org/10.1007/978-3-642-19583-9_5 conf/hvc/2010 db/conf/hvc/hvc2010.html#HolzerTSV10 Visar Januzaj Stefan Kugele Boris Langer Christian Schallhart Helmut Veith New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. 1-2 2010 ISoLA (1) https://doi.org/10.1007/978-3-642-16558-0_1 conf/isola/2010-1 db/conf/isola/isola2010-1.html#JanuzajKLSV10 Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith How did you specify your test suite. 407-416 2010 ASE https://doi.org/10.1145/1858996.1859084 conf/kbse/2010 db/conf/kbse/ase2010.html#HolzerTVS10 Anuj Dawar Helmut Veith Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings 6247 2010 https://doi.org/10.1007/978-3-642-15205-4 https://www.wikidata.org/entity/Q58215520 978-3-642-15204-7 CSL Lecture Notes in Computer Science Springer db/conf/csl/csl2010.html Nikolaj S. Bjørner Robert Nieuwenhuis Helmut Veith Andrei Voronkov Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010 Decision Procedures in Software, Hardware and Bioware 10161 2010 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P10161.html http://drops.dagstuhl.de/portals/10161/ Nikolaj S. Bjørner Robert Nieuwenhuis Helmut Veith Andrei Voronkov 10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. 2010 Decision Procedures in Software, Hardware and Bioware http://drops.dagstuhl.de/opus/volltexte/2010/2742/ conf/dagstuhl/2010P10161 db/conf/dagstuhl/P10161.html#BjornerNVV10 Nikolaj S. Bjørner Robert Nieuwenhuis Helmut Veith Andrei Voronkov 10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. 2010 Decision Procedures in Software, Hardware and Bioware http://drops.dagstuhl.de/opus/volltexte/2010/2736/ conf/dagstuhl/2010P10161 db/conf/dagstuhl/P10161.html#BjornerNVV10a Péter Bokor Marco Serafini Neeraj Suri Helmut Veith Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. 147-166 2009 ICFEM https://doi.org/10.1007/978-3-642-10373-5_8 conf/icfem/2009 db/conf/icfem/icfem2009.html#BokorSSV09 Marko Samer Helmut Veith Encoding Treewidth into SAT. 45-50 2009 SAT https://doi.org/10.1007/978-3-642-02777-2_6 conf/sat/2009 db/conf/sat/sat2009.html#SamerV09 Helmut Veith Embedding Formal Methods into Systems Engineering. 11 2009 SYNASC https://doi.org/10.1109/SYNASC.2009.71 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.71 conf/synasc/2009 db/conf/synasc/synasc2009.html#Veith09 Helmut Veith Automated Software Analysis. 18 2009 SYNASC https://doi.org/10.1109/SYNASC.2009.67 https://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.67 conf/synasc/2009 db/conf/synasc/synasc2009.html#Veith09a Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith Query-Driven Program Testing. 151-166 2009 VMCAI https://doi.org/10.1007/978-3-540-93900-9_15 conf/vmcai/2009 db/conf/vmcai/vmcai2009.html#HolzerSTV09 Johannes Kinder Florian Zuleger Helmut Veith An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. 214-228 2009 VMCAI https://doi.org/10.1007/978-3-540-93900-9_19 conf/vmcai/2009 db/conf/vmcai/vmcai2009.html#KinderZV09 Péter Bokor Marco Serafini Neeraj Suri Helmut Veith Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. 289-290 2009 DISC https://doi.org/10.1007/978-3-642-04355-0_29 conf/wdag/2009 db/conf/wdag/disc2009.html#BokorSSV09 Andreas Holzer Christian Schallhart Michael Tautschnig Helmut Veith FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. 209-213 2008 CAV https://doi.org/10.1007/978-3-540-70545-1_20 conf/cav/2008 db/conf/cav/cav2008.html#HolzerSTV08 Johannes Kinder Helmut Veith Jakstab: A Static Analysis Platform for Binaries. 423-427 2008 CAV https://doi.org/10.1007/978-3-540-70545-1_40 conf/cav/2008 db/conf/cav/cav2008.html#KinderV08 Edmund M. Clarke Muralidhar Talupur Helmut Veith Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. 33-47 2008 TACAS https://doi.org/10.1007/978-3-540-78800-3_4 conf/tacas/2008 db/conf/tacas/tacas2008.html#ClarkeTV08 Iliano Cervesato Helmut Veith Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings 5330 2008 978-3-540-89438-4 LPAR Lecture Notes in Computer Science Springer https://doi.org/10.1007/978-3-540-89439-1 db/conf/lpar/lpar2008.html Orna Grumberg Helmut Veith 25 Years of Model Checking - History, Achievements, Perspectives 25 Years of Model Checking 5000 2008 978-3-540-69849-4 Lecture Notes in Computer Science Springer https://doi.org/10.1007/978-3-540-69850-0 db/conf/spin/lncs5000.html

Mihai Christodorescu Somesh Jha Johannes Kinder Stefan Katzenbeisser 0001 Helmut Veith Software transformations to improve malware detection. 253-265 2007 3 J. Comput. Virol. 4 https://doi.org/10.1007/s11416-007-0059-8 db/journals/virology/virology3.html#ChristodorescuJKKV07

Sagar Chaki Christian Schallhart Helmut Veith Verification Across Intellectual Property Boundaries. 82-94 2007 conf/cav/2007 CAV https://doi.org/10.1007/978-3-540-73368-3_11 db/conf/cav/cav2007.html#ChakiSV07 Andreas Holzer Johannes Kinder Helmut Veith Using Verification Technology to Specify and Detect Malware. 497-504 2007 conf/eurocast/2007 EUROCAST https://doi.org/10.1007/978-3-540-75867-9_63 db/conf/eurocast/eurocast2007.html#HolzerKV07 Marko Samer Helmut Veith On the Notion of Vacuous Truth. 2-14 2007 conf/lpar/2007 LPAR https://doi.org/10.1007/978-3-540-75560-9_2 db/conf/lpar/lpar2007.html#SamerV07 Somesh Jha Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Stephen Chenney Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. 179-186 2007 conf/sp/2007 S&P https://doi.org/10.1109/SP.2007.16 https://doi.ieeecomputersociety.org/10.1109/SP.2007.16 db/conf/sp/sp2007.html#JhaKV07

Sagar Chaki Christian Schallhart Helmut Veith Verification Across Intellectual Property Boundaries http://arxiv.org/abs/cs/0701187 2007 CoRR abs/cs/0701187 db/journals/corr/corr0701.html#abs-cs-0701187

Somesh Jha Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Stephen Chenney Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. 56 2007 2007 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2007/056 db/journals/iacr/iacr2007.html#JhaKSVC07

Oleg Pikhurko Helmut Veith Oleg Verbitsky 0001 The first order definability of graphs: Upper bounds for quantifier depth. 2511-2529 2006 154 Discret. Appl. Math. 17 https://doi.org/10.1016/j.dam.2006.03.002 db/journals/dam/dam154.html#PikhurkoVV06

Edmund M. Clarke Muralidhar Talupur Helmut Veith Environment Abstraction for Parameterized Verification. 126-141 2006 conf/vmcai/2006 VMCAI https://doi.org/10.1007/11609773_9 db/conf/vmcai/vmcai2006.html#ClarkeTV06

Sagar Chaki Edmund M. Clarke Somesh Jha Helmut Veith An Iterative Framework for Simulation Conformance. 465-488 2005 15 J. Log. Comput. 4 https://doi.org/10.1093/logcom/exi028 db/journals/logcom/logcom15.html#ChakiCJV05

Johannes Kinder Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Detecting Malicious Code by Model Checking. 174-187 2005 conf/dimva/2005 DIMVA https://doi.org/10.1007/11506881_11 https://www.wikidata.org/entity/Q69435702 db/conf/dimva/dimva2005.html#KinderKSV05 Sagar Chaki Edmund M. Clarke Orna Grumberg Joël Ouaknine Natasha Sharygina Tayssir Touili Helmut Veith State/Event Software Verification for Branching-Time Specifications. 53-69 2005 conf/ifm/2005 IFM https://doi.org/10.1007/11589976_5 db/conf/ifm/ifm2005.html#ChakiCGOSTV05 Jana Dittmann Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Ensuring Media Integrity on Third-Party Infrastructures. 493-508 2005 conf/sec/2005 SEC db/conf/sec/sec2005.html#DittmannKSV05 Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Malware Engineering. 139-148 2005 conf/sicherheit/2005 Sicherheit db/conf/sicherheit/sicherheit2005.html#KatzenbeisserSV05 https://dl.gi.de/handle/20.500.12116/28365 http://subs.emis.de/LNI/Proceedings/Proceedings62/article3571.html Marko Samer Helmut Veith Deterministic CTL Query Solving. 156-165 2005 conf/time/2005 TIME https://doi.org/10.1109/TIME.2005.20 https://doi.ieeecomputersociety.org/10.1109/TIME.2005.20 db/conf/time/time2005.html#SamerV05 Marko Samer Helmut Veith From Temporal Logic Queries to Vacuity Detection. 149-167 2005 conf/vissas/2005 VISSAS db/conf/vissas/vissas2005.html#SamerV05 Edmund M. Clarke Anubhav Gupta 0001 Himanshu Jain Helmut Veith Model Checking: Back and Forth between Hardware and Software. 251-255 2005 VSTTE https://doi.org/10.1007/978-3-540-69149-5_27 conf/vstte/2005 db/conf/vstte/vstte2005.html#ClarkeGJV05 Edmund M. Clarke Ansgar Fehnker Sumit Kumar Jha 0001 Helmut Veith Temporal Logic Model Checking. 539-558 2005 books/sp/NECS05 Handbook of Networked and Embedded Control Systems db/books/collections/necs2005.html#ClarkeFJV05

Uwe Hermann Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments http://arxiv.org/abs/cs/0503080 2005 CoRR abs/cs/0503080 db/journals/corr/corr0503.html#abs-cs-0503080

Sagar Chaki Edmund M. Clarke Alex Groce Somesh Jha Helmut Veith Modular Verification of Software Components in C. 388-402 2004 30 IEEE Trans. Software Eng. 6 https://doi.org/10.1109/TSE.2004.22 http://doi.ieeecomputersociety.org/10.1109/TSE.2004.22 db/journals/tse/tse30.html#ChakiCGJV04

Edmund M. Clarke Muralidhar Talupur Tayssir Touili Helmut Veith Verification by Network Decomposition. 276-291 https://doi.org/10.1007/978-3-540-28644-8_18 2004 conf/concur/2004 CONCUR db/conf/concur/concur2004.html#ClarkeTTV04 Marko Samer Helmut Veith Parameterized Vacuity. 322-336 https://doi.org/10.1007/978-3-540-30494-4_23 2004 conf/fmcad/2004 FMCAD db/conf/fmcad/fmcad2004.html#SamerV04 Marko Samer Helmut Veith A Syntactic Characterization of Distributive LTL Queries. 1099-1110 https://doi.org/10.1007/978-3-540-27836-8_91 2004 conf/icalp/2004 ICALP db/conf/icalp/icalp2004.html#SamerV04

Jana Dittmann Stefan Katzenbeisser 0001 Christian Schallhart Helmut Veith Provably Secure Authentication of Digital Media Through Invertible Watermarks. 293 2004 2004 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2004/293 db/journals/iacr/iacr2004.html#DittmannKSV04

Edmund M. Clarke Orna Grumberg Somesh Jha Yuan Lu 0004 Helmut Veith Counterexample-guided abstraction refinement for symbolic model checking. 752-794 2003 50 J. ACM 5 https://doi.org/10.1145/876638.876643 https://www.wikidata.org/entity/Q124822574 db/journals/jacm/jacm50.html#ClarkeGJLV03

Edmund M. Clarke Helmut Veith Counterexamples Revisited: Principles, Algorithms, Applications. 208-224 https://doi.org/10.1007/978-3-540-39910-0_9 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#ClarkeV03 Marko Samer Helmut Veith Validity of CTL Queries Revisited. 470-483 https://doi.org/10.1007/978-3-540-45220-1_38 2003 conf/csl/2003 CSL db/conf/csl/csl2003.html#SamerV03 Helmut Veith Friends or Foes? Communities in Software Verification (Invited Lecture). 528-529 https://doi.org/10.1007/978-3-540-45220-1_42 2003 conf/csl/2003 CSL db/conf/csl/csl2003.html#Veith03 André Adelsbach Stefan Katzenbeisser 0001 Helmut Veith Watermarking schemes provably secure against copy and ambiguity attacks. 111-119 2003 conf/drm/2003w Digital Rights Management Workshop https://doi.org/10.1145/947380.947395 db/conf/drm/drm2003w.html#AdelsbachKV03 Sagar Chaki Edmund M. Clarke Alex Groce Somesh Jha Helmut Veith Modular Verification of Software Components in C. 385-395 2003 conf/icse/2003 ICSE https://doi.org/10.1109/ICSE.2003.1201217 https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201217 http://dl.acm.org/citation.cfm?id=776863 db/conf/icse/icse2003.html#ChakiCGJV03 Edmund M. Clarke Muralidhar Talupur Helmut Veith Dong Wang SAT Based Predicate Abstraction for Hardware Verification. 78-92 https://doi.org/10.1007/978-3-540-24605-3_7 2003 conf/sat/2003 SAT db/conf/sat/sat2003.html#ClarkeTVW03 Sagar Chaki Pascal Fenkam Harald C. Gall Somesh Jha Engin Kirda Helmut Veith Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. 510-517 2003 conf/seke/2003 SEKE db/conf/seke/seke2003.html#ChakiFGJKV03

Thomas Eiter Helmut Veith On the complexity of data disjunctions. 101-128 2002 288 Theor. Comput. Sci. 1 db/journals/tcs/tcs288.html#EiterV02 https://doi.org/10.1016/S0304-3975(01)00147-5

Georg Gottlob Erich Grädel Helmut Veith Datalog LITE: a deductive query language with linear time model checking. 42-79 2002 3 ACM Trans. Comput. Log. 1 https://doi.org/10.1145/504077.504079 db/journals/tocl/tocl3.html#GottlobGV02

Pankaj Chauhan Edmund M. Clarke James H. Kukula Samir Sapra Helmut Veith Dong Wang Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. 33-51 2002 conf/fmcad/2002 FMCAD https://doi.org/10.1007/3-540-36126-X_3 db/conf/fmcad/fmcad2002.html#ChauhanCKSVW02 Edmund M. Clarke Somesh Jha Yuan Lu 0004 Helmut Veith Tree-Like Counterexamples in Model Checking. 19-29 2002 conf/lics/2002 LICS https://doi.org/10.1109/LICS.2002.1029814 https://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029814 db/conf/lics/lics2002.html#ClarkeJLV02 Stefan Katzenbeisser 0001 Helmut Veith Securing symmetric watermarking schemes against protocol attacks. 260-268 2002 Security and Watermarking of Multimedia Contents https://doi.org/10.1117/12.465283 conf/sswmc/2002 db/conf/sswmc/swmc2002.html#0001V02

Matthias Baaz Petr Hájek 0001 Franco Montagna Helmut Veith Complexity of t-tautologies. 3-11 2001 113 Ann. Pure Appl. Log. 1-3 db/journals/apal/apal113.html#BaazH01 https://doi.org/10.1016/S0168-0072(01)00048-3

Pankaj Chauhan Edmund M. Clarke Somesh Jha James H. Kukula Helmut Veith Dong Wang Using Combinatorial Optimization Methods for Quantification Scheduling. 293-309 2001 conf/charme/2001 CHARME https://doi.org/10.1007/3-540-44798-9_24 db/conf/charme/charme2001.html#ChauhanCJKVW01 Edmund M. Clarke Orna Grumberg Somesh Jha Yuan Lu 0004 Helmut Veith Progress on the State Explosion Problem in Model Checking. 176-194 2001 conf/dagstuhl/2001 Informatics https://doi.org/10.1007/3-540-44577-3_12 db/conf/dagstuhl/informatics2001.html#ClarkeGJLV01 Pankaj Chauhan Edmund M. Clarke Somesh Jha James H. Kukula Thomas R. Shiple Helmut Veith Dong Wang Non-linear Quantification Scheduling in Image Computation. 293- 2001 conf/iccad/2001 ICCAD https://doi.org/10.1109/ICCAD.2001.968636 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2001.968636 http://dl.acm.org/citation.cfm?id=603155 db/conf/iccad/iccad2001.html#ChauhanCJKSVW01 Alexis Campailla Sagar Chaki Edmund M. Clarke Somesh Jha Helmut Veith Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. 443-452 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#CampaillaCCJV01 https://doi.org/10.1109/ICSE.2001.919117 https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919117 Edmund M. Clarke Orna Grumberg Somesh Jha Yuan Lu 0004 Helmut Veith Counterexample-Guided Abstraction Refinement. 154-169 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#ClarkeGJLV00 https://doi.org/10.1007/10722167_15 https://www.wikidata.org/entity/Q56225930 Edmund M. Clarke Steven M. German Yuan Lu 0004 Helmut Veith Dong Wang Executable Protocol Specification in ESL. 197-216 https://doi.org/10.1007/3-540-40922-X_13 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#ClarkeGLVW00 Matthias Baaz Christian G. Fermüller Helmut Veith An Analytic Calculus for Quantified Propositional Gödel Logic. 112-126 2000 conf/tableaux/2000 TABLEAUX db/conf/tableaux/tableaux2000.html#BaazFV00 https://doi.org/10.1007/10722086_12

Matthias Baaz Helmut Veith Interpolation in fuzzy logic. 461-489 1999 38 Arch. Math. Log. 7 https://doi.org/10.1007/s001530050151 db/journals/aml/aml38.html#BaazV99

Georg Gottlob Nicola Leone Helmut Veith Succinctness as a Source of Complexity in Logical Formalisms. 231-260 1999 97 Ann. Pure Appl. Log. 1-3 db/journals/apal/apal97.html#GottlobLV99 https://doi.org/10.1016/S0168-0072(98)00057-8

Matthias Baaz Agata Ciabattoni Christian G. Fermüller Helmut Veith On the Undecidability of some Sub-Classical First-Order Logics. 258-268 https://doi.org/10.1007/3-540-46691-6_20 1999 conf/fsttcs/1999 FSTTCS db/conf/fsttcs/fsttcs99.html#BaazCFV99

Helmut Veith Succinct Representation, Leaf Languages, and Projection Reductions. 207-236 1998 142 Inf. Comput. 2 db/journals/iandc/iandc142.html#Veith98 https://doi.org/10.1006/inco.1997.2696

Helmut Veith How to Encode a Logical Structure by an OBDD. 122-131 1998 conf/coco/1998 CCC https://doi.org/10.1109/CCC.1998.694598 https://doi.ieeecomputersociety.org/10.1109/CCC.1998.694598 db/conf/coco/coco1998.html#Veith98 Matthias Baaz Helmut Veith Quantifier Elimination in Fuzzy Logic. 399-414 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#BaazV98 https://doi.org/10.1007/10703163_27 Helmut Veith A General Method to Determine the Expression Complexity of Database Query Languages. 134-137 1998 conf/gvd/1998 Grundlagen von Datenbanken http://www.inf.uni-konstanz.de/Preprints/papers/1998/preprint-063.pdf db/conf/gvd/gvd98.html#Veith98 Matthias Baaz Agata Ciabattoni Christian G. Fermüller Helmut Veith Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. 203-212 1998 conf/mfcs/1998 MFCS https://doi.org/10.1007/BFb0055769 db/conf/mfcs/mfcs98.html#BaazCFV98

Helmut Veith Languages Represented by Boolean Formulas. 251-256 1997 63 Inf. Process. Lett. 5 db/journals/ipl/ipl63.html#Veith97 https://doi.org/10.1016/S0020-0190(97)00134-8

Thomas Eiter Georg Gottlob Helmut Veith Generalized Quantifiers in Logic Programs. 72-98 1997 conf/esslli/1997 ESSLLI https://doi.org/10.1007/3-540-46583-9_4 https://www.wikidata.org/entity/Q59259738 db/conf/esslli/esslli1997.html#EiterGV97 Thomas Eiter Georg Gottlob Helmut Veith Modular Logic Programming and Generalized Quantifiers. 290-309 1997 conf/lpnmr/1997 LPNMR db/conf/lpnmr/lpnmr97.html#EiterGV97 https://doi.org/10.1007/3-540-63255-7_22 Helmut Veith Succinct Representation, Leaf Languages, and Projection Reductions. 118-126 https://doi.org/10.1109/CCC.1996.507675 https://doi.ieeecomputersociety.org/10.1109/CCC.1996.507675 1996 conf/coco/1996 CCC db/conf/coco/coco96.html#Veith96 Georg Gottlob Nicola Leone Helmut Veith Second Order Logic and the Weak Exponential Hierarchies. 66-81 1995 conf/mfcs/1995 MFCS db/conf/mfcs/mfcs95.html#GottlobLV95 https://doi.org/10.1007/3-540-60246-1_113

Helmut Veith Succinct Representation and Leaf Languages Electron. Colloquium Comput. Complex. 1995 TR95-048 TR95 db/journals/eccc/eccc2.html#ECCC-TR95-048 https://eccc.weizmann.ac.il/eccc-reports/1995/TR95-048/index.html

André Adelsbach Benjamin Aminof Matthias Baaz Dirk Beyer 0001 Armin Biere Nikolaj S. Bjørner Simon Bliudze Roderick Bloem Péter Bokor Niklas Büscher Diego Calvanese Alexis Campailla Iliano Cervesato Sagar Chaki Pankaj Chauhan Stephen Chenney Mihai Christodorescu Agata Ciabattoni Edmund M. Clarke Anuj Dawar Yulia Demyanova Jana Dittmann Cezara Dragoi Thomas Eiter Azadeh Farzan Ansgar Fehnker Pascal Fenkam Christian G. Fermüller Martin Franz Andreas Fröhlich Harald C. Gall Steven M. German Annu Gmeiner Georg Gottlob Erich Grädel Alex Groce Orna Grumberg Sumit Gulwani Anubhav Gupta 0001 Andreas Haas Petr Hájek 0001 Thomas A. Henzinger Uwe Hermann Andreas Holzer Shachar Itzhaky Swen Jacobs Himanshu Jain Visar Januzaj Somesh Jha Sumit Kumar Jha 0001 Annu John Nikolaos P. Karvelas Stefan Katzenbeisser 0001 Ayrat Khalimov 0001 Johannes Kinder Engin Kirda Christoph M. Kirsch Igor Konnov 0001Igor V. Konnov 0001 Tomer Kotek Gergely Kovásznai Daniel Kroening Stefan Kugele James H. Kukula Robert P. Kurshan Nadia Labai Boris Langer Marijana Lazic Nicola Leone Michael Lippautz Yuan Lu 0004 Rupak Majumdar Franco Montagna Robert Nieuwenhuis Magdalena Ortiz 0001 Joël Ouaknine Thomas Pani Bryan Parno Hannes Payer Doron A. Peled Oleg Pikhurko Niloofar Razavi Noam Rinetzky Sasha Rubin Shmuel SagivMooly Sagiv Marko Samer Samir Sapra Christian Schallhart Ulrich Schmid 0001 Marco Serafini Ali Sezgin Natasha Sharygina Thomas R. Shiple Joseph Sifakis Mantas Simkus Moritz Sinn Ana Sokolova Francesco Spegni Neeraj Suri Muralidhar Talupur Orr Tamir Michael Tautschnig Tayssir Touili Oleg Verbitsky 0001 Andrei Voronkov Dong Wang Qiang Wang 0020 Josef Widder Damien Zufferey Florian Zuleger