Algorithms and Logic
- Overview
- Researchers
- Publications
- Projects
- Activities
- Journals
- Publishers
- Press clippings
- Statistics
- 2017
- Published
On q-power cycles in cubic graphs. / Bensmail, Julien.
In: Discussiones Mathematicae. Graph Theory, Vol. 37, 2017, p. 211–220.Publication: Research - peer-review › Journal article – Annual report year: 2016
- Published
On the Minimum Number of Spanning Trees in k-Edge-Connected Graphs. / Ok, Seongmin; Thomassen, Carsten.
In: Journal of Graph Theory, Vol. 84, No. 3, 2017, p. 286–296.Publication: Research - peer-review › Journal article – Annual report year: 2016
- Published
Pathway computation in models derived from bio-science text sources. / Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker; Nilsson, Jørgen Fischer.
Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Proceedings. Vol. 10352 Springer Verlag, 2017. p. 424-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10352 LNAI).Publication: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
Querying Natural Logic Knowledge Bases. / Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker; Nilsson, Jørgen Fischer.
Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD 2017). SCITEPRESS Digital Library, 2017. p. 294-301.Publication: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
Roots of the Chromatic Polynomial. / Perrett, Thomas; Thomassen, Carsten (Supervisor).
Kgs. Lyngby : Technical University of Denmark (DTU), 2017. 115 p. (DTU Compute PHD-2016; No. 438).Publication: Research › Ph.D. thesis – Annual report year: 2017
- Published
Space-Efficient Re-Pair Compression. / Bille, Philip; Gørtz, Inge Li; Prezza, Nicola.
Proceedings of 2017 Data Compression Conference. Vol. Part F1 IEEE, 2017. p. 171-80 (Data Compression Conference. Proceedings).Publication: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
Spanning quadrangulations of triangulated surfaces. / Kündgen, André; Thomassen, Carsten.
In: Universitaet Hamburg. Mathematisches Seminar. Abhandlungen, Vol. 87, No. 2, 2017, p. 357-368.Publication: Research - peer-review › Journal article – Annual report year: 2017
- Published
Structural properties of recursively partitionable graphs with connectivity 2. / Baudon, Olivier ; Bensmail, Julien; Foucaud, Florent ; Pilsniak, Monika .
In: Discussiones Mathematicae. Graph Theory, Vol. 37, 2017, p. 89–115.Publication: Research - peer-review › Journal article – Annual report year: 2016
- Published
Succinct partial sums and fenwick trees. / Bille, Philip; Christiansen, Anders Roy; Prezza, Nicola; Skjoldjensen, Frederik Rye.
String Processing and Information Retrieval. Springer, 2017. p. 91-96 (Lecture Notes in Computer Science, Vol. 10508).Publication: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
The (1+λ) evolutionary algorithm with self-adjusting mutation rate. / Doerr, Benjamin; Witt, Carsten; Gießen, Christian; Yang, Jing.
Proceedings of 2017 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, 2017. p. 1351-1358.Publication: Research - peer-review › Article in proceedings – Annual report year: 2017