Personensuche
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:
?
6
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12233
?
7
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 ,
9
Modelling probabilistic timing analysis : work-in-progre..:
, In:
?
Proceedings of the 31st Annual ACM Symposium on Applied Computing ,
10
An object model for a dynamic mixin based language:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
11
The safety of dynamic mixin composition:
, In:
?
12
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 ,
13
Using dynamic mixins to implement design patterns:
, In:
?
Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering ,
14
Verification and Code Generation for Timed Transitions in p..:
, In:
?
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering ,
15