CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
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, LNCS
DOI:
10.1007/978-3-030-34968-4_28
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, LNCS
DOI:
10.1007/978-3-030-53518-6_8
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 LNCS
DOI:
10.1007/978-3-030-51074-9_17
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, LNCS
DOI:
10.1007/978-3-030-67067-2_2
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 LNCS
DOI:
10.1007/978-3-030-51074-9_23
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, LNCS
DOI:
10.1007/978-3-030-53518-6_12
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, LNCS
DOI:
10.1007/978-3-030-63461-2_24
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:
Georgiou, Pamina; Gleiss, Bernhard; Kovács, Laura
Opublikowane w:
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, 2020, Strona(/y) 255-263, ISBN 978-3-85448-042-6
Wydawca:
IEEE
DOI:
10.34727/2020/isbn.978-3-85448-042-6_33
Autorzy:
Bernhard Gleiss, Martin Suda
Opublikowane w:
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, Numer CEUR Workshop Proceedings, volume 2752, 2020, Strona(/y) 34-52
Wydawca:
CEUR
Autorzy:
Johannes Schoisswohl
Opublikowane w:
Master thesis, 2021
Wydawca:
TU Wien
DOI:
10.34726/hss.2020.75342
Autorzy:
Bernhard Gleiss
Opublikowane w:
PhD Thesis, 2020
Wydawca:
TU Wien
DOI:
10.34726/hss.2020.86611
Autorzy:
Sophie Rain
Opublikowane w:
Master thesis, 2020
Wydawca:
TU Wien
Autorzy:
Hanna Lachnitt
Opublikowane w:
Master thesis, 2020
Wydawca:
TU Wien
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników