Laurent Trilling

Publications

114

Citations

H-Index

1979

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Translational Innovation in Medicine and Complexity

Laurent Trilling is an author at Centre National de la Recherche Scientifique specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringSyntaxGeneticsCompilersBiostatisticsPublic HealthFormal MethodsSoftware DesignSystem SoftwareSystems Biology

Publications per year

1979–2010

Publications

A declarative constraint-based method for analyzing discrete genetic regulatory networks

Fabien Corblin, S. Tripodi, Éric Fanchon et al. · Biosystems · 2009 · 41 citations

Mathematical Programming, Constraint Solving, Engineering +12

Applications of a formal approach to decipher discrete genetic networks

Fabien Corblin, Éric Fanchon, Laurent Trilling · BMC Bioinformatics · 2010 · 40 citations · Full text

A SAT-based approach to decipher Gene Regulatory Networks

Fabien Corblin, Youssef Hamadi, Éric Fanchon et al. · 2007 · 18 citations

An event-driven compiling technique

J. P. Banâtre, Jean-Paul Routeau, Laurent Trilling · Communications of the ACM · 1979 · 15 citations · Full text

Engineering, Compiler Technology, Software Engineering +19

Rows per page

1–4 of 4