MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Paolo Volpe – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
by Paolo Volpe — 2000 — Properties of Logic Programs. Science of Computer Programming
…A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs Paolo Volpe…
Cited by 4 (1 self) – Add To MetaCart

Concurrent Logic Programming as Uniform Linear Proofs
by Paolo Volpe — 1994 — Algebraic and Logic Programming
…Concurrent Logic Programming as Uniform Linear Proofs Paolo Volpe Dipartimento di Informatica…
Cited by 9 (1 self) – Add To MetaCart

A Reconstruction of Verification Techniques by Abstract Interpretation
by Giorgio Levi, Paolo Volpe — 1997 — ILPS'97 Post-Conference Workshop on Verification, Model-Checking and Abstract Interpretation
…A Reconstruction of Verification Techniques by Abstract Interpretation Giorgio Levi and Paolo…
Cited by 1 (0 self) – Add To MetaCart

Using expressive mobile robots in museum and theatre applications: experimental results and research issues
by Antonio Camurri, Paolo Coletta, Matteo Ricchetti, Gualtiero Volpe — 1999
… and research issues Antonio Camurri, music@(email omitted); Paolo Coletta, colettap@(email omitted); Matteo…
Cited by 1 (0 self) – Add To MetaCart

Abstract Interpretation based Verification of Logic Programs
by Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe — 2000 — Science of Computer Programming
… Levi, Paolo Volpe Abstract Dipartimento di Informatica Università di Pisa Pisa, Italy This paper…
Cited by 11 (5 self) – Add To MetaCart

Article type
by Erika Feltrin, Stefano Campanaro, Alexander D. Diehl, Elisabeth Ehler, Georgine Faulkner, Jennifer Fordham, Chiara Gardin, Midori Harris, Ralph Knoell, Paolo Laveder, Lorenza Mittempergher, Alessandra Nori, Carlo Reggiani, Vincenzo Sorrentino, Pompeo Volpe, Ivano Zara, Giorgio Valle — 2008
… (midori@(email omitted);) David Hill (dph@(email omitted);) Ralph Knoell (rknoell@(email omitted);) Paolo…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB