Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
- Published
Stochastic vehicle routing with recourse. / Gørtz, Inge Li; Nagarajan, Viswanath; Saket, Rishi.
In: 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-review › Article in proceedings – Annual report year: 2012
- Published
String Indexing for Patterns With Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.
In: 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Accepted
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.
In: Interest Group in Pure and Applied Logics. Logic Journal, 2012.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
Theory of Randomized Search Heuristics. / Auger, Anne; Witt, Carsten.
In: Algorithmica, Vol. 64, No. 4, 2012, p. 621-622.Publication: Research - peer-review › Editorial – Annual report year: 2012
- Published
Time-Space Trade-offs for Longest Common Extensions. / Bille, Philip; Gortz, Inge Li; Sach, Benjamin; Vildhoj, Hjalte Wedel.
In: 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-review › Article in proceedings – Annual report year: 2012
- Published
Undecidability and temporal logic: some landmarks from Turing to the present. / Goranko, Valentin.
In: 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Visual time series analysis. / Fischer, Paul; Hilbert, Astrid.
In: Proceedings of COMPSTAT 2012: 20th International Conference on Computational Statistics. 2012. p. 225-234.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 2011
- Published
Active Learning in Large Classes. / Gørtz, Inge Li.
In: 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-review › Article in proceedings – Annual report year: 2011