Programming Connectors In an Open Language - Aßmann, Ludwig, Pfeifer (1998)(Correct)
Programming Connectors In an Open Language Uwe A#mann, Andreas Ludwig, Daniel Pfeifer Institut
be exchanged independently of each other, improving reuse of components in di#erent architectures and www.bell-labs.com/user/dep/prof/wicsa1/final/gruhn.pdf
Non-Elementary Speed-Ups in Proof Length by Different Variants of.. - Egly(Correct)
Different Variants of Classical Analytic Calculi Uwe Egly Institut fur Informationssysteme E184.3
calculi for first-order logic are compared with respect to the length of proofs possible in such ftp.kr.tuwien.ac.at/pub/egly/papers/tableaux97/difftab.ps.gz
Online and Real-Time Dispatching Problems - Winter (1999)(Correct)
Problems 22. Dezember 1999 1. Referent: Prof. Dr. Uwe T. Zimmermann 2. Referent: Priv.Doz. Dr. Michael
des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.Thomas Winter Online and Real-Time www.biblio.tu-bs.de/ediss/data/20000120a/20000120a.pdf