Error message

  • Warning: Illegal string offset 'field' in DatabaseCondition->__clone() (line 1817 of /var/www/web553/html/drupal/includes/database/query.inc).
  • Warning: Illegal string offset 'field' in DatabaseCondition->__clone() (line 1817 of /var/www/web553/html/drupal/includes/database/query.inc).

Workshop

Papers published in workshop proceedings.

Model Transformation using Constraint Handling Rules as a basis for Model Interpretation

Marcel Dausend and Frank Raiser. Model Transformation using Constraint Handling Rules as a basis for Model Interpretation. 2011

MTSeq - multi-touch-enabled music generation and manipulation based on CHR

Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth. MTSeq - multi-touch-enabled music generation and manipulation based on CHR. 2010, CHR '10: Proc. 7th Workshop on Constraint Handling Rules

A state equivalence and confluence checker for CHR

Johannes Langbein, Frank Raiser, and Thom Frühwirth. A state equivalence and confluence checker for CHR. 2010, CHR '10: Proc. 7th Workshop on Constraint Handling Rules

Persistent constraints in constraint handling rules

Hariolf Betz, Frank Raiser, and Thom Frühwirth. Persistent constraints in constraint handling rules. 2010, 23rd Workshop on (Constraint) Logic Programming

Implementing dynamic programming recurrences in constraint handling rules with rule priorities

Ahmed Magdy, Frank Raiser, and Thom Frühwirth. Implementing dynamic programming recurrences in constraint handling rules with rule priorities. 2010, 24th Workshop on (Constraint) Logic Programming

Exhaustive parallel rewriting with multiple removals

Frank Raiser and Thom Frühwirth. Exhaustive parallel rewriting with multiple removals. 2010, 24th Workshop on (Constraint) Logic Programming

Constraint-based hardware synthesis

Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Frank Raiser, and Thom Frühwirth. Constraint-based hardware synthesis. 2010, 24th Workshop on (Constraint) Logic Programming

Equivalence of CHR states revisited

Frank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR states revisited. 2009, 6th International Workshop on Constraint Handling Rules (CHR), pages 34-48

Operational equivalence of graph transformation systems

Frank Raiser and Thom Frühwirth. Operational equivalence of graph transformation systems. 2009, 6th International Workshop on Constraint Handling Rules (CHR), pages 49-62

Strong joinability analysis for graph transformation systems in CHR

Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. 2009, Pre-Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH), pages 97-112

Pages

Subscribe to RSS - Workshop