Abstract Generation based on Rhetorical Structure Extraction

Abstract Interpretation for Probabilistic Termination of Biological Systems

Abstract Machine as a Model of Content Management Information System

Abstract Machine for Typed Feature Structures

Abstract Machine for Typed Feature Structures

Abstract machines for dialogue games

Abstract Milling with Turn Costs

Abstract numeration systems on bounded languages and multiplication by a constant

Abstract of DYB APS April talk II: Design, Construction, and Calibration of the Antineutrino Detectors

Abstract Processes of Place/Transition Systems

Abstract Representations and Frequent Pattern Discovery

Abstract State Machines 1988-1998: Commented ASM Bibliography

Abstract Storage Devices

Abstract unordered and ordered trees CRDT

Abstract versus Concrete Computation on Metric Partial Algebras

Abstracting Abstract Machines

Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis

Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation

Abstracting Path Conditions

Abstracting Path Conditions for Effective Symbolic Execution