Discover open access scientific publications

Search, annotate, share and cite publications

Publications by François Fages

Continuous Valuations of Temporal Logic Specifications With Applications to Parameter Optimization and Robustness Measures

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2011English

Trace Simplifications Preserving Temporal Logic Formulae With Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Stochastic Continuous Optimization Backend for MiniZinc With Applications to Geometrical Placement Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

Modules for Prolog Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Closures and Modules Within Linear Logic Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

From Rules to Constraint Programs With the Rules2CP Modelling Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy