| 2007 |
|---|
| 15 | EE | Fabien Corblin,
Eric Fanchon,
Laurent Trilling:
Modélisation de réseaux biologiques discrets en programmation logique par contraintes.
Technique et Science Informatiques 26(1-2): 73-98 (2007) |
| 2004 |
|---|
| 14 | EE | 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: 104-118 |
| 2001 |
|---|
| 13 | | 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: 59-74 |
| 2000 |
|---|
| 12 | EE | Nicolas Thierry-Mieg,
Laurent Trilling:
InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans.
JOBIM 2000: 135-146 |
| 1999 |
|---|
| 11 | EE | Michel Levy,
Laurent Trilling:
A PVS-Based Approach for Teaching Constructing Correct Iterations.
World Congress on Formal Methods 1999: 1859-1860 |
| 10 | | Denis Bouhineau,
Laurent Trilling,
Jacques Cohen:
An Application of CLP: Checking the Correctness of Theorems in Geometry.
Constraints 4(4): 383-405 (1999) |
| 1993 |
|---|
| 9 | | Richard Allen,
Jeanne Idt,
Laurent Trilling:
Constraint Based Automatic Construction and Manipulation of Geometric Figures.
IJCAI 1993: 453-459 |
| 1992 |
|---|
| 8 | | 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: 325-334 |
| 1991 |
|---|
| 7 | | Daniel Herman,
Laurent Trilling:
Programming a Parallel Sort Using Distributed Procedure Calls.
ICCI 1991: 415-417 |
| 6 | | 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: 374-385 |
| 1988 |
|---|
| 5 | | Rene Quiniou,
Laurent Trilling:
Collective Predicates: Expressing Control of OR-Parallelism in Prolog.
AIMSA 1988: 159-167 |
| 1985 |
|---|
| 4 | | Rene Quiniou,
Laurent Trilling:
Des primitives pour la synchronisation des branches OU. Un exemple d'application.
SPLT 1985 |
| 1984 |
|---|
| 3 | | Michèle Courant,
Sophie Robin,
Laurent Trilling:
Un système de traitement de petites annonces.
SPLT 1984 |
| 1979 |
|---|
| 2 | | Jean-Pierre Banâtre,
Jean-Paul Routeau,
Laurent Trilling:
An Event-Driven Compiling Technique.
Commun. ACM 22(1): 34-42 (1979) |
| 1970 |
|---|
| 1 | | Laurent Trilling,
Jean-Pierre Verjus:
An Attempted Definition of an Extensible System.
ALGOL 68 Implementation 1970: 119-139 |
