The following pages link to Rémi Douence (Q187608):
Displayed 12 items.
- Using finite transducers for describing and synthesising structural time-series constraints (Q265697) (← links)
- Aspects preserving properties (Q436364) (← links)
- Scoping strategies for distributed aspects (Q608347) (← links)
- Propagation engine prototyping with a domain specific language (Q2342591) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- Time-Series Constraints: Improvements and Application in CP and MIP Contexts (Q2815092) (← links)
- An Expressive Aspect Language for System Applications with Arachne (Q3634738) (← links)
- (Q4440331) (← links)
- (Q4449590) (← links)
- A generic reification technique for object-oriented reflective languages (Q5936650) (← links)
- Boolean-arithmetic equations: acquisition and uses (Q6080985) (← links)
- Proving Conjectures Acquired by Composing Multiple Biases (Q6463580) (← links)