Searching for authors named "Michael Huth" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
The Interval Domain as a Semantic Foundation for Reasoning About Uncertainty Or Vagueness
- …The interval domain as a semantic foundation for reasoning about uncertainty or vagueness Michael…
- Add To MetaCart
-
A Constraint-Based Validity Solver for Intuitionistic Propositional Logic
- …A constraint-based validity solver for intuitionistic propositional logic (AML submission) Michael…
- Add To MetaCart
-
Logic in Computer Science: tool-based modeling and reasoning about systems
- …1 Logic in Computer Science: tool-based modeling and reasoning about systems Michael Huth…
- Add To MetaCart
-
Mathematics for the exploration of requirements
- …Mathematics for the exploration of requirements Michael Huth Department of Computing Imperial…
- Cited by 1 (0 self) – Add To MetaCart
-
Possibilistic and Probabilistic Abstraction-Based Model Checking
- …Possibilistic and probabilistic abstraction-based model checking Michael Huth Department…
- Cited by 4 (2 self) – Add To MetaCart
-
On the Approximation of Denotational Mu-Semantics
- …ON THE APPROXIMATION OF DENOTATIONAL MU-SEMANTICS MICHAEL HUTH School of Computer Science…
- Cited by 3 (3 self) – Add To MetaCart
-
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems
- …, and Interval Transition Systems Michael Huth Department of Computing and Information Sciences, Kansas State…
- Cited by 4 (3 self) – Add To MetaCart
-
Domains of View: A Foundation for Specification and Analysis
- …Domains of view: a foundation for specication and analysis Michael Huth Department of Computing…
- Cited by 1 (1 self) – Add To MetaCart
-
A Powerdomain of Possibility Measures
- …MFPS X111 (1997) ?? pages A Powerdomain of Possibility Measures Michael Huth Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Lifting assertion and consistency checkers from single to multiple viewpoints
- …Lifting assertion and consistency checkers from single to multiple viewpoints Michael Huth…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
