Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Haack
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Provably Correct Inline Monitoring for Multithreaded Java-Like Programs
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Logic Programs for Consistency-Based Diagnosis.
Cooperative Empirical Failure Avoidance for Multithreaded Programs
ACM SIGPLAN Notices
Computer Science
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Visualization System for Permission Check in Java Using Static Analysis
The KIPS Transactions:PartA
Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors
NSeq: A Multithreaded Java Application for Finding Positioned Nucleosomes From Sequencing Data
Frontiers in Genetics
Genetics
Molecular Medicine
Online Power-Performance Adaptation of Multithreaded Programs Using Hardware Event-Based Prediction
