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