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

  27. Published

    Time-Space Trade-offs for Longest Common Extensions. / Bille, Philip; Gortz, Inge Li; Sach, Benjamin; Vildhoj, Hjalte Wedel.

    Combinatorial Pattern Matching. ed. / Juha Kärkkäinen; Jens Stoye. Springer, 2012. p. 293-305 (Lecture Notes in Computer Science, Vol. 7354).

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

  28. Published

    Undecidability and temporal logic: some landmarks from Turing to the present. / Goranko, Valentin.

    2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.

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

  29. Published

    Visual time series analysis. / Fischer, Paul; Hilbert, Astrid.

    Proceedings of COMPSTAT 2012: 20th International Conference on Computational Statistics. 2012. p. 225-234.

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

  30. 2011
  31. Published

    Active Learning in Large Classes. / Gørtz, Inge Li.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  32. Published

    A Semantics-Based Approach to Retrieving Biomedical Information. / Andreasen, Troels; Bulskov, Henrik; Zambach, Sine; Lassen, Tine; Madsen, Bodil Nistrup; Jensen, Per Anker; Thomsen, Hanne Erdman; Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 108-118 (Lecture Notes in Artificial Intelligence; No. 7022).

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

  33. Published

    Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    Lecture Notes in Computer Science: The 15th Conference on Integer Programming and Combinatorial Optimization. Vol. 6655/2011 Berlin : Springer, 2011. p. 235-247 (Lecture Notes in Computer Science).

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

  34. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  35. Published

    Classes and Theories of Trees Associated with a Class Of Linear Orders. / Goranko, Valentin; Kellerman, Ruaan.

    In: Interest Group in Pure and Applied Logics. Logic Journal, Vol. 19, No. 1, 2011, p. 217-232.

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

  36. Published

    Edge-Matching Problems with Rotations. / Ebbesen, Martin; Fischer, Paul; Witt, Carsten.

    Fundamentals of Computation Theory: 18th International Symposium, FCT 2011 Oslo, Norway, August 22-25, 2011 Proceedings. Springer, 2011. p. 114-125 (Lecture Notes in Computer Science; No. 6914).

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

  37. Published

    Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard.

    In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 9-34.

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

  38. Published

    Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. 2011. p. 845-850.

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

  39. Published

    Faster Black-Box Algorithms Through Higher Arity Operators. / Doerr, Benjamin; Johannsen, Daniel; Kötzing, Timo; Lehre, Per Kristian; Wagner, Markus; Winzen, Carola.

    FOGA '11 Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 163-171.

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

  40. Published

    Fast searching in packed strings. / Bille, Philip.

    In: Journal of Discrete Algorithms (Amsterdam), Vol. 9, No. 1, 2011, p. 49-56.

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

  41. Published

    Fixed Parameter Evolutionary Algorithms and Maximum Leaf Spanning Trees: A Matter of Mutations. / Kratsch, Stefan; Lehre, Per Kristian; Neumann, Frank; Oliveto, Pietro Simone.

    PPSN'10 Proceedings of the 11th international conference on Parallel problem solving from nature. Vol. 1 2011. p. 204-213 (Lecture Notes in Computer Science; No. 6238).

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

  42. Published

    From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård.

    7th International CDIO Conference 2011. Technical University of Denmark, 2011.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2011

  43. Published

    Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. / Della Monica, Dario; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 273, No. 1, 2011, p. 3-19.

    Publication: Research - peer-reviewConference article – Annual report year: 2011

  44. Published

    Improving Multi-Agent Systems Using Jason. / Vester, Steen; Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 61, No. 4, 2011, p. 297-307.

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

  45. Published

    Interval Temporal Logics : A Journey. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: European Association for Theoretical Computer Science. Bulletin, Vol. 105, 2011, p. 73-99.

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

  46. Published

    Locating Depots for Capacitated Vehicle Routing. / Gørtz, Inge Li; Nagarajan, Viswanath.

    Approximation, Randomization, and Combinatorial Optimization: 14th InternationalWorkshop, APPROX 2011 and 15th InternationalWorkshop, RANDOM 2011 Princeton, NJ, USA, August 17-19, 2011 Proceedings. Vol. 6845 Springer, 2011. p. 230-241 (Lecture Notes in Computer Science).

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

  47. Published

    Logical Aspects of MAS : Foreword. / Goranko, Valentin; Jamroga, Wojciech.

    In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 7-8.

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

  48. Published

    Multi-Agent Programming Contest 2011 - The Python-DTU Team. / Villadsen, Jørgen; Ettienne, Mikko Berggren; Vester, Steen.

    Technical University of Denmark, 2011. 4 p.

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

  49. Published

    Non-uniform Mutation Rates for Problems with Unknown Solution Lengths. / Cathabard, Stephan; Lehre, Per Kristian; Yao, Xin.

    FOGA '11 - Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 173-180.

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

  50. Published

    Optimal Packed String Matching. / Ben-Kiki, Oren; Bille, Philip; Breslauer, Dany; Gasieniec, Leszek; Grossi, Roberto; Weimann, Oren.

    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). ed. / Supratik Chakraborty; Amit Kumar. Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informati, 2011. p. 423-432 (Leibniz International Proceedings in Informatics (LIPIcs); No. 13).

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

  51. Published

    Preface. / van Ditmarsch, Hans; Duque, David Fernández; Goranko, Valentin; Jamroga, Wojtek; Ojeda-Aciego, Manuel.

    In: Electronic Notes in Theoretical Computer Science, Vol. 278, 2011, p. 1-2.

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

  52. Published

    Proceedings of the 6th International Workshop on Constraints and Language Processing : Preface. / Blache, Philippe (Editor); Christiansen, Henning (Editor); Dahl, Verónica (Editor); Villadsen, Jørgen.

    Proceedings of the 6th International Workshop on Constraints and Language Processing. Roskilde : Roskilde University, 2011. (Computer Science Research Report; No. 134).

    Publication: ResearchBook chapter – Annual report year: 2011

Previous 1 2 3 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