Laurent Trilling

According to our database, Laurent Trilling authored at least 27 papers between 1967 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

2020

A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function.

Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade

Proceedings of the Complex Networks & Their Applications IX, 2020

2017

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, Nicolas Glade, Laurent Trilling

Proceedings of the Complex Networks & Their Applications VI, 2017

2015

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework.

Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

2012

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data.

Fabien Corblin, Eric Fanchon, Laurent Trilling, Claudine Chaouiya, Denis Thieffry

Proceedings of the Information Processign in Cells and Tissues, 2012

2010

Applications of a formal approach to decipher discrete genetic networks.

Fabien Corblin, Eric Fanchon, Laurent Trilling

BMC Bioinform., 2010

2009

A declarative constraint-based method for analyzing discrete genetic regulatory networks.

Fabien Corblin, Sébastien Tripodi, Eric Fanchon, Delphine Ropers, Laurent Trilling

Biosyst., 2009

2007

Modélisation de réseaux biologiques discrets en programmation logique par contraintes.

Fabien Corblin, Eric Fanchon, Laurent Trilling

Tech. Sci. Informatiques, 2007

2004

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

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2001

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

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000

InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans.

Nicolas Thierry-Mieg, Laurent Trilling

Proceedings of the Computational Biology, 2000

1999

An Application of CLP: Checking the Correctness of Theorems in Geometry.

Denis Bouhineau, Laurent Trilling, Jacques Cohen

Constraints An Int. J., 1999

A PVS-Based Approach for Teaching Constructing Correct Iterations.

Michel Levy, Laurent Trilling

Proceedings of the FM'99 - Formal Methods, 1999

1995

Logic programming: a tool for development of educational systems.

Richard Allen, Laurent Trilling

Proceedings of the World Conference on Computers in Education VI, 1995

1994

Constraints that Assist in the Teaching of Logic Programming.

Jeanne Idt, Michel Levy, Laurent Trilling

Proceedings of the ICLP 1994 Workshop W11: Logic Programming and Education, 1994

On Cross-Fertilization between Logic Programming and Educational Systems.

Richard Allen, Cyrille Desmoulins, Laurent Trilling

Proceedings of the ICLP 1994 Workshop W11: Logic Programming and Education, 1994

1993

Constraint Based Automatic Construction and Manipulation of Geometric Figures.

Richard Allen, Jeanne Idt, Laurent Trilling

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques.

Richard Allen, Cyrille Desmoulins, Laurent Trilling

Proceedings of the Intelligent Tutoring Systems, Second International Conference, 1992

1991

Programming a Parallel Sort Using Distributed Procedure Calls.

Daniel Herman, Laurent Trilling

Proceedings of the Advances in Computing and Information, 1991

Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures.

Daniel Herman, Laurent Trilling

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1988

Collective Predicates: Expressing Control of OR-Parallelism in Prolog.

Rene Quiniou, Laurent Trilling

Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1985

Des primitives pour la synchronisation des branches OU. Un exemple d'application.

Rene Quiniou, Laurent Trilling

Proceedings of the SPLT'85, 1985

1984

Un système de traitement de petites annonces.

Michèle Courant, Sophie Robin, Laurent Trilling

Proceedings of the SPLT'84, 1984

1979

An Event-Driven Compiling Technique.

Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling

Commun. ACM, 1979

1974

A nucleus of a theorem-prover described inAlgol -68.

Jacques Cohen, Laurent Trilling, Peter Wegner

Int. J. Parallel Program., 1974

1970

An Attempted Definition of an Extensible System.

Laurent Trilling, Jean-Pierre Verjus

Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970

1967

Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement.

Laurent Trilling

PhD thesis, 1967