Regina Tix

According to our database, Regina Tix authored at least 4 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Some results on Hahn-Banach-type theorems for continuous D-cones.

Regina Tix

Theor. Comput. Sci., 2001

1999

Continuous D-cones: convexity and powerdomain constructions.

Regina Tix

PhD thesis, 1999

1998

Convex power constructions for continuous d-cones.

Regina Tix

Proceedings of the Workshop on Domains IV 1998, 1998

1997

The troublesome probabilistic powerdomain.

Achim Jung, Regina Tix

Proceedings of the Third Workshop on Computation and Approximation, 1997