Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Dunne
Angelic Nondeterminism in the Unifying Theories of Programming
Formal Aspects of Computing
Theoretical Computer Science
Software
Specification and Refinement in General Correctness
Related publications
A Tutorial Introduction to Designs in Unifying Theories of Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Unifying Themes in Topological Field Theories
Surveys in Differential Geometry
Unifying the Theories of Inclusive Fitness and Reciprocal Altruism
American Naturalist
Evolution
Ecology
Systematics
Behavior
Continuity in Semantic Theories of Programming
History and Philosophy of Logic
Philosophy of Science
History
Unifying Condition Numbers for Linear Programming
Mathematics of Operations Research
Management Science
Computer Science Applications
Operations Research
Mathematics
On the Succinctness of Nondeterminism
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Why Empathy Has a Beneficial Impact on Others in Medicine: Unifying Theories
Frontiers in Behavioral Neuroscience
Cognitive Neuroscience
Physiological Psychology
Behavioral Neuroscience
Neuropsychology
Letter to the Editor—Toward a Unifying Theory for Integer Linear Programming
Operations Research
Management Science
Computer Science Applications
Operations Research
Semidefinite Programming Formulation of Linear-Scaling Electronic Structure Theories
Physical Review A
