The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Laurent Trilling: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rene Quiniou, Laurent Trilling
    Collective Predicates: Expressing Control of OR-Parallelism in Prolog. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1988, pp:159-167 [Conf]
  2. Laurent Trilling, Jean-Pierre Verjus
    An Attempted Definition of an Extensible System. [Citation Graph (0, 0)][DBLP]
    ALGOL 68 Implementation, 1970, pp:119-139 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:104-118 [Conf]
  4. Michel Levy, Laurent Trilling
    A PVS-Based Approach for Teaching Constructing Correct Iterations. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1859-1860 [Conf]
  5. Daniel Herman, Laurent Trilling
    Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:374-385 [Conf]
  6. Daniel Herman, Laurent Trilling
    Programming a Parallel Sort Using Distributed Procedure Calls. [Citation Graph (0, 0)][DBLP]
    ICCI, 1991, pp:415-417 [Conf]
  7. Richard Allen, Jeanne Idt, Laurent Trilling
    Constraint Based Automatic Construction and Manipulation of Geometric Figures. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:453-459 [Conf]
  8. Richard Allen, Cyrille Desmoulins, Laurent Trilling
    Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 1992, pp:325-334 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:59-74 [Conf]
  10. Michèle Courant, Sophie Robin, Laurent Trilling
    Un système de traitement de petites annonces. [Citation Graph (0, 0)][DBLP]
    SPLT, 1984, pp:- [Conf]
  11. Rene Quiniou, Laurent Trilling
    Des primitives pour la synchronisation des branches OU. Un exemple d'application. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
  12. Nicolas Thierry-Mieg, Laurent Trilling
    InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans. [Citation Graph (0, 0)][DBLP]
    JOBIM, 2000, pp:135-146 [Conf]
  13. Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling
    An Event-Driven Compiling Technique. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1979, v:22, n:1, pp:34-42 [Journal]
  14. Denis Bouhineau, Laurent Trilling, Jacques Cohen
    An Application of CLP: Checking the Correctness of Theorems in Geometry. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:4, pp:383-405 [Journal]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002