Publications
Author(s):
Johannes Schoisswohl
Published in:
Master thesis, 2020
Publisher:
TU Wien, Austria
DOI:
10.34726/hss.2020.75342
Author(s):
Hanna Lachnitt
Published in:
Master thesis, 2020, Page(s) 1-62
Publisher:
TU Wien
Author(s):
Marton Hajdu
Published in:
Master thesis, 2021
Publisher:
TU Wien, Austria
DOI:
10.34726/hss.2021.84140
Author(s):
Sophie Rain
Published in:
Master thesis, 2020, Page(s) 1-66
Publisher:
TU Wien
Author(s):
Bernhard Gleiss
Published in:
2020
Publisher:
TU Wien, Austria
DOI:
10.34726/hss.2020.86611
Author(s):
Pamina Georgiou
Published in:
Master Thesis, 2019, Page(s) 1-58
Publisher:
TU Wien
Author(s):
Jakob Rath
Published in:
Master Thesis, 2019, Page(s) 1-53
Publisher:
TU Wien
Author(s):
Marcel Moosbrugger
Published in:
Master Thesis, 2020, Page(s) 1-68
Publisher:
TU Wien
Author(s):
Andreas Humenberger
Published in:
PhD Dissertation, 2021
Publisher:
TU Wien, Austria
DOI:
10.34726/hss.2021.89761
Author(s):
Laura Kovács, Hanna Lachnitt, Stefan Szeider
Published in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Issue 12236, 2020, Page(s) 190-205, ISBN 978-3-030-53517-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_12
Author(s):
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Published in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Issue 12236, 2020, Page(s) 123-137, ISBN 978-3-030-53517-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_8
Author(s):
Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Published in:
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings, Issue 12546, 2020, Page(s) 440-459, ISBN 978-3-030-63460-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-63461-2_24
Author(s):
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Published in:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings, Issue 12833, 2021, Page(s) 124-129, ISBN 978-3-030-81096-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-81097-9_9
Author(s):
Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham, Arie Gurfinkel
Published in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 101-125, ISBN 978-3-030-53290-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_7
Author(s):
Petra Hozzová, Laura Kovács, Andrei Voronkov
Published in:
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, Issue 12699, 2021, Page(s) 361-377, ISBN 978-3-030-79875-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-79876-5_21
Author(s):
Ezio Bartocci, Laura Kovács, Miroslav Stankovič
Published in:
Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings, Issue 12545, 2020, Page(s) 221-241, ISBN 978-3-030-64275-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-64276-1_12
Author(s):
Ezio Bartocci, Laura Kovács, Miroslav Stankovič
Published in:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I, Issue 12078, 2020, Page(s) 492-498, ISBN 978-3-030-45189-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-45190-5_28
Author(s):
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Published in:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Issue 11918, 2019, Page(s) 504-513, ISBN 978-3-030-34967-7
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-34968-4_28
Author(s):
Kryštof Hoder, Giles Reger, Martin Suda, Andrei Voronkov
Published in:
Automated Reasoning, Issue LNCS 9706, 2016, Page(s) 313-329, ISBN 978-3-319-40229-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-40229-1_22
Author(s):
Laura Kovács
Published in:
Integrated Formal Methods, Issue LNCS 9681, 2016, Page(s) 20-27, ISBN 978-3-319-33693-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-33693-0_2
Author(s):
Giles Reger, Martin Suda, Andrei Voronkov
Published in:
Theory and Applications of Satisfiability Testing – SAT 2016, Issue LNCS 9710, 2016, Page(s) 323-341, ISBN 978-3-319-40970-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-40970-2_20
Author(s):
Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
Published in:
Theory and Applications of Satisfiability Testing – SAT 2016, Issue LNCS 9710, 2016, Page(s) 490-499, ISBN 978-3-319-40970-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-40970-2_30
Author(s):
Bernhard Gleiss, Martin Suda
Published in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Issue 12166, 2020, Page(s) 402-409, ISBN 978-3-030-51073-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_23
Author(s):
Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv
Published in:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 317-340, ISBN 978-3-030-81684-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-81685-8_15
Author(s):
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Published in:
Proceedings of FM, To Appear, 2021
Publisher:
Springer
Author(s):
Bernhard Gleiss, Laura Kovács, Jakob Rath
Published in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Issue 12166, 2020, Page(s) 297-315, ISBN 978-3-030-51073-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_17
Author(s):
Petra Hozzová, Laura Kovács, Jakob Rath
Published in:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings, Issue 12833, 2021, Page(s) 185-196, ISBN 978-3-030-81096-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-81097-9_15
Author(s):
Giles Reger, Andrei Voronkov
Published in:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Issue 11716, 2019, Page(s) 477-494, ISBN 978-3-030-29435-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_28
Author(s):
Ezio Bartocci, Laura Kovács, Miroslav Stankovič
Published in:
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 255-276, ISBN 978-3-030-31783-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31784-3_15
Author(s):
Marton Hajdu, Petra Hozzova, Laura Kovacs, Andrei Voronkov
Published in:
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, 2021, Page(s) 246-255
Publisher:
TU Wien Repositum
DOI:
10.34727/2021/isbn.978-3-85448-046-4_34
Author(s):
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Published in:
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Issue 12648, 2021, Page(s) 491-518, ISBN 978-3-030-72018-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-72019-3_18
Author(s):
Andreas Humenberger, Laura Kovács
Published in:
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Issue 12597, 2021, Page(s) 17-28, ISBN 978-3-030-67066-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-67067-2_2
Author(s):
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei
Published in:
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 170-178, ISBN 978-0-9835678-9-9
Publisher:
IEEE
DOI:
10.23919/fmcad.2019.8894277
Author(s):
David Damestani, Laura Kovacs, Martin Suda
Published in:
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019, Page(s) 95-99, ISBN 978-1-7281-5724-5
Publisher:
IEEE
DOI:
10.1109/synasc49474.2019.00022
Author(s):
Gergely Kovasznai, Krisztian Gajdar, Laura Kovacs
Published in:
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019, Page(s) 85-91, ISBN 978-1-7281-5724-5
Publisher:
IEEE
DOI:
10.1109/synasc49474.2019.00021
Author(s):
Yuting Chen, Laura Kovács, Simon Robillard
Published in:
Proceedings of the 3rd Vampire Workshop, Issue EasyChair EPiC Series in Computing 44, 2016, Page(s) 16-32
Publisher:
EasyChair
Author(s):
Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov
Published in:
Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI), Issue EasyChair EPiC Series in Computing 41, 2016, Page(s) 53-71
Publisher:
EasyChair
Author(s):
Laura Kovacs, Andrei Voronkov
Published in:
Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Issue EasyChair EPiC Series in Computing 46, 2017, Page(s) 49-64
Publisher:
EasyChair
Author(s):
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Published in:
Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Issue EasyChair EPiC Series in Computing 46, 2017, Page(s) 31-48
Publisher:
EasyChair
Author(s):
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Published in:
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17, 2017, Page(s) 221-228, ISBN 9781-450350648
Publisher:
ACM Press
DOI:
10.1145/3087604.3087623
Author(s):
Giles Reger, Martin Suda
Published in:
Proceedings of the 2017 International Workshop on the Implementation of Logics (IWIL), Issue Kalpa Publications in Computing, 2017, Page(s) 124-134
Publisher:
EasyChair
Author(s):
Jan Jakubuv, Martin Suda, Josef Urban
Published in:
Proceedings of the 3rd Global Conference on Artificial Intelligence (GCAI), Issue EasyChair EPiC Series in Computing volume 50, 2017, Page(s) 121-133
Publisher:
EasyChair
Author(s):
Benjamin Kiesl, Martin Suda
Published in:
Proceedings of the 26th International Conference on Automated Deduction (CADE), Issue LNCS 10395, 2017, Page(s) 274-290, ISBN 978-3-319-63045-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_17
Author(s):
Bernhard Gleiss, Laura Kovács, Martin Suda
Published in:
Proceedings of the 26th International Conference on Automated Deduction (CADE), Issue LNCS 10395, 2017, Page(s) 291-309, ISBN 978-3-319-63045-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_18
Author(s):
Giles Reger, Martin Suda
Published in:
Proceedings of the 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE), Issue EasyChair EPiC Series in Computing volume 51, 2017, Page(s) 55-63
Publisher:
EasyChair
Author(s):
Laura Kovacs
Published in:
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL), Issue LIPIcs 82,, 2017, Page(s) 3:13:1
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CSL.2017.3
Author(s):
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
Published in:
13th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC), Issue LNCS 10629, 2017, Page(s) 115-130, ISBN 978-3-319-70388-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-70389-3_8
Author(s):
Giles Reger, Martin Suda, Andrei Voronkov
Published in:
Proceedings of the 11th International Conference on Tests and Proofs (TAP), Issue LNCS 10375, 2017, Page(s) 152-161, ISBN 978-3-319-61466-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-61467-0_10
Author(s):
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Published in:
Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Issue LNCS 10747, 2018, Page(s) 226-246
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-73721-8_11
Author(s):
Moulay A. Barkatou, Maximilian Jaroschek
Published in:
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18, 2018, Page(s) 39-46, ISBN 9781-450355506
Publisher:
ACM Press
DOI:
10.1145/3208976.3208989
Author(s):
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Published in:
Proceedings of the International Conference on Intelligent Computer Mathematics (CICM), Issue LNCS 11006, 2018, Page(s) 111-117
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_10
Author(s):
Giles Reger, Martin Suda, Andrei Voronkov
Published in:
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Issue LNCS 10805, 2018, Page(s) 3-22
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-89960-2_1
Author(s):
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
Published in:
Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR), Issue LNCS 10900, 2018, Page(s) 405-421
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_27
Author(s):
Martin Suda, Bernhard Gleiss
Published in:
Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT), Issue LNCS 10929, 2018, Page(s) 217-234
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-94144-8_14
Author(s):
Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
Published in:
Proceedings of the 9th International Conference on Automated Reasoning (IJCAR), Issue LNCS 10900, 2018, Page(s) 370-387
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_25
Author(s):
Bernhard Gleiss, Laura Kovács, Simon Robillard
Published in:
EPiC Series in Computing volume 57, 2018, Page(s) 381-361
Publisher:
EasyChair
DOI:
10.29007/269p
Author(s):
Mikolas Janota, Martin Suda
Published in:
EPiC Series in Computing volume 57, 2018, Page(s) 454-436
Publisher:
EasyChair
DOI:
10.29007/w42s
Author(s):
Adrian Rebola Pardo, Martin Suda
Published in:
Proceedings of the 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Issue EasyChair EPiC Series, volume 57, 2018, Page(s) 583-603
Publisher:
EasyChair
Author(s):
Giles Reger, Martin Suda
Published in:
EPiC Series in Computing volume 53, 2018, Page(s) 52-39
Publisher:
EasyChair
DOI:
10.29007/6sjl
Author(s):
Giles Reger, Martin Suda
Published in:
Proceedings of the 4th Vampire Workshop, Issue EPiC Series in Computing 53, 2018, Page(s) 33-41
Publisher:
EasyChair
Author(s):
Simon Robillard
Published in:
Proceedings of the 4th Vampire Workshop, Issue EasyChair EPiC Series Volume 53, 2018, Page(s) 20-32
Publisher:
EasyChair
Author(s):
Johannes Schoisswohl; Laura Kovacs
Published in:
Proceedings of LFMTP 2021, 2021
Publisher:
EPTCS
Author(s):
Bernhard Gleiss and Marton Suda
Published in:
Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR), 2020, Page(s) 1-17
Publisher:
INRIA
Author(s):
Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura
Published in:
Proceedings of FMCAD 2020, Issue volume 1, 2020, Page(s) 255-263, ISBN 978-3-85448-042-6
Publisher:
TU Wien Academic Press
DOI:
10.34727/2020/isbn.978-3-85448-042-6
Author(s):
Moulay A. Barkatou, Maximilian Jaroschek, Suzy S. Maddah
Published in:
Journal of Symbolic Computation, Issue 81, 2017, Page(s) 41-68, ISSN 0747-7171
Publisher:
Academic Press
DOI:
10.1016/j.jsc.2016.11.018
Author(s):
Laura Kovács, Simon Robillard, Andrei Voronkov
Published in:
ACM SIGPLAN Notices, Issue 52/1, 2017, Page(s) 260-270, ISSN 0362-1340
Publisher:
Special Interest Group on Computer Graphics, Association for Computing Machinery
DOI:
10.1145/3093333.3009887
Author(s):
Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Published in:
Journal of Symbolic Computation, Issue 80, 2017, Page(s) 101-124, ISSN 0747-7171
Publisher:
Academic Press
DOI:
10.1016/j.jsc.2016.07.023
Author(s):
Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, Martin Suda
Published in:
Journal of Automated Reasoning, 2018, Page(s) 1-27, ISSN 0168-7433
Publisher:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9482-4
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available