1. 2014
  2. Published

    Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. / Cerrito, Serenella ; David, Amelie ; Goranko, Valentin.

    Automated Reasoning. Proceedings. Vol. 8562 Springer, 2014. p. 277–291 (Lecture Notes in Computer Science, Vol. 8562).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  3. Published

    Output-Sensitive Pattern Extraction in Sequences. / Grossi, Roberto; Menconi, Giulia; Pisanti, Nadia; Trani, Roberto; Vind, Søren Juhl.

    Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2014. p. 303-314 (Leibniz International Proceedings in Informatics, Vol. 29).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  4. Published

    Regaining the Square of Opposition in Formal Ontology Development. / Nilsson, Jørgen Fischer.

    Handbook of the world congress on the square of opposition iv . 2014. p. 85-86.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  5. Published

    Revised analysis of the (1+1) EA for the minimum spanning tree problem. / Witt, Carsten.

    Proceedings of the 2014 conference on Genetic and evolutionary computation (GECCO '14). Association for Computing Machinery, 2014. p. 509-516.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  6. Published

    Robustness of Populations in Stochastic Environments. / Gießen, Christian; Kötzing, Timo.

    Proceedings of the 2014 conference on Genetic and evolutionary computation (GECCO'14). Association for Computing Machinery, 2014. p. 1383-1390.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  7. Published

    Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. / Bolander, Thomas.

    Proceedings of the European Conference on Social Intelligence (ECSI-2014). ed. / Andreas Herzig; Emiliano Lorini. 2014. p. 87-107 (CEUR Workshop Proceedings; No. urn:nbn:de:0074-1283-4, Vol. 1283).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  8. Published

    String Indexing for Patterns with Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    In: Theory of Computing Systems, Vol. 55, No. 1, 2014, p. 41-60.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  9. Published

    Strongly 2-connected orientations of graphs. / Thomassen, Carsten.

    In: Journal of Combinatorial Theory. Series B, Vol. 110, 2014, p. 67-78.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  10. Published

    Sublinear Space Algorithms for the Longest Common Substring Problem. / Kociumaka, Tomasz; Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Algorithms - ESA 2014: Proceedings of the 22th Annual European Symposium 2014. ed. / Andreas S. Schulz; Dorothea Wagner. Springer, 2014. p. 605-617 (Lecture Notes in Computer Science, Vol. 8737).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  11. Published

    Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.

    In: Algorithmica, Vol. 69, No. 2, 2014, p. 384-396.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

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