Ishikawa, Ichiro
12  results:
?
1

Goal-Aware RSS for Complex Scenarios via Program Logic:

, In: 2024 IEEE Intelligent Vehicles Symposium (IV),
Hasuo, Ichiro ; Eberhart, Clovis ; Haydon, James... - p. 3154-3154 , 2024
 
?
2

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

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

Architecture-Guided Test Resource Allocation via Logic:

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

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
 
?
5

List of Contributors:

, In: Plasma Medical Science,
Adachi, Tetsuo ; Akimoto, Yoshihiro ; Antoni, Vanni... - p. xiii-xvi , 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,
 
?
8

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
 
?
10

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),
 
?
11

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

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