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
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: Research › Book – Annual report year: 2012
- Published
Bioinspired computation in combinatorial optimization: algorithms and their computational complexity. / Neumann, Frank; Witt, Carsten.
In: Proceedings of the fourteenth international conference on Genetic and evolutionary computation: Companion. Association for Computing Machinery, 2012. p. 1035-1058.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.
In: 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
Engineering Multiagent Systems - Reflections. / Villadsen, Jørgen.
In: Dagstuhl Reports, Vol. 2, No. 8, 2012, p. 87.Publication: Research - peer-review › Conference abstract in journal – Annual report year: 2012
- Published
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. / Bille, Philip; Stöckel, Morten.
In: 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012