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.

Publikationer 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.). Springer, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, 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, Roskilde: Roskilde Universitet. 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

Åben adgang
Fil

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Oplægsholder)
7 jul. 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

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

Henning Christiansen (Taler), Maja Hanne Kirkeby (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

Henning Christiansen (Taler), Maja Hanne Kirkeby (Taler)
4 sep. 20186 sep. 2018

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