1. 2019
  2. Published

    Quantum and non-signalling graph isomorphisms. / Atserias, Albert; Mančinska, Laura; Roberson, David E.; Šámal, Robert; Severini, Simone; Varvitsiotis, Antonios.

    In: Journal of Combinatorial Theory. Series B, Vol. 136, 01.05.2019, p. 289-328.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  3. Published

    Upper Bounds on the Running Time of the Univariate Marginal Distribution Algorithm on OneMax. / Witt, Carsten.

    In: Algorithmica, Vol. 81, No. 2, 15.02.2019, p. 632-667.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  4. Published

    A differential privacy workflow for inference of parameters in the rasch model. / Steiner, Teresa Anna; Nyrnberg, David Enslev; Hansen, Lars Kai.

    Proceedings of ECML PKDD 2018 Workshops - MIDAS 2018 and PAP 2018. ed. / Anna Monreale; Carlos Alzate. Springer, 2019. p. 113-124.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  5. Accepted/In press

    On chromatic number and minimum cut. / Alishahi, Meysam; Hajiabolhassan, Hossein.

    In: Journal of Combinatorial Theory. Series B, 01.01.2019.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  6. Published

    A Process Calculus for Design and Modeling of Retro-Synthesis. / Broholm, Gabriel; Hammeken, Maliina; Hansen, Marcus Skov; Juhl, Alexander; Larsen, Marc Storm; Nilsson, Jørgen Fischer; Pethick, Thomas; Sørensen, Magnus Gether.

    Information Modelling and Knowledge Bases XXX. IOS Press, 2019. p. 20 - 31.

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2019Researchpeer-review

  7. Published

    Bridging Logic, Philosophy, Computer and Cognitive Science: in the Memory of Marcin Mostowski (1955-2017) Introduction. / Szymanik, Jakub (Editor); Gierasimczuk, Nina (Editor).

    In: Fundamenta Informaticae, Vol. 164, No. 4, 2019, p. I-III.

    Research output: Contribution to journalJournal article – Annual report year: 2019Communication

  8. Published

    Hamilton cycles in sparse locally connected graphs. / van Aardt, Susan A.; Burger, Alewyn P.; Frick, Marietjie; Thomassen, Carsten; de Wet, Johan P.

    In: Discrete Applied Mathematics, Vol. 257, 2019.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  9. Published

    Natural Deduction Assistant (NaDeA). / Villadsen, Jørgen; From, Andreas Halkjær; Schlichtkrull, Anders.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 290, 2019, p. 14–29.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  10. Published

    Students’ Proof Assistant (SPA). / Schlichtkrull, Anders; Villadsen, Jørgen; From, Andreas Halkjær .

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 290, 2019, p. 1–13.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  11. 2018
  12. Published

    A Generalized Version of a Local Antimagic Labelling Conjecture. / Lyngsie, Kasper Szabo; Zhong, Liang.

    In: Graphs and Combinatorics, Vol. 34, No. 6, 01.11.2018, p. 1363-1369.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

Previous 1 2 3 4 5 6 7 8 ...34 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