1. Publications et ouvrages
1. J. ARSAC, J.P. VASSEUR, G. BLAIN, G. ROUCAIROL, G. RUGGIU, R. TERRAT,
TRAN VAN KAI, D. VAUDENE, A. WIDORY
Définition d'un système informatique exploitant un langage riche en sémantique et
manipulant des données structurées – Rapport final Marché I.R.I.A. n° C.R.I. 72046 – Juin
1974.
2. G. BLAIN, R. TERRAT, D. VAUDENE
Use of SIMULA 67 es au tool for conception and analysis of informatic systems – Second
A.S.U. Conference – Monte-Carlo – Juillet 1974.
3. R. TERRAT
An Input-Output Control System Simulator – Third A.S.U. Conference – Brightpn, Sussex –
September 1975.
4. C. APERGHIS, R TERRAT, V. UNG
A microprogrammed module for musical acquisition, synthetical replay and edition – Eight
annual workshop on microprogramming – MICRO 8 – Chicago, Illinois – September 1975.
5. C. GIRAULT, P. SEVRAY, R. TERRAT, A. WIDORY
Fonctions de base d'un Sytème Opératoire – Colloque I.R.I.A. de Téléinformatique – Bonas
– Septembre 1976.
6. G. BLAIN, R. TERRAT, D. VAUDENE
ORELI : L'Ordinateur Évolutif Littéral – Publication interne – Institut de Programmation –
Septembre 1977
7. C. GIRAULT
Écriture des Systèmes Informatiques : problèmes de base et concepts fondamentaux –
Techniques de l'Ingénieur N° H 3100 – Mars 1978.
8. R. TERRAT + 16 co-auteurs
TELEINFORMATIQUE : Transport et Traitement de l'Information dans les réseaux et
systèmes téléinformatiques – DUNOD Informatique – Octobre 1979.
9. G. BERTHELOT, R.TERRAT
Modélisation d'un protocole de transport par Réseau de Petri – 5ème Ecole d'été
"Programming 80" – Primorsko, Bulgarie – Juin 1980.
10. G. BERTHELOT, F. HALLERMAYER, R. TERRAT
Définition du protocole de transport E.C.M.A. par Réseaux de Petri à prédicats – Contrat
SINTRA ERA 592 ADI, Institut de Programmation – Janvier 1981.
11. BERTHELOT, R.TERRAT
Spécification et Validation de protocoles de Transport par Réseaux de PETRI – Réunion du
groupe GROPLAN sur le parallélisme et les processus communicants – Février 1981.
12. BERTHELOT, C.GIRAULT, R.TERRAT
Proofs of reliability for PETRI Net model of distributed algorithms – Workshop on design
and implementation of complete distributed computing systems – INRIA, Versailles – April
1981.
2. 13. R.TERRAT
Modélisation du protocole de transport ECMA : Preuve de Connexion-Déconnexion –
Journées sur la spécification et la validation des protocoles – CNET Lannion – Mai 1981.
14. G. BERTHELOT, R.TERRAT
Modélisation et Validation de protocoles de transport par réseaux de PETRI à prédicats – 1er
congrès sur la conception des Systèmes Télématiques, CITEL, Nice – Juin 1981.
15. G. BERTHELOT, R.TERRAT
Utilisation de Réseaux de PETRI à prédicats pour la modélisation et la preuve de protocoles
de communication de type HDLC – Rapport du LA 248 LITP 81-39 – Juin 1981.
16. G.BERTHELOT, R.TERRAT
PETRI Nets Theory for the correctness of protocols – proc. of the 2nd Seminar on
distributed data sharing systems, R.P. Van de Riet and Litwin Editors, Amsterdam, North
Holland – June 1981.
17. R.TERRAT
Modélisation de Protocoles par Réseaux de PETRI à prédicats – Journées d'étude sur les
protocoles et les systèmes distribués, Institut de Programmation, Paris – Juin 1981.
18. G.BERTHELOT, R.TERRAT
Modelling and proofs of a data transfert protocol by P/T Nets – proc of the 2nd European
Workshop on Applications on Theory of PETRI Nets – Bad Honnef, RFA – June 1981.
19. G.BERTHELOT, R.TERRAT
Validation de protocoles de type HDLC – Actes du congrès de l'AFCET – Novembre 1981.
20. G. BERTHELOT, R.TERRAT
PETRI Net Theory for the correctness of protocols – I.E.E.E. Transactions on
Communications – December 1982.
21. R. TERRAT
PASQUAL : un langage d'expression de systèmes quasi-parallèles dérivé de PASCAL –
ECUME – Avril 1984
22. R.TERRAT
Communications for a biostation – Workshop Biostation : computing environment for
directed mutagenesis – Montpellier – Novembre 1987.
23. Th. PATENNE, R.TERRAT
Computer Environment for the Yaest Genome Sequencing – Rapport de contrat BAP N° 0
308-F (RAH) – Mai 1988.
24. B. ESFANDIARI, J.QUINQUETON, R.TERRAT, L. YRIAIRTE
“Réseau Futé: Techniques d'Intelligence Artificielle Distribuée pour la Supervision-
Maintenance des Réseaux”, Rapport d'avancement, no. 1, CNRS/CNET 93 1B 142 Proj 5115,
Mai 1994.
25. B. ESFANDIARI, J.QUINQUETON, R.TERRAT, L. YRIAIRTE
“Réseau Futé: Techniques d'Intelligence Artificielle Distribuée pour la Supervision-
Maintenance des Réseaux”, Rapport d'avancement, no. 2, CNRS/CNET 93 1B 142 Proj 5115,
Octobre 1994.
3. 26. B. ESFANDIARI, J.QUINQUETON, R.TERRAT, L. YRIAIRTE
“Réseau Futé: Techniques d'Intelligence Artificielle Distribuée pour la Supervision-
Maintenance des Réseaux”, Rapport d'avancement, no. 3, CNRS/CNET 93 1B 142 Proj 5115,
Avril 1995.
27. B. ESFANDIARI, J.QUINQUETON, R.TERRAT
Analyse des Séquences dans la Supervision des Réseaux – Journées MARCIA – Grenoble –
Juin 1995.
28. R. TERRAT
CFML : Un Langage de Balisage de Grilles Harmoniques Basé sur XML – Journées
d'Informatique Musicale – Marseille – 2002.
29. R. TERRAT
Position Paper for the Definition of a Chord File Language Based on XML – Music Network
Open Workshop – Darmstadt – 2002.
30. R. TERRAT
Pregroup Grammars for Chords – ISMIR'04: 5th International Conference on Music
Information Retrieval – Paris – 2004.
31. R.TERRAT
A Pregroup Grammar for Chord Sequences – Journal of New Music Research 34, 4 (2005)
355-360.
32. R.TERRAT
Use of pregroups for recognition of chord sequences, conférencier invité à la conférence
internationale : « Workshop on pregroups », Chieti (Italie), Mai 2005.
Brevet
F.HACQUIN, Th. PATENNE, R.TERRAT
P.D.O.S. – Brevet ANVAR N° 51.835
