Jean-Marc Andreoli

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

Coauthor Index

1	Damián Arregui	[33]
2	Olivier Boissier	[35]
3	Uwe M. Borghoff	[15] [18] [23]
4	Guillaume Bouchard	[39]
5	Marc Bourgois	[6] [13]
6	Reinhard Brandl	[36]
7	Mihnea Bratu	[35]
8	Tiziana Castagnetti	[11] [12] [21]
9	Stefania Castellani	[30] [32] [35] [36] [37]
10	Pierre-Yves Chevalier	[23]
11	Boris Chidlovskii	[23]
12	Christer Fernström	[26]
13	Steve Freeman	[17]
14	Hervé Gallaire	[14]
15	Lone Leth	[10]
16	Roberto Maieli	[29] [41]
17	Laurent Mazaré	[38]
18	Jean-Luc Meunier	[20] [26]
19	Manuel Munier	[30]
20	François Pacull	[22] [24] [25] [27] [33]
21	Daniele Pagani	[20] [24]
22	Remo Pareschi	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [21] [22] [23] [24]
23	Gabriele Pulcini	[40]
24	Paul Ruet	[40] [41]
25	Johann H. Schlichter	[15]
26	Bent Thomsen	[10]
27	Jutta Willamowski	[23] [33]

Colors in the list of coauthors