CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Published in:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Issue 11918, 2019, Page(s) 504-513, ISBN 978-3-030-34967-7
Publisher:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-34968-4_28
Author(s):
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Published in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Issue 12236, 2020, Page(s) 123-137, ISBN 978-3-030-53517-9
Publisher:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-53518-6_8
Author(s):
Bernhard Gleiss, Laura Kovács, Jakob Rath
Published in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Issue 12166, 2020, Page(s) 297-315, ISBN 978-3-030-51073-2
Publisher:
Springer International Publishing LNCS
DOI:
10.1007/978-3-030-51074-9_17
Author(s):
Andreas Humenberger, Laura Kovács
Published in:
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Issue 12597, 2021, Page(s) 17-28, ISBN 978-3-030-67066-5
Publisher:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-67067-2_2
Author(s):
Bernhard Gleiss, Martin Suda
Published in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Issue 12166, 2020, Page(s) 402-409, ISBN 978-3-030-51073-2
Publisher:
Springer International Publishing LNCS
DOI:
10.1007/978-3-030-51074-9_23
Author(s):
Laura Kovács, Hanna Lachnitt, Stefan Szeider
Published in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Issue 12236, 2020, Page(s) 190-205, ISBN 978-3-030-53517-9
Publisher:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-53518-6_12
Author(s):
Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Published in:
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings, Issue 12546, 2020, Page(s) 440-459, ISBN 978-3-030-63460-5
Publisher:
Springer International Publishing, LNCS
DOI:
10.1007/978-3-030-63461-2_24
Author(s):
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei
Published in:
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 170-178, ISBN 978-0-9835678-9-9
Publisher:
IEEE
DOI:
10.23919/fmcad.2019.8894277
Author(s):
Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura
Published in:
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
Publisher:
IEEE
DOI:
10.34727/2020/isbn.978-3-85448-042-6_33
Author(s):
Bernhard Gleiss, Martin Suda
Published 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, Issue CEUR Workshop Proceedings, volume 2752, 2020, Page(s) 34-52
Publisher:
CEUR
Author(s):
Johannes Schoisswohl
Published in:
Master thesis, 2021
Publisher:
TU Wien
DOI:
10.34726/hss.2020.75342
Author(s):
Bernhard Gleiss
Published in:
PhD Thesis, 2020
Publisher:
TU Wien
DOI:
10.34726/hss.2020.86611
Author(s):
Sophie Rain
Published in:
Master thesis, 2020
Publisher:
TU Wien
Author(s):
Hanna Lachnitt
Published in:
Master thesis, 2020
Publisher:
TU Wien
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available