Venusian Earthquakes Detection by Ionospheric Sounding

Venusian geology coming into focus

Venusian highlands - Geoid to topography ratios and their implications

Venusian impact basins and cratered terrains

Venusian impact craters on Magellan images - View from Venera 15/16

Venusian middle-atmospheric dynamics in the presence of a strong planetary-scale 5.5-day wave

Venusian nightside ionosphere in the years of low and high solar activity from radio occultation data

Venusian saltation

Venusian sinuous rilles

Verb Semantics and Lexical Selection

Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions

Verbal chunk extraction in French using limited resources

Verbal Interactions in Virtual Worlds

Verifiable and computable performance analysis of sparsity recovery

Verifiable Computation with Massively Parallel Interactive Proofs

Verifiable Network-Performance Measurements

Verification Across Intellectual Property Boundaries

Verification and Diagnosis Infrastructure of SoC HDL-model

Verification and validation of IRAS on-board software

Verification Condition Generation and Variable Conditions in Smallfoot