Search for persons
X
?
Proceedings of the 52nd International Conference on Parallel Processing ,
1
Parallel Order-Based Core Maintenance in Dynamic Graphs:
, In:
?
Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2 ,
2
Universal Design of Interactive Mathematical Notebooks on P..:
, In:
?
Indigenous Water and Drought Management in a Changing World; Current Directions in Water Scarcity Research ,
3
Striving toward reconciliation through the co-creation of w..:
, In:
?
Mobile Technologies and Applications for the Internet of Things; Advances in Intelligent Systems and Computing ,
4
A Comparison of Time Series Databases for Storing Water Qua..:
, In:
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
5
Teaching Concurrency with the Disappearing Formal Method:
, In:
?
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion ,
6
Modelling probabilistic timing analysis : work-in-progre..:
, In:
?
Proceedings of the 31st Annual ACM Symposium on Applied Computing ,
7
An object model for a dynamic mixin based language:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
8
The safety of dynamic mixin composition:
, In:
?
Proceedings of the 19th European Conference on Pattern Languages of Programs ,
9
Using dynamic mixins to implement design patterns:
, In:
?
Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering ,
10
Verification and Code Generation for Timed Transitions in p..:
, In:
?
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering ,
11
Correctness of intrusive data structures using mixins:
, In:
?
Proceedings of the 14th Western Canadian Conference on Computing Education ,
12