Multi-criteria optimization for mapping programs to multi-processors.
Proceedings of the Industrial Embedded Systems (SIES), 2011
On universal search strategies for multi-criteria optimization using weighted sums.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011
SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Approximating the Pareto Front of Multi-criteria Optimization Problems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Two Techniques for Minimizing Resolution Proofs.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Natural Domain SMT: A Preliminary Assessment.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
Fast and Flexible Difference Constraint Propagation for DPLL(T).
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Some Progress in Satisfiability Checking for Difference Logic.
Proceedings of the Formal Techniques, 2004
An integrated framework for treebanks and multilayer annotations.
Proceedings of the Third International Conference on Language Resources and Evaluation, 2002
English Tasks: All-Words and Verb Lexical Sample.
Proceedings of Second International Workshop on Evaluating Word Sense Disambiguation Systems, 2001
Proceedings of Second International Workshop on Evaluating Word Sense Disambiguation Systems, 2001
Automatic Predicate Argument Analysis of the Penn TreeBank.
Proceedings of the First International Conference on Human Language Technology Research, 2001