Scott Cotton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2001–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | SpaceEx: Scalable Verification of Hybrid Systems. | Goran Frehse, Colas Le Guernic, Alexandre Donz, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
| 2011 | CEC | On universal search strategies for multi-criteria optimization using weighted sums. | Julien Legriel, Scott Cotton, Oded Maler |
| 2010 | SAT | Two Techniques for Minimizing Resolution Proofs. | Scott Cotton |
| 2010 | TACAS | Approximating the Pareto Front of Multi-criteria Optimization Problems. | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
| 2006 | SAT | Fast and Flexible Difference Constraint Propagation for DPLL(T). | Scott Cotton, Oded Maler |
| 2002 | LREC | An integrated framework for treebanks and multilayer annotations. | Scott Cotton, Steven Bird |
| 2001 | NAACL | Automatic Predicate Argument Analysis of the Penn TreeBank. | Martha Palmer, Joseph Rosenzweig, Scott Cotton |