Logic programming with focusing proofs in linear logic JM Andreoli Journal of logic and computation 2 (3), 297-347, 1992 | 1099 | 1992 |
Linear objects: Logical processes with built-in inheritance JM Andreoli, R Pareschi New Generation Computing 9, 445-473, 1991 | 473 | 1991 |
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 | 191 | 2009 |
Focussing and proof construction JM Andreoli Annals of Pure and Applied Logic 107 (1-3), 131-163, 2001 | 122 | 2001 |
Interaction abstract machines JM Andreoli, P Ciancarini, R Pareschi | 116 | 1993 |
Communication as fair distribution of knowledge JM Andreoli, R Pareschi Conference proceedings on Object-oriented programming systems, languages …, 1991 | 89 | 1991 |
Xpect: A framework for electronic commerce J Andreoli, F Pacull, R Pareschi IEEE Internet Computing 1 (4), 40-48, 1997 | 86 | 1997 |
Coordination programming: mechanisms, models and semantics JM Andreoli, C Hankin, D Le Métayer World Scientific, 1996 | 78 | 1996 |
LO and behold! Concurrent structured processes JM Andreoli, R Pareschi ACM SIGPLAN Notices 25 (10), 44-56, 1990 | 66 | 1990 |
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 | 61 | 2004 |
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 | 51 | 2004 |
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 | 49 | 1999 |
Temporal events analysis employing tree induction G Bouchard, JM Andreoli US Patent 8,204,843, 2012 | 47 | 2012 |
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 | 47 | 1996 |
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 | 46 | 1996 |
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 | 45 | 1998 |
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 | 45 | 1996 |
Soft failure detection in a network of devices JM Andreoli, G Bouchard, V Ciriza US Patent 7,865,089, 2011 | 40 | 2011 |
Rule-based object coordination JM Andreoli, H Gallaire, R Pareschi Object-Based Models and Languages for Concurrent Systems: ECOOP'94 Workshop …, 1995 | 36 | 1995 |
Logic programming with sequent systems: A linear logic approach JM Andreoli, R Pareschi International Workshop on Extensions of Logic Programming, 1-30, 1989 | 35 | 1989 |