Travelled to:1 × United Kingdom
Collaborated with:M.Rosendahl H.Christiansen
Talks about:probabilist (1) constraint (1) confluenc (1) program (1) manipul (1) equival (1) analysi (1) output (1) modulo (1) handl (1)
Person: Maja H. Kirkeby
DBLP: Kirkeby:Maja_H=
Contributed to:
2015
2014Wrote 2 papers:
- QAPL-2015-RosendahlK #analysis #probability
- Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.
- LOPSTR-2014-ChristiansenK #confluence #constraints #equivalence
- Confluence Modulo Equivalence in Constraint Handling Rules (HC, MHK), pp. 41–58.