dblp.uni-trier.dewww.uni-trier.de

Laurent Trilling Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
15EEFabien 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
14EEEric 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
12EENicolas Thierry-Mieg, Laurent Trilling: InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans. JOBIM 2000: 135-146
1999
11EEMichel 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
7EEDaniel 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

Coauthor Index

1Richard Allen [8] [9]
2Jean-Pierre Banâtre [2]
3Denis Bouhineau [10]
4Sébastien Buthod-Garçon [13]
5Jacques Cohen [10]
6Fabien Corblin [14] [15]
7Michèle Courant [3]
8Cyrille Desmoulins [8]
9Michel Dumoulin [13]
10Eric Fanchon [14] [15]
11Danielle Gulino [14]
12Daniel Herman [6] [7]
13Bastien Hermant [14]
14Jeanne Idt [9]
15Michel Levy [11]
16Rene Quiniou [4] [5]
17Sophie Robin [3]
18Jean-Paul Routeau [2]
19Nicolas Thierry-Mieg [12]
20Jean-Pierre Verjus [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)