1. 2017
  2. Published

    NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. / Villadsen, Jørgen; Jensen, Alexander Birch; Schlichtkrull, Anders.

    In: IfCoLog Journal of Logics and their Applications, Vol. 4, No. 1, 2017, p. 55-82.

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

  3. Published

    Nash Equilibria in Symmetric Graph Games with Partial Observation. / Bouyer, Patricia; Markey, Nicolas; Vester, Steen.

    In: Information and Computation, Vol. 254, No. 2, 2017, p. 238–258.

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

  4. Published

    On a combination of the 1-2-3 conjecture and the antimagic labelling conjecture. / Bensmail, Julien; Senhaji, Mohammed; Lyngsie, Kasper Szabo.

    In: Discrete Mathematics and Theoretical Computer Science, Vol. 19, No. 1, 21, 2017.

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

  5. Published

    On a directed variation of the 1-2-3 and 1-2 Conjectures. / Barme, Emma; Bensmail, Julien; Przybyło, Jakub ; Wozniak, Mariusz .

    In: Discrete Applied Mathematics, Vol. 217, No. Part 2, 2017, p. 123-131.

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

  6. Published

    On q-power cycles in cubic graphs. / Bensmail, Julien.

    In: Discussiones Mathematicae. Graph Theory, Vol. 37, 2017, p. 211–220.

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

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

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

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

  10. 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: ResearchPh.D. thesis – Annual report year: 2017

  11. Published

    Space-Efficient Re-Pair Compression. / Bille, Philip; Gørtz, Inge Li; Prezza, Nicola.

    In: Data Compression Conference. Proceedings, Vol. Part F1, No. 27767, 2017, p. 171-80.

    Publication: Research - peer-reviewConference article – Annual report year: 2017

Previous 12 3 4 5 6 7 8 9 ...28 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