Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Huth
Static Analysis for Proactive Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Designing Usable Policy Languages for Declarative Trust Aggregation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Noise-Assisted Microwave Up-Conversion by Vortices in Thin-Film Superconductors With a Dc-Biased Washboard Pinning Potential
Journal of Superconductivity and Novel Magnetism
Optical
Electronic
Condensed Matter Physics
Magnetic Materials
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Towards an Access-Control Framework for Countering Insider Threats
Advances in Information Security
New Developments in Cyber Physical Systems, the Internet of Things and the Digital Economy &Ndash; Discussion on Future Developments in the Industrial Internet of Things and Industry 4.0
Special Section on Advances in Reachability Analysis and Decision Procedures: Contributions to Abstraction-Based System Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis
