Concepedia

Regina Tix

RT

Statistics

Publications

4

Citations

246

H-Index

4

Active since

1998

Affiliations

Technical University of Darmstadt(Current)

Regina Tix is an author at Technical University of Darmstadt specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningLanguageSemanticsLinguisticsProbabilityCryptographyData PrivacyData Security

Publications per year

1998–2009

4

Publications

4

The Troublesome Probabilistic Powerdomain

Achim Jung, Regina Tix · Electronic Notes in Theoretical Computer Science · 1998 · 113 citations · Full text

Engineering, Information Security, Troublesome Probabilistic Powerdomain +17

Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon Plotkin · Electronic Notes in Theoretical Computer Science · 2009 · 73 citations · Full text

RETRACTED: Semantic Domains for Combining Probability and Non-Determinism

Regina Tix, Klaus Keimel, Gordon Plotkin · Electronic Notes in Theoretical Computer Science · 2005 · 44 citations · Full text

Theory Of Computing, Probabilistic Ontology, Engineering +12

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

Regina Tix · Theoretical Computer Science · 2001 · 16 citations

Hahn–banach-type Theorems, Engineering, Interpolation Space +3

1–4 of 4