Veröffentlichungen
Autoren:
Albert Atserias, Anuj Dawar
Veröffentlicht in:
Journal of Logic and Computation, Ausgabe 29/8, 2019, Seite(n) 1185-1210, ISSN 0955-792X
Herausgeber:
Oxford University Press
DOI:
10.1093/logcom/exz022
Autoren:
Albert Atserias, Laura Mančinska, David E. Roberson, Robert Šámal, Simone Severini, Antonios Varvitsiotis
Veröffentlicht in:
Journal of Combinatorial Theory, Series B, Ausgabe 136, 2019, Seite(n) 289-328, ISSN 0095-8956
Herausgeber:
Academic Press
DOI:
10.1016/j.jctb.2018.11.002
Autoren:
Jan Maly, Moritz Müller
Veröffentlicht in:
Mathematical Logic Quarterly, Ausgabe 64/6, 2018, Seite(n) 418-428, ISSN 0942-5616
Herausgeber:
John Wiley & Sons Ltd.
DOI:
10.1002/malq.201700009
Autoren:
Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio
Veröffentlicht in:
ACM Transactions on Computational Logic, Ausgabe 20/4, 2019, Seite(n) 1-36, ISSN 1529-3785
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3340923
Autoren:
Antoni Lozano, Mercè Mora, Carlos Seara
Veröffentlicht in:
Applied Mathematics and Computation, Ausgabe 347, 2019, Seite(n) 734-740, ISSN 0096-3003
Herausgeber:
Elsevier BV
DOI:
10.1016/j.amc.2018.11.043
Autoren:
Albert Atserias, José L. Balcázar, Marie Ely Piceno
Veröffentlicht in:
Logical Methods in Computer Science, 2019, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(1:10)2019
Autoren:
Marie Ely Piceno, Laura Rodríguez-Navas, José Luis Balcázar
Veröffentlicht in:
Computational Intelligence, 2020, ISSN 0824-7935
Herausgeber:
Blackwell Publishing Inc.
DOI:
10.1111/coin.12317
Autoren:
Albert Atserias, Moritz Müller
Veröffentlicht in:
Journal of the ACM, Ausgabe 67/5, 2020, Seite(n) 1-17, ISSN 0004-5411
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3409472
Autoren:
Albert Atserias, Joanna Ochremiak
Veröffentlicht in:
ACM Transactions on Computational Logic, Ausgabe 20/1, 2019, Seite(n) 1-46, ISSN 1529-3785
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3265985
Autoren:
Jan Bydžovský, Moritz Müller
Veröffentlicht in:
Archive for Mathematical Logic, Ausgabe 59/1-2, 2020, Seite(n) 127-147, ISSN 0933-5846
Herausgeber:
Springer Verlag
DOI:
10.1007/s00153-019-00681-y
Autoren:
Yijia Chen, Michael Elberfeld, Moritz Müller
Veröffentlicht in:
Logical Methods in Computer Science, 2019, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(3:31)2019
Autoren:
Albert Atserias, Phokion G. Kolaitis, Simone Severini
Veröffentlicht in:
Journal of Computer and System Sciences, Ausgabe 105, 2019, Seite(n) 171-198, ISSN 0022-0000
Herausgeber:
Academic Press
DOI:
10.1016/j.jcss.2019.05.003
Autoren:
Lázaro Alberto Larrauri
Veröffentlicht in:
Journal of Logic and Computation, 2020, ISSN 0955-792X
Herausgeber:
Oxford University Press
DOI:
10.1093/logcom/exaa061
Autoren:
Moritz Müller, Ján Pich
Veröffentlicht in:
Annals of Pure and Applied Logic, Ausgabe 171/2, 2020, Seite(n) 102735, ISSN 0168-0072
Herausgeber:
Elsevier BV
DOI:
10.1016/j.apal.2019.102735
Autoren:
Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander Razborov
Veröffentlicht in:
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Seite(n) 866-877, ISBN 9781450355599
Herausgeber:
ACM Press
DOI:
10.1145/3188745.3188856
Autoren:
Albert Atserias, Stephan Kreutzer, Marc Noy
Veröffentlicht in:
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), 2018
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icalp.2018.116
Autoren:
Albert Atserias, Joanna Ochremiak
Veröffentlicht in:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, Seite(n) 66-75, ISBN 9781450355834
Herausgeber:
ACM
DOI:
10.1145/3209108.3209186
Autoren:
Tuomas Hakoniemi
Veröffentlicht in:
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 2020
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2020.63
Autoren:
Yijia Chen, Moritz Müller, Keita Yokoyama
Veröffentlicht in:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, Seite(n) 235-244, ISBN 9781450355834
Herausgeber:
ACM
DOI:
10.1145/3209108.3209155
Autoren:
Michal Garlík
Veröffentlicht in:
44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.mfcs.2019.37
Autoren:
Albert Atserias, Phokion G. Kolaitis, Simone Severini
Veröffentlicht in:
21st International Symposium, FCT 2017, Ausgabe Lecture Notes in Computer Science 10472, 2017, Seite(n) 56-68, ISBN 978-3-662-55750-1
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-55751-8_6
Autoren:
Massimo Lauria, Jakob Nordstrom
Veröffentlicht in:
32nd Computational Complexity Conference (CCC 2017), Ausgabe 79, 2017, Seite(n) 2:1--2:20, ISBN 978-3-95977-040-8
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CCC.2017.2
Autoren:
Tomasz Gogacz, Szymon Torunczyk
Veröffentlicht in:
20th International Conference on Database Theory (ICDT 2017), Ausgabe LIPIcs 68, 2017, Seite(n) 15:1--15:17
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICDT.2017.15
Autoren:
Albert Atserias, Joanna Ochremiak
Veröffentlicht in:
44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), Ausgabe 80, 2017, Seite(n) 110:1--110:14, ISBN 978-3-95977-041-5
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2017.110
Autoren:
Dieter van Melkebeek, Gautam Prakriya
Veröffentlicht in:
32nd Computational Complexity Conference (CCC 2017), Ausgabe 79, 2017, Seite(n) 5:1--5:32, ISBN 978-3-95977-040-8
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CCC.2017.5
Autoren:
Albert Atserias, Szymon Torunczyk
Veröffentlicht in:
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, 2016, Seite(n) 16:16:00, ISBN 978-3-95977-022-4
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CSL.2016.16
Autoren:
Bartek Klin, Slawek Lasota, Joanna Ochremiak, Szymon Torunczyk
Veröffentlicht in:
36th Foundations of Software Technology and Theoretical Computer Science, 2016, Seite(n) 14:15, ISBN 978-3-95977-027-9
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSTTCS.2016.14
Autoren:
Albert Atserias, Anuj Dawar, Joanna Ochremiak
Veröffentlicht in:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber:
IEEE
DOI:
10.1109/lics.2019.8785792
Autoren:
Albert Atserias, Moritz Muller
Veröffentlicht in:
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, Seite(n) 498-509, ISBN 978-1-7281-4952-3
Herausgeber:
IEEE
DOI:
10.1109/focs.2019.00038
Autoren:
Albert Atserias, Tuomas Hakoniemi
Veröffentlicht in:
34th Computational Complexity Conference (CCC 2019), 2019
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.ccc.2019.24
Autoren:
Alberto Larrauri, Tobias Müller, Marc Noy
Veröffentlicht in:
2020
Herausgeber:
Cornell University
Autoren:
Albert Atserias, Massimo Lauria
Veröffentlicht in:
Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings, Ausgabe 11628, 2019, Seite(n) 1-18, ISBN 978-3-030-24257-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-24258-9_1
Autoren:
Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals
Veröffentlicht in:
Theory and Applications of Satisfiability Testing – SAT 2016, 2016, Seite(n) 160-176, ISBN 978-3-319-40970-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-40970-2_11
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor