( en | de | ru )

 

Disambiguation of "Hentenryck, Pascal Van"

Author of the publication

copydeleteadd this publication to your clipboard
Experimental evaluation of a generic abstract interpretation algorithm for Prolog.

, and . ICCL, page 137-146. IEEE Computer Society, (1992)

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.

Huynh Van Van

Pascal Vogel

Pascal Schneider

Pascal Siegers

Pascal Häller

 

Other publications of authors with the same name

Comsumption-based Distributed Unification., , , and . APPIA-GULP-PRODE, page 207-218. (1996)Taming the Unpredictability of Cultural Markets with Social Influence., , , , and . WWW, page 745-754. ACM, (2017)Semantic Foundations of Binding Time Analysis for Imperative Programs., , and . PEPM, page 100-110. ACM Press, (1995)Just-In-Time Scheduling with Constraint Programming., , and . ICAPS, AAAI, (2009)Numerica - A Modeling Language for Global Optimization., , and . MIT Press, (1997)Checking and Filtering Global Set Constraints., and . CP, volume 6876 of Lecture Notes in Computer Science, page 819-833. Springer, (2011)CPBPV: A Constraint-Programming Framework for Bounded Program Verification., , and . CP, volume 5202 of Lecture Notes in Computer Science, page 327-341. Springer, (2008)Parallel Local Search in Comet., and . CP, volume 3709 of Lecture Notes in Computer Science, page 430-444. Springer, (2005)Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows., and . CP, volume 6308 of Lecture Notes in Computer Science, page 99-113. Springer, (2010)Nondeterministic Control for Hybrid Search., and . CPAIOR, volume 3524 of Lecture Notes in Computer Science, page 380-395. Springer, (2005)