Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Etienne Kneuss
Executing Specifications Using Synthesis and Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Executing Formal Specifications Need Not Be Harmful
Software Engineering Journal
Robust Constraint Solving Using Multiple Heuristics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Search as a Means of Executing Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving Multiagent Networks Using Distributed Constraint Optimization
AI Magazine
Artificial Intelligence
Automatic Translation of Architecture Constraint Specifications Into Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method
Controller Synthesis for Nonlinear Systems With Reachability Specifications Using Monotonicity
The Cassowary Linear Arithmetic Constraint Solving Algorithm
ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
Solving Bilevel Problems With Polyhedral Constraint Set
Journal of Applied and Numerical Optimization
