Gergely Kovásznai

Address:
Gergely Kovásznai
Technische Universität Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HE 03 14 (how to get there)
Phone: +43 (1) 58801 – 740 034
Email: ta.etysrofnull@avok
Web: http://forsyte.at/~kovasznai/

OLYMPUS DIGITAL CAMERA

2014
[26] On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), volume 8635 of Lecture Notes in Computer Science, pages 481-492, 25-29 August 2014, Springer.
[bibtex] [pdf]
[25] EPR Encodings of Bit-Vector Problems Even With Quantifiers
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
18 July 2014, Invited talk at the 1st International Workshop on Quantification (QUANTIFY 2014).
[bibtex] [pdf]
[24] iDQ: Instantiation-Based DQBF Solving
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
Proceedings of the 5th International Workshop on Pragmatics of SAT (POS 2014), aff. to SAT 2014, volume 27 of EPiC Series, pages 103-116, 13 July 2014.
[bibtex] [pdf]
[23] On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
12-13 July 2014, Unpublished contribution to: 15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest).
[bibtex] [pdf]
2013
[22] Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark Description
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Proceedings of the SAT Competition 2013, aff. to SAT 2013, pages 107-108, 8-12 July 2013.
[bibtex] [pdf]
[21] Efficiently Solving Bit-Vector Problems Using Model Checkers
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
Proceedings of the 11th International Workshop on Satisfiability Modulo Theories (SMT 2013), aff. to SAT 2013, pages 6-15, 8-9 July 2013.
[bibtex] [pdf]
[20] BV2EPR: A Tool for Polynomially Translating Quantifier-free Bit-Vector Formulas into EPR
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Automated Deduction -- CADE-24, volume 7898 of Lecture Notes in Artificial Intelligence, pages 443-449, 9-14 June 2013, Springer.
[bibtex] [pdf]
[19] More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
Proceedings of the 8th International Computer Science Symposium in Russia (CSR 2013), volume 7913 of Lecture Notes in Computer Science, pages 378-390, 25-29 June 2013, Springer.
[bibtex] [pdf]
[18] Cube-and-Conquer Approach for SAT Solving on Grids
Csaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor Geda
Annales Mathematicae et Informaticae, volume 42, pages 9-21, 2013.
[bibtex] [pdf]
2012
[17] On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), aff. to IJCAR 2012, pages 44-55, 30 June 30 - 1 July 2012.
[bibtex] [pdf]
[16] A DPLL Algorithm for Solving DQBF
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
Proceedings of the 3rd International Workshop on Pragmatics of SAT (POS 2012), aff. to SAT 2012, 16 June 2012.
[bibtex] [pdf]
2011
[15] Developing an Expert System for Diet Recommendation
Gergely Kovásznai
Proceedings of the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI 2011), pages 505-509, 19-21 May 2011, IEEE.
[bibtex] [pdf]
2010
[14] Implementing Design Patterns in AspectJ and JavaMOP
Gergely Kovásznai
December 2010, Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria.
[bibtex] [pdf]
[13] A Small Survey on Java Specification Languages
Gábor Kusper, Gergely Kovásznai, Wolfgang Schreiner, Gábor Guta, János Sztrik
Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), pages 409-416, 27-30 Januar 2010.
[bibtex] [pdf]
[12] Empirical Investigations on Combining Resolution and Tableaux
Gergely Kovásznai, Gábor Kusper
Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), pages 115-226, 27-30 Januar 2010.
[bibtex] [pdf]
2009
[11] Metamodels in Generation of UML Using NLI-based Dialog
Gábor Kusper, Gergely Kovásznai, Wolfgang Schreiner, Gábor Guta, János Sztrik
Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009), pages 29-34, 28-29 May 2009, IEEE.
[bibtex] [pdf]
[10] Java Framework Implementing Design Patterns by the Use of JML and Contract4J
Gergely Kovásznai
2009, Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria.
[bibtex] [pdf]
[9] Introducing General Redundancy Criteria for Clausal Tableaux, and Proposing Resolution Tableaux
Gergely Kovásznai, Gábor Kusper
Annales Mathematicae et Informaticae, volume 36, pages 85-101, 2009.
[bibtex] [pdf]
2008
[8] Simplifying the Propositional Satisfiability Problem by Sub-model Propagation
Gábor Kusper, Lajos Cs\H oke, Gergely Kovásznai
Annales Mathematicae et Informaticae, volume 35, pages 75-94, 2008.
[bibtex] [pdf]
2007
[7] Redundancy for Rigid Clausal Tableaux
Gergely Kovásznai
Proceedings of the 7th International Conference on Applied Informatics (ICAI 2007), pages 65-74, 28-31 Januar 2007.
[bibtex] [pdf]
[6] Linear Clause Generation by Tableaux and DAGs
Gergely Kovásznai
Teaching Mathematics and Computer Science, volume 5, number 1, pages 109-118, 2007.
[bibtex] [pdf]
[5] Multi-Hyper Tableaux in Automated Theorem Proving (Multi-hipertabló az automatikus tételbizonyí tásban)
Gergely Kovásznai
2007, PhD thesis, University of Debrecen.
[bibtex] [pdf]
2005
[4] HyperS Tableaux – Heuristic Hyper Tableaux
Gergely Kovásznai
Acta Cybernetica, volume 17, number 2, pages 325-338, 2005.
[bibtex] [pdf]
2004
[3] Algorithmic Improvements in Natural Language Parsing within Dialogue Systems: Priority Patterns and Wildcards
Gergely Kovásznai
Proceedings of the 6th International Conference on Applied Informatics (ICAI 2004), pages 129-138, 27-31 Januar 2004.
[bibtex] [pdf]
2003
[2] Partly-Specified Priority Patterns in Natural Language Parsing within Dialogue Systems
Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas
Proceedings of 1st International Workshop on Interactive Rich Media Content Production: Architectures, Technologies, Applications, Tools (Richmedia 2003), pages 161-168, 16-17 October 2003.
[bibtex] [pdf]
[1] CAML - A Universal Configuration Language for Dialogue Systems
Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas
Proceedings of the 14th International Conference on Database and Expert Systems Applications (DEXA 2003), volume 2736 of Lecture Notes in Computer Science, pages 896-906, 1-5 September 2003, Springer.
[bibtex] [pdf]

Latest News

Helmut Veith Stipend

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science will be presented on March 14 at the following event: "More female students in computer science. Who cares?" Panel discussion with renowned scientists about diversity in STEM Studies March 14, 5:30pm, TU Wien The Helmut Veith Stipend is dedicated […]

Continue reading

WAIT 2016 in Vienna

The third WAIT workshop on induction is held between 17-18 November at the TU Wien. Details are available on the workshop page.

Continue reading

Two papers at POPL’17

Two papers co-authored by researchers from our group have been accepted for POPL’17: “Coming to Terms with Quantified Reasoning” by Simon Robillard, Andrei Voronkov, and Laura Kovacs; and “A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms” by Igor Konnov, Marijana Lazic, Helmut Veith, and Josef Widder

Continue reading

Helmut Veith Stipend

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend

Continue reading

Full news archive