2. On a theorem of Baer, Schreier and Ulam for permutations (with R. Göbel). J. Algebra 58 (1979), 282 - 290.
    
3. Über k-homogene unendliche Permutationsgruppen. Archiv Math. 34 (1980), 494 - 495.
    
4. Products of conjugate permutations. ABSTRACT
(with R. Göbel), Pacific J. Math. 94 (1981), 47 - 60.
 
5. Wechselwirkung der algebraischen Struktur transitiver Automorphismengruppen mit der Geometrie ihres Operationsbereiches. Dissertation, Universität GHS Essen, 1982.
    
6. Products of conjugacy classes of the infinite symmetric group. ABSTRACT
Discrete Math. 47 (1983), 35 - 48.
 
7. On an extendability problem for measures.
manuscripta math. 48 (1984), 251 - 254.
 
8. Cubes of conjugacy classes covering the infinite symmetric group. ABSTRACT
Trans. Amer. Math. Soc. 288 (1985), 381 - 393.
 
9. Classes of universal words for the infinite symmetric group,
Algebra Universalis 20 (1985), 205 - 216.
 
10.  Normal subgroups of doubly transitive automorphism groups of chains. ABSTRACT
(with R.N. Ball), Trans. Amer. Math. Soc. 290 (1985), 647 - 664.
 
11. A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets. ABSTRACT
    
(with S. Shelah), Israel J. Math. 51 (1985), 223 - 261.
 
12. The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets. ABSTRACT
    
Order 2 (1985), 291 - 319.
 
13. On the universality of words for the alternating groups. ABSTRACT
Proc. Amer. Math. Soc. 96 (1986), 18 - 22.
 
14. Complete embeddings of linear orderings and embeddings of lattice-ordered groups. ABSTRACT
Israel J. Math. 56 (1986), 315 - 334.
 
15. Partially ordered sets with transitive automorphism groups. ABSTRACT
Proc. London Math. Soc. 54 (1987), 514 - 543.
 
16. On the universality of systems of words in permutation groups. ABSTRACT
(with S. Shelah), Pacific J. Math. 127 (1987), 321 - 328.
 
17. Completeness properties of certain normal subgroup lattices. ABSTRACT
European J. Combinatorics 8 (1987), 129 - 137
 
18. Squares of conjugacy classes in the infinite symmetric groups. ABSTRACT
Trans. Amer. Math. Soc. 303 (1987), 503 - 515.
 
19. Symmetrieverhalten von geordneten Strukturen und Blackwellschen Meßräumen,
Schrift zur Habilitation, Universität GHS Essen, 1988.
 
20. Normal subgroups and elementary theories of lattice-ordered groups. ABSTRACT
Order 5 (1988), 261 - 273.
 
21. Super-rigid families of strongly Blackwell spaces. ABSTRACT
Proc. Amer. Math. Soc. 103 (1988), 803 - 808.
 
22. The existence of rigid measurable spaces. ABSTRACT
Topology and its Applications 31 (1989), 187 - 195.
 
23. K-homogeneous relations and tournaments,
Quarterly J. Math. Oxford (2) 40 (1989), 1 - 11.
 
24. Automorphism groups of infinite semilinear orders (I). ABSTRACT
(with W.C. Holland, D. Macpherson),
Proc. London Math. Soc. 58 (1989), 454 - 478.
 
25. Automorphism groups of infinite semilinear orders (II). ABSTRACT
(with W.C. Holland, D. Macpherson),
Proc. London Math. Soc. 58 (1989), 479 - 494.
 
26. Embeddings into simple lattice-ordered groups with different first order theories. ABSTRACT
(with M. Giraudet), Forum Mathematicum 1 (1989), 315 - 321.
 
27. The root system of prime subgroups of free lattice-ordered groups (without G.C.H.). ABSTRACT
(with S.H. McCleary), Order 6 (1989), 305 - 309.
 
28. On k-homogeneous posets and graphs. ABSTRACT
(with D. Macpherson), J. Combinatorial Theory Ser. A 56 (1991), 1 - 15.
 
29. Automorphism groups of homogeneous semilinear orders:
Normal subgroups and commutators (with W.C. Holland, D. Macpherson),
Canadian J. Math. 43 (1991), 721 - 737.
 
30. Commutators in groups of order-preserving permutations.
(with R. Shortt), Glasgow Math. J. 33 (1991), 55 - 59.
 
31. Subgroups of small index in ordered permutation groups.
(with J.K. Truss), Quart. J. Math. Oxford (2) 42 (1991), 31 - 47.
 
32. A categorical theorem of universal objects and its applications in
abelian group theory and computer science (with R. Göbel),
in: "Algebra and Logic" Proc., conf. in honor of A.I. Maltsev, Novosibirsk 1989,
Contemp. Math. 131 (1992), 49 - 74.
 
33. Representations of free lattice-ordered groups. ABSTRACT
Order 10 (1993), 375 - 381.
 
34. Set-homogeneous graphs. ABSTRACT
(with M. Giraudet, D. Macpherson, N. Sauer), J. Combinatorial Theory Ser. B, 62 (1994), 63 - 95.
 
35. Periodic ordered permutation groups and cyclic orderings
(with M. Giraudet, D. Macpherson), J. Combinatorial Theory Ser. B, 63 (1995), 310 - 321.
 
36. McLain groups over arbitrary rings and orderings (with R. Göbel),
Math. Proc. Camb. Philos. Soc. 117 (1995), 439 - 467.
 
37. The automorphism groups of generalized McLain groups (with R. Göbel),
in: "Ordered Groups and Infinite Permutation groups" (W.C. Holland, ed.),
Kluwer Academic Publishers, 1995, pp. 97 - 120.
 
38. The automorphism groups of Hahn-groups (with R. Göbel),
in: "Ordered Algebraic Structures" (W.C. Holland, J. Martinez, ed.),
Kluwer Academic Publishers, 1997, pp. 183 - 215.
 
39. Set-homogeneous graphs and embeddings of total orders. ABSTRACT
(with M. Giraudet, D. Macpherson),
Order 14 (1997), 9 - 20.
 
40. Simple automorphism groups of cycle-free partial orders. ABSTRACT
(with J.K. Truss, R. Warren), Forum Mathematicum 11 (1999), 279 - 294.
 
41. On homogeneous semilattices and their automorphism groups. ABSTRACT
(with D. Kuske, J.K. Truss), Order 16 (1999), 31 - 56.
 
42. The automorphism group of the universal distributive lattice. ABSTRACT
(with D. Macpherson), Algebra Universalis 43 (2000), 295 - 306.
 
43. Complementary closed rational clones are not always Krasner clones. ABSTRACT
(with D. Kuske, R. McKenzie, R. Pöschel), Algebra Universalis 45 (2001), 155 - 160.
 
44. Rigid chains admitting many embeddings. ABSTRACT
(with J.K. Truss), Proc. Amer. Math. Soc. 129 (2001), 1601 - 1608.
 
45. On the homeomorphism groups of Cantor's discontinuum and the spaces
of rational and of irrational numbers. ABSTRACT
(with R. Göbel), Bull. London Math. Soc. 34 (2002), 474 - 478.
 
46. All groups are outer automorphism groups of simple groups. ABSTRACT
(with M. Giraudet, R. Göbel), Journal London Math. Soc. 64 (2001), 565 - 575.
 
47. Outer automorphism groups of ordered permutation groups. ABSTRACT
(with S. Shelah), Forum Mathematicum 14 (2002), 605 - 621.
 
48. Uncountable homogeneous partial orders,
    (with D. Macpherson, A Mekler) Mathematical Logic Quarterly 48 (2002), 525 - 532.
     
49.  On random relational structures. ABSTRACT
(with D. Kuske), Journal of Combinatorial Theory - Series A, 102 (2003), 241 - 254. 
 
50. Generating automorphism groups of chains. ABSTRACT
(with W. Ch. Holland),  Forum Mathematicum 17 (2005), 699-710. 
 
51. Uncountable cofinalities of permutation groups. ABSTRACT (with R. Göbel), J. London Math. Soc. (2) 71 (2005), 335-344.  
     
52. On representing words in the automorphism group of the random graph. (with J. Truss), Journal of Group Theory 9 (2006) 815-836.
     
53. Normal Subgroups of B_uAut(Ω) ABSTRACT (with W.Ch. Holland), Applied Categorical Structures 15 (2007), 153-162.
     
54. Absolute graphs with prescribed endomorphism monoids ABSTRACT
(with R. Göbel, S. Pokutta), Semigroup Forum 76 (2008), 256-267.
Full version: pdf
 
55. Construction of some uncountable 2-arc-transitive bipartite graphs ABSTRACT (with R.Gray, J.K.Truss), Order, to appear.

 
56. On full groups of measure-preserving and ergodic transformations with uncountable cofinalities ABSTRACT (with C.Holland, G.Ulbrich), Bulletin London Math. Soc. 40 (2008), 463-472..
     

TOP

THEORETICAL COMPUTER SCIENCE

57. Event structures and domains. ABSTRACT
Theoret. Comp. Sci. 68 (1989), 37 - 47.
 
58. Recursive domain equations for concrete data structures. ABSTRACT
Information and Computation 82 (1989), 65 - 80.
 
59. Non-deterministic information systems and their domains. ABSTRACT
(with R. Göbel), Theoret. Comp. Sci. 75 (1990), 289 - 309.
 
60. Effectively given information systems and domains (with R. Göbel),
in: "Computer Science Logic", Proc.  Kaiserslautern 1989,
Lecture Notes in Comp. Science 440, Springer, 1990, pp. 116 - 142.
 
61. Universal domains in the theory of denotational semantics of programming languages
(with R. Göbel), in: 5th IEEE Symp. on "Logic in Computer Science" (LICS),
Philadelphia, 1990, IEEE Computer Society Press, pp. 19 - 34.
 
62. Concurrency, automata and domains. ABSTRACT
in: Automata, Languages and Programming (17th ICALP, Warwick),
Lecture Notes in Comp. Science 443, Springer, 1990, pp. 195 - 208.
 
63. Universal homogeneous event structures and domains. ABSTRACT
Information and Computation 94 (1991), 48 - 61.
 
64. Universal information systems. ABSTRACT
(with R. Göbel), Intern. J. of Foundations of Comp. Science 1 (1991), 413 - 424.
 
65. Finite axiomatizations for universal domains. ABSTRACT
J. of Logic and Computation 2 (1992), 119 - 131.
 
66. Concurrent automata and domains. ABSTRACT
Intern. J. of Foundations of Comp. Science 3 (1992), 389 - 418.
 
67. Bounded Petri nets of finite dimension have only finitely many reachable markings
    (with R. Shortt), Bull. Europ. Assoc. for Theoret. Comp. Science 48 (1992), 172 - 175.
    
 
68. On stable domains, Theoret. Comp. Science 111 (1993), 89 - 101.
    
 
69. Universal domains and the amalgamation property. ABSTRACT
(with R. Göbel), Mathem. Structures in Comp. Science 3 (1993), 137 - 159.
 
70. Petri nets and automata with concurrency relations - an adjunction. ABSTRACT
(with R. Shortt), in: "Semantics of Programming Languages and Model Theory"
(M. Droste, Y. Gurevich, eds.), Gordon and Breach Science Publ.,
OPA (Amsterdam), 1993, pp. 69 - 87.
 
71. From domains to automata with concurrency (with F. Bracho),
in: Automata, Languages and Programming (20th ICALP, Lund),
Lecture Notes in Comp. Science 700, Springer, 1993, pp. 669 - 681.
 
72. Labelled domains and automata with concurrency.  ABSTRACT
(with F. Bracho), Theoret. Comp. Science 135 (1994), 289 - 318.
 
73. A Kleene theorem for recognizable languages over concurrency monoids. ABSTRACT
in: Automata, Languages and Programming (21st ICALP, Jerusalem),
Lecture Notes in Comp. Science 820, Springer, 1994, pp. 388 - 399.
 
74. Recognizable languages in concurrency monoids. ABSTRACT
Theoret. Comp. Science 150 (1995), 77 - 108.
 
75. Dependence orders for computations of concurrent automata. ABSTRACT
(with F. Bracho, D. Kuske), in: STACS '95,
Lecture Notes in Comp. Science 900, Springer, 1995, pp. 467 - 478.
 
76. Languages and logical definability in concurrency monoids. ABSTRACT
(with D. Kuske), in: "Computer Science Logic", Paderborn 1995,
 Lecture Notes in Comp. Science 1092, Springer, 1996, pp. 233 - 251.


77. Aperiodic languages in concurrency monoids. ABSTRACT
Information and Computation 126 (1996), 105 - 113.
 
78. Trace languages definable with modular quantifiers. ABSTRACT
(with D. Kuske), in: Developments in Language Theory, 2nd Int. Conf., Magdeburg,
World Scientific Publ., 1996, pp. 386 - 395.
 
79. Asynchronous cellular automata for pomsets without autoconcurrency. ABSTRACT
(with P. Gastin), in: 7th Int. Conf.  on Concurrency Theory (CONCUR, Pisa),
Lecture Notes in Comp. Science 1119, Springer, 1996, pp. 627 - 638.
 
80. Representation of computations in concurrent automata by dependence orders. ABSTRACT
(with F. Bracho, D. Kuske), Theoret. Comp. Science 174 (1997), 67 - 96.
 
81. On recognizable and rational formal power series in partially commuting variables. ABSTRACT
    (with P. Gastin), in: Automata, Languages and Programming (24th ICALP, Bologna), Lecture Notes in Comp. Science 1256, Springer, 1997, pp. 682 - 692.
     
82. Recognizable and locally definable languages of infinite computations in concurrent automata. ABSTRACT (with D. Kuske), Intern. J. of Foundations of Comp. Science 9 (1998), 295 - 313.
     
83. Temporal logics for computations in concurrency monoids (with D. Kuske), Preprint.
     
84. The Kleene-Schützenberger theorem for formal power series in partially commuting variables. ABSTRACT (with P. Gastin), Information and Computation 153 (1999), 47 - 80.
     
85. On recognizable languages in divisibility monoids. ABSTRACT (with D. Kuske), in: 12th Int. Symp. on Fundamentals of Computation Theory (FCT, Iasi),
    Lecture Notes in Comp. Science, Springer 1684, 1999, pp. 246 - 257.
     
86. Asynchronous cellular automata for pomsets. ABSTRACT (with P. Gastin, D. Kuske), Theoret. Comp. Science 247 (2000), 1 - 38 (fundamental study).
     
87. On aperiodic and star-free formal power series in partially commuting variables. ABSTRACT (with P. Gastin), in: Formal Power Series and Algebraic Combinatorics
    (D. Krob, A.A. Mikhalev, A.V. Mikhalev, eds.), 12th Int. Conf., Moscow,
    Springer, 2000, pp. 158 - 169.
     
88. Recognizable languages in divisibility monoids. ABSTRACT (with D. Kuske), Mathem. Structures in Comp. Science 11 (2001), 743 - 770.
     
89. Rational transformations of formal power series. ABSTRACT
    (with G.-Q. Zhang), in: Automata, Languages and Programming (28th ICALP, Crete),
    Lecture Notes in Comp. Science 2076, Springer 2001, 555 - 566.
     
90. Continuous Petri nets and transition systems. ABSTRACT
    (with R.M. Shortt), in: "Unifying Petri Nets" (H. Ehrig, G. Juhas, J. Padberg, G. Rozenberg, eds.)
    Lecture Notes in Computer Science 2128, Springer, 2001, pp. 457 - 484; invited contribution.
     
91. Universal homogeneous graph-like structures and domains. ABSTRACT
    (with P. Boldi, F. Cardone), Mathem. Structures in Comp. Science, 12 (2002), 91 - 109.
     
92. From Petri nets to automata with concurrency. ABSTRACT
    (with R.M. Shortt), Applied Categorical Structures 10 (2002), 173 - 191.
     
93. Automata with concurrency relations - a survey. ABSTRACT
    (with D. Kuske), in: Advances in Logic, Artificial Intelligence und Robotics
    (eds. J. Abe, J. da Silva Filho), IOS Press, 2002, pp. 152 - 172; invited survey.
     
94. Skew and infinitary formal power series. ABSTRACT
    (with D. Kuske), in: Automata Languages and Programming (30th ICALP, Eindhoven)
    Lecture Notes in Computer Science 2719, 2003, pp. 426 - 438. 
     
95. On minimal event  and concrete data structures.
    (with F. Bracho, I. Meinecke), in: "Domains, Logic and Computation" (eds. J. Lawson, G.-Q.  Zhang, Y.-M. Liu, M.-K. Luo),
    Semantic Structures in Computation, vol. 3, Kluwer Academic Publ., 2003, pp. 161 - 178.
     
96. On transformations of  formal power series. (with G.-Q. Zhang),
    Information and Computation, 184 (2003), 369 - 383.
     
97. A Kleene theorem for weighted tree automata. ABSTRACT (with C. Pech, H. Vogler),  Theory of Computing Systems, 38 (2005), 1-38.
     
98. Weighted automata and weighted logics ABSTRACT
    (mit P. Gastin), in: Automata, Languages and Programming (32nd ICALP, Lissabon), Lecture Notes in Comp. Science vol. 3580, Springer, 2005, pp. 513-525.
     
99. Observations on the smoothness properties of real functions computed by weighted finite automata.
    (with J. Kari, P. Steinby), Fundamenta Informaticae, 73 (2006), 99-106.
     
100. Skew and infinitary formal power series ABSTRACT
     (mit D. Kuske), Theoret. Comp. Science 366 (2006), 199-227.
      
101. Weighted tree automata and weighted logics ABSTRACT
     (mit H. Vogler), Theoret. Comp.Science 366 (2006), 228-247.
      
102. Weighted automata and weighted logics on infinite words. ABSTRACT
     (mit G.Rahonis), in: 10th Int. Conf. on Developments in Language Theory (DLT), Lecture Notes in Computer Science vol. 4036, Springer, 2006, pp. 49-58.
      
103. On aperiodic and star-free formal power series in partially commuting variables ABSTRACT
     (mit P. Gastin), Theory of Computing Systems 42 (2008), 608-631.
      
104. Weighted automata and weighted logics ABSTRACT
     (mit P. Gastin), Theoretical Computer Science (special issue of ICALP '05), 380 (2007), 69-86
     Full version: pdf
      
105. On weighted Büchi automata with order-complete weights ABSTRACT
     (mit U. Püschmann), Intern. J. of Algebra and Computation, 17 (2007), 235-260.
      
106. Weighted logics for XML ABSTRACT
     (mit H. Vogler), 2006
     Full version: ps
      
107. Almost any domain is universal ABSTRACT
     (mit D. Kuske), 23rd Conf. on the Mathematical Foundations of Programming Semantics (MFPS), Electronic Notes in Theoretical Computer Science vol. 173, 103-119 (2007).
      
108. Bifinite Chu spaces ABSTRACT (with G.-Q. Zhang) , in: 2nd Conf. on Algebra and Coalgebra in Computer Science (CALCO), Lecture Notes in Comp. Science vol. 4624, Springer, 2007, pp. 179-193.
      
109. Weighted automata and weighted logics on infinite words ABSTRACT
     (with G. Rahonis), Izvestiya VUZ. Matematika (2007), accepted.
      
110. Weighted automata and weighted logics with discounting ABSTRACT
     (with G. Rahonis), 12th Int. Conf. on Implementation and Application of Automata (CIAA), Lecture Notes in Comp. Science vol. 4783, Springer 2007, pp. 73-84.
      
111. Multi-valued MSO logics over words and trees ABSTRACT
     (with W. Kuich, G. Rahonis), Fundamenta Informaticae 84 (2008), 305-327.
      
112. Random event structures ABSTRACT
     (with G.-Q. Zhang), International Journal of Software and Informatics 2 (2008), 91-102.
      
113. A Kleene-Schützenberger Theorem for Weighted Timed Automata ABSTRACT
     (with K.Quaas), in: 11th Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes in Comp. Science vol. 4962, Springer 2008, pp. 142-156.
      
114. Weighted automata with discounting
     (with J. Sakarovitch, H. Vogler), Information Processing Letters 108 (2008), 23-28.
      
115. A monoidal category of bifinite Chu spaces,
     (with F. Huang, G.-Q. Zhang), 1st Int. Conf. on Foundations of Informatics, Computing and Software (FICS), Electronic Notes in Theoretical Computer Science 212 (2008), 285-297.

TOP

---

APPLICATIONS OF ORDERED STRUCTURES

116. Ordinal scales in the theory of measurement. ABSTRACT
     J. Math. Psychol. 31 (1987), 60 - 82.
      
117. Classification and transformation of ordinal scales in the theory of measurement. ABSTRACT
     in: "Progress in Mathematical Psychology I" (E. Roskam, R. Suck, eds.),
     North Holland, Amsterdam, 1987, pp. 47 - 55.
      
118. Uniqueness of semicontinuous ordinal utility functions, ABSTRACT
     J. of Economics, suppl. 8(1999), 23 - 38.
      
119. Universal homogeneous causal sets, ABSTRACT
     Journal of Mathematical Physics 46 (2005), 122503 1-10.

TOP

---

BOOKS AND SPECIAL JOURNAL ISSUES (Editor)

• Semantics of Programming Languages and Model Theory
  (ed. with Y. Gurevich), Proc. of a conference at the IBFI, Schloß Dagstuhl 1991,
  Gordon and Breach Science Publ., OPA (Amsterdam), 1993
   
• Advances in Algebra and Model Theory: Selected surveys presented at>
conferences in Essen 1994 and Dresden 1995 (ed. with R. Göbel),
series "Algebra, Logic and Applications", Gordon and Breach Science Publ., 1997.
 
• Contributions to General Algebra, vol. 13
(ed. with I. Chaida, G. Eigenthaler, W.B. Müller, R. Pöschel),
Proc. of the 60th AAA, Verlag J. Heyn, Klagenfurt, 2001.
 
• Special issue of Journal of Automata, Languages and Combinatorics
(ed. with P. Gastin), Workshop on "Logic and Algebra in Concurrency"
(Dresden, Sep. 2000), vol. 7, no. 2, 2002.
 
• Special issue of Journal of Automata, Languages and Combinatorics
(ed. with H. Vogler), Workshop on "Weighted Automata: Theory and Applications"
(Dresden, March 2002), vol. 8, no. 3, 2003.
• Special issue of Journal of Automata, Languages and Combinatorics
(ed. with H. Vogler), Workshop on "Weighted Automata: Theory and Applications"
(Dresden, June 2004), vol. 10, no. 2 & 3, 2005.
• Special issue of Journal of Automata, Languages and Combinatorics
(ed. with H. Vogler), Workshop on "Weighted Automata: Theory and Applications"
(Leipzig, March 2006), vol. 12 no. 4, 2007.
• Handbook of Weighted Automata
(ed. with W. Kuich, H. Vogler),
EATCS Monographs in Theoretical Computer Science,
Springer-Verlag, 2009, in preparation.

TOP

---

  HOME

last modified August 26, 2008