Jean-Pierre Banâtre

According to our database1, Jean-Pierre Banâtre authored at least 53 papers between 1977 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Towards Enforcement of the EU GDPR: Enabling Data Erasure.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Fault Tolerant Autonomic Computing Systems in a Chemical Setting.
Proceedings of the Dependable and Historic Computing, 2011

Chemical Programming of Future Service-oriented Architectures.
JSW, 2009

Developing Autonomic and Secure Virtual Organisations with Chemical Programming.
Proceedings of the Stabilization, 2009

The Chemical Reaction Model Recent Developments and Prospects.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Service Orchestration Using the Chemical Metaphor.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

A Chemical Interpretation of GSML Programs.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

Programming Self-Organizing Systems with the Higher-Order Chemical Language.
IJUC, 2007

Towards "Chemical" Desktop Grids.
Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

Generalised multisets for chemical programming.
Mathematical Structures in Computer Science, 2006

Challenging Questions for the Rationale of Non-Classical Programming Languages.
IJUC, 2006

A Generalized Higher-Order Chemical Computation Model.
Electr. Notes Theor. Comput. Sci., 2006

Towards chemical coordination for grids.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Principles of Chemical Programming.
Electr. Notes Theor. Comput. Sci., 2005

Higher-Order Chemical Programming Style.
Proceedings of the Unconventional Programming Paradigms, 2004

Chemical Specification of Autonomic Systems.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Architecture-based Exception Handling.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Gamma and the Chemical Reaction Model: Fifteen Years After.
Proceedings of the Multiset Processing, 2000

Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

An approach to information security in distributed systems.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

Compile-Time Detection of Information Flow in Sequential Programs.
Proceedings of the Computer Security, 1994

Models and Paradigms for Distributed Systems Structuring - Introduction.
Operating Systems Review, 1993

Programming by Multiset Transformation.
Commun. ACM, 1993

Subsidiaries and start-up Spin-off companies of Inria.
Proceedings of the 12th International Conference on Computer Safety, 1993

Information Flow Control in a Parallel Language Framework.
Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

Introduction to Gamma.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Parallel Program Design.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Fast Stable Storage as a Basis for Fault-Tolerant Architectures.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

Prospects for functional programming in software engineering.
Research reports ESPRIT / project 302 1, Springer, ISBN: 978-3-540-53852-3, 1991

The GAMMA Model and Its Discipline of Programming.
Sci. Comput. Program., 1990

Implementing Atomic Rendevous within a Transactional Framework.
Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Architecture of fault-tolerant multiprocessor workstations.
Proceedings of the Second Workshop On Workstation Operating Systems, 1989

Chemical Reaction as a Computational Model.
Proceedings of the Functional Programming, 1989

Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil.
it - Informationstechnik, 1988

A parallel machine for multiset transformation and its programming style.
Future Generation Comp. Syst., 1988

Fragmented and replicated objects in the GOTHIC distributed system.
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

Ensuring Data Security and Integrity with a Fast Stable Storage.
Proceedings of the Fourth International Conference on Data Engineering, 1988

The Design and Building of Enchère, a Distributed Electronic Marketing System.
Commun. ACM, 1986

Some aspects of the GOTHIC system.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

The Concept of Multi-function: A General Structuring Tool for Distributed Operating System.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

Construction of a Distributed System Supporting Atomic Transactions.
Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

A Cooperation Scheme for Parallel Compilation.
Proceedings of the Method and tools for compiler construction, 1983

A Network for the Detection of Words in Continuous Speech.
Acta Inf., 1982

Parallélisme et programmation fonctionnelle à la Backus.
Proceedings of the SPLT'82, 1982

Constructing parallel programs and their termination proof.
Proceedings of the International Conference on Parallel Processing, 1982

A systolic algorithm for connected word recognition.
Proceedings of the IEEE International Conference on Acoustics, 1982

A Multiprocessing Approach to Compile-Time Symbol Resolution.
ACM Trans. Program. Lang. Syst., 1981

Parallel structures for vector processing.
Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981

Kensur: An Architecture Oriented Towards Programming Languages Translation.
Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

An Event-Driven Compiling Technique.
Commun. ACM, 1979

Language Features for Description of Cooperating Processes.
Proceedings of the 4th International Conference on Software Engineering, 1979

Reliable Resource Allocation Between Unreliable Processes.
IEEE Trans. Software Eng., 1978

Producing Optimised Code for Coercions.
Inf. Process. Lett., 1977