Search

Your search keyword '"Huth, Michael"' showing total 170 results

Search Constraints

Start Over You searched for: Author "Huth, Michael" Remove constraint Author: "Huth, Michael" Publication Type eBooks Remove constraint Publication Type: eBooks
170 results on '"Huth, Michael"'

Search Results

3. Complex-Shaped 3D Nanoarchitectures for Magnetism and Superconductivity

5. Inductive Proofs

9. Introduction

13. Static Analysis for Proactive Security

14. The Merits of Compositional Abstraction: A Case Study in Propositional Logic

21. Einleitung

22. Secure Multi-party Computation: Information Flow of Outputs and Game Theory

23. Centrally Governed Blockchains: Optimizing Security, Cost, and Availability

24. Static Analysis of Parity Games: Alternating Reachability Under Parity

25. Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks

26. PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence

27. On Designing Usable Policy Languages for Declarative Trust Aggregation

35. Towards Usable Generation and Enforcement of Trust Evidence from Programmers’ Intent

36. Fatal Attractors in Parity Games

38. Concurrent Small Progress Measures

39. A Framework for the Modular Specification and Orchestration of Authorization Policies

42. An Authorization Framework Resilient to Policy Evaluation Failures

43. Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL

44. Complexity of Decision Problems for Mixed and Modal Specifications

45. Model Checking for Action Abstraction

46. Hector: Software Model Checking with Cooperating Analysis Plugins : (Tool Paper)

47. More Precise Partition Abstractions

48. Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

Catalog

Books, media, physical & digital resources