Discover open access scientific publications

Search, annotate, share and cite publications

Publications by A. W. Roscoe

Slow Abstraction via Priority

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Lattice of Conditions on Topological Spaces

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1985English

Related publications

Solving Games via Three-Valued Abstraction Refinement

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Mind the Shapes: Abstraction Refinement via Topology Invariants

English

Numeric Planning via Abstraction and Policy Guided Search

2017English

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction

2017English

Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Comments On: Dynamic Priority Allocation via Restless Bandit Marginal Productivity Indices

TOP
Information SystemsProbabilityCombinatoricsSimulationManagement ScienceManagementStatisticsDiscrete MathematicsModelingOperations Research
2007English

When Abstraction Fails

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

How Abstraction Works

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy