|
Search the dblp DataBase
Jean-Marc Andreoli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean-Marc Andreoli, Hervé Gallaire, Remo Pareschi
Rule-Based Object Coordination. [Citation Graph (1, 0)][DBLP] ECOOP Workshop, 1994, pp:1-13 [Conf]
- Jean-Marc Andreoli, Remo Pareschi
LO and Behold! Concurrent Structured Processes. [Citation Graph (1, 0)][DBLP] OOPSLA/ECOOP, 1990, pp:44-56 [Conf]
- Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi
The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis. [Citation Graph (1, 0)][DBLP] J. Symb. Comput., 1996, v:21, n:4, pp:635-667 [Journal]
- Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Johann H. Schlichter
Constraint Agents for the Information Age. [Citation Graph (1, 0)][DBLP] J. UCS, 1995, v:1, n:12, pp:762-789 [Journal]
- Jean-Marc Andreoli, François Pacull, Daniele Pagani, Remo Pareschi
Multiparty Negotiation of Dynamic Distributed Object Services. [Citation Graph (1, 0)][DBLP] Sci. Comput. Program., 1998, v:31, n:2-3, pp:179-203 [Journal]
- Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
Abstract Interpretation of Concurrent Languages based on Linear Logic. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:267-284 [Conf]
- Mihnea Bratu, Jean-Marc Andreoli, Olivier Boissier, Stefania Castellani
A Software Infrastructure for Negotiation within Inter-organisational Alliances. [Citation Graph (0, 0)][DBLP] AMEC, 2002, pp:161-179 [Conf]
- Jean-Marc Andreoli
Focussing Proof-Net Construction as a Middleware Paradigm. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:501-516 [Conf]
- Jean-Marc Andreoli, Laurent Mazaré
Concurrent Construction of Proof-Nets. [Citation Graph (0, 0)][DBLP] CSL, 2003, pp:29-42 [Conf]
- Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
Permutative Logic. [Citation Graph (0, 0)][DBLP] CSL, 2005, pp:184-199 [Conf]
- Jean-Marc Andreoli
Coordination as Negotiated Transactions. [Citation Graph (0, 0)][DBLP] Object Orientation with Parallelism and Persistence, 1995, pp:151-173 [Conf]
- Jean-Marc Andreoli, Stefania Castellani
Negotiation as a Generic Component Coordination Primitive. [Citation Graph (0, 0)][DBLP] DAIS, 2003, pp:86-97 [Conf]
- Jean-Marc Andreoli, Stefania Castellani
Towards a Flexible Middleware Negotiation Facility for Distributed Components. [Citation Graph (0, 0)][DBLP] DEXA Workshop, 2001, pp:732-736 [Conf]
- Reinhard Brandl, Jean-Marc Andreoli, Stefania Castellani
Ubiquitous negotiation games: a case study. [Citation Graph (0, 0)][DBLP] DEXA Workshops, 2003, pp:834-838 [Conf]
- Marc Bourgois, Jean-Marc Andreoli, Remo Pareschi
Concurrency and Communication: Choices in Implementing the Coordination Language LO. [Citation Graph (0, 0)][DBLP] ECOOP Workshop, 1993, pp:73-92 [Conf]
- Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois
Dynamic Programming as Multiagent Programming. [Citation Graph (0, 0)][DBLP] Object-Based Concurrent Computing, 1991, pp:163-176 [Conf]
- Jean-Marc Andreoli, Stefania Castellani, Manuel Munier
AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organizations. [Citation Graph (0, 0)][DBLP] EC-Web, 2000, pp:122-132 [Conf]
- Jean-Marc Andreoli, Damián Arregui, François Pacull, Jutta Willamowski
Resource-Based Scripting to Stitch Distributed Components. [Citation Graph (0, 0)][DBLP] EDCIS, 2002, pp:429-443 [Conf]
- Jean-Marc Andreoli, Remo Pareschi
Logic Programming with Sequent Systems, A Linear Logic Approach. [Citation Graph (0, 0)][DBLP] ELP, 1989, pp:1-30 [Conf]
- Jean-Marc Andreoli, Jean-Luc Meunier, Daniele Pagani
Process Enactment and Coordination. [Citation Graph (0, 0)][DBLP] EWSPT, 1996, pp:195-216 [Conf]
- Jean-Marc Andreoli, Uwe M. Borghoff, Pierre-Yves Chevalier, Boris Chidlovskii, Remo Pareschi, Jutta Willamowski
The Constraint-Based Knowledge Broker System. [Citation Graph (0, 4)][DBLP] ICDE, 1997, pp:575- [Conf]
- Jean-Marc Andreoli, Remo Pareschi
Linear Objects in a Logic Processes with Built-in Inheritance. [Citation Graph (0, 0)][DBLP] ICLP, 1990, pp:495-510 [Conf]
- Jean-Marc Andreoli, Guillaume Bouchard
Probabilistic Latent Clustering of Device Usage. [Citation Graph (0, 0)][DBLP] IDA, 2005, pp:1-11 [Conf]
- Jean-Marc Andreoli, François Pacull
Distributed Print on Demand Systems in the Xpect Framework. [Citation Graph (0, 0)][DBLP] Trends in Distributed Systems for Electronic Commerce, 1998, pp:141-153 [Conf]
- Jean-Marc Andreoli, Remo Pareschi
Formulae as Active Representations of Data. [Citation Graph (0, 0)][DBLP] SPLT, 1990, pp:139-160 [Conf]
- Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier
A Coordination System Approach to Software Workflow Process Evolution. [Citation Graph (0, 0)][DBLP] ASE, 1998, pp:297-0 [Conf]
- Jean-Marc Andreoli, Roberto Maieli
Fucusing and Proof-Nets in Linear and Non-commutative Logic. [Citation Graph (0, 0)][DBLP] LPAR, 1999, pp:321-336 [Conf]
- Jean-Marc Andreoli, Remo Pareschi
Linear Objects: a Logic Framework for Open System Programming. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:448-450 [Conf]
- Jean-Marc Andreoli, Remo Pareschi
Communication as Fair Distribution of Knowledge. [Citation Graph (0, 0)][DBLP] OOPSLA, 1991, pp:212-229 [Conf]
- Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
Abstract Interpretation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:295-314 [Conf]
- Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1993, pp:182-198 [Conf]
- Jean-Marc Andreoli
The Coordination Language Facility and Applications. [Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:1-5 [Conf]
- Jean-Marc Andreoli
Focussing and proof construction. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2001, v:107, n:1-3, pp:131-163 [Journal]
- Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
Non-commutative proof construction: A constraint-based approach. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:212-244 [Journal]
- Jean-Marc Andreoli, Remo Pareschi
Integrated Computational Paradigms for Flexible Client-Server Communication. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:2, pp:297-299 [Journal]
- Jean-Marc Andreoli, François Pacull
Distributed Print on Demand Systems in the Xpect Framework. [Citation Graph (0, 0)][DBLP] Distributed and Parallel Databases, 1999, v:7, n:2, pp:179-198 [Journal]
- Jean-Marc Andreoli, François Pacull, Remo Pareschi
XPECT: A Framework for Electronic Commerce. [Citation Graph (0, 0)][DBLP] IEEE Internet Computing, 1997, v:1, n:4, pp:40-48 [Journal]
- Jean-Marc Andreoli
Logic Programming with Focusing Proofs in Linear Logic. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1992, v:2, n:3, pp:297-347 [Journal]
- Jean-Marc Andreoli, Remo Pareschi
Linear Ojects: Logical Processes with Built-in Inheritance. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1991, v:9, n:3/4, pp:445-474 [Journal]
- Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti
Static Analysis of Linear Logic Programming. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1997, v:15, n:4, pp:449-481 [Journal]
- Jean-Marc Andreoli, Steve Freeman, Remo Pareschi
The Coordination Language Facility: Coordination of Distributed Objects. [Citation Graph (0, 0)][DBLP] TAPOS, 1996, v:2, n:2, pp:77-94 [Journal]
Soft Failure Detection Using Factorial Hidden Markov Models. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.307secs
|