Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jean-Pierre Banâtre
2010 – today
- 2011
[c29]Jean-Pierre Banâtre, Christine Morin, Thierry Priol: Fault Tolerant Autonomic Computing Systems in a Chemical Setting. Dependable and Historic Computing 2011: 118-129
2000 – 2009
- 2009
[j13]Jean-Pierre Banâtre, Thierry Priol: Chemical Programming of Future Service-oriented Architectures. JSW 4(7): 738-746 (2009)
[c28]Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol: Developing Autonomic and Secure Virtual Organisations with Chemical Programming. SSS 2009: 75-89- 2008
[e4]Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0
[c27]Jean-Pierre Banâtre, Thierry Priol, Yann Radenac: Service Orchestration Using the Chemical Metaphor. SEUS 2008: 79-89
[p1]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
[c26]Jean-Pierre Banâtre, Nicolas Le Scouarnec, Thierry Priol, Yann Radenac: Towards "Chemical" Desktop Grids. eScience 2007: 135-142- 2006
[j12]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)
[j11]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Generalised multisets for chemical programming. Mathematical Structures in Computer Science 16(4): 557-580 (2006)
[c25]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Towards chemical coordination for grids. SAC 2006: 445-446- 2005
[j10]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Principles of Chemical Programming. Electr. Notes Theor. Comput. Sci. 124(1): 133-147 (2005)
[e3]Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel (Eds.): Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3566, Springer 2005, ISBN 3-540-27884-2- 2004
[c24]Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet: Chemical Specification of Autonomic Systems. IASSE 2004: 72-79
[c23]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: Higher-Order Chemical Programming Style. UPP 2004: 84-95- 2001
[c22]- 2000
[c21]Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer: Gamma and the Chemical Reaction Model: Fifteen Years After. WMP 2000: 17-44
1990 – 1999
- 1996
[c20]Jean-Pierre Banâtre: Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction. COORDINATION 1996: 1-11- 1995
[c19]Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer: An approach to information security in distributed systems. FTDCS 1995: 384-394- 1994
[c18]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
[j9]Jean-Pierre Banâtre, Daniel Le Métayer: Programming by Multiset Transformation. Commun. ACM 36(1): 98-111 (1993)
[j8]Jean-Pierre Banâtre, Sacha Krakowiak: Models and Paradigms for Distributed Systems Structuring - Introduction. Operating Systems Review 27(2): 54-55 (1993)
[c17]Jean-Pierre Banâtre, Ciarán Bryce: Information Flow Control in a Parallel Language Framework. CSFW 1993: 39-52- 1992
[e2]Jean-Pierre Banâtre, Daniel Le Métayer (Eds.): Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Lecture Notes in Computer Science 574, Springer 1992, ISBN 3-540-55160-3
[e1]Jean-Pierre Banâtre (Ed.): 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- 1991
[c16]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
[c15]Jean-Pierre Banâtre, Daniel Le Métayer: Introduction to Gamma. Research Directions in High-Level Parallel Programming Languages 1991: 197-202
[c14]Jean-Pierre Banâtre: Parallel Program Design. Research Directions in High-Level Parallel Programming Languages 1991: 296-297- 1990
[j7]Jean-Pierre Banâtre, Daniel Le Métayer: The GAMMA Model and Its Discipline of Programming. Sci. Comput. Program. 15(1): 55-77 (1990)
1980 – 1989
- 1989
[c13]Jean-Pierre Banâtre, Daniel Le Métayer: Chemical Reaction as a Computational Model. Functional Programming 1989: 103-117
[c12]Jean-Pierre Banâtre, Michel Banâtre, Christine Morin: Implementing Atomic Rendevous within a Transactional Framework. SRDS 1989: 119-128- 1988
[c11]Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre: Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293
[c10]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- 1986
[j6]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)
[c9]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
[c8]Jean-Pierre Banâtre, Michel Banâtre: Some aspects of the GOTHIC system. ACM SIGOPS European Workshop 1986- 1983
[c7]Jean-Pierre Banâtre: A Cooperation Scheme for Parallel Compilation. Method and tools for compiler construction 1983: 207-218
[c6]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
[j5]Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton: A Network for the Detection of Words in Continuous Speech. Acta Inf. 18: 431-448 (1982)
[c5]Jean-Pierre Banâtre, Michel Banâtre, Patrice Quinton: Constructing parallel programs and their termination proof. ICPP 1982: 224-225
[c4]- 1981
[j4]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)
[c3]Jean-Pierre Banâtre, Michel Banâtre: Parallel structures for vector processing. CONPAR 1981: 101-114- 1980
[c2]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
1970 – 1979
- 1979
[j3]Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling: An Event-Driven Compiling Technique. Commun. ACM 22(1): 34-42 (1979)
[c1]Jean-Pierre Banâtre, Michel Banâtre: Language Features for Description of Cooperating Processes. ICSE 1979: 308-314- 1978
[j2]Santosh K. Shrivastava, Jean-Pierre Banâtre: Reliable Resource Allocation Between Unreliable Processes. IEEE Trans. Software Eng. 4(3): 230-241 (1978)- 1977
[j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:21 CET by the dblp team



