Tomoya Tanjo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2024
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SoCS | CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract). | Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito |
| 2017 | CloudCom | Virtual Cloud Service System for Building Effective Inter-Cloud Applications. | Atsuko Takefusa, Shigetoshi Yokoyama, Yoshinobu Masatani, Tomoya Tanjo, Kazushige Saga, Masaru Nagaku, Kento Aida |
| 2017 | UIC | An application meta-model to support the execution and benchmarking of scientific applications in multi-cloud environments. | Markus Ullrich, Jrg Lssig, Kento Aida, Jingtao Sun, Tomoya Tanjo, Martin Gaedke |
| 2012 | SAT | Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). | Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara |
| 2011 | SAT | A Compact and Efficient SAT-Encoding of Finite Domain CSP. | Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara |
| 2010 | FLOPS | Solving Constraint Satisfaction Problems with SAT Technology. | Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara |