Regina Tix

Publication Activity (10 Years)

Years Active: 1998-2009
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Regina Tix, Klaus Keimel, Gordon D. Plotkin
Semantic Domains for Combining Probability and Non-Determinism. Electron. Notes Theor. Comput. Sci. 222 (2009)
Regina Tix
Some results on Hahn-Banach-type theorems for continuous D-cones. Theor. Comput. Sci. 264 (2) (2001)
Regina Tix
Convex power constructions for continuous d-cones. Electron. Notes Theor. Comput. Sci. 35 (2000)
Achim Jung, Regina Tix
The troublesome probabilistic powerdomain. Electron. Notes Theor. Comput. Sci. 13 (1998)