CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
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