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

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

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

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

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

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

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

Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures. - Daniel Herman; Laurent Trilling (Research Directions in High-Level Parallel Programming Languages, 1991)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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