Peter Van Weert

According to our database1, Peter Van Weert authored at least 9 papers between 2007 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
As time goes by: Constraint Handling Rules.
Theory Pract. Log. Program., 2010

Efficient Lazy Evaluation of Rule-Based Programs.
IEEE Trans. Knowl. Data Eng., 2010

2009
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
CoRR, 2009

2008
CHR for Imperative Host Languages.
Proceedings of the Constraint Handling Rules, 2008

Optimization of CHR Propagation Rules.
Proceedings of the Logic Programming, 24th International Conference, 2008

Actors with Multi-headed Message Receive Patterns.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Aggregates for CHR through Program Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Extension and Implementation of CHR.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Aggregates in Constraint Handling Rules.
Proceedings of the Logic Programming, 23rd International Conference, 2007


  Loading...