Follow
Jean-Marc Andreoli
Jean-Marc Andreoli
Naverlabs Europe
Verified email at naverlabs.com
Title
Cited by
Cited by
Year
Logic programming with focusing proofs in linear logic
JM Andreoli
Journal of logic and computation 2 (3), 297-347, 1992
10991992
Linear objects: Logical processes with built-in inheritance
JM Andreoli, R Pareschi
New Generation Computing 9, 445-473, 1991
4731991
Method, apparatus, and article of manufacture for estimating parameters of a probability model on shared device usage probabilistic semantic analysis
JM Andreoli, G Bouchard
US Patent 7,567,946, 2009
1912009
Focussing and proof construction
JM Andreoli
Annals of Pure and Applied Logic 107 (1-3), 131-163, 2001
1222001
Interaction abstract machines
JM Andreoli, P Ciancarini, R Pareschi
1161993
Communication as fair distribution of knowledge
JM Andreoli, R Pareschi
Conference proceedings on Object-oriented programming systems, languages …, 1991
891991
Xpect: A framework for electronic commerce
J Andreoli, F Pacull, R Pareschi
IEEE Internet Computing 1 (4), 40-48, 1997
861997
Coordination programming: mechanisms, models and semantics
JM Andreoli, C Hankin, D Le Métayer
World Scientific, 1996
781996
LO and behold! Concurrent structured processes
JM Andreoli, R Pareschi
ACM SIGPLAN Notices 25 (10), 44-56, 1990
661990
Systems and methods providing flexible representations of work
R Pareschi, NS Glance, D Pagani, JM Andreoli, S Castellani, G Teege
US Patent 6,725,428, 2004
612004
Generating combinations of offers and using action identifiers from the offers to obtain performance of combinations of actions
JM Andreoli, F Pacull, JL Meunier
US Patent 6,732,361, 2004
512004
CLF/Mekano: a framework for building virtual-enterprise applications
JM Andreoli, D Arregui, F Pacull, M Riviere, JY Vion-Dury, J Willamowski
Proceedings Third International Enterprise Distributed Object Computing …, 1999
491999
Temporal events analysis employing tree induction
G Bouchard, JM Andreoli
US Patent 8,204,843, 2012
472012
The coordination language facility: Coordination of distributed objects
JM Andreoli, S Freeman, R Pareschi
Theory and Practice of Object Systems 2 (2), 77-94, 1996
471996
The constraint-based knowledge broker model: Semantics, implementation and analysis
JM Andreoli, UM Borghoff, R Pareschi
Journal of Symbolic Computation 21 (4), 635-668, 1996
461996
Multiparty negotiation of dynamic distributed object services
JM Andreoli, F Pacull, D Pagani, R Pareschi
Science of Computer Programming 31 (2-3), 179-203, 1998
451998
Constraint agents for the information age
JM Andreoli, UM Borghoff, R Pareschi, JH Schlichter
J. UCS The Journal of Universal Computer Science: Annual Print and CD-ROM …, 1996
451996
Soft failure detection in a network of devices
JM Andreoli, G Bouchard, V Ciriza
US Patent 7,865,089, 2011
402011
Rule-based object coordination
JM Andreoli, H Gallaire, R Pareschi
Object-Based Models and Languages for Concurrent Systems: ECOOP'94 Workshop …, 1995
361995
Logic programming with sequent systems: A linear logic approach
JM Andreoli, R Pareschi
International Workshop on Extensions of Logic Programming, 1-30, 1989
351989
The system can't perform the operation now. Try again later.
Articles 1–20