( en | de | ru )

 

Disambiguation of "Inoue, Jun"

Author of the publication

copydeleteadd this publication to your clipboard
Operational Semantics of Process Monitors.

, and . RV, volume 10548 of Lecture Notes in Computer Science, page 403-409. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heide Inoue

Tomoyuki Inoue

Hiroko Inoue

Norman Inoue

Kazuo Inoue

 

Other publications of authors with the same name

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs, , , , , , , , , and 1 other author(s). Workshop on Domain Specific Languages, WOLFHPC, 12, researchgate.net, (2012)Detecting Errors in a Humanoid Robot., , , and . QRS, page 163-170. IEEE, (2018)Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors., , and . QRS, page 1057-1068. IEEE, (2022)Development and Performance Evaluation of Variable Wheelchair Wheels., , , , and . SMC, page 4331-4336. IEEE, (2023)Mint: Java multi-stage programming using weak separability., , , , , and . PLDI, page 400-411. ACM, (2010)Contact Force Estimation Based on Fingertip Image and Application to Human Machine Interface., , , and . SMC, page 4219-4224. IEEE, (2019)Understanding Foot Function During Stance Phase by Bayesian Network Based Causal Inference., , , , and . Machine Learning in Healthcare Informatics, volume 56 of Intelligent Systems Reference Library, Springer, (2014)Reasoning about multi-stage programs., and . J. Funct. Program., (2016)ARCH-COMP 2021 Category Report: Falsification with Validation of Results., , , , , , , , , and 8 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 133-152. EasyChair, (2021)Implementing Haptic Feedback Environments from High-Level Descriptions., , , , , and . ICESS, page 482-489. IEEE Computer Society, (2009)