Centrum Wiskunde & Informatica

Sqllogictest Software

H.F. Mühleisen (Hannes)

January 2008
Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

F. Arbab (Farhad) and M. Sun (Meng)

January 2008
Static Check of WSCDL Documents In Proceedings

L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)

January 2008
Applying data mining to the study of Joseki In Proceedings

M. Helvensteijn (Michiel)

January 2008
Reconfiguration Distributed Reo Connectors In Proceedings

C. Krause (born Köhler) (Christian), F. Arbab (Farhad) and E.P. de Vink (Erik)

January 2008
Calculating Invariants as Coreflexive Bisimulations In Proceedings

L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)

January 2008
Metaplectic operators on {$C^n$} Article

Quarterly Journal of Mathematics, 59(1), 15-28.

H.G. Feichtinger, M. Hazewinkel (Michiel), N. Kaiblinger, E. Matusiak and M. Neuhauser

January 2008
Rational streams coalgebraically Article

Logical Methods in Computer Science, 4(3)

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

January 2008

Previous

Next