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 | EE | Jean-Pierre Banâtre,
Thierry Priol,
Yann Radenac:
Service Orchestration Using the Chemical Metaphor.
SEUS 2008: 79-89 |
42 | EE | 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 | EE | Jean-Pierre Banâtre,
Nicolas Le Scouarnec,
Thierry Priol,
Yann Radenac:
Towards "Chemical" Desktop Grids.
eScience 2007: 135-142 |
2006 |
40 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Towards chemical coordination for grids.
SAC 2006: 445-446 |
39 | EE | 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 | EE | 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 | EE | 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 | EE | Jean-Pierre Banâtre,
Pascal Fradet,
Yann Radenac:
Higher-Order Chemical Programming Style.
UPP 2004: 84-95 |
2001 |
33 | EE | Valérie Issarny,
Jean-Pierre Banâtre:
Architecture-based Exception Handling.
HICSS 2001 |
2000 |
32 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |