Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean Networks. - Segretain, Rémi; Trilling, Laurent; Glade, Nicolas; Ivanov, Sergiu (2021)

A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function. - Segretain, Rémi; Ivanov, Sergiu; Trilling, Laurent; Glade, Nicolas (2020)

A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks. - Vuong, Quoc-Trung; Chauvin, Roselyne J.; Ivanov, Sergiu; Glade, Nicolas; Trilling, Laurent (2017)

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. - Mobilia, Nicolas; Rocca, Alexandre; Chorlton, Samuel; Fanchon, Eric; Trilling, Laurent (2015)

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. - Corblin, Fabien; Fanchon, Eric; Trilling, Laurent; Chaouiya, Claudine; Thieffry, Denis (2012)

Applications of a formal approach to decipher discrete genetic networks. - Corblin, Fabien; Fanchon, Eric; Trilling, Laurent (BMC Bioinform., 2010)

A declarative constraint-based method for analyzing discrete genetic regulatory networks. - Corblin, Fabien; Tripodi, Sébastien; Fanchon, Eric; Ropers, Delphine; Trilling, Laurent (Biosyst., 2009)

Modélisation de réseaux biologiques discrets en programmation logique par contraintes. - Corblin, Fabien; Fanchon, Eric; Trilling, Laurent (Tech. Sci. Informatiques, 2007)

Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming. - Fanchon, Eric; Corblin, Fabien; Trilling, Laurent; Hermant, Bastien; Gulino, Danielle (2004)

Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage. - Buthod-Garçon, Sébastien; Dumoulin, Michel; Trilling, Laurent (2001)

InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans. - Thierry-Mieg, Nicolas; Trilling, Laurent (2000)

An Application of CLP: Checking the Correctness of Theorems in Geometry. - Bouhineau, Denis; Trilling, Laurent; Cohen, Jacques (Constraints An Int. J., 1999)

A PVS-Based Approach for Teaching Constructing Correct Iterations. - Levy, Michel; Trilling, Laurent (1999)

Logic programming: a tool for development of educational systems. - Allen, Richard; Trilling, Laurent (1995)

On Cross-Fertilization between Logic Programming and Educational Systems. - Allen, Richard; Desmoulins, Cyrille; Trilling, Laurent (1994)

Constraints that Assist in the Teaching of Logic Programming. - Idt, Jeanne; Levy, Michel; Trilling, Laurent (1994)

Constraint Based Automatic Construction and Manipulation of Geometric Figures. - Allen, Richard; Idt, Jeanne; Trilling, Laurent (1993)

Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques. - Allen, Richard; Desmoulins, Cyrille; Trilling, Laurent (1992)

Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures. - Herman, Daniel; Trilling, Laurent (1991)

Programming a Parallel Sort Using Distributed Procedure Calls. - Herman, Daniel; Trilling, Laurent (1991)

Collective Predicates: Expressing Control of OR-Parallelism in Prolog. - Quiniou, Rene; Trilling, Laurent (1988)

Des primitives pour la synchronisation des branches OU. Un exemple d'application. - Quiniou, Rene; Trilling, Laurent (1985)

Un système de traitement de petites annonces. - Courant, Michèle; Robin, Sophie; Trilling, Laurent (1984)

An Event-Driven Compiling Technique. - Banâtre, Jean-Pierre; Routeau, Jean-Paul; Trilling, Laurent (Commun. ACM, 1979)

A nucleus of a theorem-prover described inAlgol -68. - Cohen, Jacques; Trilling, Laurent; Wegner, Peter (Int. J. Parallel Program., 1974)

An Attempted Definition of an Extensible System. - Trilling, Laurent; Verjus, Jean-Pierre (1970)

Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement. - Trilling, Laurent (1967)