1. 2018
  2. Published

    A Generalized Version of a Local Antimagic Labelling Conjecture. / Lyngsie, Kasper Szabo; Zhong, Liang.

    In: Graphs and Combinatorics, Vol. 34, No. 6, 01.11.2018, p. 1363-1369.

    Research output: Research - peer-reviewJournal article – Annual report year: 2018

  3. Published

    String attractors : Verification and optimization. / Kempa, Dominik; Policriti, Alberto; Prezza, Nicola; Rotenberg, Eva.

    Proceedings of 26th European Symposium on Algorithms. Vol. 112 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2018.

    Research output: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  4. Published

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    In: Journal of Automated Reasoning, Vol. 61, No. 1–4, 20.01.2018, p. 455–484.

    Research output: Research - peer-reviewJournal article – Annual report year: 2018

  5. Published

    Deciding parity of graph crossing number. / Hliněný, Petr; Thomassen, Carsten.

    In: SIAM Journal on Discrete Mathematics, Vol. 32, No. 3, 01.01.2018, p. 1962-1965.

    Research output: Research - peer-reviewJournal article – Annual report year: 2018

  6. Accepted/In press

    The (1 + λ) Evolutionary Algorithm with Self-Adjusting Mutation Rate. / Doerr, Benjamin; Gießen, Christian; Witt, Carsten; Yang, Jing.

    In: Algorithmica, 01.01.2018, p. 1-13.

    Research output: Research - peer-reviewJournal article – Annual report year: 2018

  7. Published

    Adding Organizational Reasoning to Agent-Based Simulations in GAMA. / Larsen, John Bruntse.

    Proceedings of EMAS 2018. 2018. p. 1-8.

    Research output: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  8. Published

    A Dynamic Logic for Learning Theory. / Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja.

    Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. ed. / Alexandre Madeira; Mario Benevides. Vol. 10669 Springer, 2018. p. 35-54.

    Research output: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  9. Published

    Agent Programming Languages and Logics in Agent-Based Simulation. / Larsen, John Bruntse.

    Modern Approaches for Intelligent Information and Database Systems. Vol. 769 Springer, 2018. p. 517-526.

    Research output: Research - peer-reviewBook chapter – Annual report year: 2018

  10. Published

    A hamiltonian cycle in the square of a 2-connected graph in linear time. / Alstrup, Stephen; Georgakopoulos, Agelos; Rotenberg, Eva; Thomassen, Carsten.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 1645-1649.

    Research output: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  11. Published

    A separation between RLSLPs and LZ77. / Bille, Philip; Gagie, Travis; Gørtz, Inge Li; Prezza, Nicola.

    In: Journal of Discrete Algorithms, Vol. 50, 2018, p. 36-39.

    Research output: Research - peer-reviewJournal article – Annual report year: 2018

Previous 1 2 3 4 5 6 7 8 ...33 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word