Scott Cotton

According to our database1, Scott Cotton authored at least 13 papers between 2001 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
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

2010
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

2006
Fast and Flexible Difference Constraint Propagation for DPLL(T).
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2004
Some Progress in Satisfiability Checking for Difference Logic.
Proceedings of the Formal Techniques, 2004

2002
An Integrated Framework for Treebanks and Multilayer Annotations
CoRR, 2002

An integrated framework for treebanks and multilayer annotations.
Proceedings of the Third International Conference on Language Resources and Evaluation, 2002

2001
English Tasks: All-Words and Verb Lexical Sample.
Proceedings of Second International Workshop on Evaluating Word Sense Disambiguation Systems, 2001

SENSEVAL-2: Overview.
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


  Loading...