1. 2016
  2. Published

    Distance labeling schemes for trees. / Alstrup, Stephen; Gørtz, Inge Li; Bistrup Halvorsen, Esben ; Porat, Ely .

    Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). 2016. p. 1-16 132.

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

  3. Published

    Distributed synthesis in continuous time. / Hermanns, Holger; Krčál, Jan; Vester, Steen.

    Lecture Notes in Computer Science. Vol. 9634 2016. p. 353-369 (Lecture Notes in Computer Science, Vol. 9634).

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

  4. Published

    Dynamic and approximate pattern matching in 2D. / Clifford, Raphaël; Fontaine, Allyx ; Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Proceedings of the 23rd International Symposium on String Processing and Information Retrieval (SPIRE 2016). ed. / Shunsuke Inenaga; Kunihiko Sadakane; Tetsuya Sakai. Springer, 2016. p. 133-144 (Lecture Notes in Computer Science, Vol. 9954).

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

  5. Published

    Dynamic Relative Compression, Dynamic Partial Sums, and Substring Concatenation. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li; Skjoldjensen, Frederik Rye; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Proceedings of the 27th International Symposium on Algorithms and Computation (ISAAC 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. 18 (Leibniz International Proceedings in Informatics, Vol. 64).

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

  6. Published

    Edge-partitioning graphs into regular and locally irregular components. / Bensmail, Julien; Stevens, Brett .

    In: Discrete Mathematics and Theoretical Computer Science (Online Edition), Vol. 17, No. 3, 2016, p. 43-58.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  7. Published

    Finger Search in Grammar-Compressed Strings. / Bille, Philip; Christiansen, Anders Roy; Cording, Patrick Hagge; Gørtz, Inge Li.

    Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. 36 (Leibniz International Proceedings in Informatics, Vol. 65).

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

  8. Published

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). ed. / Jasmin Christian Blanchette; Stephan Merz. Springer, 2016. p. 341-357 (Lecture Notes in Computer Science, Vol. 9807).

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

  9. Published

    Game-based verification and synthesis. / Vester, Steen; Hansen, Michael Reichhardt (Main supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 203 p. (DTU Compute PHD-2016; No. 414).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  10. Published

    Graph Decompositions. / Merker, Martin; Thomassen, Carsten (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 97 p. (DTU Compute PHD-2016; No. 431).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  11. Published

    Group-colouring, group-connectivity, claw-decompositions, and orientations in 5-edge-connected planar graphs. / Richter, R. Bruce; Thomassen, Carsten; Younger, Daniel H. .

    In: Journal of Combinatorics, Vol. 7, No. 2-3, 2016, p. 219-232.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

Previous 12 3 4 5 6 7 8 9 ...23 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word