Francesco Parisi-Presicce

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2001
Publication period end
2005
Number of co-authors
4

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Bottoni, Paolo, Hoffmann, Kathrin, Parisi-Presicce, Francesco, Taentzer, Gabriele (2005): High-level replacement units and their termination properties. In J. Vis. Lang. Comput., 16 (6) pp. 485-507. http://dx.doi.org/10.1016/j.jvlc.2005.07.001

Bottoni, Paolo, Meyer, Bernd, Parisi-Presicce, Francesco (2001): On a Uniform Logical Framework for Diagrammatic Reasoning. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 64-71. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740064abs.htm