Algorithms and Logic

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

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