Author of the publication

A Semantic Framework for the Analysis of Concurrent Constraint Programming.

. APPIA-GULP-PRODE, page 57-68. (1997)

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

A Semantic Framework for the Analysis of Concurrent Constraint Programming.. APPIA-GULP-PRODE, page 57-68. (1997)Data path structures and heuristics for testable allocation in high level synthesis., , , , and . Microprocess. Microprogramming, 39 (2-5): 263-266 (1993)Planck 2015 results. I. Overview of products and scientific results, , , , , , , , , and 344 other author(s). (2015)Colloidal stability of nanosized titania aqueous suspensions, , , , and . JOURNAL OF THE EUROPEAN CERAMIC SOCIETY, 28 (11): 2171-2176 (2008)Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation., , , and . APPIA-GULP-PRODE, page 433-442. (1998)A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas., and . APPIA-GULP-PRODE, page 421-432. (1998)A learner-centered approach to multimedia explanations: Deriving instructional design principles from cognitive theory, and . Interactive multimedia electronic journal of computer-enhanced learning, 2 (2): 12--20 (2000)A unified approach for scheduling and allocation., , , and . Integr., 23 (1): 1-35 (1997)Cobalt particle size effects in Fischer--Tropsch synthesis: structural and< i> in situ</i> spectroscopic characterisation on reverse micelle-synthesised Co/ITQ-2 model catalysts, , , and . Journal of Catalysis, 266 (1): 129--144 (2009)Cross-sectional association between non-soy legume consumption, serum uric acid and hyperuricemia: the PREDIMED-Plus study, , , , , , , , , and 290 other author(s). European Journal of Nutrition, 59 (5): 2195--2206 (Aug 1, 2020)