11 citations · 19 across the 6 of their papers we have counts for
8 papers
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
Henning Christiansen, Maja Kirkeby
Confluence of a nondeterministic program ensures a functional input-output relation, freeing the programmer from considering the actual scheduling strategy, and allowing optimized…
Confluence of CHR revisited: invariants and modulo equivalence
Henning Christiansen, Maja H. Kirkeby
Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition…
A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots
Henning Christiansen
The scripting language described in this document is (in the first place) intended to be used on robots developed by Anja Mølle Lindelof and Henning Christiansen as part of a resea…
Confluence and Convergence in Probabilistically Terminating Reduction Systems
Maja H. Kirkeby, Henning Christiansen
Convergence of an abstract reduction system (ARS) is the property that any derivation from an initial state will end in the same final state, a.k.a. normal form. We generalize this…
On Proving Confluence Modulo Equivalence for Constraint Handling Rules
Henning Christiansen, Maja H. Kirkeby
Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered c…
Inference with Constrained Hidden Markov Models in PRISM
Henning Christiansen, Christian Theil Have, Ole Torp Lassen +1
A Hidden Markov Model (HMM) is a common statistical model which is widely used for analysis of biological sequence data and other sequential phenomena. In the present paper we show…