Solving Constraint Satisfaction Problems with SAT Technology. - Naoyuki Tamura; Tomoya Tanjo; Mutsunori Banbara (FLOPS, 2010)

A Compact and Efficient SAT-Encoding of Finite Domain CSP. - Tomoya Tanjo; Naoyuki Tamura; Mutsunori Banbara (SAT, 2011)

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). - Tomoya Tanjo; Naoyuki Tamura; Mutsunori Banbara (SAT, 2012)

On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems. - Tomoya Tanjo; Kazuhiro Minami; Ken Mano; Hiroshi Maruyama (ICT-EurAsia, 2014)

Evaluating data utility of privacy-preserving pseudonymized location datasets. - Tomoya Tanjo; Kazuhiro Minami; Ken Mano; Hiroshi Maruyama (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Virtual Cloud Service System for Building Effective Inter-Cloud Applications. - Atsuko Takefusa; Shigetoshi Yokoyama; Yoshinobu Masatani; Tomoya Tanjo; Kazushige Saga; Masaru Nagaku; Kento Aida (CloudCom, 2017)

Architecture-Independent Cloud Computation for Sensor Environment and Its Applications. - Jingtao Sun; Kento Aida; Tomoya Tanjo (IDCS, 2017)

An application meta-model to support the execution and benchmarking of scientific applications in multi-cloud environments. - Markus Ullrich; Jörg Lässig; Kento Aida; Jingtao Sun; Tomoya Tanjo; Martin Gaedke (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

A Portable Load Balancer for Kubernetes Cluster. - Kimitoshi Takahashi; Kento Aida; Tomoya Tanjo; Jingtao Sun (HPC Asia, 2018)

Implementation of Self-adaptive Middleware for Mobile Vehicle Tracking Applications on Edge Computing. - Jingtao Sun; Cheng Yang; Tomoya Tanjo; Kazushige Saga; Kento Aida (IDCS, 2018)

Dynamic Framework for Reconfiguring Computing Resources in the Inter-cloud and Its Application to Genome Analysis Workflows. - Tomoya Tanjo; Jingtao Sun; Kazushige Saga; Atsuko Takefusa; Kento Aida (IDCS, 2018)

A Portable Load Balancer with ECMP Redundancy for Container Clusters. - Kimitoshi Takahashi; Kento Aida; Tomoya Tanjo; Jingtao Sun; Kazushige Saga (IEICE Trans. Inf. Syst., 2019)

Core Challenge 2023: Solver and Graph Descriptions. - Takehide Soh; Tomoya Tanjo; Yoshio Okamoto; Takehiro Ito (CoRR, 2023)

DNA Data Bank of Japan (DDBJ) update report 2022. - Yasuhiro Tanizawa; Takatomo Fujisawa; Yuichi Kodama; Takehide Kosuge; Jun Mashima; Tomoya Tanjo; Yasukazu Nakamura (Nucleic Acids Res., 2023)

CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract). - Takehide Soh; Tomoya Tanjo; Yoshio Okamoto; Takehiro Ito (SOCS, 2024)