Search for persons
X
?
Proceedings of the 52nd International Conference on Parallel Processing ,
2
Parallel Order-Based Core Maintenance in Dynamic Graphs:
, In:
?
Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2 ,
3
Universal Design of Interactive Mathematical Notebooks on P..:
, In:
?
Indigenous Water and Drought Management in a Changing World; Current Directions in Water Scarcity Research ,
4
Striving toward reconciliation through the co-creation of w..:
, In:
?
7
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12233
?
8
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12232
?
Mobile Technologies and Applications for the Internet of Things; Advances in Intelligent Systems and Computing ,
9
A Comparison of Time Series Databases for Storing Water Qua..:
, In:
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
10
Teaching Concurrency with the Disappearing Formal Method:
, In:
?
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion ,
12
Modelling probabilistic timing analysis : work-in-progre..:
, In:
?
Proceedings of the 31st Annual ACM Symposium on Applied Computing ,
13
An object model for a dynamic mixin based language:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
14
The safety of dynamic mixin composition:
, In:
?
15
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, ...
Lecture Notes in Computer Science ; 8739;SpringerLink, Bücher