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

Previous 1 2 3 4 5 6 7 8 ...14 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