Rothkugel, Steffen, and Peter Sturm. "Corba, Java, C++ and Odbms for Distributed Web Computing - the Taming of the Shrew." Paper presented at the Architektur von Rechensystemen, Systemarchitektur auf dem Weg ins 3. Jahrtausend: Neue Strukturen, Konzepte, Verfahren und Bewertungsmethoden - Vortr\ge der 15. GI/ITG-Fachtagung ARCS '99 und der APS'99 (Arbeitsplatzrechensysteme) 1999.

Rothkugel, Steffen, and Peter Sturm. "Fusenetd Workshop: Future Services for Networked Devices." In Internet Roaming, 1999.

Mauw, S., and M.A. Reniers. "Operational Semantics for Msc'96." Computer Networks and ISDN Systems 31, no. 17 (1999): 1785-99.

Åkerlund, S. Nadjm-Tehrani and O. "Combining Theorem Proving and Continuous Models in Synchronous Design." Paper presented at the World Congress on Formal Methods, LNCS 1709 1999, September.

L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, and A. Ressouche. "Design of a Multi-Formalism Application and Distribution in a Data-Flow Context: An Example." Paper presented at the 12th international Symposium on Languages for Intentional programming, World Scientific, Athens 1999, June.

L. Man, J. Malec, and S. Nadjm-Tehrani. "On Semantics and Correctness of Reactive Rule-Based Systems." Paper presented at the Andrei Ershov Third international Conference, Perspectives of System Informatics, PSI'99, LNCS 1755, 2000 1999.

Nadjm-Tehrani, S. "Integration of Analog and Discrete Synchronous Design." Paper presented at the Hybrid Systems: Computation and Control, Proceedings of the second international workshop 1999, March.

O. Åkerlund, S. Nadjm-Tehrani, and G. Stålmarck. "Integration of Formal Methods into System Safety and Reliability Analysis." Paper presented at the 17th International Systems Safety Conference, ISSC'99, Orlondo, USA 1999, August.

Strömberg, S. Nadjm-Tehrani and J.-E. "Verification of Dynamic Properties in an Aerospace Application." 14 (1999, March): 135- 69.