Domenico Vasile

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

A. Castellucci, Giovambattista Ianni, Domenico Vasile, S. Costa
Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. ITCC (2001)
Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
NP-SPEC: an executable specification language for solving all problems in NP. Comput. Lang. 26 (2-4) (2000)
Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
NP-SPEC: An Executable Specification Language for Solving All Problems in NP. PADL (1999)