Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hans-J. Boehm
Extended Sequential Reasoning for Data-Race-Free Programs
Threads Cannot Be Implemented as a Library
Related publications
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
Nonmonotonic Ontological and Rule-Based Reasoning With Extended Conceptual Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Multi-Stage Programs
Journal of Functional Programming
Software
Reasoning Over Extended ER Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Sequential Extended Thoracoscopic Sympathicotomy for Palmo-Axillo-Plantar Hyperhidrosis
Annals of Thoracic Surgery
Respiratory Medicine
Pulmonary
Cardiovascular Medicine
Surgery
Cardiology
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Race Directed Scheduling of Concurrent Programs
ACM SIGPLAN Notices
Computer Science
Temporally Annotated Extended Logic Programs
International Journal of Advanced Research in Artificial Intelligence
