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