Curriculum Vitae of Jean-François Perrot
Emeritus
Professor, Université Pierre et
Marie Curie, Paris
October 2009
- Personal
- Studies
- Career
- Professional
- A . Research
- A.1 -
Algebraic Automata Theory
- A.2 - Lisp and
Object-Oriented Languages
- A.3 - AI and
Knowledge Representation
- B . Teaching
- B.1 - Before
1980 (sabbatical leave in Canada).
- B.2 - From
1981 (return from Canada) to 1992 (leave for
Italy)
- B.3 - From
1993 (return from Italy) to 2000
- B.4 - From
2000 (new organisation) to 2003 (retirement)
- C . Administration
and various responsibilities
- C.1 - Minor
- C.2 - Major
- D. After my
retirement (2003)
- D.1 - Research
- D.2 - Teaching
- D.3 - Other Activities
- List of
Publications
- Supervision of PhD
theses
Personal
Born May 11th, 1941 in Tunis (Tunisia)
French citizen
Married
Address : 3 rue de l'Abbé-Grégoire, F - 75006 Paris
Studies
Baccalauréat (série C-Mathématiques) Dijon 1958
Ingénieur diplômé de l'École polytechnique (X 61)
Docteur ès-Sciences Math., Université Paris VI, 1972
Career
1963-64 Second lieutenant (Artillery), Direction de la
Recherche et
des Moyens d'Essai (DRME, now DRET)
1964-65 Stagiaire de Recherche au CNRS
1965-68 Assistant à l'Institut de Programmation,
Faculté des Sciences de Paris
1968-73 Maître-Assistant ibidem
1973-77 Maître de Conférences (Associate professor),
Université Paris VI,
1977-... Professeur à titre personnel (Full professor).
1980-81 Visiting Professor in Canada
(Université du Québec à Trois-Rivières, then Western Ontario University)
1986-1992 Director of the AI Lab : Laboratoire
Formes et Intelligence
Artificielle (LAFORIA), UA 1095 of CNRS
1988-89 Director of the Computer Science Department (UFR 922
of Université Paris VI)
1992-1993 Visiting Researcher at the Laboratorio di
Cibernetica del CNR, Arco Felice (Napoli)
1995-1996 President of the professional organisation of French
Computer Science Teachers (Société des
Personnels Enseignants-Chercheurs en Informatique de France
- SPECIF)
1996-98 Counsellor of the Chairman of Université Pierre et
Marie Curie (Jean Lemerle)
1997-98 Director of the Computer Science Lab :
Laboratoire d'Informatique de Paris 6 (LIP6),
UMR 7606 of CNRS
Member of AFCET,SMF, GI (Gesellschaft für
Informatik) et member of the board of AFIA (Association
française d'Intelligence Artificielle).
Professional
My professional life can be divided in three parts :
- 1964 - 1977 : Automata Theory (under the leadership of
M.P. Schützenberger)
- 1977 - 1986 : Programming Languages (under the influence of
P.
Greussay : Lisp, Smalltalk)
- since 1986 : Artificial Intelligence (Knowledge
Representation, direction of LAFORIA, then of LIP6).
A
. Research
A.1
- Algebraic Automata Theory
With M.P.
Schützenberger as my thesis supervisor, I studied the finite automata
that are associated with finite prefix codes, more specifically the
finite (permutation) groups that appear in the minimal ideal of their
transition semigroups (so-called Suschkewitsch groups). I developed a
set of APL programs to determine the structure of those semigroups [20,
26, 27]. This study was the main part of my doctoral dissertation
(1972) [17] and the results were reproduced in G. Lallement's
book Semigroups and Combinatorial
Applications,
Wiley, 1979. This line of study was later pursued by Dominique Perrin.
To my present knowledge, one of my conjectures on twice-decomposable
codes is still open.
I then turned to S. Eilenberg's approach, targeting certain
families of languges (varieties) rather than
individual properties.
I gave a characterization of the smallest
varieties satisfying various closure properties (paper in Theoretical
Computer
Science, 1978 [34]). Along this line I had a long and fruitful
collaboration with John Rhodes and Howard Straubing, which eventually
led to the doctoral dissertation of my student Jean-Eric Pin (1981).
Concurrently, I tried to build a theory of syntactic monoids
for context-free langages [28, 31] (paper
in Acta Informatica, 1977 [25]). This was the starting point of the
work of my student Jacques Sakarovitch (doctoral dissertation, 1979).
Together with Maurice Nivat we introduced a new mathematical object,
the so-called polycyclic monoid [13, 16 &
chap. 6 of 17], of which I recently learned that it played a role in
the modern theory of self-similar group actions
(through Mark Lawson).
I also considered families of languages other than regular and
context-free, on the occasion of the thesis of François Rodriguez
(Toulouse, 1975), which dealt with counter automata. Finally, let me
mention that I also worked on syntactic analysis, which I used
thereafter in teaching. At that time its main impact was on the "thèse
de
troisième cycle" of T. H. Hua (1982).
A.2
- Lisp and Object-Oriented Languages
a) Lisp &
lambda-calculus
In the early 70's, Lisp was not widespread in France and its
relationship with lambda-calculus was obscure. Together with Patrick
Greussay and Bernard Robinet we developed a global view both
theoretical and practical, resulting in a basic and well-understood
Lisp interpreter, which we presented in many places. notably in
Toulouse and in Algeria. A whole line of research in Toulouse was born
from this in Toulouse (e.g. work of Patrick Sallé). One highlight of
this cooperation was a Summer School organised by
INRIA in Toulouse (1978). See [41].
I then followed the steps of Greussay and launched a
graduate
course in 1978, which led me to supervise a number of PhDs, notably
Eugen Neidl (1981, compilation of
Lisp) and Pierre Cointe (Lisp and Smalltalk '76). Neidl's work was
later integrated in the industrial project MAIA at CNET and
CGE-Marcoussis, later with ILOG. The MAIA project fostered valuable
exchanges with my team, as may be seen in the work of another of my
students F.X. Testard-Vaillant (1985).
b) Smalltalk
In the early 80s, very few people in France thought much of
Smalltalk. On the recommendation of P. Greussay, my student Pierre
Cointe proposed a Lisp-based interpretation of Smalltalk-76 and of
Smalltalk-80 (the so-called ObjVlisp model).
This work was very popular and contributed to spreading the language in
France. Pierre went on to write a remarkable "thèse d'Etat (1985)", and
to a brilliant career as one of France's leading autorities on Object
Oriented Programming..
In 1980-81 I spent one year in Canada (one semester in Québec,
at
Trois-Rivières, Université du Québec, and one in Ontario, in London,
University of Western Ontario). I found there computing facilities that
were not easily available in France (such as access to a PDP-10). When
I returned to Paris, the situation had improved and I was able to
launch a serious study of various aspects of programming languages.
c) Lisp, Prolog, Smalltalk on a common basis
From 1981 to 1986 several projects were running concurrently
in my team
- MAIA at CGE (Lisp machine) with E. Neidl.
- The FORMES project at IRCAM (a system for computer-aided
musical composition), with P.
Cointe.
- A pedagogical program for the French Ministry of Education
Nationale
- The VLisp project of P. Greussay
resulting in 7 "thèses de
3ème cycle" :
- Olivier Ravelomanantsoa (1985 : Gedanken & Plasma).
- Isabelle Borne (1984 : LOGO & Micro-Smalltalk on the
French computer Micral-80)
- Bernard Serpette (1984 : concurrency with objects, under P.
Cointe
- Jean-Pierre Briot (1985 : Instanciation et Héritage dans
les Langages à Objets, with P. Cointe) Jean-Pierre later turned to
actors and to multi-agent systems, of which he is one of the major
exponents in France.
- Patrice Boizumault (1985 : interpretation of Prolog)
- François-Xavier Testard-Vaillant (1985 :
Lisp without an abstract machine)
- Jean-Pierre Regourd (1985 : computer-aided tutoring)
- Jean-Jacques Lacrampe (Orléans 1985) on a language
for manipulating sets.
One of the outcomes of this activity was our participation in
a
Summer School organised by AFCET (the French Computer Society) in
Montreal on Smalltalk (July 1986).
Another was the creation of a French
research group on Object Oriented Programming, which in June 1987
organised the 1st ECOOP in Paris - on the occasion of the 20th ECOOP in
Nantes (July 2006) this was duly celebrated by a "20th anniversary
session" which the organisers asked me to moderate.
A.3
- AI and Knowledge Representation
a) Smalltalk as a representation language
My turning point from languages to Knowledge Representation
(K.R.)
was the work of Robert Voyer on a Smalltalk-based inference engine for
Expert Systems.
When I took the direction of the AI Lab in 1986, I set up a new
team (F. Wolinski, R.
Voyer, F. Pachet, R. Bourgeois) with the idea that Smalltalk as a
language offered a powerful structure for K.R. which was to be
thoroughly investigated before constructing more complex systems. This
unorthodox attitude led of course to prolonged discussions with
supporters of the traditional approach of constructing specific K.R.
languages.
On the other hand, I was invited by Ernesto Burattini to give a course
at ACAI (Advanced Course on AI, sponsored by ECCAI)
1993 in Capri.
Our approach may be divided in two branches : concepts
and rules.
On the conceptual side, our first target was part-whole hierarchies and
multiple viewpoints, which F. Wolinski studied on the basis of a system
for representing robots for Électricité de France [50, 52]. Then, as a
development of ideas from an industrial project by Thomson-DSE, we
tried to build yet another algebra of concepts directly in
Smalltalk (R. Bourgeois' dissertation, 1990).
Another conceptual issue was that of independent agents (called to-day Multi-Agent
Systems).
The ability of Smalltalk for this purpose was demonstrated by the first
version of the DIMA system of Zahia Guessoum (1996) - nowadays it has
been ported to Java !
On the regular side Voyer' thesis (February 1989) proposed a system
with distributed control. This served as the starting point for
François
Pachet, who also realised the fundamental importance of
Laursen
& Atkinson's OPUS (1987). The idea is to apply (first-order,
forward-chaining) rules to any Smalltalk object à n'importe
quel
objet Smalltalk, making it possible to reuse all the knowledge that was
embedded in the definition of that object. Pachet's system (1993) was
called NéOpus, it was extremely popular and long lived. See [53, 54,
and http://www-poleia.lip6.fr/~fdp/NeOpusApplications.html].
François pursued an original research on applying K.R.
to
music, which led him to be now a Senior Researcher with Sony Computer
Lab
in Paris.
b) Metamodeling and applications to Software
Engineering
One of the many applications of NéOpus was the Metagen system
ideated by Gilles Blain and perfected by a series of students from 1993
onwards. This is a system for what is now called Model Driven
Engineering.
The flexibility of Smalltalk enabled us to attack the central and
difficult problem of model transforms in an uninhibited way.
Unfortunately this did
not yield enough results for ensuring an industrial success. [55, 56,
59 - 64]
The last student whose thesis I supervised, Reza Razavi (2001)
developed a fully-fledged meta-level architecture for Adaptive
Object-Models (in the sense of R. Johnson).
B
. Teaching
B.1
- Before 1980 (sabbatical leave in Canada).
a) Algorithms on graphs, implementation in Algol-60.
b) Finite Automata.
c) In Toulouse : Syntactic Analysis, and Lisp &
lambda-calculus.
B.2
- From 1981 (return from Canada) to 1992 (leave for
Italy)
Computing facilities having improved, new openings were
possible, notably with the help of the Multics system [46].
a) Introduction to Programming Languages (compilation,
recursive programming and derecursivation, Hoare logic and program
proving).
Later replaced by Compilation only (implementation in Pascal).
b) Lisp & functional programming
c) Prolog and logic programming
d) Graduate course on Lisp and the implementation of Objects
B.3
- From 1993 (return from Italy) to 2000
a) Programming with Word and Excel (beginners)
b) Compilation (implementation in
Caml Light).
c) Object-Oriented Programming in Eiffel
d) Lisp & Smalltalk at the graduate level
B.4
- From 2000 (new organisation) to 2003 (retirement)
a) Compilation (implementation in
C).
b) Object-Oriented Programming in Java.
c) Vocational training : Visual Basic, Java & scripting
languages.
C
. Administration and various responsibilities
C.1
- Minor
a) Administrative comittees :
- elected member of Conseil de l'Université, Conseil
scientifique idem, and of Comité Consultatif des
Universités ;
- chairman of the Commission de Spécialité et
d'Etablissement (which examines applications for teaching positions),
and of the Commission des
thèses (controls the validity of the proposed doctoral dissertations).
b) Specific activities :
- Chief-editor of the AFCET Journal "Informatique
théorique", alias Revue mauve, with M. Nivat, from 1974 to
1984
- Scientific organisation of the 3ème Ecole de Printemps
du LITP (Vic-sur-Cère, 1975), on finite
syntactic semigroups.
- Initiation to Computers, for the body of
"Inspecteurs départementaux de l'Education nationale"
(I.D.E.N.) 1984-86
- Organisation (with Marc Bergman) of a European Summer
University
on "Computer Languages in Schools", in Nice (juillet 1984),
- Member of Conseil scientifique du LIPN (Laboratoire
d'Informatique de Paris-Nord)
- Vice-President (1989-90), then member of the board (1990-91)
of AFIA (Association française d'Intelligence
Artificielle).
- Member (sometimes chairman) of scientific comittees for
evaluating de laboratories of CNRS (LIPN et I3S) and of INRIA.
C.2
- Major
a) Directeur de l'Institut de Programmation [=
Chairman of the Computer Science Department] (1988-89)
The department was undergoing a crisis when I took over. I
settled it.
b) Director of LAFORIA [AI Lab of the university]
(1986-92)
The lab counted about 50 permanent members and 50 students.
The main event during my stay was to install us in a new space that was
ideally suited for our size.
Excellent result - the spirit of LAFORIA still lingers with the AI
teams of LIP6.
My main success was perhaps to find a successor (Jean-Charles Pomerol,
now President of our university) who applied basically the same policy
: "two directors, one direction".
c) Responsible for Graduate Studies in AI (DEA
IARFA) (1987-91)
This program was operated in cooperation with two engineering schools
(ENPC and ENSTA).
I managed to increase the number of scholarships alloted by the
Ministry.
Also, I started a number of updates that were pursued by my successor
J.-G. Ganascia.
d) Chairman of the professional organisation of
French Computer
Science Teachers (Société des Personnels Enseignants-Chercheurs en
Informatique de France - SPECIF) (1995-1996)
A hard task. SPECIF is a representative organisation and keeps
contact with the people in charge at the Ministry.
e) Counsellor of the Chairman of Université Pierre
et Marie Curie (Jean Lemerle) (1996 - 1998)
I was of course in charge of matters pertaining to the
computer science department.
I also took part in the preparation of the contract that binds the
university and the State for 4 years (1997 - 2000).
f) Creation & direction of the Computer
Science Lab : Laboratoire d'Informatique de Paris 6 (LIP6)
(1996-1998)
Deciding to merge into one the 3 labs that were operating in
the
computer area since 1980 was clearly a political decision on which the
Ministry, the CNRS and the university agreed. Given my position as a
counsellor of the President, I naturally got the job.
The 3 labs were LAFORIA (AI lab), part of LITP (programming languages),
and MASI (networks, operating systems, software engineering). The
result of the merge was logically called Laboratoire
d'Informatique. It was a fairly big structure of 350 members
(including students).
My main task was to set up an organisation and get it approved by the
three parties (Ministry, CNRS and university). This was
achieved
on January 1st, 1997. I was able to run it satisfactorily until we had
to move to another place in Paris (because of the anti-asbestos work in
progress on the main campus). This migration generated such tensions in
the lab that I
decided to leave after one and a half year.
Daniel Lazard took over.
D.
After my retirement (2003)
D.1
- Research
My main research activity is a collaboration with Reza Razavi starting
in 2004 when he got a position at University of Luxembourg.
My contribution is to better articulate his
intuitions [66]. He decided to apply his technique to ambient
intelligence
[65], and he recently discovered that the particular case of Wireless
Sensor Networks was indeed suitable for an experimental realisation
using the ActorNet system developed by Gul Agha and his students [67
- 70]. I presented our paper [69] at the IJCAI workshop in Hyderabad in
January 2007, and recently gave a talk based on [70] in Rio de Janeiro,
at the invitation of J.-P. Briot (September 2007).
This line of research is still active.
This led me to renew my contacts with the Smalltalk community, via the
yearly conference ofganised by ESUG (European Smalltalk Users
Group).
Our paper [66] first appeared as a paper at ESUG 2004 (Research Track),
and a preliminary version of the development [67
- 70] was presented in the software contest at ESUG 2005. As a
consequence, I am co-chairing the Program Committee of ESUG 2007
(Research Track, renamed International Conference on Dynamic
Languages), with Serge Demeyer, U. of Anvers.
I am pursuing a somewhat philosophical enquiry on the foundations of
Object Oriented Programming along the critical lines of my synthesis
paper [58]. My latest presentation of this topic was an invited talk at
the Plateforme AFIA 2007 in Grenoble in July 2007
(the Plateforme AFIA is a meeting organised every
second year by the Association Française d'Intelligence
Artificielle).
I am also currently engaged in a cooperation with Jean-Pierre Briot,
Zahia Guessoum and other members of LIP6 on the twin projects
FACOMA-FTATC (fault-tolerant multi-agent systems and their use in Air
Traffic Control), as well as on the Horizon project (multi-agent
systems for future Internet).
D.2
- Teaching
I have developed several new topics which are independent from
the regular courses of the Department :
a) Client-server programming (HTML, JavaScript, PHP) - for the
Department of Continued Education of UPMC
b) XML and Web services in Java - for engineering schools
c) Character representation (Unicode) - for linguists, mainly students
of INaLCO (Institut National des Langues et Civilisations
Orientales)
d) Finite automata and Context-free Grammars (idem)
D.3 - Other activities
Chair of the scientific council of EPITA (private engineering school in
Paris)
UPMC's representative on the Board of the Institut de la
Francophonie pour l'Informatique (IFI), Hanoï, Vietnam
Two-week mission in Rio de Janeiro (PUC = Pontifícia Universidade
Católica), in September 2007
Visiting Professor at Kyôto University (Ishida & Matsubara
Laboratory), March-May 2008
Member of the A-2 panel (Computer science) in the Evaluation process
set up by the Italian CNR (Consiglio Nazionale delle Ricerche)
March-November 2009
List
of Publications
[1] Sur quelques familles de parties des monoïdes abéliens libres,
C.R. Acad. Sci. Paris, 261 (1965) p. 3008 - 3011.
[2] On Abelian Regular Events,
Conference on the Algebraic Theory of Machines, Languages and
Semigroups, Asilomar (Calif.) 1966
extended version Sur les K-langages abéliens, 12p. mimeographed, 1967.
[3] Über die kommutative Hülle contextfreier Sprachen,
4. Colloquium über Automatentheorie, Munich 1967, p. 113 - 119.
[4] Sur la fermeture commutative des C-langages,
C.R. Acad. Sci. Paris, 265 (1967) p. 597 - 600.
[5] Un résultat extrémal en théorie des permutations,
C.R. Acad. Sci. Paris, 266 (1968) p. 446 - 448,
with A. Jacques, C. Lenormand & A. Lentin.
[6] "Contrat Graphes", Convention de recherches DGRST n° 66 FR 002,
mimeographed final report, Institut de Programmation, Paris, 1968.
[7] Endliche Automaten und Prefixcodes, in J. Dörr u. G. Hotz
(Hrsgb.),
Automatentheorie und formale Sprachen, B. I.
Mannheim 1970, p. 39 - 53.
[8] Sur les codes préfixes complets finis,
C.R. Acad. Sci. Paris, 269 (1969) p. 1116 - 1118,
with D. Perrin.
[9] Note sur le théorème des demi-degrés,
Revue de l'AFCET, R.I.R.O. R-2 (1970), p. 29 - 31,
with C. Lenormand.
[10] Sur le calcul effectif du monoïde de transitions d'un automate
fini, in
International Computing Symposium 1970, Bonn, W.D. Itzfeldt ed., p. 665
- 672.
[11] On the Relationship between Finite Automata, Finite Monoids, and
Prefixcodes,
2nd ACM Symposium on Theory of Computing, 1970, p. 217 - 220.
[12] Beziehungen zwischen den kombinatorischen Eigenschaften einer
formalen Sprache und der algebraischen Struktur ihres syntaktischen
Monoids, in
G. Hotz u. C.P. Schnorr, Tagung über formale
Sprachen, Mitteilungen der GMD Bonn n° 8, 1970, p. 30 - 32.
[13] Une généralisation du monoïde bicyclique, C.R. Acad. Sci. Paris,
271 (1970)
p. 824 - 827,
with M. Nivat.
[14] Congruences et automorphismes des automates finis,
Acta Informatica 1 (1970) p. 159 - 172,
with D. Perrin.
[15] Groups and Automata,
in Theory of Machines and Computations, Z. Kohavi
& A. Paz, Eds., Academic Press 1972, p. 287 - 293.
[16] Une famille de monoïdes 0-bismples généralisant le monoïde
bicyclique,
Séminaire Dubreil (Algèbre), 25ème année, 1971/72, n°3, 15 p.
[17] Contribution à l'étude des monoïdes syntactiques et de certains
groupes associés aux codes préfixes finis, Thèse Sc. Math., Université
Paris-VI, 1972
(Jury: Arsac, Nivat, Schützenberger, Verdier).
[18] Groupe de permutations associés aux codes préfixes finis, in Permutations,
Actes d'un Colloque tenu à Paris, réunis par A. Lentin,
Gauthier-Villars 1974
p. 19 - 35.
[19] Une théorie algébrique des automates finis monogènes,
Symposia Mathematica (Rome) (1975) p. 201 - 244.
[20] APL Programs for the Direct Computation of a Finite Semigroup, in
APL Congress '73, North-Holland 1973, p. 67 - 74,
with F.G. Cousineau & J.M. Rifflet.
[21] Monoïdes syntactiques des langages rationnels,
Cahiers mathématiques, Montpellier, 3 (1974) - Journées mathématiques
S.M.F. - p. 281 - 296.
[22] Langages déterministes et groupes abéliens, in
Automata Theory and Formal Languages, 2nd G.I. Conference,
Lecture Notes in Computer Science n° 33 (1975)
p. 20 - 30,
with J. Sakarovitch.
[23] Monoïdes syntactiques et familles de langages rationnels,
Séminaire Dubreil (Algèbre), 28ème année, 1974/75, n° 11, 9 p.
[25] Monoïdes syntactiques des langages algébriques,
Acta Informatica 7 (1977) p. 399 - 413.
[26] Utilisations d'APL pour calculer des monoïdes finis,
Bull. Soc. Math. France, Mémoire 49-50 (1977) p. 159 - 176.
[27] Calcul dans un monoïde fini de transformations,
Astérisque n° 38-39 - Journées algorithmiques -
(1976) p. 203 - 211.
[28] Introduction aux monoïdes syntactiques des langages algébriques,
Actes de l'Ecole de Printemps sur les langages algébriques,
J.P. Crestin et M. Nivat, Eds., ENSTA, Paris 1978, p. 167 -
222.
[29] Informatique et Algèbre : la théorie des codes à longueur variable
(invited talk) in
Automata Theory and Formal Languages, 3rd GI Conference
Lecture Notes in Computer Science n° 48, Springer 1977, p. 27 - 44.
[30] On Regular Semigroups, Finite Automata and Prefixcodes, in
Algebraic Theory of Semigroups, Colloquia
Mathematica Societatis Janos Bolyai, G. Pollak, Ed., North-Holland
1979, p. 393 - 401.
[31] A Theory of Syntactic Monoids for Context-Free Languages, in
Information Processing '77, North-Holland 1977, p.
69 - 72 ,
with J. Sakarovitch.
[32] On the Theory of Syntactic Monoids for Rational Languages, in
Fundamentals of Computation Theory, Lecture Notes in
Computer Science n° 56, Springer 1977, p. 152 - 165.
[33] Sur les monoïdes syntactiques finis et la théorie des codes à
longueur variable,
Publications de l'Institut de Programmation n° 15, Paris 1977.
[34] Variétés de langages et opérations,
Theoretical Computer Science 7 (1978) p. 197 - 220.
[35] Codage des graphes planaires, d'après R. Cori,
Séminaire d'Informatique théorique vol. 1, Paris 1977.
[36] Sur le théorème du défaut,
Journal of Algebra 60 (1979) p. 169 - 180,
avec D. Perrin, J. Berstel & A. Restivo.
[37] Monoïdes syntactiques et ambiguïté inhérente des langages
algébriques, in
Non-Commutative Structures in Algebra and Geometric
Combinatorics, A. De Luca Ed., Quaderni de "La Ricerca
Scientifica" n° 109, Rome 1981, p. 61 - 70.
[38] Finite Syntactic Monoids, in
Fundamentals of Computation Theory, FCT '79, L.
Budach, Ed., Akademie-Verlag, Berlin 1979, p. 544 - 558,
with J.-E. Pin.
[39] A propos des groupes dans certains monoïdes syntactiques,
in
Semigroups, H. Jürgensen, Ed., Lecture Notes in
Mathematics n° 855, Springer 1981, p. 83 - 91,
with D. Perrin.
[40] Codes de Brandt,
Actes de l'Ecole de Printemps de Jougne, 1980
[41] Lisp et lambda-calcul, in
Lambda-calcul et sémantique formelle des langages de
programmation, B. Robinet, Ed., Paris 1979, p. 277 - 301.
[42] Sur la structure des interprètes Lisp, in
Colloque "Codages et Transductions", Florence 1979.
[43] Lisp dans l'enseignement, in
Actes de l'Université d'Eté Européenne sur Langages
informatiques et Enseignement à Nice, 3-13 juillet 1984
(Bruxelles, Commission des Communautés Européennes, 1985) p.
18-26,
[44] Programmer, c'est représenter un savoir, ou De la bonne
manière d'utiliser les langages de programmation, in
Aspects of the Scientific Cooperation among France, Italy and
Spain on Information Technology,
M. Furnari, A. Massarotti, G. Tamburrini & S. Termini (eds),
Bibliopolis, Naples 1992 [Actes d'un colloque tenu en 1986] , p.
125-134.
[45] Preface of a book by G. Kiremitdjian & J.-P. Roy,
Lire Lisp... le langage de l'Intelligence Artificielle,
Paris, Nathan 1985
[46] Multics, guide de l'usager, Masson, Paris 1986
with J. Berstel.
[47]
Sur une base de règles de Jean-Louis Laurière, Actes des journées du
LIPN, Villetaneuse 1989, p. 49 - 61.
[48] Preface of a book by P. Lignelet,
Structures de données avec ADA (2 vol.), Paris,
Masson 1990
[49] Lisp et lambda-calcul en Licence d'Informatique,
Les langages applicatifs dans l'enseignement de l'informatique
(Actes de la journée MRT, Paris, 20 mars 1991)
Bigre 73, juin 1991, pages 145-153.
[50] Representation of Complex Objects : Multiple Facets with
Part-Whole Hierarchies,
ECOOP '91, p. 288-306
with F. Wolinski
[51] Programmation par Objets : Mode d'emploi ?, in
Premier colloque africain sur la recherche en informatique,
Yaoundé 1992. Actes, M. Tchuenté, ed., INRIA, 1992, Vol. 1, p. 3-14.
[52] Modélisation par objets en robotique,
Technique et science informatiques (TSI) 11 (1992), p. 97-115
with F. Wolinski
[53] Rule Firing with Metarules,
Software Engineering and Knowledge
Engineering - SEKE '94, vol.21, Jurmala, Lettonie,
pp.322-329, 1994
with F. Pachet
[54] Report on the NéOpus system.
Workshop OOPSLA on EOOPS, Portland, octobre 1994
with F. Pachet
[55] A Meta Modeling Technique,
Workshop on AI and OO Software Engineering, OOPSLA '94, 1994.
with G. Blain, N.Revault , H. Sahraoui,
[56] A Metamodeling Technique: The MétaGen System, in
TOOLS 16, Versailles 1995, pp.127-139.
with N.Revault , H. Sahraoui, G. Blain
[57] Editorial et esquisse panoramique,
Systèmes à objets : tendances actuelles et évolution
special issue of Technique et science informatiques (TSI) 15, n° 6
(1996) Systèmes à objets : tendances actuelles et évolution
with Amedeo Napoli
[58] Objets, classes, héritage, in
Langages et Modèles à Objets : Etat des recherches et
perspectives, Ducournau, Masini & Napoli, Eds, INRIA
1998, p. 3-31.
[59] Un outil pour la conception des base de données à objets,
Technique et Science Informatiques (TSI), 17, (1998), p. 839-868
avec H.Sahraoui, N. Revault, G. Blain
[60] A Multi-agent CASE Tool Environment, in
Advances in Computer and Information Sciences '98
(ISCIS XIII), IOS press 1998, p. 559-565
with H.Sahraoui, N. Revault, G. Blain.
[61] La métaphore du dossier.
XVIIe congrès INFORSID (Inforsid'99). Assoc. Inforsid, Toulouse. pp.
279-299
with B. Lesueur, G. Sunyé, Z. Guessoum, G. Blain
[62] On Meta-Modeling Formalisms and Rule-Based Model
Transforms, in
Iwme'00 workshop at Ecoop'00 (Nice, 2000)
with N. Revault & X. Blanc
[63] Traduction de méta-modèles, In
Langages et Modèles à Objets (Lmo'01), R. Godin
& I. Borne (ed), L'Objet - logiciel, bases de données, réseaux,
Vol 7 - n° 1-2/2001, pp. 95-111
with N. Revault et X. Blanc
[64] Génération de systèmes multi-agents à partir de modèles,
JFSMA, 2003, pp. 107-111, novembre 2003.
with A. Thiefaine, Z. Guessoum, G. Blain
[65] Adaptive Modeling: An Approach and a Method for Implementing
Adaptive Agents.
MMAS 2004, Ishida, Gasser, Nakashila, Eds, LNCS 3346 (2005),
136-148
with R. Razavi & N. Guelfi
[66] Language support for adaptive object-models using metaclasses.
Elsevier Int. journal Computer Languages, Systems and Structures.
Bouraqadi, N. and Wuyts, R. (Eds.) Vol. 31, Number 3-4 (2005)
with Razavi, R., Bouraqadi, N., Yoder, J.W., Johnson, R
[67] Ambiance: Adaptive Object Model-based Platform for
Macroprogramming Sensor Networks.
Poster session extended abstract. OOPSLA 2006 Companion.
with Razavi, R., Mechitov, K., Sundresh, S., Agha, G.
[68] Dart: A Meta-Level Object-Oriented Framework for Task-Specific,
Artifact-Driven Behavior Modeling.
6th OOPSLA Workshop on Domain-Specific Modeling Languages (DSML’06)
(2006)
with Razavi, R., Johnson, R.
[69] Dynamic Macroprogramming of Wireless Sensor Networks with Mobile
Agents.
AITAmI2007 (IJCAI07 Workshop on Artificial Intelligence Techniques for
Ambient Intelligence)
with Razavi, R., Mechitov, K., Agha, G.
[70] Ambiance: A Mobile Agent Platform for End-User Programmable
Ambient Systems, in
J.C. Augusto & D. Shapiro, Eds, Advances in Ambient
Intelligence, vol. 164 IOS Press (2007)
with Razavi, R., Mechitov, K., Agha, G.
Supervision of PhD theses
F. Rodriguez 1975
J. Sakarovitch 1979
E. Neidl 1980
J.E. Pin 1981
I. Borne 1984
B. Serpette 1984
P. Cointe 1985
J.-P. Regourd 1985
J.-J. Lacrampe 1985
O. Ravelomanantsoa 1985
R. Voyer 1989
J.-P. Briot 1989
F. Wolinski 1990
R. Bourgeois 1990
P. Boizumault 1991
F.-X. Testard-Vaillant 1991
H. Sahraoui 1995
N. Revault 1996
Z. Guessoum 1996
F. Pachet 1997
A. Slodzian 1998
G. Sunyé 1999
R. Razavi 2001