BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Germany
1 × Israel
1 × Italy
1 × United Kingdom
2 × Canada
2 × USA
Collaborated with:
R.Pareschi L.Mazaré G.Pulcini P.Ruet C.Fernström J.Meunier T.Castagnetti O.Zoeter C.R.Dance S.Clinchant L.L.Thomsen B.Thomsen D.Arregui F.Pacull M.Riviere J.Vion-Dury J.Willamowski
Talks about:
logic (4) process (3) concurr (3) linear (3) construct (2) communic (2) program (2) languag (2) coordin (2) applic (2)

Person: Jean-Marc Andreoli

DBLP DBLP: Andreoli:Jean=Marc

Contributed to:

KDD 20142014
CSL 20052005
CSL 20032003
CADE 20022002
EDOC 19991999
TLCA 19991999
ASE 19981998
ILPS 19931993
OOPSLA 19911991
ICLP 19901990
OOPSLA 19901990

Wrote 12 papers:

KDD-2014-ZoeterDCA #algorithm #deployment
New algorithms for parking demand management and a city-scale deployment (OZ, CRD, SC, JMA), pp. 1819–1828.
CSL-2005-AndreoliPR #logic
Permutative Logic (JMA, GP, PR), pp. 184–199.
CSL-2003-AndreoliM #concurrent
Concurrent Construction of Proof-Nets (JMA, LM), pp. 29–42.
CADE-2002-Andreoli #middleware #paradigm
Focussing Proof-Net Construction as a Middleware Paradigm (JMA), pp. 501–516.
EDOC-1999-AndreoliAPRVW #framework #named
CLF/Mekano: a framework for building virtual-enterprise applications (JMA, DA, FP, MR, JYVD, JW), pp. 183–192.
TLCA-1999-Andreoli #coordination
The Coordination Language Facility and Applications (JMA), pp. 1–5.
ASE-1998-AndreoliFM #approach #coordination #evolution #process #workflow
A Coordination System Approach to Software Workflow Process Evolution (JMA, CF, JLM), p. 297–?.
ILPS-1993-AndreoliCP #abstract interpretation #linear #logic programming
Abstract Interpretation of Linear Logic Programming (JMA, TC, RP), pp. 295–314.
OOPSLA-1991-AndreoliP #communication #information management
Communication as Fair Distribution of Knowledge (JMA, RP), pp. 212–229.
CLP-1990-AndreoliP90 #inheritance #linear #logic #process
Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.
OOPSLA-ECOOP-1990-AndreoliP #concurrent #exclamation #process
LO and Behold! Concurrent Structured Processes (JMA, RP), pp. 44–56.
TAPSOFT-1993-AndreoliLPT #communication #concurrent #linear #logic programming #programming language #semantics
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.