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