CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The effect of toroidal plasma rotation on low-frequency reversed shear Alfvén eigenmodes in tokamaks Article
Plasma Physics and Controlled FusionJanuary 2012
-
Notation-Parametric Grammar Recovery In Proceedings
January 2012
-
Formal design and verification of long-running transactions with eclipse coordination tools Article
IEEE Transactions on Services ComputingJanuary 2012 -
Towards a similarity-based wen service discovery through soft constraint satisfaction problems In Proceedings
F. Arbab (Farhad), S. Bistarelli, D. Pirolandi and F. Santini (Francesco)
January 2012 -
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings
January 2012
-
January 2012
-
January 2012
-
January 2012