Publication

Influences of the pulsed power supply on corona streamer appearance In Proceedings

E.M. van Veldhuizen, T.M.P. Briels (Tanja), L.R. Grabowski, A.J.M. Pemen and U. Ebert (Ute)

Algebraic specification and coalgebraic synthesis of Mealy automata Tech Report

J.J.M.M. Rutten (Jan)

Discovering faults in idiom-based exception handling Tech Report

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

Specification of coordination behaviors in software architecture using the Reo coordination language Tech Report

Y. Li (Yongzhi)

Multimedia Annotations and the Semantic Web Book Chapter

J.R. van Ossenbruggen (Jacco), G. Stamou and J.Z. Pan (Jeff)

Infinitary normalization Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

Analysis of jitter due to call-level fluctuations Tech Report

M.R.H. Mandjes (Michel)

European women in mathematics : proceedings of the 11th conference of [the assocation] European Women in Mathematics (EWM), Marseille, [03-07.11].2003 Book