The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephen L. Bloom: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes
    Iteration 2-Theories: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:30-44 [Conf]
  2. Stephen L. Bloom, David B. Patterson
    Easy Solutions are Hard To Find. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:135-146 [Conf]
  3. Stephen L. Bloom
    The Equational Logic of Iterative Processes. [Citation Graph (0, 0)][DBLP]
    FCT, 1989, pp:47-57 [Conf]
  4. Stephen L. Bloom, Zoltán Ésik
    Axioms for Regular Words: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:50-61 [Conf]
  5. Stephen L. Bloom, Zoltán Ésik
    Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract. [Citation Graph (0, 0)][DBLP]
    LATIN, 2000, pp:367-376 [Conf]
  6. Stephen L. Bloom, Zoltán Ésik
    Free Shuffle Algebras in Language Varieties (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LATIN, 1995, pp:99-111 [Conf]
  7. Stephen L. Bloom, Zoltán Ésik
    Solving Polynomial Fixed Point Equations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:52-67 [Conf]
  8. Stephen L. Bloom, Zoltán Ésik
    Program Correctness and Matricial Iteration Theories. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:457-476 [Conf]
  9. Stephen L. Bloom, Zoltán Ésik
    Some Quasi-Varieties of Iteration Theories. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:378-409 [Conf]
  10. Stephen L. Bloom, Zoltán Ésik
    Iteration Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:264-274 [Conf]
  11. Stephen L. Bloom, Zoltán Ésik
    Nonfinite Axiomatizability of Shuffle Inequalities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:318-333 [Conf]
  12. Stephen L. Bloom, Klaus Sutner
    Shuffle Equations, Parallel Transition Systems and Equational Petri Nets. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:134-148 [Conf]
  13. Stephen L. Bloom
    The alternation number and a dot hierarchy of regular sets. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1986, v:7, n:4, pp:355-358 [Journal]
  14. Stephen L. Bloom, Ralph Tindell
    A note on zero-congruences. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1987, v:8, n:, pp:1-4 [Journal]
  15. Stephen L. Bloom
    Frontiers of one-letter languages. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1985, v:7, n:1, pp:1-18 [Journal]
  16. Stephen L. Bloom, Zoltán Ésik
    Some varieties of iteration theories. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1984, v:24, n:, pp:53-65 [Journal]
  17. Stephen L. Bloom, Zoltán Ésik
    Two Axiomatizations of a Star Semiring Quasi-Variety. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:59, n:, pp:- [Journal]
  18. Stephen L. Bloom, Zoltán Ésik
    Cayley iff Stone. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:43, n:, pp:159-161 [Journal]
  19. Stephen L. Bloom, Zoltán Ésik
    Unique, guarded fixed points in an additive setting: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  20. Stephen L. Bloom, Zoltán Ésik
    Deciding whether the frontier of a regular tree is scattered. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:55, n:1, pp:1-21 [Journal]
  21. Stephen L. Bloom, Zoltán Ésik
    The equational theory of regular words. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:197, n:1-2, pp:55-89 [Journal]
  22. Stephen L. Bloom, Zoltán Ésik
    Axiomatizing Shuffle and Concatenation in Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:139, n:1, pp:62-91 [Journal]
  23. Stephen L. Bloom, Zoltán Ésik, Dirk Taubner
    Iteration Theories of Synchronization Trees [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:1, pp:1-55 [Journal]
  24. Stephen L. Bloom, Zoltán Ésik
    Erratum: Iteration Algebras. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1993, v:4, n:1, pp:99- [Journal]
  25. Stephen L. Bloom, Zoltán Ésik
    Some Equational Laws of Initiality in 2CCC's. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:2, pp:95-118 [Journal]
  26. Stephen L. Bloom, Zoltán Ésik
    Iteration Algebras. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:245-302 [Journal]
  27. Stephen L. Bloom, Zoltán Ésik
    Floyd-Hoare Logic in Iteration Theories. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1991, v:38, n:4, pp:887-934 [Journal]
  28. Stephen L. Bloom, Zoltán Ésik
    An Extension Theorem with an Application to Formal Tree Series. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2003, v:8, n:2, pp:145-185 [Journal]
  29. Stephen L. Bloom
    Varieties of Ordered Algebras. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1976, v:13, n:2, pp:200-212 [Journal]
  30. Stephen L. Bloom
    All Solutions of a System of Recursion Equations in Infinite Trees and Other Contraction Theories. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:225-255 [Journal]
  31. Stephen L. Bloom, Calvin C. Elgot
    The Existence and Construction of Free Iterative Theories. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1976, v:12, n:3, pp:305-318 [Journal]
  32. Stephen L. Bloom, Zoltán Ésik
    Axiomatizing Schemes and Their Behaviors. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1985, v:31, n:3, pp:375-393 [Journal]
  33. Stephen L. Bloom, Zoltán Ésik
    Matrix and Matricial Iteration Theories, Part I. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1993, v:46, n:3, pp:381-408 [Journal]
  34. Stephen L. Bloom, Zoltán Ésik
    Matrix and Matricial Iteration Theories, Part II. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1993, v:46, n:3, pp:409-439 [Journal]
  35. Stephen L. Bloom, Susanna Ginali, Joseph D. Rutledge
    Scalar and Vector Iteration. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1977, v:14, n:2, pp:251-256 [Journal]
  36. Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Recursion and Iteration in Continuous Theories: The "M-Construction". [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:148-164 [Journal]
  37. Calvin C. Elgot, Stephen L. Bloom, Ralph Tindell
    On the Algebraic Atructure of Rooted Trees. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1978, v:16, n:3, pp:362-399 [Journal]
  38. Stephen L. Bloom, Zoltán Ésik
    Equational Axioms for Regular Sets. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:1-24 [Journal]
  39. Stephen L. Bloom, Zoltán Ésik
    Varieties Generated by Languages with Poset Operations. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:6, pp:701-713 [Journal]
  40. Stephen L. Bloom, Zoltán Ésik
    Varieties of Iteration Theories. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1988, v:17, n:5, pp:939-966 [Journal]
  41. Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
    Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1980, v:9, n:1, pp:25-45 [Journal]
  42. Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
    Vector Iteration in Pointed Iterative Theories. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1980, v:9, n:3, pp:525-540 [Journal]
  43. Stephen L. Bloom, Ralph Tindell
    Compatible Orderings on the Metric Theory of Trees. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1980, v:9, n:4, pp:683-691 [Journal]
  44. Stephen L. Bloom, Ralph Tindell
    Varieties of ``if-then-else''. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1983, v:12, n:4, pp:677-707 [Journal]
  45. Stephen L. Bloom
    A Note on Guarded Theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:1, pp:73-83 [Journal]
  46. Stephen L. Bloom, Christian Choffrut
    Long words: the theory of concatenation and omega-power. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:259, n:1-2, pp:533-548 [Journal]
  47. Stephen L. Bloom, Zoltán Ésik
    Equational Logic of Circular Data Type Specification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:63, n:3, pp:303-331 [Journal]
  48. Stephen L. Bloom, Zoltán Ésik
    Fixed-Point Operations on ccc's. Part I. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:1, pp:1-38 [Journal]
  49. Stephen L. Bloom, Zoltán Ésik
    Free Shuffle Algebras in Language Varieties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:163, n:1&2, pp:55-98 [Journal]
  50. Stephen L. Bloom, Zoltán Ésik
    The Equational Logic of Fixed Points (Tutorial). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:179, n:1-2, pp:1-60 [Journal]
  51. Stephen L. Bloom, Ralph Tindell
    Algebraic and Graph Theoretic Characterizations of Structured Flowchart Schemes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:9, n:, pp:265-286 [Journal]
  52. Stephen L. Bloom, Douglas R. Troeger
    A Logical Characterization of Observation Equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:35, n:, pp:43-53 [Journal]
  53. Stephen L. Bloom, Zoltán Ésik
    Regular and Algebraic Words and Ordinals. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:1-15 [Conf]

  54. Completing Categorical Algebras. [Citation Graph (, )][DBLP]


  55. Cycle-Free Finite Automata in Partial Iterative Semirings. [Citation Graph (, )][DBLP]


  56. Iteration 2-theories. [Citation Graph (, )][DBLP]


  57. Axiomatizing rational power series [Citation Graph (, )][DBLP]


  58. Partial Conway and iteration semirings [Citation Graph (, )][DBLP]


  59. Algebraic Ordinals [Citation Graph (, )][DBLP]


  60. Algebraic Linear Orderings [Citation Graph (, )][DBLP]


  61. A Note on Ordinal DFAs [Citation Graph (, )][DBLP]


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