The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael W. Mislove: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dusko Pavlovic, Michael W. Mislove, James Worrell
    Testing Semantics: Connecting Processes and Process Logics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:308-322 [Conf]
  2. Michael W. Mislove
    Nondeterminism and Probabilistic Choice: Obeying the Laws. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:350-364 [Conf]
  3. Paul Gastin, Michael W. Mislove
    A Truly Concurrent Semantics for a Simple Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:515-529 [Conf]
  4. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
    An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:200-215 [Conf]
  5. Michael W. Mislove
    Generalizing Domain Theory. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:1-19 [Conf]
  6. Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
    Duality for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:393-407 [Conf]
  7. Keye Martin, Michael W. Mislove, James Worrell
    Measuring the Probabilistic Powerdomain. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:463-475 [Conf]
  8. Michael W. Mislove
    Discrete Random Variables over Domains. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1006-1017 [Conf]
  9. Michael W. Mislove
    Models Supporting Nondeterminism and Probabilistic Choice. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:993-1000 [Conf]
  10. Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
    Non-Well-Founded Sets Obtained from Ideal Fixed Points [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:263-272 [Conf]
  11. Michael W. Mislove
    Detecting Local Finite Breadth in Continuous Lattices and Semilattices. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1985, pp:205-214 [Conf]
  12. Michael W. Mislove
    On the Smyth Power Domain. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:161-172 [Conf]
  13. Michael W. Mislove, Frank J. Oles
    A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:77-101 [Conf]
  14. Michael W. Mislove
    Trace Theory and State Explosion. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:288-294 [Conf]
  15. Michael W. Mislove, Frank J. Oles
    Full Abstraction and Unnested Recursion. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:384-397 [Conf]
  16. Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  17. Stephen D. Brookes, Michael W. Mislove
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  18. Steve Brookes, Michael W. Mislove
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:1-2 [Journal]
  19. Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
    Foreword and Dedication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  20. Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
    Foreword. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  21. Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  22. Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:1-3 [Journal]
  23. Michael W. Mislove
    Editorial. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:1-0 [Journal]
  24. Michael W. Mislove
    Denotational models for unbounded nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  25. Michael W. Mislove
    Using duality to solve domain equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  26. Michael W. Mislove
    Local Dcpos, Local Cpos and Local Completions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  27. Michael W. Mislove, Joël Ouaknine, James Worrell
    Axioms for Probability and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:7-28 [Journal]
  28. Michael W. Mislove
    On Combining Probability and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:261-265 [Journal]
  29. Michael W. Mislove, Dusko Pavlovic, James Worrell
    Labelled Markov Processes as Generalised Stochastic Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:459-478 [Journal]
  30. Karl Heinz Hofmann, Michael W. Mislove
    All Compact Hausdorff Lambda Models are Degenerate. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:22, n:1/2, pp:23-52 [Journal]
  31. Michael W. Mislove, Frank J. Oles
    Adjunctions Between Categories of Domains. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:22, n:1/2, pp:93-116 [Journal]
  32. Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
    Non-Well-Founded Sets Modeled as Ideal Fixed Points [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:93, n:1, pp:16-54 [Journal]
  33. Paul Gastin, Michael W. Mislove
    A simple process algebra based on atomic actions with resources. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:1, pp:1-55 [Journal]
  34. Sergei N. Artëmov, Michael W. Mislove
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:357, n:1-3, pp:1-3 [Journal]
  35. Giorgio Ausiello, Donald Sannella, Michael W. Mislove
    25 Years. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:250, n:1-2, pp:- [Journal]
  36. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
    Domain theory, testing and simulation for labelled Markov processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:333, n:1-2, pp:171-197 [Journal]
  37. Stephen D. Brookes, Michael W. Mislove
    Foreword - MFPS 1996. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:1-2 [Journal]
  38. Stephen D. Brookes, Michael W. Mislove
    Dedication. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:23- [Journal]
  39. Paul Gastin, Michael W. Mislove
    A truly concurrent semantics for a process algebra using resource pomsets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:281, n:1-2, pp:369-421 [Journal]
  40. Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
    Modern Algebra - Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:249, n:1, pp:1- [Journal]
  41. Keye Martin, Michael W. Mislove, James Worrell
    Measuring the probabilistic powerdomain. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:312, n:1, pp:99-119 [Journal]
  42. Michael W. Mislove
    Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:1-2 [Journal]
  43. Michael W. Mislove, Frank J. Oles
    Full Abstraction and Recursion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:207-256 [Journal]
  44. Michael W. Mislove, A. W. Roscoe, Steve Schneider
    Fixed Points Without Completeness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:2, pp:273-314 [Journal]
  45. Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley
    Ordered sets with no infinite antichains. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1987, v:63, n:2-3, pp:225-230 [Journal]
  46. Michael W. Mislove
    Editor's Note. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:1- [Journal]
  47. Michael W. Mislove
    Discrete random variables over domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:380, n:1-2, pp:181-198 [Journal]

  48. Preface. [Citation Graph (, )][DBLP]


  49. Preface. [Citation Graph (, )][DBLP]


Search in 0.249secs, Finished in 0.251secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002