Author of the publication

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.

 

Other publications of authors with the same name

Compiling and Executing Disjunctions of Finite Domain Constraints., and . ICLP, page 117-131. MIT Press, (1995)Freeze, Indexing, and Other Implementation Issues in the WAM.. ICLP, page 40-58. MIT Press, (1987)A Microcoded Unifier for Lisp Machine Prolog.. SLP, page 162-171. IEEE-CS, (1985)Time-aware Test Execution Scheduling for Cyber-Physical Systems., , , , and . SE/SWM, volume P-292 of LNI, page 121-122. GI, (2019)Dispensation Order Generation for Pyrosequencing., and . APBC, volume 29 of CRPIT, page 327-332. Australian Computer Society, (2004)Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family., and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 59-73. Springer, (2001)Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints., , , and . CoRR, (2019)A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment., , and . ICLP/SLP, page 1565-1577. MIT Press, (1988)Evidence of Non-Thermal Particles in Coronal Loops Heated Impulsively by Nanoflares, , , , , , , , , and 14 other author(s). Science, 346 (6207): 1255724 (Oct 22, 2014)A Unified Computational Model for Solar and Stellar Flares, , and . (Jul 15, 2015)