Department of Informatics and Mathematical Modeling

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

  2. Published

    Comparison of Classical and Modern Uncertainty Qualification Methods for the Calculation of Critical Speeds in Railway Vehicle Dynamics. / Bigoni, Daniele; Engsig-Karup, Allan Peter; True, Hans.

    Proceedings of 13th Mini Conference on Vehicle System dynamics, Identification and Anomalities. 2012.

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

  3. Published

    Uncertainty quantication of critical speed for railway vehicle dynamics. / Bigoni, Daniele (Author).

    2012. BIT Circus 2012, Lyngby, Denmark, 23/08/12.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2012

  4. Published

    Uncertainty Quantification on High-speed Railway Dynamics. / Bigoni, Daniele; Engsig-Karup, Allan Peter; True, Hans.

    2012. Poster session presented at Uncertainty Quantification for High-Performance Computing Workshop, Oak Ridge, TN, United States.

    Publication: Research - peer-reviewPoster – 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...3 4 5 6 7 8 9 10 ...643 Next
Download list: To download, please limit the number of search results to 1,000 or less.