Laurent Trilling

Publication Activity (10 Years)

Years Active: 1970-2021
Publications (10 Years): 4

Top Venues

COMPLEX NETWORKS (2)

BIBE

IWBBIO (1)

IPCAT

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

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

Laurent Trilling.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laurent Trilling