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 .
Rezultaty
An internet web page will be set up and maintained It will inform the public about project events and important research achievements but also provide an internal discussion platform
Organisation of mid-term meeting between consortium and project officer.
IPR TrainingTraining on Intellectual Property Rights.
Publikacje
Autorzy:
Daniel S. Graça and Ning Zhong
Opublikowane w:
Computability, Numer 12(2), 2023, Strona(/y) 117-144, ISSN 2211-3568
Wydawca:
IOS Press
DOI:
10.3233/com-210381
Autorzy:
Daniel Coronel; Alexander Frank; Mathieu Hoyrup; Cristóbal Rojas
Opublikowane w:
Theoretical Computer Science, Numer 933, 2022, ISSN 0304-3975
Wydawca:
Elsevier BV
DOI:
10.1016/j.tcs.2022.09.001
Autorzy:
Dieter Spreen
Opublikowane w:
Topology Proceedings, Numer 61, 2021, Strona(/y) 77-99, ISSN 2331-1290
Wydawca:
Topology Proceedings
Autorzy:
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Opublikowane w:
Logical Methods in Computer Science, 2019, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(2:21)2019
Autorzy:
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Opublikowane w:
Logical Methods in Computer Science, 2021, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-17(2:21)2021
Autorzy:
Franz Brauße, Konstantin Korovin, Margarita Korovina, Norbert Müller
Opublikowane w:
Theoretical Computer Science, 2023, ISSN 0304-3975
Wydawca:
Elsevier BV
DOI:
10.1016/j.tcs.2023.114125
Autorzy:
Helmut Schwichtenberg, Franziskus Wiesnet
Opublikowane w:
Logical Methods in Computer Science, Numer 17, 2021, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-17(2:7)2021
Autorzy:
Daniel S. Graça and Ning Zhong
Opublikowane w:
Transactions of the American Mathematical Society, Numer 375, 2022, Strona(/y) 5491-5538, ISSN 0002-9947
Wydawca:
American Mathematical Society
DOI:
10.1090/tran/8644
Autorzy:
Daniel S. Graça and Ning Zhong
Opublikowane w:
Theoretical Computer Science, Numer 895, 2021, Strona(/y) 48-54, ISSN 0304-3975
Wydawca:
Elsevier BV
DOI:
10.1016/j.tcs.2021.09.028
Autorzy:
Iosif Petrakis
Opublikowane w:
Logical Methods in Compuer Science, 2020, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(1:18)2020
Autorzy:
FRANCESCO CIRAULO, MICHELE CONTENTE
Opublikowane w:
Logical Methods in Computer Science, 2020, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(1:13)2020
Autorzy:
Svetlana Selivanova, Victor Selivanov
Opublikowane w:
Logical Methods in Computer Science, Numer Volume 13, Numer 4, 2017, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-13(4:13)2017
Autorzy:
Olivier Bournez, Daniel Graça, Amaury Pouly
Opublikowane w:
Information and Computation, Numer 257, 2017, Strona(/y) 34-57, ISSN 0890-5401
Wydawca:
Academic Press
DOI:
10.1016/j.ic.2017.09.015
Autorzy:
Olivier Bournez, Daniel S. Graça, Amaury Pouly
Opublikowane w:
Journal of the ACM, Numer 64/6, 2017, Strona(/y) 1-76, ISSN 0004-5411
Wydawca:
Association for Computing Machinary, Inc.
DOI:
10.1145/3127496
Autorzy:
MARGARITA KOROVINA, OLEG KUDINOV
Opublikowane w:
Mathematical Structures in Computer Science, Numer 28/3, 2018, Strona(/y) 429-447, ISSN 0960-1295
Wydawca:
Cambridge University Press
DOI:
10.1017/s0960129516000438
Autorzy:
MARGARITA KOROVINA, OLEG KUDINOV
Opublikowane w:
Mathematical Structures in Computer Science, Numer 27/8, 2017, Strona(/y) 1466-1494, ISSN 0960-1295
Wydawca:
Cambridge University Press
DOI:
10.1017/s0960129516000141
Autorzy:
Korovina, Margarita and Kudinov, Oleg
Opublikowane w:
Logical methods in computer science, 2017, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-13(4:30)2017
Autorzy:
Matthew de Brecht, Arno Pauly, Matthias Schröder
Opublikowane w:
Computability, Numer 9/3-4, 2020, Strona(/y) 169-191, ISSN 2211-3576
Wydawca:
IOS Press
DOI:
10.3233/com-190253
Autorzy:
Tatsuji Kawai, Giovanni Sambin
Opublikowane w:
Logical Methods in Computer Science, Numer 15, 2019, Strona(/y) 1--22, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(1:22)2019
Autorzy:
TAKAYUKI KIHARA, ALBERTO MARCONE, ARNO PAULY
Opublikowane w:
The Journal of Symbolic Logic, Numer 85/3, 2020, Strona(/y) 1006-1043, ISSN 0022-4812
Wydawca:
Association for Symbolic Logic
DOI:
10.1017/jsl.2020.12
Autorzy:
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
Opublikowane w:
Logical Methods in Computer Science, Numer 14 (1:7), 2018, Strona(/y) 1--19, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-14(1:7)2018
Autorzy:
Hadrian Andradi, Weng Kin Ho
Opublikowane w:
Logical Methods in Computer Science, Numer 15-1, 2019, Strona(/y) 1-14, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(1:29)2019
Autorzy:
Alex Simpson, Niels Voorneveld
Opublikowane w:
ACM Transactions on Programming Languages and Systems (TOPLAS), Numer 42/1, 2020, Strona(/y) 1-45, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
DOI:
10.1145/3363518
Autorzy:
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Opublikowane w:
Logical Methods in Computer Science, 2022, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-18(4:5)2022
Autorzy:
F. Ciraulo, T. Kawai, S. Maschio
Opublikowane w:
Archive for Mathematical Logic, 2021, ISSN 0933-5846
Wydawca:
Springer Verlag
DOI:
10.1007/s00153-021-00768-5
Autorzy:
Iosif Petrakis
Opublikowane w:
Logical Methods in Computer Science, 2020, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
Autorzy:
Dieter Spreen
Opublikowane w:
Mathematical Structures in Computer Science, Numer 31, Numer 2, 2021, Strona(/y) 144-192, ISSN 1469-8072
Wydawca:
Cambridge University Press
DOI:
10.1017/s0960129521000116
Autorzy:
Maria Emilia Maietti, Davide Trotta
Opublikowane w:
Annals of Pure and Applied Logic, 2023, ISSN 0168-0072
Wydawca:
Elsevier BV
DOI:
10.1016/j.apal.2022.103234
Autorzy:
Franziskus Wiesnet, Nils Köpp
Opublikowane w:
Log. Methods Comput. Sci., 2022, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.48550/arxiv.2103.15702
Autorzy:
F. Ciraulo
Opublikowane w:
Logical Methods in Computer Science, 2022, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-18(1:7)2022
Autorzy:
Samuele Maschio
Opublikowane w:
Reports on Mathematical Logic, 2020, ISSN 0137-2904
Wydawca:
Jagiellonian University
DOI:
10.4467/20842589rm.20.002.12434
Autorzy:
Pauly, Arno; Seon, Dongseong; Ziegler, Martin
Opublikowane w:
Proceedings of CSL 2020, Numer 26, 2020
Wydawca:
Lipics
DOI:
10.4230/lipics.csl.2020.34
Autorzy:
D. S. Graça, N. Zhong
Opublikowane w:
Proceedings of the 14th Conference on Computability in Europe, CiE 2018: Sailing Routes in the World of Computation, Numer Volume 10936 of Lecture Notes in Computer Science, 2018, Strona(/y) 204-213, ISBN 978-3-319-94417-3
Wydawca:
Springer
Autorzy:
Mathieu Hoyrup, Cristobal Rojas, Victor Selivanov, Donald M. Stull
Opublikowane w:
Descriptional Complexity of Formal Systems - 21st {IFIP} {WG} 1.02 International Conference, {DCFS} 2019, Ko{\v{s}}ice, Slovakia, July 17-19, 2019, Proceedings, 2019, Strona(/y) 171-183
Wydawca:
Springer
DOI:
10.1007/978-3-030-23247-4_13
Autorzy:
Akitoshi Kawamura, Holger Thies, Martin Ziegler
Opublikowane w:
Leibniz International Proceedings in Informatics (LIPIcs), 2018, Strona(/y) 30:1--30:17
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.mfcs.2018.30
Autorzy:
Alex Simpson, Niels Voorneveld
Opublikowane w:
Lecture Notes in Computer Science, Numer 10809, 2018, Strona(/y) 300--326, ISBN 978-3-319-89884-1
Wydawca:
Springer
Autorzy:
Benedikt Ahrens, Peter LeFanu Lumsdaine
Opublikowane w:
Leibniz International Proceedings in Informatics, Numer 84, 2017, Strona(/y) 5:1--5:16, ISBN 978-3-95977-047-7
Wydawca:
Leibniz Zentrum für Informatik, Dagstuhl Publishing
DOI:
10.4230/lipics.fscd.2017.0
Autorzy:
Jarno Alanko, Travis Gagie, Gonzalo Navarro, Louisa Seelbach Benkner
Opublikowane w:
2019 Data Compression Conference (DCC), 2019, Strona(/y) 122-131, ISBN 978-1-7281-0657-1
Wydawca:
IEEE
DOI:
10.1109/dcc.2019.00020
Autorzy:
Konecny, Michal; Steinberg, Florian; Thies, Holger
Opublikowane w:
Leibniz International Proceedings in Informatics (LIPIcs), Numer 182, 2020, Strona(/y) 50:1-50:18
Wydawca:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2020.50
Autorzy:
Louisa Seelbach Benkner, Stephan Wagner
Opublikowane w:
Lecture Notes in Computer Science, Numer 12118, 2020, Strona(/y) 546-558, ISBN 978-3-030-61791-2
Wydawca:
Springer, Cham
DOI:
10.1007/978-3-030-61792-9_43
Autorzy:
Dieter Spreen, Ulrich Berger
Opublikowane w:
Logical Methods in Computer Science, Numer 19, issue 3, 2023, Strona(/y) 1:1 - 1:62, ISSN 1860-5974
Wydawca:
LOGICAL METHODS IN COMPUTER SCIENCE e.V.
DOI:
10.48550/arxiv.2105.14261
Autorzy:
Francesco Ciraulo
Opublikowane w:
2019
Wydawca:
Cornell University
Autorzy:
Francesco Ciraulo
Opublikowane w:
2016
Wydawca:
Cornell University
Autorzy:
Michal Konecny, Eike Neumann
Opublikowane w:
2018
Wydawca:
Cornell University
Autorzy:
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Opublikowane w:
2018
Wydawca:
Cornell University
Autorzy:
Takayuki Kihara, Arno Pauly
Opublikowane w:
2019
Wydawca:
Cornell University
Autorzy:
Franz Brauße, Pieter Collins, Johannes Kanig, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Sewon Park, Norbert Preining, Martin Ziegler
Opublikowane w:
2019
Wydawca:
Cornell University
Autorzy:
Eike Neumann
Opublikowane w:
2018
Wydawca:
Cornell University
Autorzy:
Eike Neumann, Florian Steinberg
Opublikowane w:
2017
Wydawca:
Cornell University
Autorzy:
Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin Ziegler
Opublikowane w:
2018
Wydawca:
Cornell University
Autorzy:
Samuele Maschio
Opublikowane w:
2019
Wydawca:
Cornell University
Autorzy:
Gyesik Lee, Norbert Müller, Eike Neumann, Sewon Park, Norbert Preining, Martin Ziegler
Opublikowane w:
2019
Wydawca:
Cornell University
Autorzy:
Margarita Korovina, Oleg Kudinov
Opublikowane w:
Sailing Routes in the World of Computation, Numer 10936, 2018, Strona(/y) 234-243, ISBN 978-3-319-94417-3
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-94418-0_24
Autorzy:
Margarita Korovina, Oleg Kudinov
Opublikowane w:
Unveiling Dynamics and Complexity, Numer 10307, 2017, Strona(/y) 64-76, ISBN 978-3-319-58740-0
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-58741-7_7
Autorzy:
Margarita Korovina, Oleg Kudinov
Opublikowane w:
Unveiling Dynamics and Complexity, Numer 10307, 2017, Strona(/y) 282-291, ISBN 978-3-319-58740-0
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-58741-7_27
Autorzy:
Victor L. Selivanov
Opublikowane w:
Unveiling Dynamics and Complexity, Numer 10307, 2017, Strona(/y) 387-399, ISBN 978-3-319-58740-0
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-58741-7_36
Autorzy:
Alex Simpson, Niels Voorneveld
Opublikowane w:
Programming Languages and Systems, Numer 10801, 2018, Strona(/y) 300-326, ISBN 978-3-319-89883-4
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_11
Autorzy:
Ulrich Berger, Anton Setzer
Opublikowane w:
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers, Numer 11202, 2018, Strona(/y) 34-55, ISBN 978-3-030-00388-3
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-00389-0_4
Autorzy:
Margarita Korovina, Oleg Kudinov
Opublikowane w:
Perspectives of System Informatics, Numer 10742, 2018, Strona(/y) 241-255, ISBN 978-3-319-74312-7
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-74313-4_18
Autorzy:
Daniel S. Graça and Ning Zhong
Opublikowane w:
Lecture Notes in Computer Science, Numer 12813, 2021, Strona(/y) 494-503, ISBN 978-3-030-80048-2
Wydawca:
Springer
DOI:
10.1007/978-3-030-80049-9_48
Autorzy:
Takayuki Kihara, Arno Pauly
Opublikowane w:
Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings, Numer 11436, 2019, Strona(/y) 378-393, ISBN 978-3-030-14811-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-14812-6_23
Autorzy:
Graça, Daniel; Zhong, Ning
Opublikowane w:
Handbook of Computability and Complexity in Analysis, Numer 15, 2021, Strona(/y) 71-99, ISBN 978-3-030-59233-2
Wydawca:
Springer
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników