Ishikawa, Ichiro
11  Ergebnisse:
?
1

Supporting Hybrid Interaction: A Design Approach for Mitiga..:

, In: Social Computing and Social Media; Lecture Notes in Computer Science,
 
?
2

Robustifying Controller Specifications of Cyber-Physical Sy..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Kobayashi, Tsutomu ; Salay, Rick ; Hasuo, Ichiro... - p. 198-213 , 2021
 
?
3

Architecture-Guided Test Resource Allocation via Logic:

, In: Tests and Proofs; Lecture Notes in Computer Science,
 
?
4

List of Contributors:

, In: Plasma Medical Science,
Adachi, Tetsuo ; Akimoto, Yoshihiro ; Antoni, Vanni... - p. xiii-xvi , 2019
 
?
5

Towards a Framework for the Analysis of Multi-Product Lines..:

, In: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems,
Ali, Shaukat ; Arcaini, Paolo ; Hasuo, Ichiro.. - p. 1-6 , 2019
 
?
6

Procedural Animation of Aurora and its Optimization for Key..:

, In: Proceedings of the 2019 3rd International Symposium on Computer Science and Intelligent Control,
 
?
9

Picoseconds carrier spin relaxation in In0.8Ga0.2As/Al0.5Ga..:

, In: 2016 Compound Semiconductor Week (CSW) [Includes 28th International Conference on Indium Phosphide & Related Materials (IPRM) & 43rd International Symposium on Compound Semiconductors (ISCS),
 
?
10

Spatial resolution of multi-head Si/CdTe Compton camera for..:

, In: 2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC),
 
?
 
1-11