Mathematical Systems Theory
- Simultaneous strong separations of probabilistic and unambiguous complexity classes, EppHemTis-MST-92
- Strong self-reducibility precludes strong immunity, HemZim-MST-96
- Selection and sorting in totally monotone arrays, KraPar-MST-91
Now known as Theory of Computing Systems.
