 | 2011 |
|---|
| 9 |       | Goran Frehse,
Colas Le Guernic,
Alexandre Donzé,
Scott Cotton,
Rajarshi Ray,
Olivier Lebeltel,
Rodolfo Ripado,
Antoine Girard,
Thao Dang,
Oded Maler:
SpaceEx: Scalable Verification of Hybrid Systems.
CAV 2011: 379-395 |
| 8 | | Julien Legriel,
Scott Cotton,
Oded Maler:
On universal search strategies for multi-criteria optimization using weighted sums.
IEEE Congress on Evolutionary Computation 2011: 2351-2358 |
| 7 | | Scott Cotton,
Oded Maler,
Julien Legriel,
Selma Saidi:
Multi-criteria optimization for mapping programs to multi-processors.
SIES 2011: 9-17 |
| 2010 |
|---|
| 6 | | Scott Cotton:
Natural Domain SMT: A Preliminary Assessment.
FORMATS 2010: 77-91 |
| 5 | | Scott Cotton:
Two Techniques for Minimizing Resolution Proofs.
SAT 2010: 306-312 |
| 4 | | Julien Legriel,
Colas Le Guernic,
Scott Cotton,
Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems.
TACAS 2010: 69-83 |
| 2006 |
|---|
| 3 | | Scott Cotton,
Oded Maler:
Fast and Flexible Difference Constraint Propagation for DPLL(T).
SAT 2006: 170-183 |
| 2004 |
|---|
| 2 | | Scott Cotton,
Eugene Asarin,
Oded Maler,
Peter Niebert:
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT 2004: 263-276 |
| 2002 |
|---|
| 1 | | Scott Cotton,
Steven Bird:
An Integrated Framework for Treebanks and Multilayer Annotations
CoRR cs.CL/0204007: (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page