Well quasi-orders and the shuffle closure of finite sets

Well structured program equivalence is highly undecidable

Well-Centered Triangulation

Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery

Well-definedness of Streams by Transformation and Termination

Well-formedness and typing rules for UML Composite Structures

Well-founded and Stable Semantics of Logic Programs with Aggregates

Well-Founded Argumentation Semantics for Extended Logic Programming

Well-typed Islands Parse Faster

Well-Typed Logic Programs Are not Wrong

Were the First Stars Fast Rotators?

WeSSQoS: A Configurable SOA System for Quality-aware Web Service Selection

West Europe report: Science and technology, no. 166

West Ford Dipole Belt: Optical Detection at Palomar

Westerbork Northern Sky Survey I. (Rengelink+ 1997)

Western boundary currents in the Martian atmosphere: Numerical simulations and observational evidence

Western Magellanic Bridge HI observations (Muller+, 2003)

Western Oceanus Procellarum as Seen by C1XS on Chandrayaan-1

Westward drift in secular variation of the main geomagnetic field inferred from IGRF