Henning Christiansen

Identifiers

• name variant Henning Christiansen 0.60 · backfill

Papers (8)

1. Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs cs.PL · 2018 · author #1
2. Confluence of CHR revisited: invariants and modulo equivalence cs.PL · 2018 · author #1
3. A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots cs.RO · 2017 · author #1
4. Confluence and Convergence in Probabilistically Terminating Reduction Systems cs.PL · 2017 · author #2
5. On Proving Confluence Modulo Equivalence for Constraint Handling Rules cs.LO · 2016 · author #1
6. Inference with Constrained Hidden Markov Models in PRISM cs.AI · 2010 · author #1
7. CHR Grammars cs.CL · 2004 · author #1
8. CHR as grammar formalism. A first report cs.PL · 2001 · author #1

Mentions

• 1007.5421 #1 · backfill · confidence 0.70 Henning Christiansen

Frequent Coauthors

• Maja H. Kirkeby 3 shared papers
• Christian Theil Have 1 shared papers
• Maja Kirkeby 1 shared papers
• Matthieu Petit 1 shared papers
• Ole Torp Lassen 1 shared papers