| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 4 |      | Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti: Static Analysis of Linear Logic Programming. New Generation Comput. 15(4): 449-481 (1997) |
| 1993 | ||
| 3 |  | Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi: Abstract Interpretation of Concurrent Languages based on Linear Logic. GULP 1993: 267-284 |
| 2 | | Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi: Abstract Interpretation of Linear Logic Programming. ILPS 1993: 295-314 |
| 1991 | ||
| 1 | | Tiziana Castagnetti, Paolo Ciancarini: Static Analysis of a Parallel Logic Language Based on the Blackboard Model. J. Parallel Distrib. Comput. 13(4): 412-423 (1991) |
| 1 | Jean-Marc Andreoli | [2] [3] [4] |
| 2 | Paolo Ciancarini | [1] |
| 3 | Remo Pareschi | [2] [3] [4] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page