Error message

  • Deprecated function: Methods with the same name as their class will not be constructors in a future version of PHP; panels_cache_object has a deprecated constructor in require_once() (line 113 of /var/www/web553/html/drupal/modules/ctools/ctools.module).
  • Deprecated function: Methods with the same name as their class will not be constructors in a future version of PHP; ctools_context has a deprecated constructor in require_once() (line 113 of /var/www/web553/html/drupal/modules/ctools/ctools.module).
  • Deprecated function: Methods with the same name as their class will not be constructors in a future version of PHP; ctools_context_required has a deprecated constructor in require_once() (line 113 of /var/www/web553/html/drupal/modules/ctools/ctools.module).
  • Deprecated function: Methods with the same name as their class will not be constructors in a future version of PHP; ctools_context_optional has a deprecated constructor in require_once() (line 113 of /var/www/web553/html/drupal/modules/ctools/ctools.module).
  • Deprecated function: Methods with the same name as their class will not be constructors in a future version of PHP; views_display has a deprecated constructor in require_once() (line 2702 of /var/www/web553/html/drupal/includes/bootstrap.inc).
  • Deprecated function: Methods with the same name as their class will not be constructors in a future version of PHP; views_many_to_one_helper has a deprecated constructor in require_once() (line 113 of /var/www/web553/html/drupal/modules/ctools/ctools.module).
  • 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).
  • 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).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • 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).
  • 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).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • 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).
  • 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).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • 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).
  • 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).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • 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).
  • 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).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • 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).
  • 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).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).
  • Warning: preg_match(): Compilation failed: disallowed Unicode code point (>= 0xd800 && <= 0xdfff) at offset 1811 in ctools_cleanstring() (line 157 of /var/www/web553/html/drupal/modules/ctools/includes/cleanstring.inc).

Publications

Books

Cover Authors / Editors Title Year
Thom Frühwirth and Frank Raiser Constraint Handling Rules: Compilation, Execution, and Analysis 2011

Articles

Authors Title Year
Frank Raiser and Thom Frühwirth Analysing graph transformation systems through constraint handling rules 2010
Hariolf Betz, Frank Raiser, and Thom W. Frühwirth A complete and terminating execution model for Constraint Handling Rules 2010
Frank Raiser and Thom Frühwirth Strong joinability analysis for graph transformation systems in CHR 2009

Workshop Publications

Authors Title Year
Marcel Dausend and Frank Raiser Model Transformation using Constraint Handling Rules as a basis for Model Interpretation 2011
Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Frank Raiser, and Thom Frühwirth Constraint-based hardware synthesis 2010
Frank Raiser and Thom Frühwirth Exhaustive parallel rewriting with multiple removals 2010
Ahmed Magdy, Frank Raiser, and Thom Frühwirth Implementing dynamic programming recurrences in constraint handling rules with rule priorities 2010
Hariolf Betz, Frank Raiser, and Thom Frühwirth Persistent constraints in constraint handling rules 2010
Johannes Langbein, Frank Raiser, and Thom Frühwirth A state equivalence and confluence checker for CHR 2010
Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth MTSeq - multi-touch-enabled music generation and manipulation based on CHR 2010
Frank Raiser and Thom Frühwirth Strong joinability analysis for graph transformation systems in CHR 2009
Frank Raiser and Thom Frühwirth Operational equivalence of graph transformation systems 2009
Frank Raiser, Hariolf Betz, and Thom Frühwirth Equivalence of CHR states revisited 2009
Frank Raiser and Thom Frühwirth Towards Term Rewriting Systems in Constraint Handling Rules 2008
Frank Raiser and Paolo Tacchella On Confluence of Non-terminating CHR Programs 2007

Technical Reports