CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Pubblicazioni
Autori:
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Pubblicato in:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Numero 11918, 2019, Pagina/e 504-513, ISBN 978-3-030-34967-7
Editore:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-34968-4_28
Autori:
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Pubblicato in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numero 12236, 2020, Pagina/e 123-137, ISBN 978-3-030-53517-9
Editore:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-53518-6_8
Autori:
Bernhard Gleiss, Laura Kovács, Jakob Rath
Pubblicato in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Numero 12166, 2020, Pagina/e 297-315, ISBN 978-3-030-51073-2
Editore:
Springer International Publishing LNCS
DOI:
10.1007/978-3-030-51074-9_17
Autori:
Andreas Humenberger, Laura Kovács
Pubblicato in:
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Numero 12597, 2021, Pagina/e 17-28, ISBN 978-3-030-67066-5
Editore:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-67067-2_2
Autori:
Bernhard Gleiss, Martin Suda
Pubblicato in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Numero 12166, 2020, Pagina/e 402-409, ISBN 978-3-030-51073-2
Editore:
Springer International Publishing LNCS
DOI:
10.1007/978-3-030-51074-9_23
Autori:
Laura Kovács, Hanna Lachnitt, Stefan Szeider
Pubblicato in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numero 12236, 2020, Pagina/e 190-205, ISBN 978-3-030-53517-9
Editore:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-53518-6_12
Autori:
Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Pubblicato in:
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings, Numero 12546, 2020, Pagina/e 440-459, ISBN 978-3-030-63460-5
Editore:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-63461-2_24
Autori:
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei
Pubblicato in:
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Pagina/e 170-178, ISBN 978-0-9835678-9-9
Editore:
IEEE
DOI:
10.23919/fmcad.2019.8894277
Autori:
Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura
Pubblicato in:
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, 2020, Pagina/e 255-263, ISBN 978-3-85448-042-6
Editore:
IEEE
DOI:
10.34727/2020/isbn.978-3-85448-042-6_33
Autori:
Bernhard Gleiss, Martin Suda
Pubblicato in:
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, Numero CEUR Workshop Proceedings, volume 2752, 2020, Pagina/e 34-52
Editore:
CEUR
Autori:
Johannes Schoisswohl
Pubblicato in:
Master thesis, 2021
Editore:
TU Wien
DOI:
10.34726/hss.2020.75342
Autori:
Bernhard Gleiss
Pubblicato in:
PhD Thesis, 2020
Editore:
TU Wien
DOI:
10.34726/hss.2020.86611
Autori:
Sophie Rain
Pubblicato in:
Master thesis, 2020
Editore:
TU Wien
Autori:
Hanna Lachnitt
Pubblicato in:
Master thesis, 2020
Editore:
TU Wien
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile