J. Banâtre
发表
Santosh K. Shrivastava,
Jean-Pierre Banâtre,
S. Shrivastava,
1978,
IEEE Transactions on Software Engineering.
Guy Lapalme,
Michel Banâtre,
Jean-Pierre Banâtre,
1986,
CACM.
Gul Agha,
Gordon Blair,
Thierry Priol,
2019,
Synthese.
D. L. Métayer,
J. Banâtre,
1996
.
D. L. Métayer,
J. Banâtre,
C. Bryce,
1994
.
J. Banâtre,
C. Bryce,
1993
.
Pascal Fradet,
Jean-Pierre Banâtre,
Olivier Michel,
2008
.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1991,
Research Directions in High-Level Parallel Programming Languages.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1991,
Lecture Notes in Computer Science.
Michel Banâtre,
Jean-Pierre Banâtre,
Florimond Ployette,
1983,
Symposium on Reliability in Distributed Software and Database Systems.
Michel Banâtre,
Jean-Pierre Banâtre,
Florimond Ployette,
1986,
ICDCS.
Michel Banâtre,
Jean-Pierre Banâtre,
Florimond Etienne Ployette,
1987
.
Michel Banâtre,
Jean-Pierre Banâtre,
Florimond Etienne Ployette,
1986
.
Michel Banâtre,
Jean-Pierre Banâtre,
Gilles Muller,
1987
.
Jean-Louis Giavitto,
Pascal Fradet,
Olivier Michel,
2005
.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1986
.
J. Banâtre,
Pascal Fradet,
Yann Radenac,
2003
.
Laurent Trilling,
Jean-Pierre Banâtre,
Jean-Paul Routeau,
1979,
CACM.
Jean-Louis Giavitto,
Pascal Fradet,
Olivier Michel,
2004
.
Jean-Pierre Banâtre,
J. Banâtre,
1988
.
Xingwu Liu,
Thierry Priol,
Jean-Pierre Banâtre,
2008
.
Sacha Krakowiak,
Jean-Pierre Banâtre,
J. Banâtre,
1993,
ACM SIGOPS Oper. Syst. Rev..
Jean-Pierre Banâtre,
J. Banâtre,
1984,
Method and tools for compiler construction.
Thomas Ropars,
Christine Morin,
Adrien Lebre,
2005
.
R. Cascella,
C. Morin,
J. Banâtre,
2014
.
Jean-Pierre Auguste Banatre,
J. Banâtre,
1987
.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1990,
Sci. Comput. Program..
Thierry Priol,
Jean-Pierre Banâtre,
Yann Radenac,
2008,
SEUS.
Pascal Fradet,
Jean-Pierre Banâtre,
Yann Radenac,
2007,
Int. J. Unconv. Comput..
Daniel Le Métayer,
Jean-Pierre Banâtre,
Anne Coutant,
1988,
Future Gener. Comput. Syst..
Jean-Louis Giavitto,
Pascal Fradet,
Olivier Michel,
2006,
Int. J. Unconv. Comput..
Martin Wirsing,
Axel Rauschmayer,
Jean-Pierre Banâtre,
2008,
Software-Intensive Systems and New Computing Paradigms.
Pascal Fradet,
Daniel Le Métayer,
Jean-Pierre Banâtre,
2000,
WMP.
Daniel Le Métayer,
Jean-Pierre Banâtre,
J. Banâtre,
1989,
Functional Programming.
Michel Banâtre,
Jean-Pierre Banâtre,
J. Banâtre,
1981,
CONPAR.
Pascal Fradet,
Jean-Pierre Banâtre,
Yann Radenac,
2008,
Software-Intensive Systems and New Computing Paradigms.
Jean-Pierre Banâtre,
J. Banâtre,
1977,
Inf. Process. Lett..
Jean-Pierre Banâtre,
Ciarán Bryce,
J. Banâtre,
1993,
[1993] Proceedings Computer Security Foundations Workshop VI.
J. Banâtre,
Jean-Pierre Ban̂atre,
1993
.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Ciarán Bryce,
1994,
ESORICS.
Thierry Priol,
Jean-Pierre Banâtre,
J. Banâtre,
2009,
J. Softw..
Jean-Pierre Banâtre,
J. Banâtre,
1991,
Research Directions in High-Level Parallel Programming Languages.
Jean-Pierre Auguste Banatre,
J. Banâtre,
1992
.
Valérie Issarny,
Jean-Pierre Banâtre,
V. Issarny,
2001,
Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Ciarán Bryce,
1995,
Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
Christine Morin,
Michel Banâtre,
Jean-Pierre Banâtre,
1989,
Proceedings of the Eighth Symposium on Reliable Distributed Systems.
Michel Banâtre,
Jean-Pierre Banâtre,
J. Banâtre,
1979,
ICSE.
Pascal Fradet,
Jean-Pierre Banâtre,
Yann Radenac,
2009
.
Christine Morin,
Subhadeep Sarkar,
Louis Rilling,
2018,
2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).
Pascal Fradet,
Jean-Pierre Banâtre,
Yann Radenac,
2004,
RULE@RDP.
D. L. Métayer,
J. Banâtre,
Pascal Fradet,
2000,
WMP.
J. Banâtre,
Thierry Priol,
2008
.
Alvaro Arenas,
Thierry Priol,
Jean-Pierre Banâtre,
2007
.