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 |
Recent comments