Laurent Trilling

27 papers A* 1B 1C 2Misc 1Journal 6Unranked 15
YearRankTypeTitle / Venue / Authors
2021 C conf
Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean Networks.
BIBE
Rémi Segretain, Laurent Trilling, Nicolas Glade, Sergiu Ivanov
2020 — conf
A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function.
COMPLEX NETWORKS (2)
Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade
2017 — conf
A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks.
COMPLEX NETWORKS
Quoc-Trung Vuong, Roselyne J. Chauvin, Sergiu Ivanov, Nicolas Glade, Laurent Trilling
2015 — conf
Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework.
IWBBIO (1)
Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling
2012 — conf
Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data.
IPCAT
Fabien Corblin, Eric Fanchon, Laurent Trilling, Claudine Chaouiya, Denis Thieffry
2010 J jnl
Applications of a formal approach to decipher discrete genetic networks.
BMC Bioinform.
Fabien Corblin, Eric Fanchon, Laurent Trilling
2009 J jnl
A declarative constraint-based method for analyzing discrete genetic regulatory networks.
Biosyst.
Fabien Corblin, Sébastien Tripodi, Eric Fanchon, Delphine Ropers, Laurent Trilling
2007 J jnl
Modélisation de réseaux biologiques discrets en programmation logique par contraintes.
Tech. Sci. Informatiques
Fabien Corblin, Eric Fanchon, Laurent Trilling
2004 — conf
Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming.
CMSB
Eric Fanchon, Fabien Corblin, Laurent Trilling, Bastien Hermant, Danielle Gulino
2001 — conf
Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage.
JFPLC
Sébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling
2000 — conf
InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans.
JOBIM
Nicolas Thierry-Mieg, Laurent Trilling
1999 — conf
A PVS-Based Approach for Teaching Constructing Correct Iterations.
World Congress on Formal Methods
Michel Levy, Laurent Trilling
1999 J jnl
An Application of CLP: Checking the Correctness of Theorems in Geometry.
Constraints An Int. J.
Denis Bouhineau, Laurent Trilling, Jacques Cohen
1995 — conf
Logic programming: a tool for development of educational systems.
WCCE
Richard Allen, Laurent Trilling
1994 — conf
Constraints that Assist in the Teaching of Logic Programming.
ICLP Workshop: Logic Programming and Education
Jeanne Idt, Michel Levy, Laurent Trilling
1994 — conf
On Cross-Fertilization between Logic Programming and Educational Systems.
ICLP Workshop: Logic Programming and Education
Richard Allen, Cyrille Desmoulins, Laurent Trilling
1993 A* conf
Constraint Based Automatic Construction and Manipulation of Geometric Figures.
IJCAI
Richard Allen, Jeanne Idt, Laurent Trilling
1992 B conf
Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques.
Intelligent Tutoring Systems
Richard Allen, Cyrille Desmoulins, Laurent Trilling
1991 — conf
Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures.
Research Directions in High-Level Parallel Programming Languages
Daniel Herman, Laurent Trilling
1991 C conf
Programming a Parallel Sort Using Distributed Procedure Calls.
ICCI
Daniel Herman, Laurent Trilling
1988 Misc conf
Collective Predicates: Expressing Control of OR-Parallelism in Prolog.
AIMSA
Rene Quiniou, Laurent Trilling
1985 — conf
Des primitives pour la synchronisation des branches OU. Un exemple d'application.
SPLT
Rene Quiniou, Laurent Trilling
1984 — conf
Un système de traitement de petites annonces.
SPLT
Michèle Courant, Sophie Robin, Laurent Trilling
1979 J jnl
An Event-Driven Compiling Technique.
Commun. ACM
Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling
1974 J jnl
A nucleus of a theorem-prover described inAlgol -68.
Int. J. Parallel Program.
Jacques Cohen, Laurent Trilling, Peter Wegner
1970 — conf
An Attempted Definition of an Extensible System.
ALGOL 68 Implementation
Laurent Trilling, Jean-Pierre Verjus
1967 — —
Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement.
Laurent Trilling