- Nerode, Anil (6)
- SpringerLink (Online service) (5)
- Antsaklis, Panos (1)
- Grossman, Robert L. (1)
- Khoussainov, Bakhadyr (1)
- Kohn, Wolf (1)
- Marek, V. Wiktor (1)
- Matiyasevich, Yu. V. (1)
- Ravn, Anders P. (1)
- Rischel, Hans (1)
- Sastry, Shankar (1)
- Taitslin, Mikhail (1)
- Truszczyński, M. (1)