Rémi Douence

Available identifiers

zbMath Open douence.remiMaRDI QIDQ187608

List of research outcomes

Publication	Date of Publication	Type
Proving Conjectures Acquired by Composing Multiple Biases	2023-12-14	Paper
Boolean-arithmetic equations: acquisition and uses	2023-10-04	Paper
Time-Series Constraints: Improvements and Application in CP and MIP Contexts	2016-06-27	Paper
Using finite transducers for describing and synthesising structural time-series constraints	2016-04-12	Paper
Propagation engine prototyping with a domain specific language	2015-04-29	Paper
Aspects preserving properties	2012-07-20	Paper
Scoping strategies for distributed aspects	2010-11-25	Paper
An Expressive Aspect Language for System Applications with Arachne	2009-06-26	Paper
The next 700 Krivine machines	2007-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4449590	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4440331	2003-12-16	Paper
A generic reification technique for object-oriented reflective languages	2001-07-03	Paper

Research outcomes over time

This page was built for person: Rémi Douence