Publications
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, LNCS
DOI:
10.1007/978-3-030-34968-4_28
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, LNCS
DOI:
10.1007/978-3-030-53518-6_8
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 LNCS
DOI:
10.1007/978-3-030-51074-9_17
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, LNCS
DOI:
10.1007/978-3-030-67067-2_2
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 LNCS
DOI:
10.1007/978-3-030-51074-9_23
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, LNCS
DOI:
10.1007/978-3-030-53518-6_12
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, LNCS
DOI:
10.1007/978-3-030-63461-2_24
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:
Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura
Publié dans:
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, 2020, Page(s) 255-263, ISBN 978-3-85448-042-6
Éditeur:
IEEE
DOI:
10.34727/2020/isbn.978-3-85448-042-6_33
Auteurs:
Bernhard Gleiss, Martin Suda
Publié dans:
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, Numéro CEUR Workshop Proceedings, volume 2752, 2020, Page(s) 34-52
Éditeur:
CEUR
Auteurs:
Johannes Schoisswohl
Publié dans:
Master thesis, 2021
Éditeur:
TU Wien
DOI:
10.34726/hss.2020.75342
Auteurs:
Bernhard Gleiss
Publié dans:
PhD Thesis, 2020
Éditeur:
TU Wien
DOI:
10.34726/hss.2020.86611
Auteurs:
Sophie Rain
Publié dans:
Master thesis, 2020
Éditeur:
TU Wien
Auteurs:
Hanna Lachnitt
Publié dans:
Master thesis, 2020
Éditeur:
TU Wien
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible