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):
Thomas Quinn-Gregson
Published in:
Semigroup Forum, 2020, ISSN 0037-1912
Publisher:
Springer Verlag
DOI:
10.1007/s00233-020-10151-0
Author(s):
Jakub Opršal
Published in:
Order, Issue 35/3, 2018, Page(s) 433-460, ISSN 0167-8094
Publisher:
Kluwer Academic Publishers
DOI:
10.1007/s11083-017-9441-4
Author(s):
Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard
Published in:
Transactions of the American Mathematical Society, Issue 374/1, 2021, Page(s) 327-350, ISSN 0002-9947
Publisher:
American Mathematical Society
DOI:
10.1090/tran/8179
Author(s):
Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Published in:
SIAM Journal on Computing, Issue 50/4, 2021, Page(s) 1359-1409, ISSN 0097-5397
Publisher:
Society for Industrial and Applied Mathematics
DOI:
10.1137/19m128466x
Author(s):
Libor Barto, Jakub Bulín, Andrei Krokhin, Jakub Opršal
Published in:
Journal of the ACM, Issue 68/4, 2021, Page(s) 1-66, ISSN 0004-5411
Publisher:
Association for Computing Machinary, Inc.
DOI:
10.1145/3457606
Author(s):
Andrés Aranda, David Hartman
Published in:
Acta Mathematica Universitatis Comenianae, Issue Vol 88 No 3 (2019): AMUC, 2019, Page(s) 377-382, ISSN 0862-9544
Publisher:
Comenius University Press
Author(s):
Alexandr Kazda, Jakub Opršal, Matt Valeriote, Dmitriy Zhuk
Published in:
Canadian Mathematical Bulletin, Issue 63/3, 2020, Page(s) 577-591, ISSN 0008-4395
Publisher:
Canadian Mathematical Society
DOI:
10.4153/s0008439519000651
Author(s):
MANUEL BODIRSKY, MICHAEL PINSKER, ANDRÁS PONGRÁCZ
Published in:
The Journal of Symbolic Logic, 2019, Page(s) 1-13, ISSN 0022-4812
Publisher:
Association for Symbolic Logic
DOI:
10.1017/jsl.2019.23
Author(s):
Andrés Aranda, David Hartman
Published in:
European Journal of Combinatorics, Issue 85, 2020, Page(s) 103063, ISSN 0195-6698
Publisher:
Academic Press
DOI:
10.1016/j.ejc.2019.103063
Author(s):
Manuel Bodirsky, Florian Starke, Albert Vucaj
Published in:
International Journal of Algebra and Computation, Issue 31/05, 2021, Page(s) 929-967, ISSN 0218-1967
Publisher:
World Scientific Publishing Co
DOI:
10.1142/s0218196721500442
Author(s):
Manuel Bodirsky, Peter Jonsson, Trung Van Pham
Published in:
ACM Transactions on Computational Logic, Issue 18/3, 2017, Page(s) 1-42, ISSN 1529-3785
Publisher:
Association for Computing Machinary, Inc.
DOI:
10.1145/3105907
Author(s):
Thomas Quinn‐Gregson
Published in:
Mathematika, Issue 66/3, 2020, Page(s) 733-751, ISSN 0025-5793
Publisher:
University College London, Department of Mathematics
DOI:
10.1112/mtk.12035
Author(s):
Manuel Bodirsky, Peter Jonsson
Published in:
Journal of Artificial Intelligence Research, Issue 58, 2017, Page(s) 339-385, ISSN 1076-9757
Publisher:
Morgan Kaufmann Publishers, Inc.
DOI:
10.1613/jair.5260
Author(s):
Andres Aranda, Claude Laflamme, Daniel T. Soukup, Robert Woodrow
Published in:
Discrete Mathematics, Issue 344/1, 2021, Page(s) 112153, ISSN 0012-365X
Publisher:
Elsevier BV
DOI:
10.1016/j.disc.2020.112153
Author(s):
Wenjie Fang, Henri Mühle, Jean-Christophe Novelli
Published in:
The Electronic Journal of Combinatorics, Issue 28/3, 2021, ISSN 1077-8926
Publisher:
Electronic Journal of Combinatorics
DOI:
10.37236/10578
Author(s):
Aranda, Andrés; Hartman, David
Published in:
Acta Mathematica Universitatis Comenianae, Issue 3, 2018, ISSN 0862-9544
Publisher:
Comenius University Press
Author(s):
Libor Barto, Jakub Opršal, Michael Pinsker
Published in:
Israel Journal of Mathematics, Issue 223/1, 2018, Page(s) 363-398, ISSN 0021-2172
Publisher:
Magnes Press
DOI:
10.1007/s11856-017-1621-9
Author(s):
Manuel Bodirsky, Marcello Mamino
Published in:
Theory of Computing Systems, Issue 62/3, 2018, Page(s) 481-509, ISSN 1432-4350
Publisher:
Springer Verlag
DOI:
10.1007/s00224-017-9762-0
Author(s):
Erhard Aichinger, Nebojša Mudrinski, Jakub Opršal
Published in:
International Journal of Algebra and Computation, Issue 28/06, 2018, Page(s) 1101-1118, ISSN 0218-1967
Publisher:
World Scientific Publishing Co
DOI:
10.1142/S0218196718500480
Author(s):
Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
Published in:
Journal of Logic and Computation, Issue 28/1, 2018, Page(s) 133-163, ISSN 0955-792X
Publisher:
Oxford University Press
DOI:
10.1093/logcom/exx043
Author(s):
Manuel Bodirsky, Barnaby Martin, Antoine Mottet
Published in:
Journal of the ACM, Issue 65/2, 2018, Page(s) 1-41, ISSN 0004-5411
Publisher:
Association for Computing Machinary, Inc.
DOI:
10.1145/3154832
Author(s):
Manuel Bodirsky, David Evans, Michael Kompatscher, Michael Pinsker
Published in:
Israel Journal of Mathematics, Issue 224/1, 2018, Page(s) 57-82, ISSN 0021-2172
Publisher:
Magnes Press
DOI:
10.1007/s11856-018-1645-9
Author(s):
Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Published in:
SIAM Journal on Computing, Issue 48/4, 2019, Page(s) 1224-1264, ISSN 0097-5397
Publisher:
Society for Industrial and Applied Mathematics
DOI:
10.1137/16m1082974
Author(s):
Manuel Bodirsky, Antoine Mottet
Published in:
Logical Methods in Computer Science, Issue Volume 14, Issue 2, 2018, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
Author(s):
Bertalan Bodor, Erkko Lehton, Thomas Quinn-Gregson, Nikolas Verhulst
Published in:
Semigroup Forum, Issue 103, 2021, Page(s) 395-413, ISSN 0037-1912
Publisher:
Springer Verlag
Author(s):
Manuel Bodirsky, Thomas Quinn-Gregson
Published in:
Journal of Mathematical Logic, 2021, Page(s) 2150020, ISSN 0219-0613
Publisher:
Singapore University Press
DOI:
10.1142/s0219061321500203
Author(s):
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Published in:
ACM Transactions on Computational Logic, Issue 23/1, 2022, Page(s) 1-35, ISSN 1529-3785
Publisher:
Association for Computing Machinary, Inc.
DOI:
10.1145/3488721
Author(s):
Claude Laflamme, Andres Aranda, Daniel T. Soukup, Robert Woodrow
Published in:
Journal of Combinatorial Theory, Series B, Issue 137, 2019, Page(s) 1-9, ISSN 0095-8956
Publisher:
Academic Press
DOI:
10.1016/j.jctb.2018.11.006
Author(s):
Bodirsky, Manuel; Pinsker, Michael
Published in:
Contributions to Discrete Mathematics, Issue 17, 2021, Page(s) 36--45, ISSN 1715-0868
Publisher:
University of Calgary Press
Author(s):
Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk
Published in:
Electronic Notes in Discrete Mathematics, Issue 61, 2017, Page(s) 53-60, ISSN 1571-0653
Publisher:
Elsevier BV
DOI:
10.1016/j.endm.2017.06.020
Author(s):
Victoria Gould, Thomas Quinn-Gregson
Published in:
Semigroup Forum, Issue 99, 2019, Page(s) 260-292, ISSN 0037-1912
Publisher:
Springer Verlag
Author(s):
Manuel Bodirsky, Johannes Greiner
Published in:
Logical Methods in Computer Science, Issue Volume 16, Issue 1, 2020, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(1:21)2020
Author(s):
Manuel Bodirsky, Albert Vucaj
Published in:
Algebra universalis, Issue 81/2, 2020, ISSN 0002-5240
Publisher:
Birkhauser Verlag
DOI:
10.1007/s00012-020-0647-8
Author(s):
Manuel Bodirsky, Simon Knäuer
Published in:
2021
Publisher:
PKP Publishing Services Network
Author(s):
Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Published in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Publisher:
IEEE
DOI:
10.1109/lics52264.2021.9470511
Author(s):
Andrés Aranda
Published in:
Bordeaux Graph Workshop 2019, 2019
Publisher:
LaBRi
Author(s):
Andrés Aranda, David Hartman
Published in:
Acta Mathematica Universitatis Comenianae - EUROCOMB 2019, Issue 88(3), 2019, Page(s) 383-387
Publisher:
ACTA MATHEMATICA UNIVERSITATIS COMENIANAE
Author(s):
Bodirsky, Manuel; Knäuer, Simon; Rudolph, Sebastian
Published in:
Issue 14, 2021
Publisher:
https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16196
DOI:
10.4230/lipics.icalp.2021.120
Author(s):
Bodirsky, Manuel ; Mamino, Marcello
Published in:
2017
Publisher:
DROPS, Dagstuhl Research Online Publication Server
DOI:
10.4230/DFU.Vol7.15301.79
Author(s):
Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
Published in:
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 27-31 August 2018 [Conference proceedings], Issue 1, 2018
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Author(s):
Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet
Published in:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1256-1262, ISBN 9780999241127
Publisher:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2018/175
Author(s):
Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Published in:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 105-114, ISBN 9781-450355834
Publisher:
ACM Press
DOI:
10.1145/3209108.3209156
Author(s):
Bodirsky, Manuel; Mamino, Marcello; Viola, Caterina
Published in:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Issue 6, 2018
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Author(s):
Víctor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Opršal
Published in:
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017, Page(s) 340-357, ISBN 978-1-61197-478-2
Publisher:
Society for Industrial and Applied Mathematics
DOI:
10.1137/1.9781611974782.22
Author(s):
Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard
Published in:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-12, ISBN 978-1-7281-3608-0
Publisher:
IEEE
DOI:
10.1109/lics.2019.8785883
Author(s):
Manuel Bodirsky, Bertalan Bodor
Published in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Publisher:
IEEE
DOI:
10.1109/lics52264.2021.9470683
Author(s):
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Published in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 237-251, ISBN 9781450371049
Publisher:
ACM
DOI:
10.1145/3373718.3394750
Author(s):
Manuel Bodirsky, Johannes Greiner
Published in:
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Issue 12678, 2021, Page(s) 133-146, ISBN 978-3-030-75774-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-75775-5_10
Author(s):
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Published in:
Graphs and Combinatorial Optimization: from Theory to Applications - CTW2020 Proceedings, Issue 5, 2021, Page(s) 265-276, ISBN 978-3-030-63071-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-63072-0_21
Author(s):
Manuel Bodirsky, Simon Knäuer, Florian Starke
Published in:
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings, Issue 12098, 2020, Page(s) 149-162, ISBN 978-3-030-51465-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-51466-2_13
Author(s):
Manuel Bodirsky, Johannes Greiner
Published in:
Automated Reasoning, Issue 10900, 2018, Page(s) 263-278, ISBN 978-3-319-94204-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_18
Author(s):
Manuel Bodirsky
Published in:
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings, Issue 11194, 2018, Page(s) 3-17, ISBN 978-3-030-02148-1
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-02149-8_1
Author(s):
Manuel Bodirsky, Simon Knäuer
Published in:
Relational and Algebraic Methods in Computer Science, 2020, Page(s) 31-46, ISBN 9783030435196
Publisher:
Springer
Author(s):
Cesar Ceballos, Henri Mühle
Published in:
2021
Publisher:
preprint
Author(s):
Andrés Aranda
Published in:
Mathematica slovaca, 2021, ISSN 1337-2211
Publisher:
Mathematical Institute Slovak Academy of Sciences
Author(s):
Bodor, Bertalan
Published in:
Issue 2, 2020
Publisher:
arxiv.org
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available