Algorithms and Logic

  1. 2012
  2. Published

    Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).

    College Publications, 2012. 592 p.

    Publication: ResearchBook – Annual report year: 2012

  3. Published

    Bioinspired computation in combinatorial optimization: algorithms and their computational complexity. / Neumann, Frank; Witt, Carsten.

    Proceedings of the fourteenth international conference on Genetic and evolutionary computation: Companion. Association for Computing Machinery, 2012. p. 1035-1058.

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

  4. Published

    Black-Box Search by Unbiased Variation. / Lehre, Per Kristian; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 623-642.

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

  5. Published

    Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer, 2012. p. 94-106 (Lecture Notes in Computer Science, Vol. 7519).

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

  6. Published

    Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Journal of Universal Computer Science, Vol. 18, No. 20, 2012, p. 2798-2831.

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

  7. Published

    Detection of previously undiagnosed cases of COPD in a high-risk population identified in general practice.. / Løkke, Anders; Ulrik, Charlotte Suppli; Dahl, Ronald; Plauborg, Liane; Dollerup, Jens; Kristiansen, Luise Cederkvist; Cording, Patrick Hagge; Dehlendorff, Christian.

    In: C O P D, Vol. 9, No. 5, 2012, p. 458-465.

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

  8. Published

    Engineering Multiagent Systems - Reflections. / Villadsen, Jørgen.

    In: Dagstuhl Reports, Vol. 2, No. 8, 2012, p. 87.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  9. Published

    Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. / Bille, Philip; Stöckel, Morten.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 131–142 (Lecture Notes in Computer Science, Vol. 7183).

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

  10. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    In: Algorithmica, Vol. 62, No. 1-2, 2012, p. 209-223.

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

  11. Published

    Faster Approximate String Matching for Short Patterns. / Bille, Philip.

    In: Theory of Computing Systems, Vol. 50, No. 3, 2012, p. 492–515.

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

  12. 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

  13. 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; No. 7217).

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

  14. Published

    Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010; ESSLLI 2011, Ljubljana, Slovenia, August 201;1 Selected Lecture Notes. / Bezhanishvili, Nick (Editor); Goranko, Valentin (Editor).

    Springer, 2012. 265 p. (Lecture Notes in Computer Science, Vol. 7388).

    Publication: ResearchBook – Annual report year: 2012

  15. Published

    Logic for physical space : From antiquity to present days. / Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle; Goranko, Valentin.

    In: Synthese, Vol. 186, No. 3, 2012, p. 619-632.

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

  16. Published

    Longest Common Extensions via Fingerprinting. / Bille, Philip; Gørtz, Inge Li; Kristensen, Jesper.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 119-130 (Lecture Notes in Computer Science, Vol. 7183).

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

  17. Published

    Multi-Agent Programming Contest 2012 - The Python-DTU Team. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Berggren Ettienne, Mikko; Vester, Steen; Balsiger Andersen, Kenneth; Frøsig, Andreas.

    Technical University of Denmark, 2012. 4 p.

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

  18. Published

    On the Analysis of the Simple Genetic Algorithm. / Oliveto, Pietro S.; Witt, Carsten.

    Proceedings of the fourteenth international conference on Genetic and evolutionary computation. Association for Computing Machinery, 2012. p. 1341-1348.

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

  19. Published

    Optimizing Linear Functions with Randomized Search Heuristics - The Robustness of Mutation. / Witt, Carsten.

    29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012). ed. / Christoph Dürr; Thomas Wilke. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2012. p. 420-431 (Leibniz International Proceedings in Informatics, Vol. 14).

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

  20. Published

    Paraconsistent Computational Logic. / Jensen, Andreas Schmidt; Villadsen, Jørgen.

    8th Scandinavian Logic Symposium: Abstracts. ed. / Patrick Blackburn; Klaus Frovin Jørgensen; Neil Jones; Erik Palmgren. 2012. p. 59-61.

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

  21. Published

    Program Leadership from a Nordic Perspective - Managing Education Development. / Högfeldt, Anna-Karin; Cornell, Ann; Cronhjort, Mikael; Jerbrant, Anne; Lyng, Rediar; Kantola, Raimo; Malmi, Lauri; Lundqvist, Ulrika; Malmqvist, Johan; Hussmann, Peter Munkebo; Villadsen, Jørgen; Brattebø, Helge; Torvatn, Tim.

    Proceedings of the 8th International CDIO Conference. 2012.

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

  22. Published

    Stochastic vehicle routing with recourse. / Gørtz, Inge Li; Nagarajan, Viswanath; Saket, Rishi.

    Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012. ed. / Artur Czumaj; Kurt Mehlhorn ; Andrew Pitts; Roger Wattenhofer. Springer, 2012. p. 411-423 (Lecture Notes in Computer Science, Vol. 7391).

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

  23. Published

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

    Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. ed. / Fedor V. Fornin; Petteri Kaski. Springer, 2012. p. 283-294 (Lecture Notes in Computer Science, Vol. 7357).

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

  24. Published

    String matching with variable length gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    In: Theoretical Computer Science, Vol. 443, 2012, p. 25-34.

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

  25. Published

    Theoretical analysis of two ACO approaches for the traveling salesman problem. / Kötzing, Timo; Neumann, Frank; Röglin, Heiko; Witt, Carsten.

    In: Swarm Intelligence, Vol. 6, No. 1, 2012, p. 1-21.

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

  26. Published

    Theory of Randomized Search Heuristics. / Auger, Anne; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 621-622.

    Publication: Research - peer-reviewEditorial – Annual report year: 2012

Previous 1 2 3 4 5 6 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word