Personensuche
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 ,
3
Universal Design of Interactive Mathematical Notebooks on P..:
, In:
?
5
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12233
?
6
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12232
?
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion ,
8
Modelling probabilistic timing analysis : work-in-progre..:
, In:
?
Proceedings of the 31st Annual ACM Symposium on Applied Computing ,
9
An object model for a dynamic mixin based language:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
10
The safety of dynamic mixin composition:
, In:
?
11
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, ...
Lecture Notes in Computer Science ; 8739;SpringerLink, Bücher
?
Proceedings of the 19th European Conference on Pattern Languages of Programs ,
12
Using dynamic mixins to implement design patterns:
, In:
?
Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering ,
13
Verification and Code Generation for Timed Transitions in p..:
, In:
?
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering ,
14
Correctness of intrusive data structures using mixins:
, In:
?
Proceedings of the 14th Western Canadian Conference on Computing Education ,
15