Laurent Trilling

According to our database1, Laurent Trilling
  • authored at least 25 papers between 1967 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks.
Proceedings of the Complex Networks & Their Applications VI, 2017

2015
Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework.
Proceedings of the Bioinformatics and Biomedical Engineering, 2015

2012
Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data.
Proceedings of the Information Processign in Cells and Tissues, 2012

2010
Applications of a formal approach to decipher discrete genetic networks.
BMC Bioinformatics, 2010

2009
A declarative constraint-based method for analyzing discrete genetic regulatory networks.
Biosystems, 2009

2007
Modélisation de réseaux biologiques discrets en programmation logique par contraintes.
Technique et Science Informatiques, 2007

2004
Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2001
Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000
InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans.
Proceedings of the Computational Biology, 2000

1999
An Application of CLP: Checking the Correctness of Theorems in Geometry.
Constraints, 1999

A PVS-Based Approach for Teaching Constructing Correct Iterations.
Proceedings of the FM'99 - Formal Methods, 1999

1995
Logic programming: a tool for development of educational systems.
Proceedings of the World Conference on Computers in Education VI, 1995

1994
Constraints that Assist in the Teaching of Logic Programming.
Proceedings of the ICLP 1994 Workshop W11: Logic Programming and Education, 1994

On Cross-Fertilization between Logic Programming and Educational Systems.
Proceedings of the ICLP 1994 Workshop W11: Logic Programming and Education, 1994

1993
Constraint Based Automatic Construction and Manipulation of Geometric Figures.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques.
Proceedings of the Intelligent Tutoring Systems, Second International Conference, 1992

1991
Programming a Parallel Sort Using Distributed Procedure Calls.
Proceedings of the Advances in Computing and Information, 1991

Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1988
Collective Predicates: Expressing Control of OR-Parallelism in Prolog.
Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1985
Des primitives pour la synchronisation des branches OU. Un exemple d'application.
Proceedings of the SPLT'85, 1985

1984
Un système de traitement de petites annonces.
Proceedings of the SPLT'84, 1984

1979
An Event-Driven Compiling Technique.
Commun. ACM, 1979

1974
A nucleus of a theorem-prover described inAlgol -68.
International Journal of Parallel Programming, 1974

1970
An Attempted Definition of an Extensible System.
Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970

1967
Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement.
PhD thesis, 1967


  Loading...