Jean-Pierre Banâtre - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2018

Towards Enforcement of the EU GDPR: Enabling Data ErasureSubhadeep Sarkar, Jean-Pierre Banâtre, Louis Rilling, Christine Morin. ithings 2018: 222-229 [doi]

2011

Fault Tolerant Autonomic Computing Systems in a Chemical SettingJean-Pierre Banâtre, Christine Morin, Thierry Priol. BIRTHDAY 2011: 118-129 [doi]

2008

The Chemical Reaction Model Recent Developments and ProspectsJean-Pierre Banâtre, Pascal Fradet, Yann Radenac. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 209-234, Springer, 2008. [doi]

Service Orchestration Using the Chemical MetaphorJean-Pierre Banâtre, Thierry Priol, Yann Radenac. seus 2008: 79-89 [doi]

A Chemical Interpretation of GSML ProgramsXingwu Liu, Yann Radenac, Jean-Pierre Banâtre, Thierry Priol, Zhiwei Xu. gcc 2008: 459-466 [doi]

2007

Towards Chemical Desktop GridsJean-Pierre Banâtre, Nicolas Le Scouarnec, Thierry Priol, Yann Radenac. eScience 2007: 135-142 [doi]

Programming Self-Organizing Systems with the Higher-Order Chemical LanguageJean-Pierre Banâtre, Pascal Fradet, Yann Radenac. ijuc, 3(3):161-177, 2007. [doi]

2006

2005

Principles of Chemical ProgrammingJean-Pierre Banâtre, Pascal Fradet, Yann Radenac. ENTCS, 124(1):133-147, 2005. [doi]

2004

Higher-Order Chemical Programming StyleJean-Pierre Banâtre, Pascal Fradet, Yann Radenac. upp 2005: 84-95 [doi]

Chemical Specification of Autonomic SystemsJean-Pierre Banâtre, Yann Radenac, Pascal Fradet. iasse 2004: 72-79

2001

Architecture-based Exception HandlingValérie Issarny, Jean-Pierre Banâtre. hicss 2001: [doi]

2000

Gamma and the Chemical Reaction Model: Fifteen Years AfterJean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer. wmpi 2001: 17-44 [doi]

1996

Parallel Multiset Processing: FRom Explicit Coordination to Chemical ReactionJean-Pierre Banâtre. coordination 1996: 1-11

1995

An approach to information security in distributed systemsCiarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer. ftdcs 1995: 384-394 [doi]

1994

Compile-Time Detection of Information Flow in Sequential ProgramsJean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer. esorics 1994: 55-73 [doi]

1993

Information Flow Control in a Parallel Language FrameworkJean-Pierre Banâtre, Ciarán Bryce. csfw 1993: 39-52

Programming by Multiset TransformationJean-Pierre Banâtre, Daniel Le Métayer. CACM, 36(1):98-111, 1993.

Models and Paradigms for Distributed Systems Structuring - IntroductionJean-Pierre Banâtre, Sacha Krakowiak. sigops, 27(2):54-55, 1993.

Subsidiaries and start-up Spin-off companies of InriaJean-Pierre Banâtre. safecomp 1993: 142-144 [doi]

1991

Fast Stable Storage as a Basis for Fault-Tolerant ArchitecturesJean-Pierre Banâtre, Michel Banâtre. Dagstuhl 1991: 167-170

Parallel Program DesignJean-Pierre Banâtre. hlppp 1992: 296-297

Introduction to GammaJean-Pierre Banâtre, Daniel Le Métayer. hlppp 1992: 197-202

Prospects for functional programming in software engineeringJean-Pierre Banâtre, Simon B. Jones, Daniel Le Métayer. Volume 1 of Research reports ESPRIT / project 302, Springer, 1991.

1990

The GAMMA Model and Its Discipline of ProgrammingJean-Pierre Banâtre, Daniel Le Métayer. SCP, 15(1):55-77, 1990.

1989

Chemical Reaction as a Computational ModelJean-Pierre Banâtre, Daniel Le Métayer. fp 1990: 103-117

Implementing Atomic Rendevous within a Transactional FrameworkJean-Pierre Banâtre, Michel Banâtre, Christine Morin. srds 1989: 119-128

Architecture of fault-tolerant multiprocessor workstationsJean-Pierre Banâtre, Michel Banâtre, Gilles Muller. hotos 1989: 20-24 [doi]

1988

1986

The Design and Building of Enchère, a Distributed Electronic Marketing SystemJean-Pierre Banâtre, Michel Banâtre, Guy Lapalme, Florimond Ployette. CACM, 29(1):19-29, 1986.

The Concept of Multi-function: A General Structuring Tool for Distributed Operating SystemJean-Pierre Banâtre, Michel Banâtre, Florimond Ployette. icdcs 1986: 478-485

Some aspects of the GOTHIC systemJean-Pierre Banâtre, Michel Banâtre. sigopsE 1986: [doi]

1983

A Cooperation Scheme for Parallel CompilationJean-Pierre Banâtre. ac 1983: 207-218

Construction of a Distributed System Supporting Atomic TransactionsJean-Pierre Banâtre, Michel Banâtre, Florimond Ployette. srds 1983: 95-99

1982

A Network for the Detection of Words in Continuous SpeechJean-Pierre Banâtre, Patrice Frison, Patrice Quinton. ACTA, 18:431-448, 1982.

Parallélisme et programmation fonctionnelle à la BackusJean-Pierre Banâtre. jfplc 1982:

Constructing parallel programs and their termination proofJean-Pierre Banâtre, Michel Banâtre, Patrice Quinton. icpp 1982: 224-225

A systolic algorithm for connected word recognitionJean-Pierre Banâtre, Patrice Frison, Patrice Quinton. icassp 1982: 1243-1246 [doi]

1981

A Multiprocessing Approach to Compile-Time Symbol ResolutionF. André, Jean-Pierre Banâtre, Jean-Paul Routeau. TOPLAS, 3(1):11-23, 1981. [doi]

Parallel structures for vector processingJean-Pierre Banâtre, Michel Banâtre. conpar 1981: 101-114

1980

Kensur: An Architecture Oriented Towards Programming Languages TranslationF. André, Jean-Pierre Banâtre, H. Leroy, G. Paget, Florimond Ployette, Jean-Paul Routeau. isca 1980: 17-22

1979

An Event-Driven Compiling TechniqueJean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling. CACM, 22(1):34-42, 1979.

Language Features for Description of Cooperating ProcessesJean-Pierre Banâtre, Michel Banâtre. ICSE 1979: 308-314

1978

Reliable Resource Allocation Between Unreliable ProcessesSantosh K. Shrivastava, Jean-Pierre Banâtre. TSE, 4(3):230-241, 1978.

1977

Producing Optimised Code for CoercionsJean-Pierre Banâtre. ipl, 6(2):56-59, 1977.

Sign in or sign up to see more results.

runs on WebDSL