(I give here a non exhaustive list of publications organized according to the above topics. . Key publications are indicated in
bold)
 Jean-Pierre Banâtre, Michel Banâtre, Les Systèmes Distribués, expérience du projet GOTHIC, InterEditions, February 1991
Jean-Pierre Banâtre, Sacha Krakowiak: Models and Paradigms for Distributed Systems Structuring - Introduction. Operating Systems Review 27(2): 54-55 (1993)
| Jean-Pierre Banâtre, Daniel Le Métayer: Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings Springer 1992 |
|
Jean-Pierre Banâtre: Parallel Program Design. Research Directions in High-Level Parallel Programming Languages 1991; Springer-Verlag Berlin and Heidelberg GmbH & Co. K (12 février 1992): 296-297
| Jean-Pierre Banâtre: La Programmation Parallèle, 1990 (Eyrolles ed.) |
|
 Theses
Contribution à l'étude de méthodes et d'outils de construction de programmes parallèles et fiables. Thèse d'Etat, Université de Rennes 1, December 1980
Structure d'un compilateur ALGOL 68. Thèse 3ème cycle, Université de Rennes 1, September 1974
Compilation
F. André, Jean-Pierre Banâtre, Jean-Paul Routeau: A Multiprocessing Approach to Compile-Time Symbol Resolution. ACM Trans. Program. Lang. Syst. 3(1): 11-23 (1981)
F. André, Jean-Pierre Banâtre, H. Leroy, G. Paget, Florimond Ployette, Jean-Paul Routeau: Kensur: An Architecture Oriented Towards Programming Languages Translation. ISCA 1980: 17-22
Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling: An Event-Driven Compiling Technique. Commun. ACM 22(1): 34-42 (1979)
Jean-Pierre Banâtre: Producing Optimised Code for Coercions. Inf. Process. Lett. 6(2): 56-59 (1977)
Programming Languages and software architectures
Valérie Issarny, Jean-Pierre Banâtre: Architecture-based Exception Handling. HICSS 2001 2001
Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer: An approach to information security in distributed systems. FTDCS 1995: 384-394
Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer: Compile-Time Detection of Information Flow in Sequential Programs. ESORICS 1994: 55-73
Jean-Pierre Banâtre, Ciarán Bryce: Information Flow Control in a Parallel Language Framework. CSFW 1993: 39-52
Jean-Pierre Banâtre, Michel Banâtre, Florimond Ployette: The Concept of Multi-function: A General Structuring Tool for Distributed Operating System. ICDCS 1986: 478-485
Jean-Pierre Banâtre: A Cooperation Scheme for Parallel Compilation. Method and tools for compiler construction 1983: 207-218
Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton: A Network for the Detection of Words in Continuous Speech. Acta Inf. 18: 431-448 (1982)
Jean-Pierre Banâtre, Michel Banâtre: Parallel structures for vector processing. CONPAR 1981: 101-114
Jean-Pierre Banâtre, Michel Banâtre: Language Features for Description of Cooperating Processes. ICSE 1979: 308-314
Distributed Systems
Jean-Pierre Banâtre, Michel Banâtre: Fast Stable Storage as a Basis for Fault-Tolerant Architectures. Operating Systems of the 90s and Beyond 1991: 167-170
Jean-Pierre Banâtre, Michel Banâtre, Christine Morin: Implementing Atomic Rendevous within a Transactional Framework. SRDS 1989: 119-128
Jean-Pierre Banâtre, Michel Banâtre, P. Lecler, Florimond Ployette, P. Le Certen: Fragmented and replicated objects in the GOTHIC distributed system. ACM SIGOPS European Workshop 1988
Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre: Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293
Jean-Pierre Banâtre, Michel Banâtre, Guy Lapalme, Florimond Ployette: The Design and Building of Enchère, a Distributed Electronic Marketing System. Commun. ACM 29(1): 19-29 (1986)
Jean-Pierre Banâtre, Michel Banâtre, Florimond Ployette: Construction of a Distributed System Supporting Atomic Transactions. Symposium on Reliability in Distributed Software and Database Systems 1983: 95-99
Santosh K. Shrivastava, Jean-Pierre Banâtre: Reliable Resource Allocation Between Unreliable Processes. IEEE Trans. Software Eng. 4(3): 230-241 (1978)
Unconventional programming models with the chemical paradigm
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Classical coordination mechanisms in the chemical model. From Semantics to Computer Science 2009. Essays in Honour of Gilles Kahn, edited by Yves Berthod, Gérard Huet, Jean-Jacques Lévy and Gordon Plotkin: 20-50
Jean-Pierre Banâtre, Thierry Priol, Yann Radenac: Service Orchestration Using the Chemical Metaphor. SEUS 2008: 79-89
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: The Chemical Reaction Model Recent Developments and Prospects. Software-Intensive Systems and New Computing Paradigms 2008: 209-234
Jean-Pierre Banâtre, Nicolas Le Scouarnec, Thierry Priol, Yann Radenac: Towards "Chemical" Desktop Grids. eScience 2007: 135-142
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Towards chemical coordination for grids. SAC 2006: 445-446
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: A Generalized Higher-Order Chemical Computation Model. Electr. Notes Theor. Comput. Sci. 135(3): 3-13 (2006)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Generalised multisets for chemical programming. Mathematical Structures in Computer Science 16(4): 557-580 (2006)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Principles of Chemical Programming. Electr. Notes Theor. Comput. Sci. 124(1): 133-147 (2005)
Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet: Chemical Specification of Autonomic Systems. IASSE 2004: 72-79
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Higher-Order Chemical Programming Style. UPP 2004: 84-95
Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer: Gamma and the Chemical Reaction Model: Fifteen Years After. WMP 2000: 17-44
Jean-Pierre Banâtre: Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction. COORDINATION 1996: 1-11
Jean-Pierre Banâtre, Daniel Le Métayer: Programming by Multiset Transformation. Commun. ACM 36(1): 98-111 (1993)
Jean-Pierre Banâtre, Daniel Le Métayer: The GAMMA Model and Its Discipline of Programming. Sci. Comput. Program. 15(1): 55-77 (1990)
Jean-Pierre Banâtre, Daniel Le Métayer: Chemical Reaction as a Computational Model. Functional Programming 1989: 103-117
Jean-Pierre Banâtre, Michel Banâtre, Patrice Quinton: Constructing parallel programs and their termination proof. ICPP 1982: 224-225
| Last modified: 10/14/2009 |
|
|
