E-LIB Suche - Ergebnisse für: Aotani, Tomoyuki

1

Compilation Semantics for a Programming Language with Versi..:

Tanabe, Yudai ; Lubis, Luthfan Anshar ; Aotani, Tomoyuki.
http://arxiv.org/abs/2310.00298. , 2023

Link: http://arxiv.org/abs/231..

2

Signal Classes: A Mechanism for Building Synchronous and Pe..:

Kamina, Tetsuo ; Aotani, Tomoyuki ; Masuhara, Hidehiko
doi:10.4230/LIPIcs.ECOOP.2021.17. , 2021

Link: https://doi.org/10.4230/..

3

A Functional Programming Language with Versions:

Tanabe, Yudai ; Lubis, Luthfan Anshar ; Aotani, Tomoyuki.
http://arxiv.org/abs/2107.07301. , 2021

Link: http://arxiv.org/abs/210..

4

ContextWorkflow: A Monadic DSL for Compensable and Interrup..:

Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi
doi:10.4230/DARTS.4.3.4. , 2018

Link: https://doi.org/10.4230/..

5

ContextWorkflow: A Monadic DSL for Compensable and Interrup..:

Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi
doi:10.4230/LIPIcs.ECOOP.2018.2. , 2018

Link: https://doi.org/10.4230/..

6

Harmonizing Signals and Events with a Lightweight Extension..:

Kamina, Tetsuo ; Aotani, Tomoyuki
http://arxiv.org/abs/1803.10199. , 2018

Link: http://arxiv.org/abs/180..

7

Combining Static Analysis and Runtime Checking in Security ..:

Yang, Fan ; Aotani, Tomoyuki ; Masuhara, Hidehiko..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_14. , 2011

Link: https://hal.inria.fr/hal..

8

Combining Static Analysis and Runtime Checking in Security ..:

Yang, Fan ; Aotani, Tomoyuki ; Masuhara, Hidehiko..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_14. , 2011

Link: https://hal.inria.fr/hal..

9

AspectKE*:Security Aspects with Program Analysis for Distri..:

Yang, Fan ; Masuhara, Hidehiko ; Aotani, Tomoyuki..
Yang , F , Masuhara , H , Aotani , T , Nielson , F & Nielson , H R 2010 , AspectKE* : Security Aspects with Program Analysis for Distributed Systems . in B Adams , M Haupt & D Lohmann (eds) , Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) . Universitätsverlag Potsdam , Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam , no. 33 , pp. 27-31 , 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) , Rennes, France , 01/01/2010 .. , 2010

Link: https://orbit.dtu.dk/en/..

10

AspectKE*: Security aspects with program analysis for distr..:

Fan, Yang ; Masuhara, Hidehiko ; Aotani, Tomoyuki..
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/3951. , 2010

Link: https://publishup.uni-po..

11

Effect of Asfotase Alfa on Muscle Weakness in a Japanese Ad..:

Koyama, Hiroyuki ; Yasuda, Satoshi ; Kakoi, Shota...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7118397/. , 2019

Link: http://www.ncbi.nlm.nih...