|
An Axiomatic Approach to Structural Rules for Locative Linear Logic
Andreoli, J-M. In Ehrhard, T., Girard, J-Y., Ruet, P. and Scott, P. editors: Linear Logic in Computer Science , Cambridge University Press, 2004 |
|
Coordination as Negotiated Transactions
Andreoli, J-M. In Freitag, B., Jones, C., Lengauer, C. and Scheck, H-J. editors: Object Orientation with Parallelism and Persistence , Kluwer Academic, 1996 |
|
Coordination in LO
Andreoli, J-M. In Andreoli, J-M., Hankin, C. and Le Metayer, D. editors: Coordination Programming: Mechanisms, Models and Semantics , Imperial College Press, 1996 |
|
Interaction Abstract Machines
Andreoli, J-M., Ciancarini, P., Pareschi, R. In Agha, G., Wegner, P. and Yonezawa, A. editors: Research Directions in Concurrent Object Oriented Programming , MIT Press, 1993 |
|
Proof Construction in Non-Commutative Logic: a Constraint Based approach
Andreoli, J-M., Maieli, R., Ruet, P. Annals of Pure and Applied Logic, 142(1-3), pp 212--244, 2006 |
|
E-Alliance: A Negotiation Infrastructure for Virtual Alliances
Andreoli, J-M., Castellani, S., Boissier, O., Bratu, M., Alloui, I., Megzari, K. Group Decision and Negotiation, 12(2), pp 127--141, 2003 |
|
Focussing and Proof Construction
Andreoli, J-M. Annals of Pure and Applied Logic, 107(1), pp 131--163, 2001 |
|
Distributed Print on Demand Systems in the Xpect Framework
Andreoli, J-M., Pacull, F. Journal of Distributed and Parallel Databases, 7(2), 1999 |
|
Multiparty Negotiation for Dynamic Distributed Object Services
Andreoli, J-M., Pagani, D., Pacull, F., Pareschi, R. Science of Computer Programming, 31(2 3), pp 179--203, 1998 |
|
Static Analysis of Linear Logic Programming
Andreoli, J-M., Castagnetti, T., Pareschi, R. New Generation Computing, 15(4), pp 449--481, 1997 |
|
Xpect: A Framework for Electronic Commerce
Andreoli, J-M., Pacull, F., Pareschi, R. IEEE Internet Computing, 1(4), pp 40--48, 1997 |
|
The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis
Andreoli, J-M., Borghoff, U., Pareschi, R. Journal of Symbolic Computation, 21(4), pp 635--667, 1996 |
|
The Coordination Language Facility: Coordination of Distributed Objects
Andreoli, J-M., Freeman, S., Pareschi, R. Theory and Practice of Object Systems, 2(2), pp 77--94, 1996 |
|
Integrated Computational Paradigms for Flexible Client-Server Communication
Andreoli, J-M., Pareschi, R. ACM Computing Surveys, 28(2), pp 295--297, 1996 |
|
Constraint Agents for the Information Age
Andreoli, J-M., Borghoff, U., Pareschi, R., Schlichter, J. Journal of Universal Computer Science, 1(12), pp 762--789, 1995 |
|
Logic Programming with Focusing Proofs in Linear Logic
Andreoli, J-M. Journal of Logic and Computation, 2(3), 1992 |
|
Linear Objects: Logical Processes with Built-in Inheritance
Andreoli, J-M., Pareschi, R. New Generation Computing, 9(3 4), pp 445--473, 1991 |
|
ADRES: une Application Industrielle des Systèmes Experts
Andreoli, J-M., Rey, J-P. Revue d'Intelligence Artificielle, 1, 1986 |
|
Soft Failure Detection using Factorial Hidden Markov Models
Bouchard, G., Andreoli, J-M. In proc. of International Conference on Machine Learning and Applications (ICMLA), Cincinnati, Oh, U.S.A., 2007 |
|
Probabilistic Latent Clustering of Device Usage
Andreoli, J-M., Bouchard, G. In proc. of 6th International Symposium on Intelligent Data Analysis (IDA), Madrid, Spain, 2005 |
|
Permutative Logic
Andreoli, J-M., Pulcini, G., Ruet, P. In proc. of Computer Science Logic (CSL), Oxford, U.K., 2005 |
|
Constraint-based Decision-Makers in Negotiation Processes
Andreoli, J-M., Castellani, S. In proc. of IFIP International Conference on Decision Support Systems (DSS), Prato, Italy, 2004 |
|
Negotiation as a Generic Component Coordination Primitive
Andreoli, J-M., Castellani, S. In proc. of Distributed Applications and Interoperable Systems (DAIS), Paris, France, 2003 |
|
Concurrent Construction of Proof-Nets
Andreoli, J-M., Mazaré, L. In proc. of Computer Science Logic (CSL), Wien, Austria, 2003 |
|
Augmenting Offices with Ubiquitous Sensing
Andreoli, J-M., Castellani, S., Grasso, A., Meunier, J-L., Mühlenbrock, M., O Neill, J., Ragnet, F., Roulland, F., Snowdon, D. In proc. of Smart Objects Conference (SOC), Grenoble, France, 2003 |
|
Focussing Proof-Net Construction as a Middleware Paradigm
Andreoli, J-M. In proc. of 18th International Conference on Automated Deduction (CADE), Copenhagen, Denmark, 2002 |
|
Resource-Based Scripting to Stitch Distributed Components
Andreoli, J-M., Arregui, D., Pacull, F., Willamowski, J. In proc. of 1st International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS), Beijing, China, 2002 |
|
E-Alliance: A Software Infrastructure for Concurrent Inter-Organisational Alliances
Andreoli, J-M., Alloui, I., Boissier, O., Bratu, M., Castellani, S., Megzari, K. In proc. of Conference on Concurrent Engineering (CE), Cranfield, U.K., 2002 |
|
Virtual Answers for Query Refinement in Information Retrieval
Andreoli, J-M., Borghoff, U. In proc. of Conference on Practical Applications of Constraint Logic Programming (PACLP), Manchester, U.K., 2000 |
|
Focussing and Proof-Nets in Linear and Non-Commutative Logic
Andreoli, J-M., Maieli, R. In proc. of 6th Conference on Logic in Programming and Automated Reasoning (LPAR), Tbilisi, Republic of Georgia, 1999 |
|
CLF/Mekano: a Framework for Building Virtual-Enterprise Applications
Andreoli, J-M., Arregui, D., Pacull, F., Riviere, M., Vion-Dury, J-Y., Willamowski, J. In proc. of Enterprise Distributed Object Computing Conference (EDOC), Manheim, Germany, 1999 |
|
Simulation for Document Print Management
Andreoli, J-M., Castellani, S. In proc. of 11th European Simulation Symposium (ESS), Erlangen, Germany, 1999 |
|
The Coordination Language Facility and Applications
Andreoli, J-M. In proc. of 4th International Conference on Typed Lambda Calculus and Applications (TLCA), L'Aquila, Italy, 1999 |
|
Distributed Print on Demand Systems in the Xpect Framework
Andreoli, J-M., Pacull, F. In proc. of IFIP Conference on Trends in Electronic Commerce (TrEC), Hamburg, Germany, 1998 |
|
A Coordination System Approach to Software Workflow Process Evolution
Andreoli, J-M., Fernström, C., Meunier, J-L. In proc. of Conference on Automated Software Engineering (ASE), Honolulu, Ha, U.S.A., 1998 |
|
Zippin: towards a graphical decision support tool
Andreoli, J-M., Castellani, S., Glance, N. In proc. of Conference on Concurrent Engineering (CE), Tokyo, Japan, 1998 |
|
Agent-Based Decision Support for Managing Print Tasks
Andreoli, J-M., Castellani, S., Borghoff, U., Pareschi, R., Teege, G. In proc. of 3rd Conference on Practical Applications of Intelligent Agents and Multi-Agents (PAAM), London, U.K., 1998 |
|
The Constraint-Based Knowledge Broker System
Andreoli, J-M., Borghoff, U., Chevalier, P-Y., Chidlovskii, B., Pareschi, R., Willamowski, J. In proc. of 13th International Conference on Data Engineering (ICDE), Birmingham, U.K., 1997 |
|
Signed Feature Constraint Solving
Andreoli, J-M., Borghoff, U., Pareschi, R. In proc. of Conference on Practical Applications of Constraint Technology (PACT), London, U.K., 1997 |
|
Process Enactment and Coordination
Andreoli, J-M., Meunier, J-L., Pagani, D. In proc. of 5th European Workshop on Software Process Technology (EWSPT), Nancy, France, 1996 |
|
Constraint Based Knowledge Brokers
Andreoli, J-M., Borghoff, U., Pareschi, R. In proc. of 1st Conference on Parallel Symbolic Computation (PASCO), Linz, Austria, 1994 |
|
Objects Meet Rules
Andreoli, J-M., Gallaire, H., Pareschi, R. In proc. of Object World, Frankfurt, Germany, 1994 |
|
Abstract Interpretation of Linear Logic Proofs
Andreoli, J-M., Castagnetti, T., Pareschi, R. In proc. of 10th Symposium on Logic Programming (ILPS), Vancouver, BC, Canada, 1993 |
|
True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
Andreoli, J-M., Leth, L., Pareschi, R., Thomsen, B. In proc. of 5th Conference on Theory and Practice of Software Development (TAPSOFT), Orsay, France, 1993 |
|
Communication as Fair Distribution of Knowledge
Andreoli, J-M., Pareschi, R. In proc. of 6th Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Phoenix, Az, U.S.A., 1991 |
|
LO and Behold! Concurrent Structured Processes
Andreoli, J-M., Pareschi, R. In proc. of 5th Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Ottawa, Canada, 1990 |
|
Linear Objects: Logical Processes with Built-in Inheritance
Andreoli, J-M., Pareschi, R. In proc. of 7th International Conference on Logic Programming (ICLP), Jerusalem, Israel, 1990 |
|
Logic Programming with Sequent Systems: a Linear Logic Approach
Andreoli, J-M., Pareschi, R. In proc. of 1st Workshop on Extensions of Logic Programming, Tübingen, Germany, 1990 |
|
Formulae as Active Representation of Data
Andreoli, J-M., Pareschi, R. In proc. of 9th Séminaire sur la Programmation Logique, Tregastel, France, 1990 |
|
Ubiquitous negotiation games: a case study
Andreoli, J-M., Brandl, R., Castellani, S. Proc. of DEXA workshop on E-Negotiations, Prag, Check Republic , 2003 |
|
A Software Infrastructure for Negotiation within Inter-Organisational Alliances
Andreoli, J-M., Bratu, M., Boissier, O., Castellani, S. Proc. of AAMAS'2002 workshop on Agent Mediated Electronic Commerce (AMEC), Bologna, Italy , 2002 |
|
Towards a Flexible Middleware Negotiation Facility for Distributed Components
Andreoli, J-M., Castellani, S. Proc. of DEXA workshop on E-Negotiations, Munich, Germany , 2001 |
|
AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organisations
Andreoli, J-M., Castellani, S., Munier, M. Proc. of International DEXA workshop on Electronic Commerce and the Web (EcWeb), Greenwich, U.K. , 2000 |
|
Applying the Broadway Recommendation Approach to Query Refinement in CBKB
Andreoli, J-M., Jaczynski, M., Kanawati, R., Trousse, B. Proc. of RAPC'99, Palaiseau, France , 1999 |
|
Constraints and Agents for a Decentralized Network Infrastructure
Andreoli, J-M., Borghoff, U., Pareschi, R., Bistarelli, S., Montanari, U., Rossi, F. Proc. of the AAAI'97 workshop on Constraints and Agents, Providence, RI, U.S.A. , 1997 |
|
Programming in ForumTalk
Andreoli, J-M. Preprint, Rank Xerox Research Centre, Grenoble, France, 1995 |
|
Rule-based Object Coordination
Andreoli, J-M., Gallaire, H., Pareschi, R. Proc. of ECOOP'94 Workshop on Coordination, Bologna, Italy , 1994 |
|
Parallel Searching with Multisets as Agents
Andreoli, J-M., Ciancarini, P., Pareschi, R. Proc. of AAAI'93 Spring Symposium on Innovative Applications and Massive Parallelism, Standford, Ca, U.S.A , 1993 |
|
Concurrency and Communication: Choices in Implementing the Coordination Language LO
Bourgois, M., Andreoli, J-M., Pareschi, R. Proc. of the ECOOP'93 workshop on Object Based Distributed Programming, Kaiserslautern, Germany , 1993 |
|
Extending Objects with Rules, Composition and Concurrency: the LO Experience
Bourgois, M., Andreoli, J-M., Pareschi, R. Proc. of the OOPSLA'92 workshop on Object-Oriented Programming Languages - The Next Generation, Vancouver, Canada , 1992 |
|
Dynamic Programming as Multi-agent Programming
Andreoli, J-M., Pareschi, R., Bourgois, M. Proc. of the OOPSLA'90/ECOOP'91 workshop on Object-based concurrent computing, Genève, Switzerland , 1991 |
|
From Lambek Calculus to Word-based Parsing
Andreoli, J-M., Pareschi, R. Proc. of the Workshop on Substructural Logic and Categorial Grammar, München, Germany , 1991 |
|
Paradigmes de Programmation et Fondements Logiques
Andreoli, J-M. Habilitation thesis, Université de Grenoble, Grenoble, France, 2001 |
|
Proposition pour une Synthèse des Paradigmes de la Programmation Logique et de la Programmation par Objets
Andreoli, J-M. PhD thesis, Université de Paris 6, Paris, France, 1990 |
|
Tree induction of temporal events
Andreoli, J-M., Bouchard, G. Invention Disclosure Xerox 20071026, status: submitted , 2007 |
|
Factorial Hidden Markov Models with Discrete Observations
Andreoli, J-M., Bouchard, G. Invention Disclosure Xerox 20061303, status: filed , 2006 |
|
Soft Failure Detection Using Factorial Hidden Markov Models
Andreoli, J-M., Bouchard, G., Ciriza, V. Invention Disclosure Xerox 20051622, status: filed , 2005 |
|
Probabilistic Latent Clustering of Device Usage
Andreoli, J-M., Bouchard, G. Invention Disclosure Xerox 20050139, status: filed at USPTO publication 20060206445 , 2005 |
|
A System to Integrate Constraint-Solvers into Negotiation Processes
Andreoli, J-M., Castellani, S. Invention Disclosure Xerox 20030622, status: filed at USPTO publication 20050108036 , 2003 |
|
A method to support resource negotiation among arbitrary components
Andreoli, J-M., Castellani, S. Invention Disclosure Xerox 20011154, status: filed at USPTO publications 20040083186 and 20040083187 , 2001 |
|
A method to combine search and transaction mechanisms for the coordination of software activities
Andreoli, J-M., Pacull, F., Meunier, J-L. Invention Disclosure Xerox 098038, status: granted as US patent 6,732,361 on May 4, 2004 , 1998 |
|
Systems and Methods Providing Flexible Representation of Work
Andreoli, J-M., Castellani, S., Glance, N., Pagani, D., Pareschi, R., Teege, G. Invention Disclosure Xerox 096???, status: granted as US patent 6,725,428 on April 20, 2004 , 1996 |
|
Solving feature constraints for request/answer specification and for search state representation within a knowledge retrieval engine
Andreoli, J-M., Borghoff, U. Invention Disclosure Xerox 095???, status: granted as US patent 6,735,622 on May 11, 2004 and as US patent 7,020,670 on March 28, 2006 , 1995 |