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