The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymond E. Miller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder
    Optimal 2, 3-Trees. [Citation Graph (5, 0)][DBLP]
    SIAM J. Comput., 1979, v:8, n:1, pp:42-59 [Journal]
  2. Richard M. Karp, Raymond E. Miller, Arnold L. Rosenberg
    Rapid Identification of Repeated Patterns in Strings, Trees and Arrays [Citation Graph (2, 0)][DBLP]
    STOC, 1972, pp:125-136 [Conf]
  3. Raymond E. Miller, Chee-Keng Yap
    On Formulating Simultaneity for Studying Parallelism and Synchronization. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1980, v:20, n:2, pp:203-218 [Journal]
  4. Raymond E. Miller, Khaled A. Arisha
    Fault Identification in Networks by Passive Testing. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2001, pp:277-284 [Conf]
  5. Raymond E. Miller, John Cocke
    Configurable computers: a new class of general purpose machines. [Citation Graph (0, 0)][DBLP]
    International Sympoisum on Theoretical Programming, 1972, pp:285-298 [Conf]
  6. J. C. Beatty, Raymond E. Miller
    Some theorems for incompletely specified sequential machines with applications to state minimization [Citation Graph (0, 0)][DBLP]
    FOCS, 1962, pp:123-136 [Conf]
  7. Wm. A. Brinsfield, Raymond E. Miller
    On the Composition of Parallel Program Schemata [Citation Graph (0, 0)][DBLP]
    FOCS, 1971, pp:20-23 [Conf]
  8. Richard M. Karp, Raymond E. Miller
    Parallel Program Schemata: A Mathematical Model for Parallel Computation [Citation Graph (0, 0)][DBLP]
    FOCS, 1967, pp:55-61 [Conf]
  9. Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
    Synchronization and Computing Capabilities of Linear Asynchronous Structures [Citation Graph (0, 0)][DBLP]
    FOCS, 1975, pp:19-28 [Conf]
  10. Raymond E. Miller
    An introduction to speed independent circuit theory [Citation Graph (0, 0)][DBLP]
    FOCS, 1961, pp:87-93 [Conf]
  11. Raymond E. Miller
    A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits [Citation Graph (0, 0)][DBLP]
    FOCS, 1963, pp:149-152 [Conf]
  12. Raymond E. Miller, Khaled A. Arisha
    Fault Coverage in Networks by Passive Testing. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing (1), 2001, pp:413-419 [Conf]
  13. Hong Liu, Raymond E. Miller
    Reachability Problems for Cyclic Protocols. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1995, pp:32- [Conf]
  14. Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural
    Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:605-612 [Conf]
  15. Jun-Cheol Park, Raymond E. Miller
    Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1997, pp:0-0 [Conf]
  16. David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin
    A Formal Approach for Passive Testing of Protocol Data Portions. [Citation Graph (0, 0)][DBLP]
    ICNP, 2002, pp:122-131 [Conf]
  17. Jun-Cheol Park, Raymond E. Miller
    A Compositional Approach for Designing Multifunction Time-Dependent Protocols. [Citation Graph (0, 0)][DBLP]
    ICNP, 1997, pp:105-112 [Conf]
  18. Hong Liu, Raymond E. Miller
    Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:6-13 [Conf]
  19. Hong Liu, Raymond E. Miller
    Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ICNP, 1996, pp:76-83 [Conf]
  20. Moustafa A. Youssef, Arunchandar Vasan, Raymond E. Miller
    Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. [Citation Graph (0, 0)][DBLP]
    ICNP, 2002, pp:132-143 [Conf]
  21. Raymond E. Miller, Sanjoy Paul
    Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1991, pp:970-979 [Conf]
  22. Sanjoy Paul, Raymond E. Miller
    Locating Faults in a Systematic Manner in a Large Heterogeneous Network. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1995, pp:522-529 [Conf]
  23. Raymond E. Miller, Chee-Keng Yap
    On the formal specification and analysis for loosely connected processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:33-66 [Conf]
  24. Hong Liu, Raymond E. Miller
    Generalized fair reachability analysis for cyclic protocols: part 1. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:271-286 [Conf]
  25. Raymond E. Miller
    Protocol verification: the first ten years, the next ten years; some personal observations. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:199-225 [Conf]
  26. Raymond E. Miller, Sanjoy Paul
    Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:13-27 [Conf]
  27. Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao
    Coping with Nondeterminism in Network Protocol Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:129-145 [Conf]
  28. Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
    Block Acknowledgement: Redesigning the Window Protocol. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1989, pp:128-135 [Conf]
  29. Raymond E. Miller, Chee-Keng Yap
    On Formulating Simultaneity for Studying Parallelism and Synchronization [Citation Graph (0, 0)][DBLP]
    STOC, 1978, pp:105-113 [Conf]
  30. Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
    Interactive Authoring of Multimedia Documents. [Citation Graph (0, 0)][DBLP]
    VL, 1996, pp:276-283 [Conf]
  31. G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller
    Solving Systems of Difference Constraints Incrementally. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 1999, v:23, n:3, pp:261-275 [Journal]
  32. Raymond E. Miller
    Graduate Student Experiences at Illinois. [Citation Graph (0, 0)][DBLP]
    IEEE Annals of the History of Computing, 2006, v:28, n:2, pp:56-62 [Journal]
  33. Taylor L. Booth, Raymond E. Miller
    Computer Science Program Acceditation: The First-Year Activities of the Computer Science Accreditation Board. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:5, pp:376-388 [Journal]
  34. David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young
    Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1986, v:29, n:9, pp:870-878 [Journal]
  35. Tat Y. Choi, Raymond E. Miller
    Protocol Analysis and Synthesis by Structured Partitions. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1986, v:11, n:, pp:367-381 [Journal]
  36. Sneha Kumar Kasera, Raymond E. Miller, Markus Hofmann
    A profitable multicast business model. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2004, v:27, n:13, pp:1278-128 [Journal]
  37. Hong Liu, Raymond E. Miller
    An approach to cyclic protocol validation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1175-1187 [Journal]
  38. David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young
    Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1986, v:19, n:9, pp:70-76 [Journal]
  39. James E. Burns, Mohamed G. Gouda, Raymond E. Miller
    Stabilization and Pseudo-Stabilization. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:7, n:1, pp:35-42 [Journal]
  40. Raymond E. Miller
    The Construction of Self-Synchronizing Finite State Protocols. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1987, v:2, n:2, pp:104-112 [Journal]
  41. Richard J. Lipton, Raymond E. Miller
    A Batching Method for Coloring Planar Graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:4, pp:185-188 [Journal]
  42. Richard A. DeMillo, Raymond E. Miller
    Implicit Computation of Synchronization Primitives. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:1, pp:35-38 [Journal]
  43. L. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd
    Index Register Allocation. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1966, v:13, n:1, pp:43-61 [Journal]
  44. Richard M. Karp, Raymond E. Miller, Shmuel Winograd
    The Organization of Computations for Uniform Recurrence Equations. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1967, v:14, n:3, pp:563-590 [Journal]
  45. Raymond E. Miller
    JACM 1973-1975. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2003, v:50, n:1, pp:15- [Journal]
  46. Richard M. Karp, Raymond E. Miller
    Parallel Program Schemata. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1969, v:3, n:2, pp:147-195 [Journal]
  47. Takumi Kasai, Raymond E. Miller
    Homomorphisms between Models of Parallel Computation. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:25, n:3, pp:285-331 [Journal]
  48. Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
    Synchronization and Computing Capabilities of Linear Asynchronous Structures. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1977, v:14, n:1, pp:49-72 [Journal]
  49. David E. Muller, Raymond E. Miller
    A Generalization of the Theory of Incompletely Specified Machines. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1972, v:6, n:5, pp:419-447 [Journal]
  50. Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
    Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. [Citation Graph (0, 0)][DBLP]
    Multimedia Syst., 1999, v:7, n:5, pp:424-437 [Journal]
  51. Raymond E. Miller
    Some Undecidability Results for Parallel Program Schemata. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1972, v:1, n:1, pp:119-130 [Journal]
  52. Murali Rajagopal, Raymond E. Miller
    Synthesizing a Protocol Converter from Executable Protocol Traces. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:487-499 [Journal]
  53. Hong Liu, Raymond E. Miller
    Generalized fair reachability analysis for cyclic protocols. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1996, v:4, n:2, pp:192-204 [Journal]
  54. Raymond E. Miller, Sanjoy Paul
    On the generation of minimal-length conformance tests for communication protocols. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1993, v:1, n:1, pp:116-129 [Journal]
  55. Raymond E. Miller, Sanjoy Paul
    Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1994, v:2, n:5, pp:457-470 [Journal]

Search in 0.005secs, Finished in 0.008secs
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