default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Pierre Banâtre
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[c36]Subhadeep Sarkar
, Jean-Pierre Banâtre, Louis Rilling, Christine Morin:
Towards Enforcement of the EU GDPR: Enabling Data Erasure. iThings/GreenCom/CPSCom/SmartData 2018: 222-229- 2011
- [c35]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
- [j15]Jean-Pierre Banâtre, Thierry Priol:
Chemical Programming of Future Service-oriented Architectures. J. Softw. 4(7): 738-746 (2009) - [c34]Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol:
Developing Autonomic and Secure Virtual Organisations with Chemical Programming. SSS 2009: 75-89 - 2008
- [c33]Xingwu Liu, Yann Radenac, Jean-Pierre Banâtre, Thierry Priol, Zhiwei Xu:
A Chemical Interpretation of GSML Programs. GCC 2008: 459-466 - [c32]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 - [e4]Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0 [contents] - 2007
- [j14]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Programming Self-Organizing Systems with the Higher-Order Chemical Language. Int. J. Unconv. Comput. 3(3): 161-177 (2007) - [c31]Jean-Pierre Banâtre, Nicolas Le Scouarnec, Thierry Priol, Yann Radenac:
Towards "Chemical" Desktop Grids. eScience 2007: 135-142 - 2006
- [j13]Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto:
Challenging Questions for the Rationale of Non-Classical Programming Languages. Int. J. Unconv. Comput. 2(4): 337-347 (2006) - [j12]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Generalised multisets for chemical programming. Math. Struct. Comput. Sci. 16(4): 557-580 (2006) - [c30]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Towards chemical coordination for grids. SAC 2006: 445-446 - 2005
- [c29]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
A Generalized Higher-Order Chemical Computation Model. DCM@ICALP 2005: 3-13 - [e3]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. Lecture Notes in Computer Science 3566, Springer 2005, ISBN 3-540-27884-2 [contents] - 2004
- [c28]Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet:
Chemical Specification of Autonomic Systems. IASSE 2004: 72-79 - [c27]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Higher-Order Chemical Programming Style. UPP 2004: 84-95 - [c26]Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Principles of Chemical Programming. RULE@RDP 2004: 133-147 - 2001
- [c25]Valérie Issarny, Jean-Pierre Banâtre:
Architecture-based Exception Handling. HICSS 2001 - 2000
- [c24]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
- [c23]Jean-Pierre Banâtre:
Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction. COORDINATION 1996: 1-11 - 1995
- [c22]Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer:
An approach to information security in distributed systems. FTDCS 1995: 384-394 - 1994
- [c21]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
- [j11]Jean-Pierre Banâtre, Daniel Le Métayer:
Programming by Multiset Transformation. Commun. ACM 36(1): 98-111 (1993) - [j10]Jean-Pierre Banâtre, Sacha Krakowiak:
Models and Paradigms for Distributed Systems Structuring - Introduction. ACM SIGOPS Oper. Syst. Rev. 27(2): 54-55 (1993) - [c20]Jean-Pierre Banâtre, Ciarán Bryce:
Information Flow Control in a Parallel Language Framework. CSFW 1993: 39-52 - [c19]Jean-Pierre Banâtre:
Subsidiaries and start-up Spin-off companies of Inria. SAFECOMP 1993: 142-144 - 1992
- [e2]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. Lecture Notes in Computer Science 574, Springer 1992, ISBN 3-540-55160-3 [contents] - [e1]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 [contents] - 1991
- [b1]Jean-Pierre Banâtre, Simon B. Jones, Daniel Le Métayer:
Prospects for functional programming in software engineering. Research reports ESPRIT / project 302 1, Springer 1991, ISBN 978-3-540-53852-3, pp. I-IX, 1-210 - [c18]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 - [c17]Jean-Pierre Banâtre, Daniel Le Métayer:
Introduction to Gamma. Research Directions in High-Level Parallel Programming Languages 1991: 197-202 - [c16]Jean-Pierre Banâtre:
Parallel Program Design. Research Directions in High-Level Parallel Programming Languages 1991: 296-297 - 1990
- [j9]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
- [c15]Jean-Pierre Banâtre, Daniel Le Métayer:
Chemical Reaction as a Computational Model. Functional Programming 1989: 103-117 - [c14]Jean-Pierre Banâtre, Michel Banâtre, Gilles Muller:
Architecture of fault-tolerant multiprocessor workstations. WWOS 1989: 20-24 - [c13]Jean-Pierre Banâtre, Michel Banâtre, Christine Morin:
Implementing Atomic Rendevous within a Transactional Framework. SRDS 1989: 119-128 - 1988
- [j8]Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer:
A parallel machine for multiset transformation and its programming style. Future Gener. Comput. Syst. 4(2): 133-144 (1988) - [j7]Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer:
Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil. it Inf. Technol. 30(2): 99-109 (1988) - [c12]Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre:
Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293 - [c11]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) - [c10]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 - [c9]Jean-Pierre Banâtre, Michel Banâtre:
Some aspects of the GOTHIC system. ACM SIGOPS European Workshop 1986 - 1983
- [c8]Jean-Pierre Banâtre:
A Cooperation Scheme for Parallel Compilation. Method and tools for compiler construction 1983: 207-218 - [c7]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 Informatica 18: 431-448 (1982) - [c6]Jean-Pierre Banâtre, Patrice Frison, Patrice Quinton:
A systolic algorithm for connected word recognition. ICASSP 1982: 1243-1246 - [c5]Jean-Pierre Banâtre, Michel Banâtre, Patrice Quinton:
Constructing parallel programs and their termination proof. ICPP 1982: 224-225 - [c4]Jean-Pierre Banâtre:
Parallélisme et programmation fonctionnelle à la Backus. SPLT 1982 - 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, Hughes 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]Jean-Pierre Banâtre:
Producing Optimised Code for Coercions. Inf. Process. Lett. 6(2): 56-59 (1977)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
