Bibliographie

1

R. Allen, P. Broquin, S. Channac, and L. Trilling.
Issues in Declarative Dynamic Geometry System Design and Implementation.
In 5th ERCIM Working Group on Constraints, Padoue, Italie, June 2000.

2

R. Allen, S. Channac, and L. Trilling.
The Role of Requirements, Specifications, and Implementation in Constructing Dynamic Figures.
Journal of Computers in Mathematic and Science Teaching, 20(7):179-197.

3

R. Allen, S. Channac, and L. Trilling.
Gdrev: A Declarative Dynamic Learning Environment.
In ICCE99, 7th International Conference on Computers in Education, Chiba, Japon, November 1999. IOS Press, Amsterdam.

4

P. Amblard, F. Lagnier, and M. Levy.
Introducing digital circuits design and formal verification concurrently.
In EWME2000 (European Workshop on Microelectronics Education), page 41, 2000.

5

M. Amrani, M. Levy, L. Trilling, and G. Vivier.
Aide à l'enseignement de la construction d'itérations correctes via une méthode formelle automatisée.
In Congrès RFIA2002 (Reconnaissance des Formes et Intelligence Artificielle), January 2002.

6

C. Boileau, J. Prados, and H. Geiselmann.
Transcriptional activation and the geometry of DNA.
In 17th Annual Meeting, Société Française de Biophysique (Nucleic acid recognition by enzymes. The case of DNA-depending polymerases), Nouan le Fuzelier, September 2000.

7

C. Boileau, J. Prados, H. Geiselmann, and L. Trilling.
Constraint Programming for Learning from Experiments Transcriptional Activation and the geometry of DNA.
In L. Duret, C. Caspin, and T. Shiex, editors, JOBIM2001 (Journées Ouvertes Biologie, Informatique, Mathématiques), Toulouse, June 2001.

8

D. Bouhineau, L. Trilling, and J. Cohen.
An application of CLP : Checking the Correctness of Theorems in Geometry.
Constraints, 4(4):383-404, December 1999.

9

S. Buthod-Garçon.
Conception et mise en oeuvre du module de planification du système s.p.i.d. de la société sparflex.
In Club des Utilisateurs CHIP, Société COSYTEC, Orsay, November 2000.

10

S. Buthod-Garçon, M. Dumoulin, and L. Trilling.
Design and Implementation Issues in Constraint Based Long Term Scheduling of Jobs.
In ISA'2000 Intelligent Systems and Applications, Wollongong, Australie, December 2000.

11

S. Buthod-Garçon, L. Trilling, and M. Dumoulin.
Design and Implementation Issues in Constraint Based Long Term Scheduling of Jobs.
In MCPL'2000 Management and Control of Production and Logistics, Grenoble, France, July 2000.

12

S. Channac.
Un système coopératif pour la résolution de contraintes géométriques.
In JFPLC (Journées Françaises de la Programmation Logique avec Contraintes), pages 77-93. Hermès, May 1998.

13

S. Channac.
Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique.
PhD thesis, Université de Grenoble, June 1999.

14

A. Davy, P. Bello, N. Thierry-Mieg, P. Vaglio, J. Hitti, L. Doucette-Stamm, D. Thierry-Mieg, J. Reboul, S. Boulton, A. Walhout, O. Coux, and M. Vidal.
A protein-protein interaction map of the C. elegans 26s proteasome.
EMBO Reports, 21(91):821-828, 2001.

15

M. Dumoulin and J. Sandeville.
A discrete approach for long term scheduling of jobs.
In PACT99 (Conférence on Practical Application of Constraint Programming), Londres, April 1999.

16

M. Lévy.
Présentation de conception de programmes impératifs à l'aide du sous-typage de PVS.
In Journées Modélisation et Vérification, Marseille, December 1998.

17

M. Lévy and L. Trilling.
A PVS-Based Approach for Teaching Constructing Correct Iterations.
In FM'99, World Congress on Formal Methods for Computing Systems, Toulouse, September 1999.

18

J. Reboul, P. Vaglio, N. Tzellas, N. Thierry-Mieg, T. Moore, C. Jackson, T. Shin-i, Y. Kohara, D. Thierry-Mieg, J. Thierry-Mieg, H. Lee, J. Hitti, L. Doucette-Stamm, J. Hartley, G. Temple, M. Brasch, J. Vandenhaute, P. Lamesch, D. Hill, and M. Vidal.
Open-reading-frame sequence tags (OSTs) support the existence of at least 17300 genes in C. elegans.
Nature Genetics, 27(3):332-336, 2001.

19

N. Thierry-Mieg.
InterDB, a prediction-oriented protein database for C. elegans.
In JOBIM2000 (Journées Ouvertes Biologie, Informatique, Mathématiques), pages 367-373, Montpellier, May 2000.

20

N. Thierry-Mieg.
Protein-protein interaction prediction for C. elegans.
In Knowledge discovery in biology workshop, 4th European Conference on Principles and Practice of Knowledge Discovery in Databases, Lyon, September 2000.

21

N. Thierry-Mieg.
Les approches de génomique fonctionnelle chez C. elegans.
In Deuxième Ecole Thématique de Biologie Végétale CNRS/INRA, génomique fonctionnelle chez les végétaux : du gène à la fonction, Carry-le-Rouet, 2001.

22

N. Thierry-Mieg.
Modélisation informatique et anlyse prédictive des interactions protéine-protéine chez Caenorhabditis elegans.
PhD thesis, Université Joseph Fourier, Grenoble, October 2001.

23

N. Thierry-Mieg and L. Trilling.
InterDB, a prediction-oriented protein interaction database for C. elegans.
In O. Gascuel and M.F. Sagot, editors, Computational Biology JOBIM2000 selected papers, volume 2066 of Lecture Notes in Computer Science, pages 135-146, 2001.

24

L. Trilling.
La programmation logique avec contraintes.
Techniques de l'Ingénieur, Paris, May 1998.

25

M. Vidal, M. Walhout, R. Sordella, , N. Thierry-Mieg, M. Brash, G. Temple, J. Hartley, M. Lorson, S. van den Heuvel, and H. Endoh.
The C. elegans protein interaction mapping project: a test-case using proteins involved in vulval development.
In 12th Annual Meeting on Genome Mapping, Sequencing & Biology, Cold Spring Harbor Laboratory, May 1999.

26

M. Vidal, M. Walhout, R. Sordella, N. Thierry-Mieg, M. Brash, G. Temple, J. Hartley, M. Lorson, H. Endoh, S. van den Heuvel, and W. Wong.
Description of a protein-protein interaction mapping project.
In 1998 East Coast C. elegans Meeting, Boston University, June 1998.

27

M. Walhout, H. Endoh, N. Thierry-Mieg, W. Wong, and M. Vidal.
A model of elegance.
American Journal of Human Genetics, 64(3):955-961, October 1998.

28

M. Walhout, R. Sordella, X. Lu, J. Hartley, G. Temple, M. Brasch, N. Thierry-Mieg, and M. Vidal.
Protein interaction mapping in C. elegans using proteins involved in vulval development.
Science, 287(116), 2000.

29

M. Walhout, R. Sordella, N. Thierry-Mieg, M. Brasch, G. Temple, J. Hartley, M. Lorson, S. van den Heuvel, H. Endoh, and M. Vidal.
The C. elegans protein interaction mapping project: a test-case using proteins involved in vulval development.
In 12th International C. elegans Meeting, Madison, June 1999.