Références

Groupe de Recherche en Complexité et Cryptographie

Livres

1

Stinson (D. R.). - Cryptographie, Théorie et Pratique. - International Thomson Publishing, 1996. Traduction française de Serge Vaudenay.

Chapitres de livres

2

Couveignes (J.-M.) et Granboulan (L.). - Dessins from a geometric point of view. In: Grothendieck's dessins d'enfants, éd. par Schneps (L.). - Cambridge University Press, 1994, Lecture Notes in Math. Disponible comme LIENS-94-2.

3

Couveignes (J.-M.). - Computing a square root for the number field sieve. In: The development of the number field sieve, pp. 95-102. - Springer-Verlag, 1993, Lecture Notes in Math., volume 1554.

Articles dans des revues internationales avec comité de lecture

4

Arora (S.), Babai (L.), Stern (J.) et Sweedyk (Z.). - The hardness of approximating problems defined by linear constraints. J of Comp. Syst. Sci., 1997. - À paraître.

5

Bennett (C. H.), Brassard (G.), Crépeau (C.), Jozsa (R.), Peres (A.) et Wootters (W.). - Teleporting an unkown quantum state by dual classical and EPR channels. Physical Review Letter, vol. 70, 1993, pp. 1895-1898.

6

Bennett (C. H.), Brassard (G.), Crépeau (C.) et Maurer (U.). - Generalized privacy amplification. IEEE Transaction on Information Theory, 1995.

7

Blackburn (S.), Murphy (S.) et Stern (J.). - The cryptanalysis of a public-key implementation of finite group mappings. J. of Cryptology, vol. 8, 1995, pp. 157-166.

8

Coppersmith (D.), Stern (J.) et Vaudenay (S.). - The security of the birational permutation signature schemes. J. of Cryptology, 1997. - À paraître.

9

Coster (M. J.), Joux (A.), LaMacchia (B. A.), Odlyzko (A.), Schnorr (C.-P.) et Stern (J.). - Improved low-density subset sum algorithms. Computational Complexity, vol. 2, 1993, pp. 11-128.

10

Couveignes (J.-M.). - Calcul et rationalité de fonctions de Belyi en genre 0. Annales de l'Institut Fourier, vol. 44, n&#;'27 1, 1994, pp. 1-38.

11

Couveignes (J.-M.). - À propos du théorème de Belyi. Journal de théorie des nombres de Bordeaux, vol. 8, 1996, pp. 93-99.

12

Couveignes (J.-M.). - Une famille de revêtements définis sur Q. Manuscripta mathematica, vol. 94-4, 1997.

13

Crépeau (C.). - Quantum oblivious transfer. Journal of Modern Optics, vol. 41, n&#;'27 12, 1994, pp. 2445-2454.

14

Friedman (J.), Joux (A.), Roichman (Y.), Stern (J.) et Tillich (J.-P.). - The action of a few random permutations is quickly r-transitive. Random Structures and Algorithms, 1997. - À paraître.

15

Granboulan (L.). - Construction d'une extension régulière de Q(T) de groupe de galois M24. Journal of Experimental Maths, vol. 5, n&#;'27 1, 1996.

16

Joux (A.) et Stern (J.). - Lattice reduction: a toolbox for the cryptanalyst. J. of Cryptology, 1997. - À paraître.

17

Joux (A.). - A fast parallel lattice reduction algorithm. Journal of Computing and Information, vol. 4, 1994, pp. 163-179.

18

Lachaud (G.) et Stern (J.). - Polynomial-time construction of codes II: Spherical codes and the kissing number of spheres. IEEE Transactions on Information Theory, vol. 40, 1994, pp. 1140-1146.

19

Petersen (H.). - Anonyme elektronische Zahlungssysteme. Datenschutz und Datensicherheit, vol. 21, n&#;'27 7, juil. 1997. - À paraître.

20

Petersen (H.). - Faire elektronische Zahlungssysteme. Datenschutz und Datensicherheit, vol. 21, n&#;'27 9, sept. 1997. - À paraître.

21

Poupard (G.). - A realistic security analysis of identification schemes based on combinatorial problems. European Transactions on Telecommunications, 1997.

22

Stern (J.). - A new paradigm for public-key identification. IEEE Transaction on Information Theory, vol. 42, 1996, pp. 1757-1768.

Conférences invitées

23

Schnorr (C. P.) et Vaudenay (S.). - Parallel FFT-hashing. In: Fast Software Encryption - FSE1, éd. par Anderson (R.). LNCS, volume 809, pp. 149-156. - Cambridge, U.K., 9-11déc. 1993.

24

Vaudenay (S.). - On the need for multipermutations: Cryptanalysis of MD4 and SAFER. In: Fast Software Encryption - FSE2, éd. par Preneel (B.). LNCS, volume 1008, pp. 286-297. - Leuven, Belgium, déc. 1994. Disponible comme LIENS-94-23.

Communications dans des conférences internationales avec comité de lecture

25

Anderson (R.), Vaudenay (S.), Preneel (B.) et Nyberg (K.). - The Newton channel. In: Proceedings of the First International Workshop on Information Hiding, Cambridge, U. K., May 1996. LNCS, volume 1174, pp. 151-156. - Springer-Verlag, 1996.

26

Anderson (R.) et Vaudenay (S.). - Minding your p's and q's. In: Advances in Cryptology - ASIACRYPT'96, éd. par Kim (K.) et Matsumoto (T.). LNCS, volume 1163, pp. 26-35. - Kyongju, Korea, nov. 1996.

27

Arora (S.), Babai (L.), Stern (J.) et Sweedyk (Z.). - The hardness of approximating problems defined by linear constraints. In: Proceedings of the IEEE Symposium on Foundations of Computer Science, pp. 586-597. - 1993.

28

Béguin (P.) et Cresti (A.). - General short non perfect secret sharing schemes. In: Advances in Cryptology - EUROCRYPT'95, éd. par Guillou (L. C.) et Quisquater (J.-J.). LNCS, volume 921, pp. 194-208. - Saint-Malo, France, mai 1995.

29

Béguin (P.) et Quisquater (J.-J.). - Resistant server-aided secret computations for public-key cryptosystems. In: Proceedings of the Fifteenth Symposium on Information Theory in the Benelux, éd. par Macq (B.). pp. 127-131. - 'Werkgemeenschap voor Informatie- en Communicatie theorie', The Netherlands, 1994.

30

Béguin (P.) et Quisquater (J.-J.). - Secure acceleration of DSS signatures using insecure server. In: Advances in Cryptology - ASIACRYPT'94. LNCS, volume 917. - Springer-Verlag, 1994.

31

Béguin (P.) et Quisquater (J.-J.). - Fast server-aided RSA signatures secure against active attacks. In: Advances in Cryptology - CRYPTO'95. LNCS, pp. 57-69. - Santa-Barbara, California, août 1995.

32

Bennett (C. H.), Brassard (G.), Crépeau (C.) et Maurer (U.). - Generalized privacy amplification (abstract). In: Proceedings of the IEEE Symposium on Information Theory, p. 350. - 1994. Version définitive : [6].

33

Blackburn (S.), Murphy (S.) et Stern (J.). - Weaknesses of a public key cryptosystem based on factorization of finite groups. In: Advances in Cryptology - EUROCRYPT'93, éd. par Helleseth (T.). LNCS, volume 765, pp. 50-54. - Springer-Verlag, 1993.

34

Brassard (G.), Crépeau (C.), Jozsa (R.) et Langlois (D.). - A quantum bit commitment scheme provably unbreakable by both parties. In: Symposium on Foundations of Computer Science. pp. 42-52. - IEEE, 1993.

35

Chabaud (F.) et Stern (J.). - The cryptographic security of the syndrome decoding problem for rank distance codes. In: Advances in Cryptology - ASIACRYPT'96, éd. par Kim (K.) et Matsumoto (T.). LNCS, volume 1163, pp. 368-381. - Kyongju, Korea, nov. 1996.

36

Chabaud (F.) et Vaudenay (S.). - Links between differential and linear cryptanalysis. In: Advances in Cryptology - EUROCRYPT'94, éd. par de Santis (A.). LNCS, volume 950, pp. 356-365. - Perugia, Italie, mai 1994. Disponible comme LIENS-94-3 [95].

37

Chabaud (F.). - Asymptotic analysis of probabilistic algorithms for finding short codewords. In: EUROCODE'92, éd. par Camion (P.), Charpin (P.) et Harari (S.). CISM Courses and Lectures, volume 339, pp. 175-183. - Udine, Italy, 1993.

38

Chabaud (F.). - On the security of some cryptosystems based on error-correcting codes. In: Advances in Cryptology - EUROCRYPT'94, éd. par de Santis (A.). LNCS, volume 950, pp. 131-139. - Perugia, Italie, mai 1994.

39

Coppersmith (D.), Stern (J.) et Vaudenay (S.). - Attacks on the birational permutation signature schemes. In: Advances in Cryptology - CRYPTO'93, éd. par Stinson (D. R.). LNCS, volume 773, pp. 435-443. - Santa-Barbara, California, août 1994. Disponible comme LIENS-93-25.

40

Couveignes (J.-M.), Diaz-Frias (J. F.), de Rougemont (M.) et Santha (M.). - On the interactive complexity of graph reliability. In: 14th FSTTCS Foundations of Software Technology and Theoretical Computer Science. - Springer, 1994.

41

Couveignes (J.-M.) et Morain (F.). - Schoof's algorithm and isogeny cycles. In: First Algorithmic Number Theory Symposium - ANTS, éd. par Adleman (L. M.) et Huang (M.-D.). LNCS, volume 877, pp. 43-58. - Ithaca, New-York, mai 1994.

42

Couveignes (J.-M.). - Computing l-isogenies with the p-torsion. In: Second Algorithmic Number Theory Symposium - ANTS II, éd. par Cohen (H.), pp. 59-65. - Talence, France, Springer-Verlag, mai 1996, LNCS, volume 1122.

43

Crépeau (C.) et Kilian (J.). - Discreet solitary games. In: Advances in Cryptology - CRYPTO'93, éd. par Stinson (D. R.). LNCS, volume 773, pp. 319-330. - Santa-Barbara, California, août 1994.

44

Crépeau (C.) et Salvail (L.). - Quantum oblivious mutual identification. In: Advances in Cryptology - EUROCRYPT'95, éd. par Guillou (L. C.) et Quisquater (J.-J.). LNCS, volume 921, pp. 133-146. - Saint-Malo, France, mai 1995.

45

Crépeau (C.), van de Graaf (J.) et Tapp (A.). - Committed oblivious transfer and private multi party computation. In: Advances in Cryptology - CRYPTO'95. LNCS, pp. 110-123. - Santa-Barbara, California, août 1995.

46

Crépeau (C.). - Cryptographic primitives and quantum theory. In: Proceedings of the second Physics of Computation Workshop, PHYSCOMP'92, pp. 200-204. - 1993.

47

Ding (Y.), Horster (P.) et Petersen (H.). - A new approach for delegation using hierarchical delegation tokens. In: Proc. 2nd Conference on Computer and Multimedia Security. pp. 128-143. - Chapman & Hall, 1996.

48

Fischer (J.-B.) et Stern (J.). - An efficient pseudo-random generator provably as secure as syndrome decoding. In: Advances in Cryptology - EUROCRYPT'96, éd. par Maurer (U.). LNCS, volume 1070, pp. 245-255. - Saragosse, Espagne, mai 1996.

49

Friedman (J.), Joux (A.), Roichman (Y.), Stern (J.) et Tillich (J.-P.). - The action of a few random permutations on r-tuples and an application to cryptography. In: Proceedings of STACS 96, LNCS, volume 1046, pp. 375-396. - 1996.

50

Girault (M.) et Stern (J.). - On the length of cryptographic hash-values used in cryptographic identification scheme. In: Advances in Cryptology - CRYPTO'94. LNCS, volume 839, pp. 202-215. - Santa-Barbara, California, août 1994.

51

Joux (A.) et Granboulan (L.). - A practical attack against knapsack based hash functions. In: Advances in Cryptology - EUROCRYPT'94, éd. par de Santis (A.). LNCS, volume 950, pp. 58-66. - Perugia, Italie, mai 1994.

52

Just (M.) et Vaudenay (S.). - Authenticated multi-party key agreement. In: Advances in Cryptology - ASIACRYPT'96, éd. par Kim (K.) et Matsumoto (T.). LNCS, volume 1163, pp. 36-49. - Kyongju, Korea, nov. 1996. Également disponible comme rapport TR-96-04 de School of Computer Science, Carleton University, Ottawa, Canada.

53

Mambo (M.), Okamoto (E.) et Petersen (H.). - On Anonymity in Electronic Money: A micropayment case. In: Proc. 1997 Symposium on Cryptography and Information Security. p. 6. - IEIC, 1997.

54

M'Raïhi (D.), Naccache (D.), Stern (J.) et Vaudenay (S.). - xmx: a firmware-oriented block cipher based on modular multiplications. In: Fast Software Encryption - FSE4. LNCS. - Haifa, Israel, jan. 1997. À paraître.

55

Naccache (D.), M'Raïhi (D.), Raphaeli (D.) et Vaudenay (S.). - Complexity trade-offs with the Digital Signature Standard. In: Advances in Cryptology - EUROCRYPT'94, éd. par de Santis (A.). LNCS, volume 950, pp. 77-85. - Perugia, Italie, mai 1994.

56

Naccache (D.) et Stern (J.). - A new public key cryptosystem. In: Advances in Cryptology - EUROCRYPT'97, éd. par Fumy (W.). LNCS. - Zurich, Suisse, avr. 1997.

57

Petersen (H.), Michels (M.) et Horster (P.). - Taxonomie digitaler Signaturkonzepte. In: Proc. Digitale Signaturen '96. pp. 63-79. - Vieweg, 1996.

58

Petersen (H.) et Michels (M.). - On signature schemes with threshold verification detecting malicious verifiers. In: Proc. Computer Security Workshop. p. 12. - Berlin, 1997. À paraître.

59

Petersen (H.). - Faires elektronisches Geld. In: Proc. 5. Deutscher IT Sicherheitskongress. p. 12. - Bundesamt fuer Sicherheit in der Informationstechnik (BSI), 1997.

60

Pointcheval (D.) et Stern (J.). - Provably Secure Blind Signature Schemes. In: Advances in Cryptology - ASIACRYPT'96, éd. par Kim (K.) et Matsumoto (T.). LNCS, volume 1163, pp. 252-265. - Kyongju, Korea, nov. 1996.

61

Pointcheval (D.) et Stern (J.). - Security Proofs for Signature Schemes. In: Advances in Cryptology - EUROCRYPT'96, éd. par Maurer (U.). LNCS, volume 1070, pp. 387-398. - Saragosse, Espagne, mai 1996.

62

Pointcheval (D.) et Stern (J.). - New Blind Signatures Equivalent to Factorization. In: Proceedings of the 4th ACM Conference on Computer and Communications Security. - ACM press, 1997.

63

Pointcheval (D.). - A New Identification Scheme Based on The Perceptrons Problem. In: Advances in Cryptology - EUROCRYPT'95, éd. par Guillou (L. C.) et Quisquater (J.-J.). LNCS, volume 921, pp. 319-328. - Saint-Malo, France, mai 1995.

64

Schnorr (C. P.) et Vaudenay (S.). - Black box cryptanalysis of hash networks based on multipermutations. In: Advances in Cryptology - EUROCRYPT'94, éd. par de Santis (A.). LNCS, volume 950, pp. 47-57. - Perugia, Italie, mai 1994.

65

Stern (J.) et Vaudenay (S.). - SVP: a flexible micropayment scheme. In: Proceedings of the Financial Cryptography conference. - 1997. À paraître.

66

Stern (J.). - Approximating the number of error locations is NP-complete. In: Proceedings of the AAECC-10 Conference, éd. par Mora (T.). LNCS, volume 673, pp. 323-331. - Springer-Verlag, 1993.

67

Stern (J.). - Can one design a signature scheme based on error-correcting codes. In: Advances in Cryptology - ASIACRYPT'94. LNCS, volume 917, pp. 424-426. - Springer-Verlag, 1994.

68

Stern (J.). - Designing identification scheme with keys of short size. In: Advances in Cryptology - CRYPTO'94. LNCS, volume 839, pp. 164-173. - Santa-Barbara, California, août 1994.

69

Stern (J.). - A new identification scheme based on syndrome decoding. In: Advances in Cryptology - CRYPTO'93, éd. par Stinson (D. R.). LNCS, volume 773, pp. 13-21. - Santa-Barbara, California, août 1994.

70

Stern (J.). - The validation of cryptographic algorithms. In: Advances in Cryptology - ASIACRYPT'96, éd. par Kim (K.) et Matsumoto (T.). LNCS, volume 1163, pp. 301-310. - Kyongju, Korea, nov. 1996.

71

Vaudenay (S.). - FFT-Hash-II is not yet collision-free. In: Advances in Cryptology - CRYPTO'92, éd. par Brickell (E. F.). LNCS, volume 740, pp. 587-593. - Santa-Barbara, California, août 1993. Disponible comme LIENS-92-17.

72

Vaudenay (S.). - One-time identification with low memory. In: EUROCODE'92, éd. par Camion (P.), Charpin (P.) et Harari (S.). CISM Courses and Lectures, volume 339, pp. 217-228. - Udine, Italy, 1993. Disponible comme LIENS-92-22.

73

Vaudenay (S.). - An experiment on DES -- statistical cryptanalysis. In: 3rd ACM Conference on Computer and Communications Security, New Delhi, India, March 1996, éd. par Gong (L.) et Stern (J.). pp. 139-147. - ACM Press, 1996. Disponible comme LIENS-95-29.

74

Vaudenay (S.). - Hidden collisions on DSS. In: Advances in Cryptology - CRYPTO'96, éd. par Koblitz (N.). LNCS, volume 1109, pp. 83-88. - Santa-Barbara, California, août 1996. Disponible comme LIENS-96-9.

75

Vaudenay (S.). - On the weak keys of blowfish. In: Fast Software Encryption - FSE3, éd. par Gollmann (D.). LNCS, volume 1039, pp. 27-32. - Cambridge, U.K., fév. 1996. Disponible comme LIENS-95-27.

Autres conférences

76

Béguin (P.) et Quisquater (J.-J.). - Accélération de calculs cryptographiques à l'aide d'un serveur non sécurisé. In: Complexité, Codage, Compression, Cryptographie, éd. par Charpin (P.) et Stern (J.). INRIA - Journées de Cargèse, pp. 13-25. - 10-16 oct. 1993.

77

Chabaud (F.). - Recherche de mots courts dans les codes linéaires binaires. In: Complexité, Codage, Compression, Cryptographie, éd. par Charpin (P.) et Stern (J.). INRIA - Journées de Cargèse, pp. 67-79. - 10-16 oct. 1993.

78

Pointcheval (D.). - Neural Networks and their Cryptographic Applications. In: Livre des résumés Eurocode '94, éd. par Charpin (P.). - INRIA, 1994.

Thèses

79

Chabaud (F.). - Recherche de Performance dans l'Algorithmique des Corps Finis. Applications à la Cryptographie. - Thèse, Ecole Polytechnique, oct. 1996. En français, version définitive.

80

Couveignes (J.-M.). - Quelques calculs en théorie des nombres. - Thèse de doctorat, École Doctorale de Bordeaux, 1 juil. 1994.

81

Fischer (J.-B.). - Etude des procédés assurant l'intégrité des données transmises et l'authentification du porteur dans un environnement du type carte à puce. - Thèse de doctorat, Université de Paris VII, Ecole Normale Supérieure, 20 mars 1997.

82

Joux (A.). - La Réduction des Réseaux en Cryptographie. - Thèse de doctorat, Ecole Polytechnique, mai 1993. Disponible comme LIENS-93-7.

83

Pointcheval (D.). - Les Preuves de Connaissance et leurs Preuves de Sécurité. - Thèse de PhD, Université de Caen, 12 déc. 1996.

84

Vaudenay (S.). - La Sécurité des Primitives Cryptographiques. - Thèse de doctorat, Université de Paris VII, Ecole Normale Supérieure, mai 1995. Disponible comme LIENS-95-10.

Articles soumis ou en préparation

85

Chabaud (F.) et Lercier (R.). - ZEN: A new toolbox for finite extensions in finite fields. - Rapport technique, 91128 Palaiseau Cedex, France, Laboratoire d'Informatique de l'Ecole Polytechnique, 1997. En préparation.

86

Naccache (D.) et Stern (J.). - A new trapdoor function. - Soumis à Crypto 97.

87

Nguyen (P.). - A Montgomery-like square root for the Number Field Sieve. - Soumis.

88

Nguyen (P.) et Stern (J.). - Merkle-Hellman revisited : a cryptanalysis of the Qu-Vanstone cryptosystem based on group factorizations. - Soumis.

89

Petersen (H.) et Horster (P.). - Self certified keys - Concepts and Applications. In: 3. Int. Conference on Computer and Multimedia Security. p. 16. - Chapman & Hall, 1997. Soumis.

90

Petersen (H.) et Poupard (G.). - Efficient Fair Cash - Concepts and New Protocols. - 1997. Soumis.

91

Petersen (H.). - Effizientes faires Geld mit skalierbarer Sicherheit. In: Fachtagung Verlaeassliche Informationssysteme (VIS) '97. p. 18. - Vieweg, 1997. Soumis.

92

Pointcheval (D.) et Vaudenay (S.). - On Provable Security for Digital Signature Algorithms. - Soumis.

93

Vaudenay (S.). - A cheap paradigm for block cipher security strengthening. - Soumis.

Rapports du DMI

94

Canteaut (A.) et Chabaud (F.). - Improvements of the attacks on cryptosystems based on error-correcting codes. - Rapport LIENS n&#;'27 95-21, ENS, juil. 1995.

95

Chabaud (F.) et Vaudenay (S.). - Links between Differential and Linear Cryptanalysis. - Rapport LIENS n&#;'27 94-3, ENS, mars 1994. Publié dans EUROCRYPT'94 [36].

96

Chabaud (F.). - Recherche de Performance dans l'Algorithmique des Corps Finis. Applications à la Cryptographie. - Rapport LIENS n&#;'27 96-14, ENS, oct. 1996. Version préliminaire de la thèse.

97

Petersen (H.) et Poupard (G.). - Efficient Scalable Fair Cash with Off-line Crime Prevention. - Rapport LIENS n&#;'27 97-7, ENS, 1997. À paraître.

98

Pointcheval (D.) et Vaudenay (S.). - On Provable Security for Digital Signature Algorithms. - Rapport LIENS n&#;'27 96-17, ENS, oct. 1996. Soumis.

99

Pointcheval (D.). - Les Réseaux de Neurones et leurs Applications Cryptographiques. - Rapport LIENS n&#;'27 95-2, ENS, fév. 1995.

Rapports de recherche publiés dans d'autres laboratoires

100

Canteaut (A.) et Chabaud (F.). - A new algorithm for finding minimum-weight words in a linear code: Application to primitive narrow-sense BCH codes of length 511. - Rapport de recherche n&#;'27 2685, INRIA, oct. 1995. À paraître dans IEEE Trans. Infor. Theory.

Rapports non publiés

101

L. Caudal, H. Gilbert (P. H.). - A new identification scheme based on the three dimensional matching problem. - 1994. Non publié.

Brevets

102

Vaudenay (S.). - Procédé de Décorrélation de données. - Brevet en France 96 13411.

Oeuvres de vulgarisation scientifique

103

Vaudenay (S.). - Casser des algorithmes. Pour la Science, n&#;'27220, fév. 1996, p. 54. - Encart d'un article.

104

Vaudenay (S.). - Un réseau quantique. Pour la Science, n&#;'27234, avr. 1997, p. 30.

Miscellanea

105

Béguin (P.) et Naccache (D.). - Breacking an improved version of a "more flexible exponentiation with precomputation". - 1994. Présenté à la Rump Session de CRYPTO'94.

106

Béguin (P.) et Quisquater (J.-J.). - Efficient inverse cubic RSA computations aided by a powerful untrusted server. - 1993. Présenté à la Rump Session de CRYPTO'93.

107

M'Ra¨ihi (D.) et Pointcheval (D.). - Off-Line Trustees and Revokability: a Framework for Efficient Electronic Money. - Non publié.

108

Vaudenay (S.). - On the security of Lenstra's DSA variant. -
http://ftp.ens.fr/pub/dmi/users/vaudenay/lenstra.ps, nov. 1996. Présenté à la Rump Session de ASIACRYPT'96.

Lambda-calcul typé et langages fonctionnels

Livres

109

Amadio (R.) et Curien (P.-L.). - Domains and Lambda-calculi. - Cambridge University Press, 1997.

110

Asperti (A.) et Longo (G.). - Categories, Types and Structures: an introduction to Category Theory for the working computer scientist. - M.I.T.- Press, 1991, 300p.

111

Castagna (G.). - Object-Oriented Programming: A Unified Foundation. - Boston, Birkäuser, 1997, Progress in Theoretical Computer Science Series.

112

Curien (P.-L.). - Categorical combinators, sequential algorithms and functional programming. - Birkhaüser, 1993, Progress in Theoretical Computer Science. Seconde édition.

113

Di Cosmo (R.). - Isomorphisms of types: from -calculus to information retrieval and language design. - Birkhauser, 1995. ISBN-0-8176-3763-X.

Articles invités

114

Abadi (M.), Cardelli (L.) et Curien (P.-L.). - Formal parametric polymorphism. Theoretical Computer Science, vol. 121, n&#;'27 1-2, 1993, pp. 9-58. - Böhm Festschrift Volume.

115

Curien (P.-L.), Plotkin (G. D.) et Winskel (G.). - Bistructures, bidomains and linear logic. In: Milner Festschrift Volume. - MIT Press, 1997.

116

Curien (P.-L.). - On the symmetry of sequentiality. In: Mathematical Foundations of Programming Semantics 93. LNCS, volume 802, pp. 29-71. - Springer-Verlag, 1994.

117

Di Cosmo (R.). - A brief history of rewriting with extensionality. In: International Summer School on Type Theory and Rewriting, éd. par Kamareddine (F.). - Glasgow, sept. 1996. A set of slides on the subject is available as
ftp://ftp.ens.fr/pub/dmi/users/dicosmo/Slides/GLA96.ps.gz.

118

Longo (G.), Milsted (K.) et Soloviev (S.). - The Genericity Theorem and effective Parametricity in Polymorphic lambda-calculus. Theoretical Computer Science, vol. 121, 1993, pp. 323-349. - Article invité, special issue of T.C.S. "A Collection of contributions in honour of Corrado Böhm" (Version préliminaire: IEEE Conference on Logic in Computer Science (LICS 93), pp. 1-6, Montreal, Jan. 1993).

119

Longo (G.). - Parametric and type-dependent polymorphism. Fundamenta Informaticae, vol. 22, n&#;'27 1-2, 1995, pp. 69-92. - Article invité, special issue on "Categorical Methods in C.S.".

120

Longo (G.). - Le Continu Mathématique, de l'intuition à la Logique. In: Actes du Colloque sur Husserl et la fondation de la connaissance, Bordeaux, 1995. - 1997. Article invité, actes à paraître; version anglaise chez Stanford University Press.

121

Longo (G.). - Logica e modelli teorici della Biologia. Sistemi Intelligenti, vol. 1, 1997, pp. 146-152.

122

Longo (G.). - Démonstrations et Programmes. In: Enciclopedia Italiana della Scienza. - Grandi Opere, Fabbri-Rizzoli Ed., 1998. (Thème ecrit (en italien) pour une Encyclopédie scientifique. Version française disponible chez l'auteur).

Articles dans des revues internationales avec comité de lecture

123

Bruce (K.), Cardelli (L.), Castagna (G.), Group (T. H. O.), Leavens (G.) et Pierce (B.). - On binary methods. Theory and Practice of Object Systems, vol. 1, n&#;'27 3, 1996, pp. 221-242.

124

Bucciarelli (A.) et Ehrhard (T.). - A theory of sequentiality. Theoretical Computer Science 113 (1993), 1993.

125

Bucciarelli (A.) et Ehrhard (T.). - Sequentiality in an extensional framework. Information and computation 110 (1994), 1994.

126

Cartwright (R.), Curien (P.-L.) et Felleisen (M.). - Fully abstract models of observably sequential languages. Information and Computation, vol. 111, n&#;'27 2, 1994, pp. 297-401.

127

Castagna (G.), Ghelli (G.) et Longo (G.). - A calculus for overloaded functions with subtyping. Information and Computation, vol. 117, n&#;'27 1, fév. 1995, pp. 115-135.

128

Castagna (G.). - Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, vol. 17, n&#;'27 3, 1995, pp. 431-447.

129

Castagna (G.). - A meta-language for typed object-oriented languages. Theoretical Computer Science, vol. 151, n&#;'27 2, nov. 1995, pp. 297-352.

130

Castagna (G.). - Integration of parametric and "ad hoc" second order polymorphism in a calculus with subtyping. Formal Aspects of Computing, vol. 8, n&#;'27 3, 1996, pp. 247-293.

131

Castagna (G.). - Unifying overloading and -abstractions: . Theoretical Computer Science, vol. 176, n&#;'27 1-2, avr. 1997, pp. 337-345.

132

Chailloux (E.), Cousineau (G.) et Suarez (A.). - Programmation fonctionnelle de graphismes pour la production d'illustrations techniques. Technique et Science Informatiques, 1996.

133

Chailloux (E.), Cousineau (G.) et Suarez (A.). - Programmation fonctionnelles de graphismes. Technique et science informatiques, vol. 15, 1996, pp. 977-1007.

134

Curien (P.-L.) et Cosmo (R. D.). - A confluent reduction for the -calculus with surjective pairing and terminal object. Journal of Functional Programming, vol. 6, n&#;'27 2, 1996, pp. 299-327. - Journal version of [170].

135

Curien (P.-L.) et Ghelli (G.). - Confluence and decidability of top reduction in . Information and Computation, vol. 109, n&#;'27 1-2, 1993, pp. 57-114. - Journal version of [171].

136

Curien (P.-L.), Hardin (T.) et Lévy (J.-J.). - Weak and strong confluent calculi of explicit substitutions. JACM, vol. 43, n&#;'27 2, 1996.

137

Curien (P.-L.), Hardin (T.) et Rios (A.). - Strong normalisation of substitutions. Journal of Logic and Computation, vol. 6, n&#;'27 6, 1996, pp. 799-817. - Journal version of [172].

138

Curien (P.-L.) et Hardin (T.). - Yet yet a counterexample for +SP. Journal of Functional Programming, vol. 4, n&#;'27 1, 1994, pp. 113-115. - Short note (THEORETICAL PEARL).

139

Curien (P.-L.). - Substitution up to isomorphism. Fundamenta Informaticae, vol. 19, n&#;'27 1-2, 1993, pp. 51-86.

140

Curien (P.-L.). - Abstract Böhm trees. Mathematical Structures in Computer Science, 1997.

141

Di Cosmo (R.) et Kesner (D.). - Simulating expansions without expansions. Mathematical Structures in Computer Science, vol. 4, 1994, pp. 1-48. - A preliminary version is available as Technical Report LIENS-93-11/INRIA 1911.

142

Di Cosmo (R.) et Kesner (D.). - Combining algebraic rewriting, extensional lambda calculi and fixpoints. Theoretical Computer Science, vol. 169, n&#;'27 2, 1996, pp. 201-220.

143

Di Cosmo (R.) et Kesner (D.). - Rewriting with polymorphic extensional -calculus. In: CSL'95. Lecture Notes in Computer Science, volume 1092, pp. 215-232. - Springer-Verlag, 1996. Extended abstract presented in Paderborn, sept. 1995.

144

Di Cosmo (R.). - Deciding type isomorphisms in a type assignment framework. Journal of Functional Programming, vol. 3, n&#;'27 3, 1993, pp. 485-525. - Special Issue on ML.

145

Di Cosmo (R.). - Second order isomorphic types. A proof theoretic study on second order -calculus with surjective pairing and terminal object. Information and Computation, juin 1995, pp. 176-201.

146

Longo (G.), Milsted (K.) et Soloviev (S.). - Coherence and Transitivity of Subtyping as Entailment. - oct. 1996. Soumis.

147

Pieter Hartel (M. F.) et al. - Benchmarking implementations of functional languages with ``Pseudoknot'', a float-intensive benchmark". Journal of Functional Programming, 1996. - Journal version of [169].

Articles dans d'autres revues

148

Castagna (G.) et Leavens (G. T.). - Foundation of object-oriented languages: 2nd workshop report. SIGPLAN Notices, vol. 30, n&#;'27 2, fév. 1995, pp. 5-11.

149

Castagna (G.). - Le modèle fondé sur la surcharge : une visite guidée. Technique et Science Informatiques, vol. 15, n&#;'27 6, juin 1996, pp. 673-708.

Conférences invitées

150

Chen (G.) et Longo (G.). - Subtyping parametric and dependent types. In: Type Theory and Term Rewriting, éd. par et al. (K.). - Kluwer, à paraître, 1997. Longo's Invited Lecture, School on ``Type Theory and Term Rewriting'', September, 1996, Glasgow.

151

Cousineau (G.). - Caml in introductory computing. In: Functional languages in Introductory Computing, workshop associated to the International Conference on Functional progamming. - Philadelphie, Juin 1996.

152

Cousineau (G.). - Functional programing and elementary geometry. In: First International Conference on Declarative Programming Languages in Education. - Southampton, Sept 1997.

153

Longo (G.). - Types as Parameters. In: TAPSOFT '93: Theory and Practice of Software development, éd. par Gaudel et Jouannaud. LNCS, volume 668, pp. 658-671. - Springer-Verlag, 1993. Conférence invitée.

154

Longo (G.). - Reflections on formalism and reductionism in logic and computer science. In: European Conference of Mathematics 92, éd. par et al. (A. J.). pp. 202-209. - Birkhauser, 1994. Conférence invitée, Session sur la Philosophie des Mathematiques, ECM 1992, Paris.

155

Longo (G.). - Memory in Mathematics. Revue de l'Institut Henri Poincare', vol. 2, 1995, pp. 31-42. - Conférence invitée au Colloque ``Cognition: problèmes logiques et mathématiques'', Octobre 1994, Paris.

156

Longo (G.). - The difference between Clocks and Turing Machines. La Nuova Critica, vol. 29, n&#;'27 1, 1997, pp. 15-48. - Conférence invitée au Congrès ``Models of Cognition and Complexity Theory'', Novembre 1994, Roma.

Communications dans des conférences internationales avec comité de lecture

157

Aponte (M.-V.) et Castagna (G.). - Programmation modulaire avec surcharge et liaison tardive. In: Journées Francophones des Langages Applicatifs. - Val Morin, Québec, Canada, 1996. En français.

158

Aponte (M.-V.) et Di Cosmo (R.). - Type isomorphisms for module signatures. In: Programming Languages Implementation and Logic Programming (PLILP). Lecture Notes in Computer Science, volume 1140, pp. 334-346. - Springer-Verlag, 1996.

159

Bellucci (R.), Abadi (M.) et Curien (P.-L.). - A model for parametric polymorphism: a per interpretation for system (extended abstract). In: Proceedings of the Second International Conference on Typed Lambda Calculi and Applications. LNCS, volume 902. - Edinburgh, Scotland, 10-12 avr. 1995.

160

Boudol (G.) et Lavatelli (C.). - Full abstraction for lambda calculus with resources and convergence testing. In: CAAP'96, éd. par Kirchner (H.). LNCS, volume 1059. - Springer-Verlag, 1996.

161

Boyland (J.) et Castagna (G.). - Type-safe compilation of covariant specialization: a practical case. In: ECOOP'96, éd. par Cointe (P.). Lecture Notes in Computer Science, pp. 3-25. - Springer Verlag, 1996.

162

Boyland (J.) et Castagna (G.). - Parasitic methods: Implementation of multi-methods for Java. In: OOPSLA '97, 12th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, SIGPLAN Notices. - 1997.

163

Bucciarelli (A.). - Another approach to sequentiality: Kleene's unimonotone functions. In: Mathematical Foundations of Programming Semantics (MFPS 93). LNCS, volume 802. - New Orleans, 1993.

164

Castagna (G.), Ghelli (G.) et Longo (G.). - A semantics for &-early: a calculus with overloading and early binding. In: International Conference on Typed Lambda Calculi and Applications, éd. par Bezem (M.) et Groote (J. F.). Lecture Notes in Computer Science, pp. 107-123. - Utrecht, The Netherlands, mars 1993. TLCA'93.

165

Castagna (G.) et Pierce (B. C.). - Decidable bounded quantification. In: 21st Annual Symposium on Principles Of Programming Languages. pp. 151-162. - Portland, Oregon, jan. 1994.

166

Castagna (G.). - : integrating parametric and "ad hoc" second order polymorphism. In: Proc. of the 4th International Workshop on Database Programming Languages, éd. par Beeri (C.), Ohori (A.) et Shasha (D.). Workshops in Computing, pp. 335-355. - New York City, sept. 1993. Contained in [130].

167

Castagna (G.). - A meta-language for typed object-oriented languages. In: 13th Conference on the Foundations of Software Technology and Theoretical Computer Science, éd. par Shyamasundar (R. K.). Lecture Notes in Computer Science, pp. 52-71. - Bombay, India, déc. 1993. Extended abstract of [129].

168

Chailloux (E.) et Suarez (A.). - mlPicTeX a picture environment for LaTeX. In: Workshop on ML and its Applications, éd. par INRIA. ACM SIGPLAN. - juin 1994.

169

Cousineau (G.), Curien (P.-L.) et Mauny (M.). - The categorical abstract machine. In: Functional Programming and Computer Architecture, LNCS, volume 201. - 1985.

170

Curien (P.-L.) et Di Cosmo (R.). - A confluent reduction system for the -calculus with surjective pairing and terminal object. In: Intern. Conf. on Automata, Languages and Programming (ICALP), éd. par Leach, Monien et Artalejo. Lecture Notes in Computer Science, volume 510, pp. 291-302. - Springer-Verlag, juil. 1991.

171

Curien (P.-L.) et Ghelli (G.). - Subtyping + extensionality: confluence of in . In: Theoretical Aspects in Computer Science, LNCS, volume 526. - 1991.

172

Curien (P.-L.), Hardin (T.) et Rios (A.). - Strong normalisation of substitutions. In: Mathematical Foundations of Computer Science, LNCS, volume 629. - 1992.

173

Di Cosmo (R.) et Ghani (N.). - Combining algebraic rewriting with higher order extensional lambda calculi. In: Intern. Conf. on Automata, Languages and Programming (ICALP). - 1997. À paraître.

174

Di Cosmo (R.) et Kesner (D.). - A confluent reduction for the extensional typed -calculus with pairs, sums, recursion and terminal object. In: Intern. Conf. on Automata, Languages and Programming (ICALP), éd. par Lingas (A.). Lecture Notes in Computer Science, volume 700, pp. 645-656. - Springer-Verlag, juil. 1993.

175

Di Cosmo (R.) et Kesner (D.). - Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. In: Intern. Conf. on Automata, Languages and Programming (ICALP), éd. par Abiteboul (S.) et Shamir (E.). Lecture Notes in Computer Science, volume 820, pp. 462-472. - Springer-Verlag, juil. 1994.

176

Di Cosmo (R.) et Kesner (D.). - Strong normalization of explicit substitutions via cut elimination in proof nets (extended abstract). In: Proceedings, Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press. - Warsaw, Poland, 29 juin- 2juil. 1997. To appear. Full paper available as
http://www.dmi.ens.fr/dicosmo/Pub/esll.ps.gz.

177

Di Cosmo (R.) et Piperno (A.). - Expanding extensional polymorphism. In: Typed Lambda Calculus and Applications, éd. par Dezani-Ciancaglini (M.) et Plotkin (G.), Lecture Notes in Computer Science, volume 902, pp. 139-153. - avr. 1995.

178

Di Cosmo (R.). - On the power of simple diagrams. In: Rewriting Techniques and Applications, Lecture Notes in Computer Science, pp. 200-214. - juil. 1996.

179

Foisy (C.) et Chailloux (E.). - Caml Flight: a Portable SPMD Extension of ML for Distributed Memory Multiprocessors. In: Conference on High Performance Functional Computing. - avr. 1995.

180

Fruchart (T.) et Longo (G.). - Carnap's remarks on Impredicative Definitions and the Genericity Theorem. In: International Conf. in Logic, Methodology and Philosophy of Science: Logic in Florence, 1995., éd. par et al. (C.). - Kluwer, 1997.

181

Lavatelli (C.). - Algebraic interpretation of lambda calculus with resources. In: CONCUR'96. - Springer-Verlag, 1996.

182

Liquori (L.) et Castagna (G.). - A typed calculus of objects. In: Proc. of 1996 Asian Computing Conference, éd. par Jaffar (J.) et Yap (R.). Lecture Notes in Computer Science, pp. 129-141. - Springer, 1996.

183

Longo (G.), Milsted (K.) et Soloviev (S.). - A Logic of Subtyping. In: Logic in Computer Science (LICS). pp. 292-300. - IEEE, 1995. San Diego, June 1995 (very preliminary version of [146]).

Autres conférences

184

Bucciarelli (A.). - Degrees of parallelism in the continuous type hierarchy. In: Mathematical Foundations of Programming Semantics (MFPS 94). - Manhattan (KS), 1994.

185

Bucciarelli (A.). - Refining models of typed -calculi by logical relations. In: Full abstraction for PCF and related languages, BRICS workshop, Aahrus University. - 1995.

186

Castagna (G.). - A proposal for making O more type safe. In: Bases de données advancées. - Publié par INRIA Lorraine, 1995.

187

Chailloux (E.) et Cousineau (G.). - MLgraph: Un outil pour produire des images en ML. In: Actes des Journées Francophones des langages Applicatifs, Annecy. - (Actes édités par l'INRIA), Février 1993.

188

Chailloux (E.) et Foisy (C.). - Caml-FLight : implantation et applications. In: Journées Francophones des Langages Applicatifs, éd. par INRIA. INRIA. - jan. 1995.

189

Chailloux (E.), Kirsch (L.) et Lucas (S.). - Caml2sml, un outil d'aide à la traduction de Caml vers Sml. In: Journées Francophones des Langages Applicatifs, éd. par INRIA. INRIA. - jan. 1996.

190

Hartel (P. H.), Feeley (M.), Alt (M.), Augustsson (L.), Baumann (P.), Beemster (M.), Chailloux (E.), Flood (C. H.), Grieskamp (W.), van Groningen (J. H. G.), Hammond (K.), Hausman (B.), Ivory (M. Y.), Lee (P.), Leroy (X.), Loosemore (S.), Röjemo (N.), Serrano (M.), Talpin (J.-P.), Thackray (J.), Weis (P.) et Wentworth (P.). - Pseudoknot: a Float-Intensive benchmark for functional compilers (DRAFT). In: Implementation of Functional Languages, éd. par Glauert (J. R. W.). pp. 13.1-13.34. - School of Information Systems, Univ. of East Anglia, Norwich NR4 7TJ, UK, sept. 1994.

Thèses

191

Bellucci (R.). - Formal systems and models for parametric polymorphism. - Thèse de PhD, Università di Siena, Dipartimento di Matematica, Siena, Italy, 1995.

192

Bucciarelli (A.). - Sequential models of PCF: some contributions to the domain theoretic approach to full abstraction. - Thèse de PhD, Université de Pise, 1993.

193

Castagna (G.). - Surcharge, sous-typage et liaison tardive : fondements fonctionnels de la programmation orientée objets. - Thèse de PhD, Université Paris 7, jan. 1994. LIENS - Rapport de Recherche.

194

Di Cosmo (R.). - Isomorphisms of Types. - 40, Corso Italia - 56100 Pisa - Italy, Tesi di dottorato, Dipartimento di Informatica, Universitá di Pisa, jan. 1993.

195

Lavatelli (C.). - Sématique du Lambda Calcul avec Ressources. - Thèse de doctorat, Université Paris VII, jan. 1996.

Notes de cours

196

Benzaken (V.) et Castagna (G.). - Langages de Programmation pour bases de données. - Rapport technique, Universités Paris I et Paris XI, DEA théorie et ingenierie des bases de données, 1995.

197

Castagna (G.). - Type systems for object-oriented programming. In: Ecole Jeunes Chercheurs du GDR Programmation. - Toulouse, mars 1994.

198

Castagna (G.). - Types, sous-types et programmation orientée objets. In: Ecole Jeunes Chercheurs du GDR Programmation. - Nancy, mars 1995.

199

Castagna (G.). - Soutypage et programmation à objets, 1996.

200

Chailloux (E.). - Langages fonctionnels. - 1995. Notes de cours - DESS GLA.

201

Cousineau (G.) et Mauny (M.). - Approche fonctionnelle de la Programmation. - Edisciences, 1995.

202

Cousineau (G.) et Mauny (M.). - Functional Approach to Programming with Caml. - Cambridge University Press, 1997. À paraître en septembre 1997.

203

Di Cosmo (R.). - A brief history of rewriting with extensionality. - sept. 1996. Lecture notes.

Articles soumis ou en préparation

204

Boudol (G.), Curien (P.-L.) et Lavatelli (C.). - -calculus with multiplicites. - 1995. Soumis.

205

Di Cosmo (R.). - An extensional operational and axiomatic semantics for type-inference with recursion and algebraic data types. - oct. 1995. Soumis.

Rapports du DMI

206

Di Cosmo (R.) et Kesner (D.). - Simulating Expansions without Expansions. - Rapport technique n&#;'27 LIENS-93-11/INRIA 1911, LIENS-DMI and INRIA, 1993.

207

Lavatelli (C.). - Non-deterministic -calculus vs -calculus. - Rapport technique n&#;'27 93-15, LIENS - École Normale Supérieure, sept. 1993.

208

Lavatelli (C.). - Full Abstraction for an Extended Resource Language. - Rapport technique n&#;'27 95-18, LIENS - École Normale Supérieure, juin 1995.

Rapports non publiés

209

Aït-Kaci (H.) et Di Cosmo (R.). - Compiling Order-Sorted Feature Term Unification. - TN n&#;'27  7, Digital Equipment Corporation, déc. 1993.

Rapports de contrats

210

Chailloux (E.) et Cousineau (G.). - Ingéniérie logicielle pour le développement de programmes temps-réel sûrs. - Rapport de contrat MESR 92S0766, 1994.

Oeuvres de vulgarisation scientifique

211

Cousineau (G.) et Sallé (P.). - Programmer aujourd'hui et demain. - Courrier du CNRS, Numéro Spécial sur l'Informatique, 1993.

212

Cousineau (G.). - La Sémantique des langages de programmation. - Courrier du CNRS, Numéro Spécial sur l'Informatique, 1993.

Miscellanea

213

Di Cosmo (R.) et Kesner (D.). - Strong normalization of explicit substitutions via cut elimination in proof nets, 1996. Available from
http://www.dmi.ens.fr/dicosmo/Publications.

214

Longo (G.). - Review of Feferman's paper "Weyl vindicated, Das Continuum 70 years later". Journal of Symbolic Logic, vol. 58, n&#;'27 3, 1993.

215

Longo (G.). - La dette publique et le système fiscal italien. Alternatives Economiques, n&#;'27115, mars 1994, pp. 14-18.

216

Longo (G.). - Logic and the "fine analysis of Computation". - Conference in honour of C. Boehm, discussion, 1994. À paraître.

217

Longo (G.). - Review of Trakhtenbrot's paper "Comparing the Church and Turing approaches: two prophetical messages". Journal of Symbolic Logic, vol. 59, n&#;'27 4, 1994.

218

Longo (G.). - Sur l'Emergence de l'Objectivite' et de l'Universalite' en Mathematiques. Intellectica, vol. 20, n&#;'27 1, 1995.

219

Longo (G.). - Logica e Tempo in Informatica. - Atti del ciclo di seminari ``La realtá ed i linguaggi: nuove frontiere della scienza'', à paraître, 1997. Conférence invitée, Centro Fiorentino per la Filosofia della Scienza, Octobre 1996.

220

Longo (G.). - Recension de ``La Bosse des Maths''. - Revue de l' A. H. Poincaré, 1997. À paraître.

Sémantique et Interprétation Abstraite

Chapitres de livres

221

Goubault (É.), Hankin (C.), van Eekelen (M.) et Nocker (E.). - Abstract reduction: towards a theory via abstract interpretation. In: Term Graph Rewriting: Theory and Practice, éd. par Sleep (R.), Plasmeijer (R.) et van Eekelen (M.), chap. 9, pp. 117-129. - John Wiley & Sons, Ltd., 1993.

222

Goubault (É.) et Hankin (C.). - A lattice for the abstract interpretation of term graph rewriting systems. In: Term Graph Rewriting: Theory and Practice, éd. par Sleep (R.), Plasmeijer (R.) et van Eekelen (M.), chap. 10, pp. 131-140. - John Wiley & Sons, Ltd., 1993.

Édition d'ouvrages collectifs

223

Cousot (P.), Falaschi (M.), Filé (G.) et Rauzy (A.) (édité par). - Proceedings of the 3 International Workshop WSA'93 on Static Analysis. - Springer-Verlag, Berlin, sept. 22-24, 1993, Lecture Notes in Computer Science 724, 293p.

Articles invités

224

Cousot (P.) et Cousot (R.). - Galois connection based abstract interpretations for strictness analysis, invited paper. In: Proceedings of the International Conference on Formal Methods in Programming and their Applications, Academgorodok, Novosibirsk, Russie, éd. par Bjørner (D.), Broy (M.) et Pottosin (I. V.). Lecture Notes in Computer Science 735, pp. 98-127. - Springer-Verlag, Berlin, 28 juin-2 juil. 1993.

225

Cousot (P.) et Cousot (R.). - Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper. In: Proceedings of the 1994 International Conference on Computer Languages, Toulouse. pp. 95-112. - IEEE Computer Society Press, Los Alamitos, Californie, U.S.A., 16-19 mai 1994.

226

Cousot (P.) et Cousot (R.). - Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, invited paper. In: Computer Aided Verification, Proceedings of the 7 International Conference, CAV'95, Liège, Belgique, éd. par Wolper (P.). Lecture Notes in Computer Science 939, pp. 293-308. - Springer-Verlag, Berlin, juil. 1995.

227

Cousot (P.). - Types as abstract interpretations, invited paper. In: Conference Record of the 24 Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 316-331. - Paris, 1997.

Articles dans des revues internationales avec comité de lecture

228

Cousot (P.) et Cousot (R.). - ``À la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs. Theoretical Computer Science, vol. 120, 1993, pp. 123-155.

229

Cousot (P.). - Abstract interpretation. Symposium on Models of Programming Languages and Computation, ACM Computing Surveys, vol. 28, n&#;'27 2, juin 1996, pp. 324-328.

230

Cousot (P.). - Program analysis: The abstract interpretation perspective. ACM Computing Surveys, vol. 28A, n&#;'27 4, déc. 1996.

Conférences invitées

231

Cousot (P.) et Cousot (R.). - Abstract interpretation of parallel programs, invited lecture. In: Int. Kolloquium, Sonderforschungsbereich 124, VLSI - Entwurfsmethoden und Parallelität. - Sarrebrücken, Allemagne, 2-3 sept. 1993.

232

Cousot (P.) et Cousot (R.). - Galois connections and abstract interpretation, invited lecture. In: Mathematics of Programming Workshop on Galois Connections. - Universiteit Utrecht, Pays-Bas, 13-14 sept. 1993.

233

Cousot (P.) et Cousot (R.). - Inductive definitions of semantics and connections between semantics as used in abstract interpretation, invited lecture. In: MASK Meeting. - Koblenz, Allemagne, 6-8 oct. 1993.

234

Cousot (P.). - A tutorial on abstract interpretation. In: 1994 IEEE International Conference on Computer Languages, Toulouse. - 16-19 mai 1994.

235

Cousot (P.). - Abstract model checking, invited lecture. In: Computer Aided Verification, Proceedings of the 7 International Conference, CAV'95. - Liège, Belgique, 5 juil. 1995.

236

Cousot (P.). - Combining bottom-up and top-down in abstract interpretation of logic languages, invited lecture. In: Special Workshop on Abstract Interpretation of Logic Languages, WAILL'95, Eilat, Israël. - 18-19 juin 1995.

237

Cousot (P.). - Completeness in abstract interpretation, invited lecture. In: Proceedings of the GULP-PRODE'95 Joint Conference on Declarative Programming, Marina di Vietri, Italie, éd. par Sessa (M.) et Alpuente (M.). pp. 37-38. - Poligraf Press, Salerno, Italie, 11-14 sept. 1995.

238

Cousot (P.). - Set-constraint-based analysis of logic programs by abstract interpretation, invited lecture. In: Proceedings of the Fourth Compulog-network subgroup meeting on Programming Languages, Marina di Vietri, Italie, éd. par Gabbrielli (M.), pp. 1-2. - 15 sept. 1995.

239

Cousot (P.). - From semantics to classical proof methods by abstract interpretation, invited lecture. - 10-12 juin 1996. Workshop on ``Program Correctness: Abstract Interpretation vs. Classical Verification Methods'', Venise, Italie.

240

Cousot (P.). - Design of semantics by abstract interpretation, invited address. In: Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference (MFPS XIII). - Carnegie Mellon University, Pittsburgh, Pennsylvanie, U.S.A., 23-26 mars 1997.

241

Cousot (P.). - Types as abstract interpretations, exposé invité. - 6 mai 1997. Meeting on Validation and Verification of Formal Descriptions, Fundamental Computer Science F.N.R.S. Contact Group, F.U.N.D.P., Namur, Belgique.

Communications dans des conférences internationales avec comité de lecture

242

Cousot (P.) et Cousot (R.). - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the 4 Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 238-252. - Los AngeLes, California, 1977.

243

Cousot (P.) et Cousot (R.). - Formal language, grammar and set-constraint-based program analysis by abstract interpretation. In: Proceedings of the 7 ACM Conference on Functional Programming and Computer Architecture. pp. 170-181. - La Jolla, Californie, U.S.A., 25-28 juin 1995.

244

Cousot (P.) et Cousot (R.). - Parallel combination of abstract interpretation and model-based automatic analysis of software. In: Proceedings of the first ACM Sigplan workshop on Automatic Analysis of Software, AAS'97, éd. par Cleaveland (R.) et Jackson (D.), pp. 91-98. - 23-26 mars 1997.

245

Cridlig (R.) et Goubault (É.). - Semantics and analysis of Linda-based languages. In: Proceedings of the 3 International Workshop WSA'93 on Static Analysis, Padoue, Italie, éd. par Cousot (P.), Falaschi (M.), Filé (G.) et Rauzy (A.). Lecture Notes in Computer Science 724, pp. 72-86. - Springer-Verlag, Berlin, 22-24 sept. 1993.

246

Cridlig (R.). - Semantic analysis of shared-memory concurrent languages using abstract model-checking. In: Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'95, La Jolla, Californie, U.S.A., 21-23 juin 1995. - ACM Press, New York, juin 1995.

247

Cridlig (R.). - Implementing a static analyzer of concurrent programs: problems and perspectives. In: Proceedings of the 5 LOMAPS Workshop on Analysis and Verification of Multiple-agent Languages, Stockholm, Suède, éd. par Dam (M.) et Orava (F.). Lecture Notes in Computer Science 1192, pp. 244-259. - Springer-Verlag, Berlin, juin 1996.

248

Cridlig (R.). - Semantic analysis of Concurrent ML by abstract model-checking. In: Proceedings of the International Workshop on Verification of Infinite State Systems, Pise, Italie, éd. par Steffen (B.) et Margaria (T.). - Universität Passau, MIP-9614, août 1996. To be published in Electronic Notes on Theoretical Computer Science, 1997.

249

Cridlig (R.). - Semantic Analysis of Concurrent ML by Abstract Model-Checking. In: Proc. International Workshop on Verification of Infinite State Systems. - août 1996.

250

Goubault (É.). - Domains of higher-dimensional automata. In: CONCUR'93, Proceedings of the 4 International Conference on Concurrency Theory, Hildesheim, Allemagne, août 1993, éd. par Best (E.). Lecture Notes in Computer Science 715, pp. 293-307. - Springer-Verlag, Berlin, août 1993.

251

Goubault (É.). - Schedulers as abstract interpretations of higher-dimensional automata. In: Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'95, La Jolla, Californie, U.S.A., 21-23 juin 1995. pp. 134-145. - ACM Press, New York, juin 1995.

252

Goubault (É.). - Durations for truly-concurrent actions. In: Proceedings of the 6 ESOP'96, Linköping, Suède, éd. par Riis Nielson (H.). Lecture Notes in Computer Science 1058, pp. 173-187. - Springer Verlag, Berlin, 22-26 avr. 1996.

253

Goubault (É.). - Optimal implementation of wait-free binary relations. In: Proc. of the 22 CAAP. Lecture Notes in Computer Science. - Springer Verlag, Berlin, 1997.

254

Goubault (É.). - A semantic view on distributed computability and complexity. In: Proceedings of the 3 Theory and Formal Methods Section Workshop. - Imperial College Press, 1997.

255

Mauborgne (L.). - Abstract interpretation using TDGs. In: Proceedings of the Static Analysis Symposium, SAS'94, Namur, Belgique, 20-22 sept. 1994, éd. par Le Charlier (B.). Lecture Notes in Computer Science 864, pp. 363-379. - Springer-Verlag, Berlin, 1994.

256

Monsuez (B.). - Polymorphic types and widening operators. In: Proceedings of the 3 International Workshop WSA'93 on Static Analysis, Padoue, Italie, éd. par Cousot (P.), Falaschi (M.), Filé (G.) et Rauzy (A.). Lecture Notes in Computer Science 724, pp. 267-281. - Springer-Verlag, Berlin, sept. 22-24, 1993.

257

Monsuez (B.). - Polymorphic typing for call-by-name semantics. In: Proceedings of the International Conference on Formal Methods in Programming and their Applications, Academgorodok, Novosibirsk, Russie, éd. par Bjø rner (D.), Broy (M.) et Pottosin (I.). Lecture Notes in Computer Science 735, pp. 156-169. - Springer-Verlag, Berlin, juin 28-juil. 2, 1993.

258

Monsuez (B.). - System F and abstract interpretation. In: Proceedings of the Static Analysis Symposium, SAS'95, Glasgow, Écosse, sept. 1995, éd. par Mycroft (A.). Lecture Notes in Computer Science 983, pp. 279-295. - Springer-Verlag, Berlin, 1995.

259

Monsuez (B.). - Using abstract interpretation to define a strictness type inference system. In: Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'95, La Jolla, Californie, U.S.A. pp. 122-133. - ACM Press, New York, 21-23 juin 1995.

260

Nielson (F.), Cousot (P.), Dam (M.), Degano (P.), Jouvelot (P.), Mycroft (A.) et Thomsen (B.). - Logical and operational methods in the analysis of programs and systems. In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockhlom, Suède, 24-26 juin 1996, éd. par Dam (M.). Lecture Notes in Computer Science 1192, pp. 1-21. - Springer Verlag, Berlin, 1996.

261

Védrine (F.). - Binding-time analysis and strictness analysis by abstract interpretation. In: Proceedings of the Static Analysis Symposium, SAS'95, Glasgow, Écosse, sept. 1995, éd. par Mycroft (A.). Lecture Notes in Computer Science 983, pp. 400-417. - Springer-Verlag, Berlin, 1995.

Autres conférences

262

Cousot (P.). - Sémantique, preuve et interprétation abstraite, une première introduction. - Séminaire de l'École polytechnique, 12 avril 1995 & ENSTB, 25 janvier 1996.

263

Cousot (P.) et Cousot (R.). - Higher-order abstract interpretation. - 14 sept. 1994. Séminaire, Carnegie Mellon University, Pittsburgh, Pennsylvanie, U.S.A.

264

Cousot (P.) et Cousot (R.). - Equivalent presentations of compositional inductive semantic definitions. In: Semantique II meeting, Glasgow, Écosse. - 28-29 sept. 1995.

265

Cousot (P.) et Cousot (R.). - Abstract symbolic model checking. - 30 avr. 1996. LOMAPS meeting, Stockholm, Suède.

266

Cousot (P.). - Constructing a hierarchy of semantics by abstract interpretation. In: Workshop on Logic, Domains and Programming Languages, Darmstadt, Allemagne. - 24-27 mai 1995.

267

Cousot (P.). - Natural semantics trees in G SOS style. In: Semantique II meeting, Glasgow, Écosse. - 28-29 sept. 1995.

268

Cousot (P.). - Assigning types to programs by abstract interpretation. - 11 sept. 1996. Seminario, Dip. di Informatica, Univ. di Pisa, Pise, Italie.

269

Cousot (P.). - Corso di interpretazione astratta. - 9-12 sept. 1996. Dottorato di Ricerca, Dip. di Informatica, Univ. di Pisa, Pise, Italie.

270

Cousot (P.). - Interprétation abstraite. - 4 avr. 1996. École jeunes chercheurs en programmation, GDR Programmation du CNRS, LaBRI, Bordeaux, 31 mars - 5 avril 1996.

271

Cousot (P.). - Introductory course on abstract interpretation. - 12-26 août 1996. Eighth European Summer School in Logic, Language, and Information ESSLLI'96, Charles University & Czech Technical University, Prague, République Tchèque.

272

Cousot (P.). - Vérification et interprétation abstraite. - 21 juin 1996. MOdélisation et VErification des Processus Parallèles, MOVEP'96, École Centrale de Nantes, Nantes, 18-21 juin 1996.

273

Cousot (P.). - Analyse sémantique de programmes par interprétation abstraite. - 20 mars 1997. École jeunes chercheurs en programmation, GDR Programmation du CNRS, INRIA, Sophia-Antipolis, 17 au 28 mars 1997.

274

Cridlig (R.). - Implementing a static analyzer of concurrent programs: problems and perspectives. In: Proc. fifth LOMAPS Workshop on Analysis and Verification of Multiple-agent Languages. - juin 1996.

Thèses

275

Goubault (É.). - La géométrie du parallélisme. - Palaiseau, Thèse de doctorat de l'École Polytechnique en informatique, École Polytechnique, 13 nov. 1995.

276

Monsuez (B.). - Typage par Interprétation Abstraite. - Palaiseau, France, Thèse de doctorat de l'École Polytechnique en informatique, École Polytechnique, 13 fév. 1994.

Notes de cours

277

Cousot (P.). - Calcul parallèle. - École Normale Supérieure, Notes de cours, M.M.F.A.I., mars 1995. 70 p.

278

Cousot (P.). - Système d'exploitation Unix et réseaux d'ordinateurs. - École Polytechnique, Notes de cours, jan. 1995. 306 p.

279

Cousot (P.). - A course on abstract interpretation. - 14-19 avr. 1997. Indo-French School on Abstract Interpretation, JNCASR, Bangalore, Inde.

280

Cousot (P.). - Langages de programmation et compilation. - École Normale Supérieure, Notes de cours, M.M.F.A.I., mars 1997. 157 p.

Articles soumis ou en préparation

281

Bodei (C.) et Priami (C.). - True concurrency via abstract interpretation. - 1997. Soumis pour publication.

282

Priami (C.). - Stochastic analysis of mobile telephony networks. - 1997. Soumis pour publication.

Rapports du DMI

283

Goubault (É.). - Higher Dimensional Automata, Part I - Basic Definitions. - Rapport de recherche, École Normale Supérieure, Paris, Laboratoire d'Informatique, 1995.

284

Goubault (É.). - The Dynamics of Wait-Free distributed computations. - Rapport technique, École Normale Supérieure, 1997.

285

Monsuez (B.). - Polymorphic Typing of Heterogeneous Lists. - Rapport de recherche LOMAPS n&#;'27 LOMAPS-ENSX-5, École Normale Supérieure, juin 1994.

Rapports de recherche publiés dans d'autres laboratoires

286

Cousot (P.), Cousot (R.), Mycroft, A. (O.) et Editors. - Report on Dagsthul seminar 9535 on abstract interpretation. - 28 août - 1 sept. 1995. Sarrebrücken, Allemagne.

287

Cousot (P.) et Cousot (R.). - Forward and Backward Strictness Analysis by Abstract Interpretation of a Relational Semantics. - Rapport de recherche n&#;'27 LIX/RR/94/05, École Polytechnique, Palaiseau, Laboratoire d'Informatique, fév. 1994.

288

Mauborgne (L.). - Abstract interpretation using TDGs. - Rapport de stage, École Polytechnique, École Normale Supérieure, Universités de Paris 6, 7 & 11, DEA ``Informatique, Mathématiques et Applications'', sept. 1993.

289

Védrine (F.). - Galois connection based abstract interpretation for binding time analysis. - Rapport de stage, École Polytechnique, École Normale Supérieure, Universités de Paris 6, 7 & 11, DEA ``Informatique, Mathématiques et Applications'', 13 juil. 1994.

Rapports non publiés

290

Cousot (P.) et Cousot (R.). - Grammar Analysis by Abstract Interpretation. - Rapport technique, LIENS, juin 1997.

Rapports de contrats

291

Cousot (P.) et Cousot (R.). - Atlantique PPR 3, ENS-X, Paris, Sep. 95 - Dec. 96. - Rapport technique, Copenhague, Danemark, DIKU, 23 déc. 1996.

292

Cousot (P.), Goubault (J.) et Halbwachs (N.). - Techniques Symboliques pour l'Analyse Statique et la Vérification de Systèmes,. - Rapport final du contrat MRT ``Informatique 92'', nov. 1993 - nov.1996, BULL/IMAG/LIENS, nov. 1996.

293

Nielson (F.), Cousot (P.), Dam (M.), Degano (P.), Jouvelot (P.), Mycroft (A.) et Thomsen (B.). - LOMAPS Scientific Overview and Periodic Progess Report 8130-2, December 1994-November 1995. - Rapport technique, Computer Science Department, Aarhus University, Aarhus, Danemark, DAIMI, déc. 1995.

294

Nielson (F.), Cousot (P.), Dam (M.), Degano (P.), Jouvelot (P.), Mycroft (A.) et Thomsen (B.). - LOMAPS Scientific Overview and Periodic Progess Report 8130-3, December 1995-November 1996. - Rapport technique, Computer Science Department, Aarhus University, Aarhus, Danemark, DAIMI, déc. 1996.

Langages Logiques, Contraintes et Optimisation

Livres

295

Fages (F.). - Programmation Logique par Contraintes. - Ed. Ellipses, Paris, 1996, Collection Cours de l'Ecole Polytechnique, 192p.

Chapitres de livres

296

Codognet (C.) et Codognet (P.). - A generalized semantics for concurrent constraint languages and their abstract interpretation. In: Constraint Processing, éd. par Meyer (M.). - Springler Verlag, 1995.

297

Codognet (P.), Fages (F.) et Sola (T.). - A meta-level compiler for CLP(FD) and its combination with intelligent backtracking. In: Constraint Logic Programming : Selected Research, éd. par Colmerauer (A.) et Benhamou (F.). - MIT Press, 1993.

298

Fages (F.). - Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages. In: Constraint Programming: Basics and Trends, éd. par Podelski (A.). LNCS 910, pp. 68-89. - Springer-Verlag, 1995.

Articles dans des revues internationales avec comité de lecture

299

Albert (L.), Casas (R.) et Fages (F.). - Average case analysis of unification algorithms. Theoretical Computer Science, vol. 113, 1993, pp. 3-34.

300

Barbanera (F.), Fernández (M.) et Geuvers (H.). - Modularity of strong normalization in the algebraic- -cube. Journal of Functional Programming, 1997. - To appear.

301

Barbanera (F.) et Fernández (M.). - Intersection type assignment systems with higher-order algebraic rewriting. Theoretical Computer Science, vol. 170, 1996, pp. 173-207.

302

Fages (F.), Fowler (J.) et Sola (T.). - Experiments in reactive constraint logic programming. To appear in the Journal of Logic Programming, 1996.

303

Fages (F.). - Consistency of Clark's completion and existence of stable models. Methods of Logic in Computer Science, vol. 1, 1994, pp. 51-60.

304

Fages (F.). - Constructive negation by pruning. Journal of Logic Programming, vol. 32(2)), août 1997, pp. 85-118.

305

Fernández (M.) et Mackie (I.). - Interaction Nets and Term Rewriting Systems. Theoretical Computer Science, 1997. - Special Issue dedicated to selected papers of CAAP'96. To appear.

306

Fernández (M.). - AC Complement Problems: Satisfiability and Negation Elimination. Journal of Symbolic Computation, vol. 22, 1996, pp. 49-82.

307

Ruet (P.) et Fages (F.). - Combining explicit negation and negation by failure via Belnap's logic. Theoretical Computer Science, vol. 171, jan. 1997, pp. 61-75.

308

van Bakel (S.) et Fernández (M.). - Normalization properties of typeable rewrite systems. Information and Computation, 1997. - À paraître.

Conférences invitées

309

Jouannaud (J.-P.) et Fernández (M.). - Modular properties of term rewriting systems : New proofs and results. In: Proc. Computer Science Logic, éd. par Tiuryn (J.). - Kasimiercz, 1994.

Communications dans des conférences internationales avec comité de lecture

310

Barbanera (F.), Fernández (M.) et Geuvers (H.). - Modularity of strong normalization and confluence in the -algebraic-cube. In: Proceedings of IEEE Symposium of Logic in Computer Science, LICS'94, Paris, France. - 1994.

311

Barbanera (F.) et Fernández (M.). - Combining first and higher order rewrite systems with type assignment systems. In: Proceedings of the International Conference on Typed Lambda Calculi and Applications, Utrecht, Holland. LNCS 664. - 1993.

312

Barbanera (F.) et Fernández (M.). - Modularity of termination and confluence in combinations of rewrite systems with . In: Proceedings of the 20th International Colloquium on Automata, Languages, and Programming, LNCS 700. - 1993.

313

Caseau (Y.) et Laburthe (F.). - Improved CLP scheduling with task intervals. In: Logic Programming, Proceedings of the 11th International Conference on Logic Programming, éd. par Hentenryck (P. V.). pp. 369-383. - Santa Margherita Ligure, Italy, 1994.

314

Caseau (Y.) et Laburthe (F.). - Improving branch and bound for jobshop scheduling with constraint propagation. In: Combinatorics and Computer Science, 8th Franco-Japanese 4th Franco-Chinese Conference, éd. par Deza (M.), Euler (R.) et Manoussakis (Y.). LNCS 1120, pp. 129-149. - Brest, France, 1995.

315

Caseau (Y.) et Laburthe (F.). - Cumulative scheduling with task intervals. In: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming. - Bonn, Germany, 1996.

316

Caseau (Y.) et Laburthe (F.). - Solving small TSPs with constraints. In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, éd. par Naish (L.). - Leuwen, 1997.

317

Caseau (Y.) et Perron (L.). - Attaching second-order types to methods in an object-oriented language. In: Proc. of ECOOP'93. - Kaiserslautern, 1993.

318

Chailloux (E.), Codognet (C.) et Codognet (P.). - Finite domains constraints in ML. In: International Conference on Tools with Artificial Intelligence. - Nouvelle-Orle'ans, 1994.

319

Codognet (C.), Codognet (P.), Quagetto (M.) et Loia (V.). - Sleepers : a versatile high-level control mechanism. In: International Symposium on Programming Language Implementation and Logic Programming. - Madrid, 1994.

320

Codognet (C.) et Codognet (P.). - Abstract interpretation for concurrent constraint languages. In: Computer Science and Applied Mathematics Congress. - Saint-Petersbourg, 1993.

321

Codognet (C.) et Codognet (P.). - Abduction and concurrent logic languages. In: European Conference on Artificial Intelligence. - Amsterdam, 1994.

322

Codognet (C.) et Codognet (P.). - Guarded constructive disjunction : angel or demon ? In: International Conference on Principles and Practice of Constraint Programming. - Cassis, 1995.

323

Fages (F.), Fowler (J.) et Sola (T.). - Handling preferences in constraint logic programming with relational optimization. In: Programming Language Implementation and Logic Programming, PLILP'94. LNCS 844, pp. 261-276. - Madrid, 1994.

324

Fages (F.), Fowler (J.) et Sola (T.). - A reactive constraint logic programming scheme. In: International Conference on Logic Programming, ICLP'95, éd. par Sterling (L.). - Tokyo, 1995.

325

Fages (F.) et Gori (R.). - A hierarchy of operational and denotational semantics for general constraint logic programming languages. In: International Conference on Algebraic and Logic Programming, ALP'96. - Aachen, 1996.

326

Fages (F.). - On optimization predicates in constraint logic programming. In: Proc. Third Workshop on Constraint Logic Programming, WCLP'93. - Marseille, Mars 1993.

327

Fages (F.). - On the semantics of optimization predicates in CLP languages. In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, éd. par Shyamasundar (R. K.). LNCS 761, pp. 193-204. - Bombay, déc. 1993.

328

Fages (F.). - On the semantics of optimization predicates in CLP languages. In: Proc. of the first workshop on Principles and Practice of Constraint Programming, PPCP'93. - Newport, avr. 1993.

329

Fages (F.). - From constraint minimization to goal optimization in CLP languages. In: International Logic Programming Symposium, ILPS'95, Post-Conference Workshop on Constraints, Databases and Logic Programming. - Portland, 1995.

330

Fages (F.). - From constraint minimization to goal optimization in CLP languages. In: Constraint Programming CP'96, Poster paper. - Boston, 1996.

331

Fernández (M.) et Jouannaud (J.-P.). - Modular termination of term rewriting systems revisited. In: Recent Trends in Data Type Specification. Proc. 10th. Workshop on Specification of Abstract Data Types (ADT'94). - Santa Margherita, Italy, 1995. Lecture Notes in Computer Science 906.

332

Fernández (M.) et Mackie (I.). - From Term Rewriting to Generalised Interaction Nets. In: Proceedings of the 8th Int. Symposium on Programming Languages: Implementations, Logics, and Programs (PLILP'96). - Aachen, Germany, 1996. Lecture Notes in Computer Science 1140.

333

Fernández (M.) et Mackie (I.). - Interaction Nets and Term Rewriting Systems - extended abstract. In: Trees in Algebra and Programming -- CAAP'96. Proc. 21st Int Colloquium. - Linköping, Sweden, 1996. Lecture Notes in Computer Science 1059.

334

Fernández (M.). - AC-Complement Problems: Satisfiability and Negation Elimination. In: Proc. 5th Rewriting Techniques and Applications, Montréal, LNCS 690. - 1993.

335

Fowler (J.), Sola (T.) et Fages (F.). - Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. In: Journées francophones de programmation logique, JFPL'95. - Dijon, 1995.

336

Jourdan (J.), Fages (F.), Rozonnelli (D.) et Demeure (A.). - Data alignment and task scheduling on parallel machine using concurrent model-based programming. In: Poster paper, International Symposium on Logic Programming, ILPS'94. - Ithaca, NY, 1994.

337

Jourdan (J.), Fages (F.), Rozonnelli (D.) et Demeure (A.). - Data alignment and task scheduling on parallel machine using concurrent model-based programming. In: Proc. of Concurrent Constraint Programming, CCP'95. - Venise, 1995.

338

Laburthe (F.). - The Hilbert basis of the cut cone over the complete graph . In: Integer Programming and Combinatorial Optimization, 4th International Conference IPCO, éd. par Balas (E.) et Clausen (J.). LNCS 920, pp. 252-266. - Copenhagen, Denmark, 1995.

339

Paltrinieri (M.). - Integrating objects with constraint-programming languages. In: Object-Oriented Methodologies and Systems, éd. par Bertino (E.) et Urban (S.). LNCS 858, pp. 248-265. - Springer-Verlag, 1994.

340

Paltrinieri (M.). - On the design of constraint satisfaction problems. In: Principles and Practice of Constraint Programming, éd. par Borning (A.). LNCS 874, pp. 299-311. - Springer-Verlag, 1994.

341

Paltrinieri (M.). - A visual constraint-programming environment. In: First International Conference on Principles and Practice of Constraint Programming. LNCS 976, pp. 499-514. - Springer-Verlag, 1995.

342

Paltrinieri (M.). - A visual environment for constraint programming. In: 11th International IEEE Symposium on Visual Languages, Poster Session. pp. 118-119. - IEEE Computer Society Press, 1995.

343

Perron (L.). - cc( ), a kernel for implementing cc languages. In: Proc. of CCP'95. - 1995.

344

Perron (L.). - A concurrent constraint kernel language based on messages. In: Proc. of ICLP'95. - 1995. Poster.

345

Perron (L.). - An implementation of or-parallelism based on direct access to the MMU. In: Proc. of the 1996 Compulog Net Meeting on Parallelism and Implementation Technology. - 1996.

346

Ruet (P.) et Fages (F.). - Combining explicit negation and negation by failure via Belnap's logic. In: Workshop on Uncertainty in Logic Programming, International Symposium on Logic Programming, ILPS'94. - Ithaca, NY, 1994. Revised version to appear in Theoretical Computer Sience.

347

Ruet (P.). - Logical semantics of concurrent constraint programming. In: CP'96, International Conference on Constraint Programming, Springer LNCS 1118. - Cambridge, MA, 1996.

348

Schachter (V.). - cc et intervalles de taches. In: 5th French Conference on Logic and Constraint Programming. - 1996.

349

Schachter (V.). - A local simplification scheme for cc programs (poster). In: Second International Conference on Principles and Practice of Constraint Programming (CP96). - 1996.

350

van Bakel (S.), Barbanera (F.) et Fernández (M.). - Rewrite Systems with Abstraction and -rule: Types, Approximants and Normalization. In: Programming Languages and Systems -- ESOP'96. Proc. 6th European Symposium on Programming. - Linköping, Sweden, 1996. Lecture Notes in Computer Science 1058.

351

van Bakel (S.) et Fernández (M.). - (Head)-Normalization of Typeable Rewrite Systems. In: Proceedings of RTA'95 (Rewriting Techniques and Applications), Kaiserslautern, Germany, LNCS 914. - 1994.

352

van Bakel (S.) et Fernández (M.). - Strong Normalization of Typeable Rewrite Systems. In: Proceedings of HOA'93 (Higher Order Algebra), Amsterdam, Holland. LNCS 816. - 1994.

353

van Bakel (S.) et Fernández (M.). - Approximation and Normalization results for Typeable Term Rewriting Systems. In: Higher-order Algebra, Logic, and Term Rewriting. Selected Papers. Snd. Int. Workshop, HOA'95. - Paderborn, Germany, 1996. Lecture Notes in Computer Science 1074.

Autres conférences

354

Caseau (Y.) et Laburthe (F.). - Combining objects and rules for problem solving. In: JICSLP'96 Workshop on Multi-paradigm Programming. - Bonn, Germany, 1996.

355

Fages (F.). - Négation constructive par élagage. In: Ecole de Printemps d'Informatique Théorique. - Châtillon-sur-Seine, 1994.

356

Fages (F.). - Négation constructive en programmation logique avec contraintes. In: Actes des Journées du GDR Programmation du CNRS. - Grenoble, 1995.

357

Laburthe (F.). - Écrire du code élégant pour des algorithmes complexes. In: Langages et Modèles à Objets. - Leysin, Suisse, 1996.

358

Ruet (P.) et Fages (F.). - Programmation concurrente par contraintes et logique linéaire non commutative. In: Actes des Journées du GDR Programmation du CNRS. - Orléans, 1996.

Thèses

359

Fernández (M.). - Modèles de calculs multiparadigmes fondés sur la réécriture. - Thèse de Doctorat, Université de Paris-Sud, France, Décembre 1993.

Notes de cours

360

Fages (F.) et al. - Travaux dirigés de programmation logique par contraintes. In: Cours du Magistère MMFAI, Rapport LIENS-96-5. - Ecole Normale Supérieure, 1996.

361

Fages (F.). - Programmation logique. In: Cours de la Majeure d'Informatique Fondamentale et Applications. - Ecole Polytechnique, 1993, 1994, 1995, 1996.

362

Fages (F.). - Programmation logique avec contraintes. In: Ecole Jeunes Chercheurs en Programmation, p. 44 p. - GDR Programmation du CNRS, 1995, 1996, 1997.

Articles soumis ou en préparation

363

Compagnoni (A.) et Fernández (M.). - An object calculus with algebraic rewriting. - 1997. Soumis.

364

Fages (F.) et Gori (R.). - A hierarchy of semantics of normal constraint logic programs for analysis by abstract interpretation. En preparation, 1997.

365

Fages (F.) et Paltrinieri (M.). - Toward a flexible type system with subtypes and parametric polymorphism for constraint logic programming. In: Soumis. - Avril 1997.

366

Fernández (M.). - Negation elimination: Equational formulae in empty or permutative theories. - 1993. Soumis.

367

Ruet (P.) et Fages (F.). - Concurrent constraint programming and mixed non-commutative linear logic. In: Soumis. - avr. 1997.

368

Ruet (P.). - Non-commutative linear logic with mobilities. In: Presented at the Logic Colloquium'96, San Sebastian, Spain. Submitted to the Bulletin of Symbolic Logic. - juil. 1996.

369

Ruet (P.). - Phase semantics for mixed non-commutative classical linear logic. In: Soumis. - avr. 1997.

370

van Bakel (S.) et Fernández (M.). - Approximation and normalization results for typeable combinator systems. - 1996. Soumis.

Rapports du DMI

371

Barbanera (F.), Fernández (M.) et Geuvers (H.). - Modularity of strong normalization and confluence in the algebraic- -cube (Preliminary Version). - Rapport de Recherche n&#;'27 LIENS-96-8, Laboratoire d'Informatique de l'École Normale Supérieure, 1996.

372

Caseau (Y.) et Laburthe (F.). - Disjunctive Scheduling with Task Intervals. - Rapport technique, LIENS Technical Report 95-25, juil. 1995.

373

Caseau (Y.) et Laburthe (F.). - Introduction to the CLAIRE programming language. - Rapport technique, LIENS Technical Report 96-15, sept. 1996.

374

Fages (F.). - On the semantics of optimization predicates in CLP languages. - Rapport technique, LIENS 93-12, mai 1993.

375

Fages (F.). - Constructive negation by pruning. - Rapport technique, LIENS 94-14, sept. 1994.

376

Fages (F.). - Constructive negation by pruning and Optimization higher-order predicates in CLP and CC languages. - Rapport technique, LIENS 94-19, oct. 1994.

377

Fages (F.). - Constructive negation by pruning. - Rapport technique, LIENS 95-24, version révisée de 94-14, sept. 1995.

378

Laburthe (F.), Deza (M.) et Laurent (M.). - The Hilbert Basis of the Cut Cone over the Complete Graph on Six Vertices. - Rapport technique, LIENS Technical Report 95-7, avr. 1995.

379

Ruet (P.) et Fages (F.). - Combining explicit negation and negation by failure via Belnap's logic. - Rapport technique, LIENS 94-15, sept. 1994.

380

Ruet (P.) et Fages (F.). - Concurrent constraint programming and non-commutative linear logic. - Rapport technique, LIENS 96-25, déc. 1996.

381

Ruet (P.). - Complete sets of connectives and complete sequent calculus for Belnap's logic. - Rapport technique, LIENS 96-28, juil. 1996. Presented at the Logic Colloquium'96, San Sebastian, Spain.

Rapports de recherche publiés dans d'autres laboratoires

382

Fernandez (M.) et Jouannaud (J.-P.). - Modularity Properties of Term rewriting Systems Revisited. - Rapport technique n&#;'27  875, Laboratoire de Recherche en Informatique, nov. 1993.

383

Fernández (M.). - AC-Complement Problems: Satisfiability and Negation Elimination. - Rapport de Recherche n&#;'27  839, Univ. Paris-Sud, Laboratoire de Recherche en Informatique, 1993.

Rapports de contrats

384

Codognet (P.), Cousot (R.), Fages (F.), Giacobazzi (R.), Imbert (J. L.), Pique (J. F.) et Rauzy (A.). - Langages Logiques concurrents avec contraintes. - Rapport technique, Rapport final de l'action inter-PRC Informatique MESR 93S0051, "Opérations de recherches coordonnées en calcul parallèle et distribué", Octobre 1995.

385

Fages (F.), Lissajoux (R.) et Perron (L.). - Langage concurrent avec contraintes pour la planification multi-utilisateurs. - Rapport technique, Rapport final du contrat MESR 92S0777, 1994.

Logique et Physique

Articles dans des revues internationales avec comité de lecture

386

Matherat (P.) et Jaekel (M.-T.). - Dissipation logique des implémentations d'automates - Dissipation du calcul. TSI, vol. 15, n&#;'27 8, octobre 1996, pp. 1079-1104.

Conférences invitées

387

Matherat (P.). - "Existence physique" et "dissipation logique" des machines à calculer. In: Colloque "Logique et Modèles de calcul". - CIRM Luminy, Marseille, France, 16 au 20 septembre 1996.

Rapports du DMI

388

Matherat (P.) et Jaekel (M.-T.). - Dissipation logique des implémentations d'automates - Dissipation du calcul. - Rapport technique n&#;'27 95-3, LIENS, février 1995. 70 pages.

Rapports non publiés

389

Matherat (P.). - Rapport sur la prospection de systèmes de projection pour le Planétarium inversé. - 22 avril 1993. Palais de la Découverte.

Miscellanea

390

Voyeux (M.). - Vues d'Ulm. - Coédition PENS et Diderot éditeur, arts et sciences, juin 1995. Reportage photographique, ouvrage réalisé par Eric Guichard, Philippe Matherat et Hélène Perrin, à l'occasion du bicentenaire de l'Ecole normale supérieure en 1994, associé à une exposition à la FNAC-micro en mars 1996, contient un texte de Philippe Matherat.

Spécifications algébriques et Programmation logique

Chapitres de livres

391

Bidoit (M.), Chevenier (C.), Pellen (C.) et Ryckbosch (J.). - An Algebraic Specification of the Steam-Boiler Control System. In: Formal Methods for Industrial Applications, éd. par Abrial (J.-R.), Börger (E.) et Langmaack (H.), pp. 79-108. - Springer, 1996, Lecture Notes in Computer Science (State-of-the-Art Survey), volume 1165.

392

Cheong (P. H.) et Fribourg (L.). - Implementation of Narrowing: The Prolog-Based Approach. In: Current Trends in Logic Programming Languages: Integration with Functions, Constraints and Objects, éd. par Apt (K. R.), de Bakker (J.) et Rutten (J. J. M. M.), chap. 1, pp. 1-20. - The MIT Press, 1993.

393

Fribourg (L.). - Extracting Logic Programs from Proofs that Use Extended Prolog Execution with Induction. In: Constructing Logic Programs, éd. par Jacquet (J. M.), chap. 2, pp. 39-66. - Wiley, 1993.

Édition d'ouvrages collectifs

394

Bidoit (M.) et Choppy (C.) (édité par). - Recent Trends in Data Type Specification (Selected Papers of the 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop). - Springer, 1993, Lecture Notes in Computer Science, volume 655.

395

Fribourg (L.) et Turini (F.) (édité par). - Logic Program Synthesis and Transformation - Meta-Programming in Logic. - Springer-Verlag, 1994, Lecture Notes in Computer Science, volume 883.

Articles dans des revues internationales avec comité de lecture

396

Bernot (G.), Bidoit (M.) et Knapik (T.). - Behavioural approaches to algebraic specifications: A comparative study. Acta Informatica, vol. 31, nov. 1994, pp. 651-671.

397

Bernot (G.), Bidoit (M.) et Knapik (T.). - Observational specifications and the indistinguishability assumption. Theoretical Computer Science, vol. 139, n&#;'27 1-2, mars 1995, pp. 275-314.

398

Bidoit (M.), Hennicker (R.) et Wirsing (M.). - Behavioural and abstractor specifications. Science of Computer Programming, vol. 25, n&#;'27 2-3, déc. 1995, pp. 149-186.

399

Bidoit (M.) et Hennicker (R.). - Behavioural theories and the proof of behavioural properties. Theoretical Computer Science, vol. 165, n&#;'27 1, sept. 1996, pp. 3-55.

Articles dans d'autres revues

400

Fribourg (L.) et Veloso-Peixoto (M.). - Automates concurrents à contraintes. Technique et Science Informatiques, vol. 13, n&#;'27 6, 1994, pp. 837-866.

Communications dans des conférences internationales avec comité de lecture

401

Bidoit (M.), Choppy (C.) et Voisin (F.). - Interchange format for inter-operability of tools and translation, the Salsa and Asspegique /LP experience. In: Recent Trends in Data Type Specification (Selected papers of the 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 1995). Lecture Notes in Computer Science, volume 1130, pp. 102-124. - Springer, 1996.

402

Bidoit (M.), Hennicker (R.) et Wirsing (M.). - Characterizing behavioural semantics and abstractor semantics. In: Proc. of the 5th European Symposium on Programming (ESOP, Edinburgh, U.K., April 1994). Lecture Notes in Computer Science, volume 788, pp. 105-119. - Springer, 1994.

403

Bidoit (M.) et Hennicker (R.). - A general framework for modular implementations of modular systems. In: Proc. of TAPSOFT (Theory and Practice of Software Development, 4th International Joint Conference CAAP/FASE, Orsay, France, April 1993). Lecture Notes in Computer Science, volume 668, pp. 199-214. - Springer, 1993.

404

Bidoit (M.) et Hennicker (R.). - Proving behavioural theorems with standard first-order logic. In: Proc. of the 4th International Conference on Algebraic and Logic Programming (ALP, Madrid, Espagne, September 1994). Lecture Notes in Computer Science, volume 850, pp. 41-58. - Springer, 1994.

405

Bidoit (M.) et Hennicker (R.). - Behavioural theories. In: Recent Trends in Data Type Specification (Selected Papers of the 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Santa Margherita, Italie, June 1994). Lecture Notes in Computer Science, volume 906, pp. 153-169. - Springer, 1995.

406

Bidoit (M.) et Hennicker (R.). - Proving the correctness of behavioural implementations. In: Proc. of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST, Montreal, Canada, July 1995). Lecture Notes in Computer Science, volume 936, pp. 152-168. - Springer, 1995.

407

Bidoit (M.) et Tarlecki (A.). - Behavioural satisfaction and equivalence in concrete model categories. In: Proc. of the 21st Colloquium on Trees in Algebra and Programming (CAAP, Linköping, Sweden, April 1996). Lecture Notes in Computer Science, volume 1059, pp. 241-256. - Springer, 1996.

408

Fribourg (L.) et Olsen (H.). - Reductions of Petri Nets and Unfolding of Propositional Logic Programs. In: Proc. of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR). Lecture Notes in Computer Science, volume 1207. - Springer-Verlag, 1996.

409

Fribourg (L.) et Richardson (J.). - Symbolic Verification with Gap-Order Constraints. In: Proc. of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR). Lecture Notes in Computer Science, volume 1207. - Springer-Verlag, 1996.

410

Fribourg (L.) et Veloso-Peixoto (M.). - Bottom-up Evaluation of Datalog Programs with Arithmetical Constraints. In: Proc. of the International Conference on Automated Deduction (CADE), Nancy, France. Lecture Notes in Computer Science, volume 814, pp. 311-325. - Springer-Verlag, 1994.

411

Fribourg (L.) et Veloso-Peixoto (M.). - Bottom-up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetical Constraints. In: Proc. of the Post-ILPS'94 Workshop on Constraints and Databases, Ithaca, N.Y., USA, pp. 109-125. - 1994.

412

Voisin (F.) et Bidoit (M.). - Modular algebraic specifications and the orientation of equations into rewrite rules. In: Recent Trends in Data Type Specification (Selected papers of the 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 1995). Lecture Notes in Computer Science, volume 1130, pp. 503-521. - Springer, 1996.

Autres conférences

413

Bidoit (M.) et Hennicker (R.). - How to prove observational theorems with LP. In: Proc. of the First International Workshop on Larch (Boston, U.S.A., July 1992). Workshops in Computing, pp. 18-35. - Springer, 1993.

414

Choppy (C.) et Bidoit (M.). - Integrating ASSPEGIQUE and LP. In: Proc. of the First International Workshop on Larch (Boston, U.S.A., July 1992). Workshops in Computing, pp. 69-85. - Springer, 1993.

Thèses

415

Veloso-Peixoto (M.). - Automates à Contraintes Arithmétiques et Procédures d'Evaluation Ascendante de Programmes Logiques. - Thèse de doctorat, Université Paris 7, déc. 1994, 206 pagesp.

Rapports du DMI

416

Bert (D.), Bidoit (M.), Choppy (C.), Echahed (R.), Hufflein (J.-M.), Jacquot (J.-P.), Lemoine (M.), Levy (N.), Reynaud (J.-C.), Roques (C.) et Voisin (F.). - Exemples, difficultés et points obscurs des FISC (Complément au rapport final de l'opération SALSA). - Rapport n&#;'27 94-R-091, Nancy, CRIN, mai 1994.

417

Bidoit (M.) et Tarlecki (A.). - Regular algebras: a framework for observational specifications with recursive definitions. - Rapport n&#;'27 LIENS-95-12, Paris, Ecole Normale Supérieure, mai 1995.

418

Choppy (C.), Bert (D.), Bidoit (M.), Echahed (R.), Reynaud (J.-C.), Roques (C.) et Voisin (F.). - Rapid prototyping with algebraic specifications: A case study. - Rapport n&#;'27  844, Orsay, L.R.I., mai 1993.

419

Fribourg (L.) et Olsen (H.). - Datalog Programs with Arithmetical Constraints: Hierarchic, Periodic and Spiralling Least Fixpoints. - Rapport technique n&#;'27 95-26, LIENS, nov. 1995.

420

Fribourg (L.) et Richardson (J.). - Symbolic Verification with Gap-Order Constraints. - Rapport technique n&#;'27 96-3, LIENS, fév. 1996.

421

Fribourg (L.) et Veloso-Peixoto (M.). - Concurrent Constraint Automata. - Rapport technique n&#;'27 93-10, LIENS, mai 1993.

422

Fribourg (L.) et Veloso-Peixoto (M.). - Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints: The Case of 3 Recursive Rules. - Rapport technique n&#;'27 94-9, LIENS, juil. 1994.

Rapports de recherche publiés dans d'autres laboratoires

423

Fribourg (L.) et Olsen (H.). - Direct, Dual and Contrapositive Proofs by Induction. - Rapport technique n&#;'27 LiTH-IDA-R-94-45, Linkoping University, déc. 1994.

Rapports de contrats

424

Bert (D.), Bidoit (M.), Choppy (C.), Echahed (R.), Hufflein (J.-M.), Jacquot (J.-P.), Lemoine (M.), Levy (N.), Reynaud (J.-C.), Roques (C.) et Voisin (F.). - Opération SALSA: Structure d'AccueiL pour Spécifications Algébriques. - Rapport final, déc. 1993.

425

Bidoit (M.), Choppy (C.) et Voisin (F.). - Validation d'une spécification algébrique du ``Transit-Node'' par prototypage et démonstration de théorèmes. - In Rapport final de l'opération VTT (Validation et vérification de propriétés Temporelles et de Types de données), Bordeaux, LABRI, juil. 1994.