Method safety mechanism for asynchronous layer deactivation
Kamina, Tetsuo, Aotani, Tomoyuki, Masuhara, Hidehiko, Igarashi, Atsushi
Published in Science of computer programming (01.05.2018)
Published in Science of computer programming (01.05.2018)
Get full text
Journal Article
Structure and Properties of the Macrocyclic Tridentate Ferrocenylphosphine Ligand (−PhPC5H4FeC5H4−)3
Mizuta, Tsutomu, Aotani, Tomoyuki, Imamura, Yuki, Kubo, Kazuyuki, Miyoshi, Katsuhiko
Published in Organometallics (09.06.2008)
Published in Organometallics (09.06.2008)
Get full text
Journal Article
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq
Asakura, Izumi, Masuhara, Hidehiko, Aotani, Tomoyuki
Published in Journal of Information Processing (01.01.2016)
Published in Journal of Information Processing (01.01.2016)
Get full text
Journal Article