Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Verifying Termination of General Logic Programs with Concrete Queries

Verifying the Enhanced FGS Transfer Mode Flight Software

Verifying the gravitational shift due to the earth's rotation

Verifying the intermediate mass black hole nature of the ultraluminous X-ray source HLX-1 associated with ESO 243-49

Verifying the intermediate mass black hole nature of the ultraluminous X-ray source HLX-1 associated with ESO 243-49

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)

Verifying the low-energy spectral response models of the CXO ACIS CCDs and the XMM-Newton EPIC CCDs

Verifying the Mass of Giant Molecular Clouds in the LMC

Verifying the Unification Algorithm in LCF

Verifying the Utility of Type Ia Supernovae as Cosmological Probes: Evolution and Dispersion in the Ultraviolet Spectra

VERITAS Observations of Pulsars

VERITAS-Status and Results (2007/08 Season)

VERITAS: Performance and Latest Results

VERITAS: status c.2005

VERITAS: Status, Performance and Latest Results

Vers l'auto-administration des entrepôts de données

Vers la reconnaissance de mini-messages manuscrits

Vers un environnement multi personnalites pour la configuration et le deploiement d'applications a base de composants logiciels