Scott Cotton

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Julien Legriel, Scott Cotton, Oded Maler
On universal search strategies for multi-criteria optimization using weighted sums. IEEE Congress on Evolutionary Computation (2011)
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)
Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi
Multi-criteria optimization for mapping programs to multi-processors. SIES (2011)
Scott Cotton
Natural Domain SMT: A Preliminary Assessment. FORMATS (2010)
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS (2010)
Scott Cotton
Two Techniques for Minimizing Resolution Proofs. SAT (2010)
Scott Cotton, Oded Maler
Fast and Flexible Difference Constraint Propagation for DPLL(T). SAT (2006)
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT (2004)
Scott Cotton, Steven Bird
An Integrated Framework for Treebanks and Multilayer Annotations CoRR (2002)
Scott Cotton, Steven Bird
An integrated framework for treebanks and multilayer annotations. LREC (2002)
Philip Edmonds, Scott Cotton
SENSEVAL-2: Overview. SENSEVAL@ACL (2001)
Martha Palmer, Christiane Fellbaum, Scott Cotton, Lauren Delfs, Hoa Trang Dang
English Tasks: All-Words and Verb Lexical Sample. SENSEVAL@ACL (2001)
Martha Palmer, Joseph Rosenzweig, Scott Cotton
Automatic Predicate Argument Analysis of the Penn TreeBank. HLT (2001)