Abstracting Runtime Heaps for Program Understanding

Abstraction and Refinement in Static Model-Checking

Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols

Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

Abstractions for biomolecular computations

Abstracts for the 54th Annual Meeting of the Meteoritical Society

Abu infrared imager

Abundance Analysis of a Supergiant in the Large Magellanic Cloud

Abundance analysis of the Zinc enhanced metal-poor star BS 16920-017

Abundance and Composition of K and Ca Bearing Minerals in Ordinary Chondrites and Their Application to Ar-Ar Dating

Abundance and distribution of Cu-Fe-Ni sulfides, sulfur, copper and platinum-group elements in orogenic-type spinel lherzolite massifs of Ariège (northeastern Pyrenees, France)

Abundance and distribution of gallium in some spinel and garnet lherzolites

Abundance and distribution of gold, palladium and iridium in some spinel and garnet lherzolites: implications for the nature and origin of precious metal-rich intergranular components in the upper mantle

Abundance and Distribution of Iron on the Moon

Abundance and isotopic composition of noble gases in metal and graphite of the Bohumilitz IAB iron meteorite

Abundance and Size Distribution of Inclusions in CV3 Chondrites by X-Ray Image Analysis

Abundance and stable carbon isotope composition of amino acids in molecular weight fractions of fossil and artificially aged mollusk shells

Abundance determination in solar active region

Abundance determination in solar active region

Abundance determination in the quiet corona