Algorithms and Logic

  1. Published

    Optimal Packed String Matching. / Ben-Kiki, Oren; Bille, Philip; Breslauer, Dany; Gasieniec, Leszek; Grossi, Roberto; Weimann, Oren.

    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-reviewArticle in proceedings – Annual report year: 2011

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

  3. Published

    Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.

    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-reviewArticle in proceedings – Annual report year: 2011

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

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

    Proceedings of the 6th International Workshop on Constraints and Language Processing. Roskilde : Roskilde University, 2011. (Computer Science Research Report; No. 134).

    Publication: ResearchBook chapter – Annual report year: 2011

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

  7. Published

    From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård.

    7th International CDIO Conference 2011. Technical University of Denmark, 2011.

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

  8. Published

    The dark side of Interval Temporal Logic: sharpening the undecidability border. / Bresolin, Davide; Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). 2011. p. 131-138.

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

  9. Published

    Non-uniform Mutation Rates for Problems with Unknown Solution Lengths. / Cathabard, Stephan; Lehre, Per Kristian; Yao, Xin.

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

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

  10. Published

    Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. / Della Monica, Dario; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 273, No. 1, 2011, p. 3-19.

    Publication: Research - peer-reviewConference 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