Soichiro Hidaka

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 8

Top Topics

Lambda Calculus

Graph Transformation

Iterative Optimization

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Proc. VLDB Endow.

Math. Struct. Comput. Sci.

Publications

Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu
A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs Using SOFL. IEICE Trans. Inf. Syst. 106 (5) (2023)
Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. SOFL+MSVL (2020)
Soichiro Hidaka
Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations. QRS Companion (2020)
Soichiro Hidaka, Yasunori Ishihara, Zachary G. Ives
Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan. CoRR (2019)
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR (2018)
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR (2018)
Soichiro Hidaka, Frédéric Jouault, Massimo Tisi
On Additivity in Transformation Languages. MoDELS (2017)
Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15 (3) (2016)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Context-preserving XQuery fusion. Math. Struct. Comput. Sci. 25 (4) (2015)
Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations. Bx@STAF (2015)
Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. MODELSWARD (Revised Selected Papers) (2014)
Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. MODELSWARD (2014)
Soichiro Hidaka, James F. Terwilliger
Preface to the Third International Workshop on Bidirectional Transformations. EDBT/ICDT Workshops (2014)
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Structural recursion for querying ordered graphs. ICFP (2013)
John Roger Wilson-Kanamori, Soichiro Hidaka
A Bidirectional Collaboration Framework for Bio-Model Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
Optimization for iterative queries on MapReduce. Proc. VLDB Endow. 7 (4) (2013)
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
A parameterized graph transformation calculus for finite graphs with monadic branches. PPDP (2013)
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
Maintaining invariant traceability through bidirectional transformations. ICSE (2012)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Marker-Directed Optimization of UnCAL Graph Transformations. LOPSTR (2011)
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Graph-transformation verification using monadic second-order logic. PPDP (2011)
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Toward Bidirectionalization of ATL with GRoundTram. ICMT@TOOLS (2011)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE (2011)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
Bidirectionalizing graph transformations. ICFP (2010)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Context-Preserving XQuery Fusion. APLAS (2010)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Towards a compositional approach to model transformation for software development. SAC (2009)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
A compositional approach to bidirectional model transformation. ICSE Companion (2009)
Thepparit Banditwattanawong, Soichiro Hidaka, Hironori Washizaki, Katsumi Maruyama
SOOM: Scalable Object-Oriented Middleware for Cooperative and Pervasive Computings. IEICE Trans. Commun. (4) (2007)
Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
Design and Implementation of Remote Device Access Facility to Support Device Migration. IEICE Trans. Inf. Syst. (1) (2007)
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
A relative cost model for XQuery. SAC (2007)
Thepparit Banditwattanawong, Soichiro Hidaka, Hironori Washizaki, Katsumi Maruyama
Cluster Replication for Distributed-Java-Object Caching. IEICE Trans. Inf. Syst. (11) (2006)
Thepparit Banditwattanawong, Katsumi Maruyama, Soichiro Hidaka, Hironori Washizaki
Contemporaneity-Conscious Clustering Algorithm for Distributed Object Caching. PDPTA (2005)
Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
Accessing Remote Devices Using Conventional Interfaces in Mobile Computing Environment. DEXA Workshops (2005)
Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume
Extensible distributed operating system for reliable control systems. ACM SIGOPS European Workshop (2002)
Soichiro Hidaka, Terumasa Aoki, Hitoshi Aida, Tadao Saito
Implementation and performance evaluation of a FIFO queue class library for time warp. Systems and Computers in Japan 33 (9) (2002)
Noriko Kando, Kazuko Kuriyama, Toshihiko Nozue, Koji Eguchi, Hiroyuki Kato, Soichiro Hidaka
Overview of IR tasks. NTCIR (1999)
Soichiro Hidaka, Hiroyuki Kato, Keizo Oyama
Querying Structured Documents Based on Human Visual Memory. DANTE (1999)
Soichiro Hidaka, Terumasa Aoki, Hitoshi Aida, Tadao Saito
A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes. ISCOPE (1998)