Publication
-
January 2013
-
January 2013
-
Comparing fluid models for streamer discharges Presentation
January 2013 -
Experimental plug and play quantum coin flipping Tech Report
January 2013
-
More Concise and Robust Linkage Learning by Filtering and Combining Linkage Hierarchies In Proceedings
January 2013 -
Software Analysis and Transformation with Rascal Presentation
January 2013 -
Formal design and verification of long-running transactions with extensible coordination tools Article
IEEE Transactions on Services Computing, 6(2), 186-200.January 2013
-
User-defined schedulers for real-time concurrent objects Article
Innovations in Systems and Software Engineering, 9(1), 29-43.January 2013