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)A Microcoded Unifier for Lisp Machine Prolog.. SLP, page 162-171. IEEE-CS, (1985)Freeze, Indexing, and Other Implementation Issues in the WAM.. ICLP, page 40-58. MIT Press, (1987)Time-aware Test Execution Scheduling for Cyber-Physical Systems., , , , and . SE/SWM, volume P-292 of LNI, page 121-122. GI, (2019)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)Exact and metaheuristic methods for a real-world examination timetabling problem., , , , , and . J. Sched., 26 (4): 353-367 (August 2023)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)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)