Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Published
Two-sorted Point-Interval Temporal Logics. / Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido.
In: Electronic Notes in Theoretical Computer Science, Vol. 278, No. 1, 2011, p. 31-45.Publication: Research - peer-review › Conference article – Annual report year: 2011
- Published
Optimal Packed String Matching. / Ben-Kiki, Oren; Bille, Philip; Breslauer, Dany; Gasieniec, Leszek; Grossi, Roberto; Weimann, Oren.
In: 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-review › Article in proceedings – Annual report year: 2011
- 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-review › Journal article – Annual report year: 2011
- Published
Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.
In: Combinatorial Pattern Matching: 22nd Annual Symposium, CPM 2011 Palermo, Italy, June 27-29, 2011 Proceedings. Vol. 6661 Springer, 2011. p. 299-308 (Lecture Notes in Computer Science).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
The Tree Inclusion Problem: In Linear Space and Faster. / Bille, Philip; Gørtz, Inge Li.
In: A C M Transactions on Algorithms, Vol. 7, No. 3, 2011, p. 38.Publication: Research - peer-review › Journal article – Annual report year: 2011
- 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.
In: Proceedings of the 6th International Workshop on Constraints and Language Processing. Roskilde : Roskilde University, 2011. (Computer Science Research Report; No. 134).Publication: Research › Book chapter – Annual report year: 2011
- 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-review › Journal article – Annual report year: 2010
- Published
From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård.
In: 7th International CDIO Conference 2011. Technical University of Denmark, 2011.Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2011
- Published
The dark side of Interval Temporal Logic: sharpening the undecidability border. / Bresolin, Davide; Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). 2011. p. 131-138.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Non-uniform Mutation Rates for Problems with Unknown Solution Lengths. / Cathabard, Stephan; Lehre, Per Kristian; Yao, Xin.
In: FOGA '11 - Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 173-180.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011