Publications
143 results found
Huth M, 1999, The interval domain as a semantic foundation for reasoning about uncertainty and vagueness, International Symposium of Domain Theory 1999 at the Normal University of Shanghai, China
Pasareanu C, Dwyer M, Huth M, 1999, Assume-Guarantee Model Checking of Software: A Comparative Case Study, 6th International SPIN Workshop on Practical Aspects of Model Checking, Publisher: Springer Verlag, Pages: 168-183
Huth M, Ryan M, Kwiatkowska M, et al., 1999, Preface (Probmiv'98), Electronic Notes in Theoretical Computer Science, Publisher: Elsevier, Pages: 1-2
Huth M, 1999, On the Approximation of Denotational Mu-Semantics, Applied Categorical Structures, Vol: 7, Pages: 85-111, ISSN: 0927-2852
Huth M, 1999, A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems, Chennai, 19th International Conference on the Foundations of Software Technology & Theoretical Computer Science, Publisher: Springer Verlag, Pages: 369-380
Ghazi T, Huth M, 1998, An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems, An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems, Publisher: Department of Computing and Information Sciences, Kansas State University
Heckmann R, Huth M, 1998, Quantitative Semantics, Topology, and Possibility Measures, Topology and Its Applications, Vol: 89, Pages: 151-178, ISSN: 0166-8641
Huth M, Kwiatkowska M, 1998, Comparing CTL and PCTL on Labeled Markov Chains, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods 1998, June 2-6, Shelter Island, New York, Publisher: Chapman & Hall, Pages: 244-262
Huth M, 1998, The Interval Domain: A Matchmaker for aCTL and aPCTL, Electronic Notes in Theoretical Computer Science, Vol: 14, Pages: 134-148
Huth MR, Heckmann R, 1997, A duality theory for quantitative semantics, Computer Science Logic (CSL 1997), Publisher: Springer, Pages: 255-274
Huth M, Kwiatkowska M, 1997, Quantitative Analysis and Model Checking, 12th International IEEE Symposium on Logic in Computer Science, Publisher: IEEE Computer Society Press, Pages: 111-122
Huth M, 1997, Linear Domains and Linear Maps, 9th International Conference on Mathematical Foundations of Programming Semantics, Publisher: Springer Verlag, Pages: 438-453
Huth M, 1997, A Powerdomain of Possibility Measures, Electronic Notes in Theoretical Computer Science, Vol: 6, Pages: 191-202
Huth M, Jung A, Keimel K, 1997, Foreword to the special issue of the journal Mathematical Structures in Computer Science (1997), Mathematical Structures in Computer Science, Publisher: Cambridge University Press, Pages: 399-400
Huth M, Kwiatkowska M, 1996, Finite but Unbounded Delay in Synchronous CCS, Third Imperial College Workshop, Publisher: Imperial College Press, Pages: 312-323
Huth M, 1995, Interaction Orders as Games, Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Publisher: Imperial College Press, Pages: 21-40
Huth M, 1995, A Maximal Monoidal Closed Category of Distributive Algebraic Domains, Information and Computation, Vol: 116, Pages: 10-25, ISSN: 0890-5401
Huth M, 1995, Symbolic and Sub-symbolic Knowledge Organization in Computational Theories of Mind, Knowledge Organization, Vol: 22, Pages: 10-17, ISSN: 0943-7444
Huth M, 1995, Zero Dimensional and Connected Domains, Semigroup Forum, Vol: 51, Pages: 63-71, ISSN: 0037-1912
Huth M, Jung A, Keimel K, 1994, Linear Types, Approximation, and Topology, Ninth Annual IEEE Symposium on Logic in Computer Science, Publisher: IEEE Computer Society Press, Pages: 110-114
Fiech A, Huth M, 1994, Algebraic Domains of Natural Transformations, Theoretical Computer Science, Vol: 136, Pages: 57-78, ISSN: 0304-3975
Huth M, 1993, On the equivalence of state-transition systems, First Imperial College Department of Computing Workshop on Theory and Formal Methods, Publisher: Springer Verlag, Pages: 171-182
Huth M, 1991, Cartesian closed categories of domains and the space Proj(D), Seventh International Conference on Mathematical Foundations of Programming Semantics, Publisher: Springer Verlag, Pages: 259-271
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.