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