Foto af Maja Hanne Kirkeby
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

20142018
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikation 2014 2018

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 jul. 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (red.). Lecture Notes in Computer Science: Springer, LNCS, Bind 10855, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Computer Science, Roskilde University. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil

Probabilistic program analysis

Kirkeby, M. H., 2018, Roskilde: Roskilde Universitet. 139 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 151).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2017, I : Formal Aspects of Computing. 29, 1, s. 57-95

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

Projekter 2015 2018

Aktiviteter 2018 2018

  • 1 Organisation og deltagelse i konference
  • 1 Deltagelse i workshop, seminar og kursus
  • 1 Foredrag og mundtlige bidrag

WFLP 2018, The 26th International Workshop on Functional and Logic Programming

Christiansen, H. (Taler), Kirkeby, M. H. (Taler)
6 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Christiansen, H. (Taler), Kirkeby, M. H. (Taler)
4 sep. 20186 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Confluence in Constraint Handling Rules (Invited talk)

Kirkeby, M. H. (Oplægsholder)
7 jul. 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil