CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract).

Tomoya Tanjo Takehide Soh Tomoya Tanjo Yoshio Okamoto Takehiro Ito CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract). 285-286 2024 SOCS https://doi.org/10.1609/socs.v17i1.31583 conf/socs/2024 db/conf/socs/socs2024.html#SohTOI24

Yasuhiro Tanizawa Takatomo Fujisawa Yuichi Kodama Takehide Kosuge Jun Mashima Tomoya Tanjo Yasukazu Nakamura DNA Data Bank of Japan (DDBJ) update report 2022. 101-105 2023 January 51 Nucleic Acids Res. D1 https://doi.org/10.1093/nar/gkac1083 db/journals/nar/nar51.html#TanizawaFKKMTN23

Takehide Soh Tomoya Tanjo Yoshio Okamoto Takehiro Ito Core Challenge 2023: Solver and Graph Descriptions. 2023 abs/2310.17136 CoRR https://doi.org/10.48550/arXiv.2310.17136 db/journals/corr/corr2310.html#abs-2310-17136

Kimitoshi Takahashi Kento Aida Tomoya Tanjo Jingtao Sun Kazushige Saga A Portable Load Balancer with ECMP Redundancy for Container Clusters. 974-987 2019 102-D IEICE Trans. Inf. Syst. 5 https://doi.org/10.1587/transinf.2018NTP0022 http://search.ieice.org/bin/summary.php?id=e102-d_5_974 db/journals/ieicet/ieicet102d.html#TakahashiATSS19

Kimitoshi Takahashi Kento Aida Tomoya Tanjo Jingtao Sun A Portable Load Balancer for Kubernetes Cluster. 222-231 2018 HPC Asia https://doi.org/10.1145/3149457.3149473 conf/hpcasia/2018 db/conf/hpcasia/hpcasia2018.html#TakahashiATS18 Jingtao Sun Cheng Yang Tomoya Tanjo Kazushige Saga Kento Aida Implementation of Self-adaptive Middleware for Mobile Vehicle Tracking Applications on Edge Computing. 1-15 2018 IDCS https://doi.org/10.1007/978-3-030-02738-4_1 conf/idcs/2018 db/conf/idcs/idcs2018.html#SunYTSA18 Tomoya Tanjo Jingtao Sun Kazushige Saga Atsuko Takefusa Kento Aida Dynamic Framework for Reconfiguring Computing Resources in the Inter-cloud and Its Application to Genome Analysis Workflows. 160-172 2018 IDCS https://doi.org/10.1007/978-3-030-02738-4_14 conf/idcs/2018 db/conf/idcs/idcs2018.html#TanjoSSTA18 Atsuko Takefusa Shigetoshi Yokoyama Yoshinobu Masatani Tomoya Tanjo Kazushige Saga Masaru Nagaku Kento Aida Virtual Cloud Service System for Building Effective Inter-Cloud Applications. 296-303 2017 CloudCom https://doi.org/10.1109/CloudCom.2017.48 https://doi.ieeecomputersociety.org/10.1109/CloudCom.2017.48 conf/cloudcom/2017 db/conf/cloudcom/cloudcom2017.html#TakefusaYMTSNA17 Jingtao Sun Kento Aida Tomoya Tanjo Architecture-Independent Cloud Computation for Sensor Environment and Its Applications. 25-36 2017 IDCS https://doi.org/10.1007/978-3-319-97795-9_3 conf/idcs/2017 db/conf/idcs/idcs2017.html#SunAT17 Markus Ullrich Jörg Lässig Kento Aida Jingtao Sun Tomoya Tanjo Martin Gaedke An application meta-model to support the execution and benchmarking of scientific applications in multi-cloud environments. 1-6 2017 SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI https://doi.org/10.1109/UIC-ATC.2017.8397633 conf/uic/2017 db/conf/uic/uic2017.html#UllrichLASTG17

Tomoya Tanjo Kazuhiro Minami Ken Mano Hiroshi Maruyama Evaluating data utility of privacy-preserving pseudonymized location datasets. 63-78 2014 5 J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 3 https://doi.org/10.22667/JOWUA.2014.09.31.063 db/journals/jowua/jowua5.html#TanjoMMM14

Tomoya Tanjo Kazuhiro Minami Ken Mano Hiroshi Maruyama On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems. 511-520 2014 ICT-EurAsia https://doi.org/10.1007/978-3-642-55032-4_52 conf/ict-eurasia/2014 db/conf/ict-eurasia/ict-eurasia2014.html#TanjoMMM14 Tomoya Tanjo Naoyuki Tamura Mutsunori Banbara Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). 456-462 2012 SAT https://doi.org/10.1007/978-3-642-31612-8_37 conf/sat/2012 db/conf/sat/sat2012.html#TanjoTB12 Tomoya Tanjo Naoyuki Tamura Mutsunori Banbara A Compact and Efficient SAT-Encoding of Finite Domain CSP. 375-376 2011 SAT https://doi.org/10.1007/978-3-642-21581-0_36 conf/sat/2011 db/conf/sat/sat2011.html#TanjoTB11 Naoyuki Tamura Tomoya Tanjo Mutsunori Banbara Solving Constraint Satisfaction Problems with SAT Technology. 19-23 2010 FLOPS https://doi.org/10.1007/978-3-642-12251-4_3 conf/flops/2010 db/conf/flops/flops2010.html#TamuraTB10 Kento Aida Mutsunori Banbara Takatomo Fujisawa Martin Gaedke Takehiro Ito Yuichi Kodama Takehide Kosuge Jörg Lässig Ken Mano Hiroshi Maruyama Yoshinobu Masatani Jun Mashima Kazuhiro Minami Masaru Nagaku Yasukazu Nakamura Yoshio Okamoto Kazushige Saga Takehide Soh Jingtao Sun Kimitoshi Takahashi Atsuko Takefusa Naoyuki Tamura Yasuhiro Tanizawa Markus Ullrich Cheng Yang Shigetoshi Yokoyama