dblp.uni-trier.dewww.uni-trier.de

Jean-Pierre Banâtre Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
43EEJean-Pierre Banâtre, Thierry Priol, Yann Radenac: Service Orchestration Using the Chemical Metaphor. SEUS 2008: 79-89
42EEJean-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
41EEJean-Pierre Banâtre, Nicolas Le Scouarnec, Thierry Priol, Yann Radenac: Towards "Chemical" Desktop Grids. eScience 2007: 135-142
2006
40EEJean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Towards chemical coordination for grids. SAC 2006: 445-446
39EEJean-Pierre Banâtre, Pascal Fradet, Yann Radenac: A Generalized Higher-Order Chemical Computation Model. Electr. Notes Theor. Comput. Sci. 135(3): 3-13 (2006)
38EEJean-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
36EEJean-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
34EEJean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Higher-Order Chemical Programming Style. UPP 2004: 84-95
2001
33EEValérie Issarny, Jean-Pierre Banâtre: Architecture-based Exception Handling. HICSS 2001
2000
32EEJean-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
30EECiarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer: An approach to information security in distributed systems. FTDCS 1995: 384-394
1994
29EEJean-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
17EEJean-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
16EEMichel Banâtre, Gilles Muller, Jean-Pierre Banâtre: Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293
1986
15EEJean-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
7EEJean-Pierre Banâtre, Michel Banâtre: Parallel structures for vector processing. CONPAR 1981: 101-114
6EEF. 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)

Coauthor Index

1F. André [5] [6]
2Michel Banâtre [4] [7] [10] [11] [13] [14] [15] [16] [17] [18] [23]
3Ciarán Bryce [28] [29] [30]
4P. Le Certen [17]
5Pascal Fradet [32] [34] [35] [36] [37] [38] [39] [40] [42]
6Patrice Frison [8]
7Jean-Louis Giavitto [37]
8Matthias M. Hölzl [44]
9Valérie Issarny [33]
10Sacha Krakowiak [26]
11Guy Lapalme [13]
12P. Lecler [17]
13H. Leroy [5]
14Daniel Le Métayer [19] [20] [22] [24] [27] [29] [30] [32]
15Olivier Michel [37]
16Christine Morin [18]
17Gilles Muller [16]
18G. Paget [5]
19Florimond Ployette [5] [11] [13] [14] [17]
20Thierry Priol [41] [43]
21Patrice Quinton [8] [10]
22Yann Radenac [34] [35] [36] [38] [39] [40] [41] [42] [43]
23Axel Rauschmayer [44]
24Jean-Paul Routeau [3] [5] [6]
25Nicolas Le Scouarnec [41]
26Santosh K. Shrivastava [2]
27Laurent Trilling [3]
28Martin Wirsing [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)