spacer.png, 0 kB
spacer.png, 0 kB
Home arrow The Conference arrow Accepted DC Presentations
Accepted Doctoral Consortium Presentations

Markus Triska
Technische Universitaet Wien, Austria
Generalising Constraint Solving over Finite Domains

Fabio Parisini
University of Bologna, Italy
Bi-dimensional domains for the Non-overlapping Rectangles Constraint

Giorgio Gosti
Università degli studi di Perugia, Italy
Resolving CSP with naming games

Ole Torp Lassen
Roskilde University, Denmark
Biosequence Analysis in PRISM

Giovanni Pirrotta
University of Messina, Italy
Extracting and reasoning about web data

Raffaele Cipriano
Universita di Udine, Italy
On the hybridization of constraint programming and local search techniques: models and software tools

Aliaksei Tsitovich
University of Lugano, Switzerland
Detection of Security Vulnerabilities using Guided Model Checking

Jose Carlos Almeida Santos
Imperial College, UK
TopLog: ILP using a logic program declarative bias

Francois Degrave
University of Namur, Belgium
Development of an automatic testing environment for Mercury

Francesco Santini
IMT Scuola di Studi Avanzati, Italy
Managing Quality of Service with Soft Constraints

Romain Beauxis
Ecole Polytechnique, France
Probabilistic and concurrent models for network and security

Last Updated ( Tuesday, 21 October 2008 )
spacer.png, 0 kB
spacer.png, 0 kB
spacer.png, 0 kB