Laurent Trilling - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2021

Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean NetworksRémi Segretain, Laurent Trilling, Nicolas Glade, Sergiu Ivanov 0001. bibe 2021: 1-6 [doi]

2020

A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and FunctionRémi Segretain, Sergiu Ivanov 0001, Laurent Trilling, Nicolas Glade. complexnetworks 2021: 372-385 [doi]

2017

A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton NetworksQuoc-Trung Vuong, Roselyne Chauvin, Sergiu Ivanov, Nicolas Glade, Laurent Trilling. complexnetworks 2018: 567-579 [doi]

2015

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic FrameworkNicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling. iwbbio 2015: 599-612 [doi]

2012

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression DataFabien Corblin, Eric Fanchon, Laurent Trilling, Claudine Chaouiya, Denis Thieffry. ipcat 2012: 25-30 [doi]

2010

Applications of a formal approach to decipher discrete genetic networksFabien Corblin, Eric Fanchon, Laurent Trilling. bmcbi, 11:385, 2010. [doi]

2009

A declarative constraint-based method for analyzing discrete genetic regulatory networksFabien Corblin, Sébastien Tripodi, Eric Fanchon, Delphine Ropers, Laurent Trilling. biosystems, 98(2):91-104, 2009. [doi]

2007

Modélisation de réseaux biologiques discrets en programmation logique par contraintesFabien Corblin, Eric Fanchon, Laurent Trilling. tsi, 26(1-2):73-98, 2007. [doi]

2004

Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic ProgrammingEric Fanchon, Fabien Corblin, Laurent Trilling, Bastien Hermant, Danielle Gulino. cmsb 2005: 104-118 [doi]

2001

Un résolveur d ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglageSébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling. jfplc 2001: 59-74

2000

InterDB, a Prediction-Oriented Protein Interaction Database for C. elegansNicolas Thierry-Mieg, Laurent Trilling. jobim 2001: 135-146 [doi]

1999

An Application of CLP: Checking the Correctness of Theorems in GeometryDenis Bouhineau, Laurent Trilling, Jacques Cohen. constraints, 4(4):383-405, 1999.

A PVS-Based Approach for Teaching Constructing Correct IterationsMichel Levy, Laurent Trilling. FM 1999: 1859-1860 [doi]

1995

Logic programming: a tool for development of educational systemsRichard Allen, Laurent Trilling. wcce 1995: 953-962 [doi]

1994

On Cross-Fertilization between Logic Programming and Educational SystemsRichard Allen, Cyrille Desmoulins, Laurent Trilling. ICLP 1994:

Constraints that Assist in the Teaching of Logic ProgrammingJeanne Idt, Michel Levy, Laurent Trilling. ICLP 1994:

1993

Constraint Based Automatic Construction and Manipulation of Geometric FiguresRichard Allen, Jeanne Idt, Laurent Trilling. IJCAI 1993: 453-459

1992

Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriquesRichard Allen, Cyrille Desmoulins, Laurent Trilling. its 1992: 325-334

1991

Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable ProceduresDaniel Herman, Laurent Trilling. hlppp 1992: 374-385

Programming a Parallel Sort Using Distributed Procedure CallsDaniel Herman, Laurent Trilling. icci 1991: 415-417

1988

Collective Predicates: Expressing Control of OR-Parallelism in PrologRene Quiniou, Laurent Trilling. aimsa 1988: 159-167

1985

Des primitives pour la synchronisation des branches OU. Un exemple d applicationRene Quiniou, Laurent Trilling. jfplc 1985:

1984

Un système de traitement de petites annoncesMichèle Courant, Sophie Robin, Laurent Trilling. jfplc 1984:

1979

An Event-Driven Compiling TechniqueJean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling. CACM, 22(1):34-42, 1979.

1974

A nucleus of a theorem-prover described inAlgol -68Jacques Cohen, Laurent Trilling, Peter Wegner. ijpp, 3(1):1-31, 1974. [doi]

1970

An Attempted Definition of an Extensible SystemLaurent Trilling, Jean-Pierre Verjus. algol 1971: 119-139

1967

Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquementLaurent Trilling. PhD thesis, Joseph Fourier University, Grenoble, France, 1967. [doi]

Sign in or sign up to see more results.

runs on WebDSL