iComb: study and participative design to redefine a system to teach and learn counting...

Verification of behaviourist multi-agent systems by means of formally guided sim...

A transactional approach to exception handling in business process

Constraint programming and constraint-based scheduling: A case study in the scheduling...

not available

Refining the CoGrOO Grammar Checker

Solving University entrance assessment using information retrieval

Algorithms for the union of circles and polygons

not available

not available