1. 2013
  2. Published

    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.

    Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Springer, 2013. p. 80-96 (Lecture Notes in Computer Science, Vol. 7750).

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

  3. Published

    The hardness of the functional orientation 2-color problem. / Stöckel, Morten; Vildhøj, Hjalte Wedel; Bøg, Søren.

    In: Australasian Journal of Combinatorics, Vol. 56, 2013, p. 225-234.

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

  4. Published

    The maximum number of minimal codewords in an [n, k]-code. / Alahmadi, A.; Aldred, R. E. L.; de la Cruz, R.; Solé, P.; Thomassen, Carsten.

    In: Discrete Mathematics, Vol. 313, No. 15, 2013, p. 1569-1574.

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

  5. Published

    Tight Bounds on the Optimization Time of a Randomized Search Heuristic on Linear Functions. / Witt, Carsten.

    In: Combinatorics, Probability & Computing, Vol. 22, No. 2, 2013, p. 294-318.

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

  6. Published

    Time-Space Trade-Offs for the Longest Common Substring Problem. / Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Springer, 2013. p. 223-234 (Lecture Notes in Computer Science, Vol. 7922).

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

  7. Published

    Tree compression with top trees. / Bille, Philip; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Springer, 2013. p. 160-171 (Lecture Notes in Computer Science, Vol. 7965).

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

  8. Published

    Undecidability in Epistemic Planning. / Aucher, Guillaume; Bolander, Thomas.

    Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. AAAI Press, 2013. p. 27-33.

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

  9. Published

    When do evolutionary algorithms optimize separable functions in parallel? / Doerr, Benjamin; Sudholt, Dirk; Witt, Carsten.

    Proceedings of the 12th ACM Workshop on Foundations of Genetic Algorithms (FOGA 2013). The Association for Computing Machinery, 2013. p. 51-64.

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

  10. 2012
  11. Published

    Implementing a Multi-Agent System in Python. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.

    Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions. ed. / Tristan Behrens; Jürgen Dix; Michael Köster; Federico Schlesinger. Technische Universität Clausthal, 2012. p. 147-179 (IfI Technical Report Series; No. IfI-12-02).

    Publication: Research - peer-reviewReport chapter – Annual report year: 2012

  12. Published

    Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.

    Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 Taipei, Taiwan, May 3, 2011 Revised Selected Papers. Springer, 2012. p. 185-196 (Lecture Notes in Artificial Intelligence, Vol. 7217).

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

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