?
Social Computing and Social Media; Lecture Notes in Computer Science ,
1
Supporting Hybrid Interaction: A Design Approach for Mitiga..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
2
Robustifying Controller Specifications of Cyber-Physical Sy..:
, In:
?
Tests and Proofs; Lecture Notes in Computer Science ,
3
Architecture-Guided Test Resource Allocation via Logic:
, In:
?
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems ,
5
Towards a Framework for the Analysis of Multi-Product Lines..:
, In:
?
Proceedings of the 2019 3rd International Symposium on Computer Science and Intelligent Control ,
6
Procedural Animation of Aurora and its Optimization for Key..:
, In:
?
?
?
2016 Compound Semiconductor Week (CSW) [Includes 28th International Conference on Indium Phosphide & Related Materials (IPRM) & 43rd International Symposium on Compound Semiconductors (ISCS) ,
9
Picoseconds carrier spin relaxation in In0.8Ga0.2As/Al0.5Ga..:
, In:
?
2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC) ,
10
Spatial resolution of multi-head Si/CdTe Compton camera for..:
, In:
?
2007 European Control Conference (ECC) ,
11