Author of the publication

Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics.

, , and . LOPSTR, volume 8901 of Lecture Notes in Computer Science, page 145-163. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Abdennadher, Slim
add a person with the name Abdennadher, Slim
 

Other publications of authors with the same name

Visualization of Constraint Handling Rules., , and . CoRR, (2014)Analyse von regelbasierten Constraintlösern.. Utz, (1998)Cross-lingual acoustic modeling for dialectal Arabic speech recognition., , , and . INTERSPEECH, page 873-876. ISCA, (2010)BECAM tool - a semi-automatic tool for bootstrapping emotion corpus annotation and management., , , , and . INTERSPEECH, page 946-949. ISCA, (2007)Introduction to the Special Issue on Constraint Handling Rules., , and . TPLP, 5 (4-5): 401-402 (2005)Satisfying Poetry Properties Using Constraint Handling Rules., and . CICLing (2), volume 9042 of Lecture Notes in Computer Science, page 335-347. Springer, (2015)I like to Move it: Investigating the Effect of Head and Body Movement of Avatars in VR on User's Perception., , , , , and . CHI Extended Abstracts, ACM, (2018)Using Confluence to Generate Rule-Based Constraint Solvers., and . PPDP, page 127-135. ACM, (2001)Automatic Generation of Propagation Rules for Finite Domains., and . CP, volume 1894 of Lecture Notes in Computer Science, page 18-34. Springer, (2000)Visualization of Constraint Handling Rules: Semantics and Applications., , and . CoRR, (2017)