 | 2009 |
|---|
| 45 |       | Alvaro E. Arenas,
Jean-Pierre Banâtre,
Thierry Priol:
Developing Autonomic and Secure Virtual Organisations with Chemical Programming.
SSS 2009: 75-89 |
| 2008 |
|---|
| 44 |  | Martin Wirsing,
Jean-Pierre Banâtre,
Matthias M. Hölzl,
Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Springer 2008 |
| 43 | | Jean-Pierre Banâtre,
Thierry Priol,
Yann Radenac:
Service Orchestration Using the Chemical Metaphor.
SEUS 2008: 79-89 |
| 42 | | 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 |
| 2007 |
|---|
| 41 | | Jean-Pierre Banâtre,
Nicolas Le Scouarnec,
Thierry Priol,
Yann Radenac:
Towards "Chemical" Desktop Grids.
eScience 2007: 135-142 |
| 2006 |
|---|
| 40 | | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Towards chemical coordination for grids.
SAC 2006: 445-446 |
| 39 | | 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) |
| 38 | | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Generalised multisets for chemical programming.
Mathematical Structures in Computer Science 16(4): 557-580 (2006) |
| 2005 |
|---|
| 37 | | Jean-Pierre Banâtre,
Pascal Fradet,
Jean-Louis Giavitto,
Olivier Michel:
Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
Springer 2005 |
| 36 | | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Principles of Chemical Programming.
Electr. Notes Theor. Comput. Sci. 124(1): 133-147 (2005) |
| 2004 |
|---|
| 35 | | Jean-Pierre Banâtre,
Yann Radenac,
Pascal Fradet:
Chemical Specification of Autonomic Systems.
IASSE 2004: 72-79 |
| 34 | | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Higher-Order Chemical Programming Style.
UPP 2004: 84-95 |
| 2001 |
|---|
| 33 | | Valérie Issarny,
Jean-Pierre Banâtre:
Architecture-based Exception Handling.
HICSS 2001 |
| 2000 |
|---|
| 32 | | Jean-Pierre Banâtre,
Pascal Fradet,
Daniel Le Métayer:
Gamma and the Chemical Reaction Model: Fifteen Years After.
WMP 2000: 17-44 |
| 1996 |
|---|
| 31 | | Jean-Pierre Banâtre:
Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.
COORDINATION 1996: 1-11 |
| 1995 |
|---|
| 30 | | Ciarán Bryce,
Jean-Pierre Banâtre,
Daniel Le Métayer:
An approach to information security in distributed systems.
FTDCS 1995: 384-394 |
| 1994 |
|---|
| 29 | | Jean-Pierre Banâtre,
Ciarán Bryce,
Daniel Le Métayer:
Compile-Time Detection of Information Flow in Sequential Programs.
ESORICS 1994: 55-73 |
| 1993 |
|---|
| 28 | | Jean-Pierre Banâtre,
Ciarán Bryce:
Information Flow Control in a Parallel Language Framework.
CSFW 1993: 39-52 |
| 27 | | Jean-Pierre Banâtre,
Daniel Le Métayer:
Programming by Multiset Transformation.
Commun. ACM 36(1): 98-111 (1993) |
| 26 | | Jean-Pierre Banâtre,
Sacha Krakowiak:
Models and Paradigms for Distributed Systems Structuring - Introduction.
Operating Systems Review 27(2): 54-55 (1993) |
| 1992 |
|---|
| 25 | | Jean-Pierre Banâtre:
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992
ACM 1992 |
| 24 | | 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 |
| 1991 |
|---|
| 23 | | 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 |
| 22 | | Jean-Pierre Banâtre,
Daniel Le Métayer:
Introduction to Gamma.
Research Directions in High-Level Parallel Programming Languages 1991: 197-202 |
| 21 | | Jean-Pierre Banâtre:
Parallel Program Design.
Research Directions in High-Level Parallel Programming Languages 1991: 296-297 |
| 1990 |
|---|
| 20 | | Jean-Pierre Banâtre,
Daniel Le Métayer:
The GAMMA Model and Its Discipline of Programming.
Sci. Comput. Program. 15(1): 55-77 (1990) |
| 1989 |
|---|
| 19 | | Jean-Pierre Banâtre,
Daniel Le Métayer:
Chemical Reaction as a Computational Model.
Functional Programming 1989: 103-117 |
| 18 | | Jean-Pierre Banâtre,
Michel Banâtre,
Christine Morin:
Implementing Atomic Rendevous within a Transactional Framework.
SRDS 1989: 119-128 |
| 1988 |
|---|
| 17 | | 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 |
| 16 | | Michel Banâtre,
Gilles Muller,
Jean-Pierre Banâtre:
Ensuring Data Security and Integrity with a Fast Stable Storage.
ICDE 1988: 285-293 |
| 1986 |
|---|
| 15 | | Jean-Pierre Banâtre,
Michel Banâtre:
Some aspects of the GOTHIC system.
ACM SIGOPS European Workshop 1986 |
| 14 | | 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 |
| 13 | | 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) |
| 1983 |
|---|
| 12 | | Jean-Pierre Banâtre:
A Cooperation Scheme for Parallel Compilation.
Method and tools for compiler construction 1983: 207-218 |
| 11 | | 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 |
| 1982 |
|---|
| 10 | | Jean-Pierre Banâtre,
Michel Banâtre,
Patrice Quinton:
Constructing parallel programs and their termination proof.
ICPP 1982: 224-225 |
| 9 | | Jean-Pierre Banâtre:
Parallélisme et programmation fonctionnelle à la Backus.
SPLT 1982 |
| 8 | | Jean-Pierre Banâtre,
Patrice Frison,
Patrice Quinton:
A Network for the Detection of Words in Continuous Speech.
Acta Inf. 18: 431-448 (1982) |
| 1981 |
|---|
| 7 | | Jean-Pierre Banâtre,
Michel Banâtre:
Parallel structures for vector processing.
CONPAR 1981: 101-114 |
| 6 | | 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) |
| 1980 |
|---|
| 5 | | 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 |
| 1979 |
|---|
| 4 | | Jean-Pierre Banâtre,
Michel Banâtre:
Language Features for Description of Cooperating Processes.
ICSE 1979: 308-314 |
| 3 | | Jean-Pierre Banâtre,
Jean-Paul Routeau,
Laurent Trilling:
An Event-Driven Compiling Technique.
Commun. ACM 22(1): 34-42 (1979) |
| 1978 |
|---|
| 2 | | Santosh K. Shrivastava,
Jean-Pierre Banâtre:
Reliable Resource Allocation Between Unreliable Processes.
IEEE Trans. Software Eng. 4(3): 230-241 (1978) |
| 1977 |
|---|
| 1 | | Jean-Pierre Banâtre:
Producing Optimised Code for Coercions.
Inf. Process. Lett. 6(2): 56-59 (1977) |
