Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hans-Dieter A. Hiep
Axiomatic Characterization of Trace Reachability for Concurrent Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Axiomatic Characterization of Game-Theoretic Centrality
Journal of Artificial Intelligence Research
Artificial Intelligence
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Methodology for Implementing Highly Concurrent Data Objects
Operating Systems Review (ACM)
Hardware
Computer Networks
Information Systems
Architecture
Communications
A Dynamic Class Construct for Asynchronous Concurrent Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Shannon Entropy: Axiomatic Characterization and Application
International Journal of Mathematics and Mathematical Sciences
Mathematics
Axiomatic Characterization of Transit Functions of Weak Hierarchies
The Art of Discrete and Applied Mathematics
An Axiomatic Characterization of the Leximin Choice Rule
Theoretical Economics Letters
