Follow
Jun Inoue
Jun Inoue
Verified email at aist.go.jp - Homepage
Title
Cited by
Cited by
Year
Anomaly detection for a water treatment system using unsupervised machine learning
J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun
2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017
2652017
Mint: Java multi-stage programming using weak separability
E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha
ACM Sigplan Notices 45 (6), 400-411, 2010
602010
Mathematical equations as executable models of mechanical systems
Y Zhu, E Westbrook, J Inoue, A Chapoutot, C Salama, M Peralta, T Martin, ...
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010
532010
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016
372016
Reasoning about multi-stage programs
JUN INOUE, W TAHA
Journal of Functional Programming 26, 2016
31*2016
Reasoning about multi-stage programs
J Inoue, W Taha
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
292012
PENCIL: Towards a platform-neutral compute intermediate language for DSLs
R Baghdadi, A Cohen, S Guelton, S Verdoolaege, J Inoue, T Grosser, ...
arXiv preprint arXiv:1302.5586, 2013
242013
Runtime monitoring for concurrent systems
Y Yamagata, C Artho, M Hagiya, J Inoue, L Ma, Y Tanabe, M Yamamoto
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
122016
Staging beyond terms: Prospects and challenges
J Inoue, O Kiselyov, Y Kameyama
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
112016
Implementing haptic feedback environments from high-level descriptions
AY Zhu, J Inoue, ML Peralta, W Taha, MK O'Malley, D Powell
2009 International Conference on Embedded Software and Systems, 482-489, 2009
82009
Motion and force estimation based on the NARX with an EMG signal
Y Ohno, J Inoue, M Iwase, S Hatakeyama
AETA 2017-Recent Advances in Electrical Engineering and Related Sciences …, 2018
42018
Multi-stage programming for mainstream languages
E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha
Technical Report TR09-02, Rice University, 2009
32009
Hand and Finger Control of Myoelectric Prosthesis Hand Based on Motion Discriminator and Voluntary Control
R Hiroki, M Iwase, J Inoue
Transactions of the Society of Instrument and Control Engineers 54 (8), 680-690, 2018
22018
Sundials/ML: interfacing with numerical solvers
T Bourke, J Inoue, M Pouzet
ACM Workshop on ML, 2016
22016
Supercompiling with Staging
J Inoue
Fourth International Valentin Turchin Workshop on Metacomputation, 2014
22014
Detecting errors in a humanoid robot
J Inoue, F Kanehiro, M Morisawa, A Mori
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
12018
Development of the Removable Electric Drive System for Wheelchair Running on Public Road
Y Iwami, J Inoue, M Iwase, S Hatakeyama
AETA 2017-Recent Advances in Electrical Engineering and Related Sciences …, 2018
12018
The next stage of staging
J Inoue, O Kiselyov, Y Kameyama
Proceedings of the 17th workshop on Programming and Programming Languages (PPL), 2015
12015
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors
J Inoue, H Nishihara, A Mori
2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022
2022
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
T Bourke, J Inoue, M Pouzet
arXiv preprint arXiv:1812.11668, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20