default search action
Laurent Trilling
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c20]Rémi Segretain, Laurent Trilling, Nicolas Glade, Sergiu Ivanov:
Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean Networks. BIBE 2021: 1-6 - 2020
- [c19]Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade:
A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function. COMPLEX NETWORKS (2) 2020: 372-385
2010 – 2019
- 2017
- [c18]Quoc-Trung Vuong, Roselyne J. Chauvin
, Sergiu Ivanov, Nicolas Glade, Laurent Trilling:
A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks. COMPLEX NETWORKS 2017: 567-579 - 2015
- [c17]Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling:
Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. IWBBIO (1) 2015: 599-612 - 2012
- [c16]Fabien Corblin, Eric Fanchon, Laurent Trilling, Claudine Chaouiya
Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. IPCAT 2012: 25-30 - 2010
- [j6]Fabien Corblin, Eric Fanchon, Laurent Trilling:
Applications of a formal approach to decipher discrete genetic networks. BMC Bioinform. 11: 385 (2010)
2000 – 2009
- 2009
- [j5]Fabien Corblin, Sébastien Tripodi, Eric Fanchon, Delphine Ropers
A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosyst. 98(2): 91-104 (2009) - 2007
- [j4]Fabien Corblin, Eric Fanchon, Laurent Trilling:
Modélisation de réseaux biologiques discrets en programmation logique par contraintes. Tech. Sci. Informatiques 26(1-2): 73-98 (2007) - 2004
- [c15]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
- [c14]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
- [c13]Nicolas Thierry-Mieg, Laurent Trilling:
InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans. JOBIM 2000: 135-146
1990 – 1999
- 1999
- [j3]Denis Bouhineau, Laurent Trilling, Jacques Cohen:
An Application of CLP: Checking the Correctness of Theorems in Geometry. Constraints An Int. J. 4(4): 383-405 (1999) - [c12]Michel Levy, Laurent Trilling:
A PVS-Based Approach for Teaching Constructing Correct Iterations. World Congress on Formal Methods 1999: 1859-1860 - 1995
- [c11]Richard Allen, Laurent Trilling:
Logic programming: a tool for development of educational systems. WCCE 1995: 953-962 - 1994
- [c10]Richard Allen, Cyrille Desmoulins, Laurent Trilling:
On Cross-Fertilization between Logic Programming and Educational Systems. ICLP Workshop: Logic Programming and Education 1994 - [c9]Jeanne Idt, Michel Levy, Laurent Trilling:
Constraints that Assist in the Teaching of Logic Programming. ICLP Workshop: Logic Programming and Education 1994 - 1993
- [c8]Richard Allen, Jeanne Idt, Laurent Trilling:
Constraint Based Automatic Construction and Manipulation of Geometric Figures. IJCAI 1993: 453-459 - 1992
- [c7]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
- [c6]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 - [c5]Daniel Herman, Laurent Trilling:
Programming a Parallel Sort Using Distributed Procedure Calls. ICCI 1991: 415-417
1980 – 1989
- 1988
- [c4]Rene Quiniou, Laurent Trilling:
Collective Predicates: Expressing Control of OR-Parallelism in Prolog. AIMSA 1988: 159-167 - 1985
- [c3]Rene Quiniou, Laurent Trilling:
Des primitives pour la synchronisation des branches OU. Un exemple d'application. SPLT 1985 - 1984
- [c2]Michèle Courant, Sophie Robin, Laurent Trilling:
Un système de traitement de petites annonces. SPLT 1984
1970 – 1979
- 1979
- [j2]Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling:
An Event-Driven Compiling Technique. Commun. ACM 22(1): 34-42 (1979) - 1974
- [j1]Jacques Cohen, Laurent Trilling, Peter Wegner:
A nucleus of a theorem-prover described inAlgol -68. Int. J. Parallel Program. 3(1): 1-31 (1974) - 1970
- [c1]Laurent Trilling, Jean-Pierre Verjus:
An Attempted Definition of an Extensible System. ALGOL 68 Implementation 1970: 119-139
1960 – 1969
- 1967
- [b1]Laurent Trilling:
Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement. Joseph Fourier University, Grenoble, France, 1967
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: