Algorithms and Logic

  1. 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-reviewJournal article – Annual report year: 2010

  2. Published

    Experimental Data Does Not Violate Bell's Inequality for "Right Kolmogorov Space''. / Fischer, Paul; Avis, David; Hilbert, Astrid; Khrennikov, Andrei.

    AIP Proceedings. American Institute of Physics, 2008.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  3. Published

    Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. 2011. p. 845-850.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

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

  5. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    SOFSEM 2010: Theory and Practice of Computer Science. Springer, 2010. p. 188-199 (Lecture Notes in Computer Science, Vol. 5901).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  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

    Faster Black-Box Algorithms Through Higher Arity Operators. / Doerr, Benjamin; Johannsen, Daniel; Kötzing, Timo; Lehre, Per Kristian; Wagner, Markus; Winzen, Carola.

    FOGA '11 Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 163-171.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  9. Published

    Faster Regular Expression Matching. / Bille, Philip; Thorup, Mikkel.

    International Colloquium on Automata, Languages and Programming. 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  10. 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-reviewJournal article – Annual report year: 2011

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