Skip to content

Jean-Pierre Bantre

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

13

Active years

1979–2009

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2009SSSDeveloping Autonomic and Secure Virtual Organisations with Chemical Programming.Alvaro E. Arenas, Jean-Pierre Bantre, Thierry Priol
2006SACTowards chemical coordination for grids.Jean-Pierre Bantre, Pascal Fradet, Yann Radenac
1996CoordinationParallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.Jean-Pierre Bantre
1994ESORICSCompile-Time Detection of Information Flow in Sequential Programs.Jean-Pierre Bantre, Ciarn Bryce, Daniel Le Mtayer
1993SAFECOMPSubsidiaries and start-up Spin-off companies of Inria.Jean-Pierre Bantre
1989HotOSArchitecture of fault-tolerant multiprocessor workstations.Jean-Pierre Bantre, Michel Bantre, Gilles Muller
1989SRDSImplementing Atomic Rendevous within a Transactional Framework.Jean-Pierre Bantre, Michel Bantre, Christine Morin
1988ICDEEnsuring Data Security and Integrity with a Fast Stable Storage.Michel Bantre, Gilles Muller, Jean-Pierre Bantre
1986ICDCSThe Concept of Multi-function: A General Structuring Tool for Distributed Operating System.Jean-Pierre Bantre, Michel Bantre, Florimond Ployette
1983SRDSConstruction of a Distributed System Supporting Atomic Transactions.Jean-Pierre Bantre, Michel Bantre, Florimond Ployette
1982ICASSPA systolic algorithm for connected word recognition.Jean-Pierre Bantre, Patrice Frison, Patrice Quinton
1982ICPPConstructing parallel programs and their termination proof.Jean-Pierre Bantre, Michel Bantre, Patrice Quinton
1980ISCAKensur: An Architecture Oriented Towards Programming Languages Translation.F. Andr, Jean-Pierre Bantre, Hughes Leroy, G. Paget, Florimond Ployette, Jean-Paul Routeau
1979ICSELanguage Features for Description of Cooperating Processes.Jean-Pierre Bantre, Michel Bantre