EEMCS

Delzanno, G. and Etalle, S. and Gabbrielli, M. (2006) Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory and Practice of Logic Programming, 6 (3). pp. 225-226. ISSN 1471-0684 *** ISI Impact 1,250 ***

Etalle, S. and Gabbrielli, M. and Meo, M.C. (2001) Transformations of CCP programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 23 (3). pp. 304-395. ISSN 0164-0925 *** ISI Impact 1,167 ***

Etalle, S. and Gabbrielli, M. (1999) Layered modes. Journal of Logic Programming (JLP), 39 (1-3). pp. 225-244. ISSN 0743-1066

Etalle, S. and Gabbrielli, M. (1998) Partial evaluation of concurrent constraint languages. ACM Computing Surveys, 30 (3). electronic supplement to the September 1998 issue. ISSN 0360-0300 *** ISI Impact 7,806 ***

Etalle, S. and Gabbrielli, M. and Meo, M.C. (1998) Unfold/Fold Transformations of CCP Programs. In: 9th Int. Conf. Concurrency Theory (CONCUR), Nice, France. pp. 348-365. Springer-Verlag. ISBN 3-540-64896-8

Etalle, S. and Gabbrielli, M. and Marchiori, E. (1997) A transformation system for CLP with dynamic scheduling and CCP. In: Partial evaluation and semantics-based program manipulation (PEPM), Amsterdam, The Netherlands. pp. 137-150. ACM Press. ISBN 0-89791-917-3

Etalle, S. and Gabbrielli, M. (1996) Transformations of CLP Modules. Theoretical computer science, 166 (1). pp. 101-146. ISSN 0304-3975 *** ISI Impact 0,838 ***

Etalle, S. and Gabbrielli, M. (1996) On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming, 1996. ISSN 1080-5230

Etalle, S. and Gabbrielli, M. (1995) The replacement operation for CLP modules. In: Partial evaluation and semantics-based program manipulation (PEPM), La Jolla, California. pp. 168-177. ACM Press. ISBN 0-89791-720-0