Publications and Awards

Journal Papers (Refereed)

  1. Mads Midtlyng, Yuji Sato, and Hiroshi Hosobe, “Voice Adaptation by Color-Encoded Frame Matching as a Multi-Objective Optimization Problem for Future Games,” Complex & Intelligent Systems, Vol. 8, No. 2, pp. 1539–1550, Springer, 2022-04. [SpringerLink]
  2. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “Toward a Robot That Acquires Logical Recognition of Space,” in Information Engineering Express—Special Issue on Emerging Technologies in Applied Informatics, Vol. 3, No. 4, pp. 1–10, IIAI, 2017-12. [IIAI]
  3. Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, and Hiroshi Hosobe, “A Dynamic Default Revision Mechanism for Speculative Computation,” in Autonomous Agents and Multi-Agent Systems, Vol. 31, No. 3, pp. 656–695, Springer, 2017-05. [SpringerLink]
  4. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems,” in International Journal on Software Tools for Technology Transfer—Special Issue of Selected Papers from VSTTE2009/2010, Vol. 13, No. 5, pp. 449–461, Springer, 2011-10. [SpringerLink]
  5. Shun Shibuya, Kenshiro Takata, Hiroshi Hosobe, and Kazunori Ueda, “An Execution Algorithm for the Hybrid System Modeling Language HydLa” (letter), in Computer Software, Vol. 28, No. 3, pp. 167–172, JSSST, 2011-08 (in Japanese). [J-STAGE]
  6. Minato Koshida, Hiroshi Hosobe, and Ken Wakita, “A Hierarchical Visualization Method for Large-Scale Social Networks,” in Computer Software, Vol. 28, No. 2, pp. 202–216, JSSST, 2011-05 (in Japanese). [J-STAGE]
  7. Kazunori Ueda, Hiroshi Hosobe, and Daisuke Ishii, “Declarative Semantics of the Hybrid Constraint Language HydLa” (letter), in Computer Software, Vol. 28, No. 1, pp. 306–311, JSSST, 2011-02 (in Japanese). [J-STAGE] [English Version@arXiv]
  8. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda, “Speculative Constraint Processing for Hierarchical Agents,” in AI Communications—Special Issue of Selected Papers from EUMAS2009, Vol. 23, No. 4, pp. 373–388, IOS Press, 2010-12. [IOS Press Content Library] [Author’s Version]
  9. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based Consistency Technique for Reliable Simulation of Hybrid Systems,” in IPSJ Transactions on Mathematical Modeling and Its Applications, Vol. 1, No. 1, pp. 149–159, 2008-09 (in Japanese). [IPSJ DL]
  10. Hiroshi Hosobe, Ken Satoh, and Philippe Codognet, “Agent-Based Speculative Constraint Processing,” in IEICE Transactions on Information and Systems—Special Section on Software Agent and Its Applications, Vol. E90-D, No. 9, pp. 1354–1362, 2007-09. [IEICE Transactions Online] [Publisher’s Version]
  11. Hiroshi Hosobe, “A High-Dimensional Approach to the Interactive Visualization of General Undirected Graphs,” in IPSJ Journal—Special Issue on Interaction Technology and Applications, Vol. 46, No. 7, pp. 1536–1547, 2005-07 (in Japanese). [IPSJ DL]
  12. Hiroshi Hosobe, “Geometric Constraint Satisfaction for Interactive 3D Applications,” in IPSJ Journal, Vol. 44, No. 2, pp. 486–495, 2003-02 (in Japanese). [IPSJ DL]
  13. Hiroshi Hosobe and Satoshi Matsuoka, “A Foundation of Solution Methods for Constraint Hierarchies,” in Constraints: An International Journal—Special Issue on Soft Constraints, Vol. 8, No. 1, pp. 41–59, Kluwer, 2003-01. [SpringerLink] [Author’s Version]
  14. Hiroshi Hosobe, “A Linear Equality and Inequality Constraint Solver for User Interfaces,” in Computer Software—Special Issue on Software Systems, Vol. 19, No. 6, pp. 13–20, JSSST, 2002-11 (in Japanese). [J-STAGE]
  15. Hiroshi Hosobe, “A Geometric Constraint Solving Framework for Interactive Interfaces,” in IPSJ Journal—Special Issue on Information Technology for Next-Generation Interaction, Vol. 42, No. 6, pp. 1424–1434, 2001-06 (in Japanese). [IPSJ DL]
  16. Hiroshi Hosobe, “Speeding Up HiRise, a Linear Constraint Hierarchy Solver for Graphical User Interfaces” (short paper), in Computer Software, Vol. 17, No. 2, pp. 25–29, JSSST, 2000-03 (in Japanese). [J-STAGE] [Author’s Version]
  17. Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa, “HiRise: An Incremental Constraint Solver for Constructing Graphical User Interfaces,” in Computer Software—Special Issue on Interactive Software, Vol. 16, No. 6, pp. 33–45, JSSST, 1999-11 (in Japanese). [J-STAGE] [Author’s Version]
  18. Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, and Tomihisa Kamada, “A Constraint-Based Approach for Visualization and Animation,” in Constraints: An International Journal—Special Issue of Selected Papers from CGV’95, Vol. 3, No. 1, pp. 61–86, Kluwer, 1998-04. [SpringerLink]

Conference Papers (Refereed)

  1. Tomoya Yumisihita and Hiroshi Hosobe, “A Japanese Software Keyboard Using Visualization to Promote Positive Text Input,” in Proceedings of the 27th International Conference on Human-Computer Interaction (HCI International 2025), Lecture Notes in Computer Science, 12 pp., Springer, 2025-06 (to appear).
  2. Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, and Ken Satoh, “On Normative Status and Argumentation Semantics of Soft-Constraint Based Norms,” in Proceedings of JSAI-isAI2025—19th International Workshop on Juris-Informatics (JURISIN2025), Lecture Notes in Artificial Intelligence, Springer, 2025-05 (to appear).
  3. Yicheng Xue and Hiroshi Hosobe, “CSV: Visual Support for Understanding Card Synergy in Digital Collectible Card Games” (short paper), in Proceedings of VISIGRAPP2025—9th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2025), Vol. 1, pp. 611–618, SciTePress, 2025-02. [SciTePress DL]
  4. Masaki Saito, Akira Sasaki, and Hiroshi Hosobe, “Case Studies toward Introducing Liveness on Interactive System Development with p5.js,” in Proceedings of the 14th International Conference on Software and Computer Applications (ICSCA2025), ACM Press, 2025-02 (to appear).
  5. Reika Endo and Hiroshi Hosobe, “Visualization of Time Series Data Using Clustered Heatmaps and Line Graphs,” in Proceedings of the 17th International Symposium on Visual Information Communication and Interaction (VINCI2024), No. 25, pp. 1–8, ACM Press, 2024-12. [ACM DL]
  6. Jianshan Peng, Runhe Huang, and Hiroshi Hosobe, “Improving 3D Human Body Reconstruction Using Millimeter-Wave Radar-Based Kansformer,” in Proceedings of IEEE SWC2024—21st International Conference on Ubiquitous Intelligence and Computing (UIC2024), pp. 976–982, IEEE Computational Intelligence Society, 2024-12. [IEEE Xplore]
  7. Ryosei Shimanuki and Hiroshi Hosobe, “A Machine Learning Based Method for Rating Adversarial Board Games,” in Proceedings of the 12th International Symposium on Computing and Networking (CANDAR2024), pp. 106–114, IEEE-CS CPS, 2024-11. [IEEE Xplore]
  8. Hiroshi Hosobe and Ken Satoh, “Solving Soft Constraints for Multi-Criteria Ethical Reasoning,” Multi-Objective Decision Making Workshop (MODeM2024) at ECAI2024, 6 pp., 2024-10. [PDF@MODeM2024]
  9. Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, and Ken Satoh, “An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms,” in Proceedings of the International Workshop on AI Value Engineering and AI Compliance Meechanisms (VECOMP2024)—AICOM Track at ECAI2024, pp. 7–12, 2024-10. [PDF@VECOMP2024] [arXiv]
  10. Ryuzo Nakamura and Hiroshi Hosobe, “A Nonlinear Mapping-Based Virtual Touchpad for One-Handed Smartphone Operation,” in Proceedings of the 26th International Conference on Human-Computer Interaction (HCI International 2024)—Human-Computer Interaction Thematic Area (HCI), Lecture Notes in Computer Science, Vol. 14688, pp. 67–78, Springer, 2024-06. [SpringerLink] [Author’s Version]
  11. Hiroshi Hosobe and Ken Satoh, “A Soft Constraint-Based Framework for Ethical Reasoning” (short paper), in Proceedings of the 16th International Conference on Agents and Artificial Intelligence (ICAART2024), Vol. 3, pp. 1355–1362, SciTePress, 2024-02. [SciTePress DL] [Author’s Version]
  12. Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, and Ken Satoh, “Connecting Rule-Based and Case-Based Representations of Ethical Norms” (short paper), in Proceedings of the 36th International Conference on Legal Knowledge and Information Systems (JURIX2023), Frontiers in Artificial Intelligence and Applications, Vol. 379, pp. 149–154, IOS Press, 2023-12. [IOS Press Ebooks]
  13. Hiroshi Hosobe and Ken Satoh, “Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains,” in Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI2023), pp. 186–193, IEEE Computer Society, 2023-11. [IEEE Xplore] [Author’s Version]
  14. Yoshino Minakawa and Hiroshi Hosobe, “Supporting Nail Art Consultation by Automatic Image Selection and Visual Information Sharing” (poster), in Proceedings of HCI International 2023—Posters (Part III), Communications in Computer and Information Science, Vol. 1834, pp. 110–117, Springer, 2023-07. [SpringerLink] [Author’s Version]
  15. Takahiro Morita and Hiroshi Hosobe, “Video Game Agents with Human-Like Behavior Using the Deep Q-Network and Biological Constraints” (short paper), in Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), Vol. 3, pp. 525–531, SciTePress, 2023-02. [SciTePress DL]
  16. Hiroshi Hosobe and Ken Satoh, “Hierarchical Constraint Logic Programming for Multi-Agent Systems” (short paper), in Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), Vol. 1, pp. 289–296, SciTePress, 2023-02. [SciTePress DL] [Author’s Version]
  17. Tatsuro Ide and Hiroshi Hosobe, “Supporting Online Game Players by the Visualization of Personalities and Skills Based on in-Game Statistics” (short paper), in Proceedings of VISIGRAPP2023—7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2023), Vol. 2, pp. 259–266, SciTePress, 2023-02. [SciTePress DL]
  18. Yuya Nakamura and Hiroshi Hosobe, “A Bimanual Flick-Based Japanese Tablet Keyboard Using Direct Kanji Input,” in Computer Vision, Imaging and Computer Graphics Theory and Applications—VISIGRAPP2021 Revised Selected Papers, Communications in Computer and Information Science, Vol. 1691, pp. 90–111, Springer, 2023-02. [SpringerLink]
  19. Hideaki Terui and Hiroshi Hosobe, “A Hand Gesture-Based Authentication Method That Makes Forgery Difficult,” in Proceedings of HCI International 2022—4th International Conference on HCI for Cybersecurity, Privacy and Trust (HCI-CPT2022), Lecture Notes in Computer Science, Vol. 13333, pp. 268–279, Springer, 2022-06. [SpringerLink] [Author’s Version]
  20. Takahiro Morita and Hiroshi Hosobe, “Upper Confident Bound Fuzzy Q-learning and Its Application to a Video Game” (short paper), in Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART2022), Vol. 3, pp. 454–461, SciTePress, 2022-02. [SciTePress DL]
  21. Tatsuro Ide and Hiroshi Hosobe, “Classification of Video Viewing Task Types and Recommendation of Videos” (short paper), in Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART2022), Vol. 3, pp. 373–380, SciTePress, 2022-02. [SciTePress DL]
  22. Ami Sakakibara and Hiroshi Hosobe, “A Video Game-Like Approach to Supporting Novices in Learning Programming,” in Proceedings of HCI International 2021—8th International Conference on Learning and Collaboration Technologies (LCT2021), Lecture Notes in Computer Science, Vol. 12785, pp. 84–93, Springer, 2021-07. [SpringerLink] [Author’s Version]
  23. Kenta Sugai, Hiroshi Hosobe, and Shaoying Liu, “SMT-Based Theorem Verification for Testing-Based Formal Verification,” in Proceedings of the 10th International Conference on Software and Computer Applications (ICSCA2021), pp. 251–257, ACM Press, 2021-02. [ACM DL]
  24. Yuya Nakamura and Hiroshi Hosobe, “A Flick-Based Japanese Tablet Keyboard Using Direct Kanji Input,” in Proceedings of VISIGRAPP2021—5th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2021), Vol. 2, pp. 49–59, SciTePress, 2021-02. [SciTePress DL]
  25. Atsuro Konishi and Hiroshi Hosobe, “Clustering Nico Nico Douga Videos by Using the Distribution of Time-Synchronized Comments” (short paper), in Proceedings of the 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT2020), pp. 520–525, IEEE Computer Society, 2020-12. [IEEE Xplore]
  26. Hiroshi Hosobe, “Testing Event-Driven Programs in Processing,” in Proceedings of the 2020 European Symposium on Software Engineering (ESSE2020), pp. 6–11, ACM Press, 2020-11. [ACM DL] [Author’s Version]
  27. Atsuro Konishi and Hiroshi Hosobe, “Time-Series Visualization of Twitter Trends” (short paper), in Proceedings of VISIGRAPP2020—11th International Conference on Information Visualization Theory and Applications (IVAPP2020), Vol. 3, pp. 201–208, SciTePress, 2020-02. [SciTePress DL]
  28. Yuya Nakamura and Hiroshi Hosobe, “A Japanese Bimanual Flick Keyboard for Tablets That Improves Display Space Efficiency” (short paper), in Proceedings of VISIGRAPP2020—4th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2020), Vol. 2, pp. 170–177, SciTePress, 2020-02. [SciTePress DL]
  29. Hiroshi Hosobe, “Solving Hierarchical Soft Constraints with an SMT Solver,” in Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020), pp. 42–46, ACM Press, 2020-02. [ACM DL] [Author’s Version]
  30. Yota Inayama and Hiroshi Hosobe, “Toward an Efficient User Interface for Block-Based Visual Programming” (showpiece), in Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018), pp. 293–294, IEEE Computer Society, 2018-10. [IEEE Xplore] [Author’s Version]
  31. Teppei Yajima and Hiroshi Hosobe, “A Japanese Software Keyboard for Tablets That Reduces User Fatigue,” in Proceedings of IEEE COMPSAC2018—Symposium on Human Computing & Social Computing (HCSC), pp. 339–346, IEEE Computer Society, 2018-07. [IEEE Xplore] [Author’s Version]
  32. Satoru Imura and Hiroshi Hosobe, “A Hand Gesture-Based Method for Biometric Authentication,” in Proceedings of the 20th International Conference on Human-Computer Interaction (HCI International 2018), Lecture Notes in Computer Science, Vol. 10901, pp. 554–566, Springer, 2018-07. [SpringerLink] [Author’s Version]
  33. Hironari Kawada, Mina Akaishi, and Hiroshi Hosobe, “A Graph-Based Visualization of Time-Series Information in Multiple Texts,” in Proceedings of the 22nd International Conference on Information Visualisation (IV2018), pp. 44–49, IEEE-CS CPS, 2018-07 (Best Paper Award). [IEEE Xplore]
  34. Kei Takei and Hiroshi Hosobe, “A 2-by-6-Button Japanese Software Keyboard for Tablets” (short paper), in Proceedings of VISIGRAPP2018—2nd International Conference on Human Computer Interaction Theory and Applications (HUCAPP2018), Vol. 2, pp. 147–154, SciTePress, 2018-01. [SciTePress DL] [Author’s Version]
  35. Satoru Imura and Hiroshi Hosobe, “Biometric Authentication Using the Motion of a Hand” (poster), in Proceedings of the 4th ACM Symposium on Spatial User Interaction (SUI2016), p. 221, ACM Press, 2016-10. [ACM DL]
  36. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location” (short paper), in Proceedings of the IEEE International Conference on Agents (ICA2016), pp. 78–81, IEEE Computer Society, 2016-09. [IEEE Xplore]
  37. Hiroshi Hosobe, “Toward a New Constraint Imperative Programming Language for Interactive Graphics” (position paper), in Companion Proceedings of Modularity2016—Constrained and Reactive Objects Workshop (CROW2016), pp. 34–35, ACM Press, 2016-03. [ACM DL] [Author’s Version]
  38. Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe, “Hardened Flow-Sensitive Trace Formula for Fault Localization,” in Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015), pp. 50–59, IEEE-CS CPS, 2015-12. [IEEE Xplore]
  39. Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Pedro Leão, and Hiroshi Hosobe, “A Reasoning Module for Distributed Clinical Decision Support Systems,” in Intelligent Distributed Computing IX—IDC2015 (Proceedings of the 9th International Symposium on Intelligent Distributed Computing), Studies in Computational Intelligence, Vol. 616, pp.387–397, Springer, 2015-10. [SpringerLink]
  40. Yusaku Yokouchi and Hiroshi Hosobe, “A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing” (poster), in Proceedings of HCI International 2015—Posters’ Extended Abstracts (Part I), Communications in Computer and Information Science, Vol. 528, pp. 558–563, Springer, 2015-08. [SpringerLink] [Author’s Version]
  41. Ken Wakita, Masanori Takami, and Hiroshi Hosobe, “Interactive High-Dimensional Visualization of Social Graphs,” in Proceedings of the 8th IEEE Pacific Visualization Symposium (PacificVis2015), pp. 303–310, IEEE Computer Society, 2015-04. [IEEE Xplore]
  42. Hiroshi Hosobe, “A Hierarchical Method for Solving Soft Nonlinear Constraints,” in Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science, Elsevier, Vol. 62, pp. 378–384, 2015-03. [ScienceDirect]
  43. Azusa Kurihara, Akira Sasaki, Ken Wakita, and Hiroshi Hosobe, “A Programming Environment for Visual Block-Based Domain-Specific Languages,” in Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science, Elsevier, Vol. 62, pp. 287–296, 2015-03. [ScienceDirect]
  44. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “Logic-Based and Robust Decision Making for Robots in Real World” (demonstration), in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), pp. 1685–1686, 2014-05. [PDF@IFAAMAS]
  45. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “An Architecture for Autonomously Controlling Robot with Embodiment in Real World,” in Proceedings of the Workshop on Knowledge Representation and Reasoning in Robotics at ICLP2013, pp. 59–71, 2013-08. [arXiv]
  46. Buntarou Shizuki and Hiroshi Hosobe, “Toward Visual Analytics of Unlinked Documents by Textual Analysis and Network Visualization,” in Proceedings of the 17th International Conference on Information Visualisation (IV2013), pp. 227–231, IEEE-CS CPS, 2013-07. [IEEE Xplore]
  47. Ryoji Nogami, Buntarou Shizuki, Hiroshi Hosobe, Jiro Tanaka, “An Exploratory Analysis Tool for a Long-Term Video from a Stationary Camera,” in Proceedings of IEEE ICTAI2012—5th IEEE International Symposium on Monitoring and Surveillance Research (ISMSR2012), Vol. 2, pp. 32–37, IEEE Computer Society, 2012-11. [IEEE Xplore]
  48. Ho-Pun Lam, Guido Governatori, Ken Satoh, and Hiroshi Hosobe, “Distributed Defeasible Speculative Reasoning in Ambient Environment,” in Computational Logic in Multi-Agent Systems—CLIMA XIII (Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Vol. 7486, pp. 43–60, Springer, 2012-08. [SpringerLink]
  49. Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe and Daisuke Ishii, “HydLa: A High-Level Language for Hybrid Systems” (short paper), in Proceedings of the 2nd Workshop on Logics for System Analysis (LfSA2012) at CAV2012, pp. 3–17, 2012-07. [PDF@CMU]
  50. Kewei Duan, Julian Padget, Hyunsun Kim, and Hiroshi Hosobe, “Composition of Engineering Web Services with Universal Distributed Data-Flows based on ROA,” in Proceedings of the 3rd International Workshop on RESTful Design (WS-REST2012), pp. 41–48, ACM Press, 2012-04. [ACM DL]
  51. Hiroshi Hosobe, “Numerical Optimization-Based Graph Drawing Revisited,” in Proceedings of the 5th IEEE Pacific Visualization Symposium (PacificVis2012), pp. 81–88, IEEE Computer Society, 2012-02. [IEEE Xplore] [Author’s Version]
  52. Hiroshi Hosobe, “A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications” (short paper), in Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI2011), pp. 793–798, IEEE Computer Society, 2011-11. [IEEE Xplore] [Author’s Version]
  53. Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, and Ken Satoh, “On the Implementation of Speculative Constraint Processing,” in Computational Logic in Multi-Agent Systems—CLIMA X (Post-Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Vol. 6214, pp. 178–195, Springer, 2010-11. [SpringerLink]
  54. Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe, “Including Ordinary Differential Equations Based Constraints in the Standard CP Framework,” in Principles and Practice of Constraint Programming—CP2010 (Proceedings of the 16th International Conference of Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 6308, pp. 221–235, Springer, 2010-09. [SpringerLink]
  55. Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, and Ken Satoh, “Speculative Abductive Reasoning for Hierarchical Agent Systems,” in Computational Logic in Multi-Agent Systems—CLIMA XI (Proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Vol. 6245, pp. 49–64, Springer, 2010-08. [SpringerLink]
  56. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda, “Speculative Constraint Processing for Hierarchical Agents,” in Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS2009), 15 pp., 2009-12.
  57. Hiroshi Hosobe, “Constraint Hierarchies as Semiring-Based CSPs,” in Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI2009), pp. 176–183, IEEE Computer Society, 2009-11. [IEEE Xplore]
  58. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems,” in Proceedings of the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009) at FM2009, 9 pp., 2009-11.
  59. Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, and Alexandre Goldsztejn, “Interval-Based Solving of Hybrid Constraint Systems,” in Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS2009), IFAC Proceedings Volumes, Vol. 42, No. 17, pp. 144–149, IFAC, 2009-09. [ScienceDirect]
  60. Masaki Naito, Buntarou Shizuki, Jiro Tanaka, and Hiroshi Hosobe, “Interaction Techniques using a Spherical Cursor for 3D Targets Acquisition and Indicating in Volumetric Displays,” in Proceedings of the 13th International Conference on Information Visualisation (IV2009), pp. 607–612, IEEE Computer Society, 2009-07. [IEEE Xplore]
  61. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “Simulation of Hybrid Systems Based on Hierarchical Interval Constraints” (poster), in Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTools2009), No. 37, pp. 1–2, ICST, 2009-03. [ACM DL]
  62. Hiroshi Hosobe, “An Interactive Large Graph Visualizer” (system demonstration), in Smart Graphics—SG2008 (Proceedings of the 8th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 5166, pp. 271–272, Springer, 2008-08. [SpringerLink]
  63. Christophe Jermann and Hiroshi Hosobe, “Une Approche Orient辿e Hi辿rarchie de Contraintes pour la R辿solution de Probl竪mes de Contraintes G辿om辿triques,” in Proceedings of the 7th International Conference on Modelling and Simulation (MOSIM2008), Vol. 2, pp. 901–906, 2008-04 (in French). [HAL]
  64. Christophe Jermann and Hiroshi Hosobe, “A Constraint Hierarchies Approach to Geometric Constraints on Sketches” (poster), in Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC2008)—Geometric Constraints and Reasoning (GCR) Track, Vol. 3, pp. 1843–1844, ACM Press, 2008-03. [ACM DL]
  65. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based Approximation Method for Discrete Changes in Hybrid cc,” in Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 245–255, ISTE, 2007-05. [Wiley Online Library]
  66. Hiroshi Hosobe, “Analysis of a High-Dimensional Approach to Interactive Graph Drawing” (short paper), in Proceedings of the Asia-Pacific Symposium on Visualisation 2007 (APVIS2007), pp. 93–96, IEEE, 2007-02. [IEEE Xplore] [Author’s Version]
  67. Marc Christie and Hiroshi Hosobe, “Through-the-Lens Cinematography,” in Smart Graphics—SG2006 (Proceedings of the 6th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 4073, pp. 147–159, Springer, 2006-07. [SpringerLink]
  68. Martine Ceberio, Hiroshi Hosobe, and Ken Satoh, “Speculative Constraint Processing with Iterative Revision for Disjunctive Answers,” in Computational Logic in Multi-Agent Systems—CLIMA VI (Post-Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Vol. 3900, pp. 340–357, Springer, 2006-06. [SpringerLink]
  69. Hiroshi Hosobe, “Solving Linear and One-Way Constraints for Web Document Layout” (poster), in Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005)—Multimedia and Visualization (MV) Track, Vol. 2, pp. 1252–1253, ACM Press, 2005-03. [ACM DL]
  70. Hiroshi Hosobe, “An Extended High-Dimensional Method for Interactive Graph Drawing,” in Proceedings of the Asia Pacific Symposium on Information Visualisation 2005 (APVIS2005), Conferences in Research and Practice in Information Technology, Vol. 45, pp. 15–20, Australian Computer Society, 2005-01. [CRPIT]
  71. Hiroshi Hosobe, “A High-Dimensional Approach to Interactive Graph Visualization,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)—Multimedia and Visualization (MV) Track, Vol. 2, pp. 1253–1257, ACM Press, 2004-03. [ACM DL] [Author’s Version]
  72. Hiroshi Hosobe, “Hierarchical Nonlinear Constraint Satisfaction,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)—Artificial Intelligence, Computational Logic, and Image Analysis (AI) Track, Vol. 1, pp. 16–20, ACM Press, 2004-03. [ACM DL] [Author’s Version]
  73. Ken Satoh, Philippe Codognet, and Hiroshi Hosobe, “Speculative Constraint Processing in Multi-Agent Systems,” in Intelligent Agents and Multi-Agent Systems—PRIMA2003 (Proceedings of the 6th Pacific Rim International Workshop on Multi-Agents), Lecture Notes in Artificial Intelligence, Vol. 2891, pp. 133–144, Springer, 2003-11 (Best Paper Award). [SpringerLink]
  74. Hiroshi Hosobe, “A Geometric Constraint Library for 3D Graphical Applications,” in Proceedings of the 2nd International Symposium on Smart Graphics (SG2002), ACM International Conference Proceedings Series, Vol. 24, pp. 94–101, ACM Press, 2002-06. [ACM DL] [Author’s Version]
  75. Hiroshi Hosobe, “A Modular Geometric Constraint Solver for User Interface Applications,” in Proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology (UIST2001), CHI Letters, Vol. 3, Issue 2, pp. 91–100, ACM Press, 2001-11. [ACM DL] [Author’s Version]
  76. Hiroshi Hosobe, “A Hierarchical Framework for Integrating Constraints with Graph Layouts” (short paper), in Human-Computer Interaction—INTERACT2001 (Proceedings of the 8th IFIP TC13 Conference on Human-Computer Interaction), pp. 704–705, IOS Press, 2001-07.
  77. Hiroshi Hosobe, “A Scalable Linear Constraint Solver for User Interface Construction,” in Principles and Practice of Constraint Programming—CP2000 (Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 1894, pp. 218–232, Springer, 2000-09. [SpringerLink] [Author’s Version]
  78. Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa, “Generalized Local Propagation: A Framework for Solving Constraint Hierarchies,” in Principles and Practice of Constraint Programming—CP’96 (Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 1118, pp. 237–251, Springer, 1996-08. [SpringerLink] [Author’s Version]
  79. Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, and Tomihisa Kamada, “A Constraint-Based Approach for Visualization and Animation,” in Proceedings of the International Workshop on Constraints for Graphics and Visualization (CGV’95) at CP’95, pp.103–117, 1995-09.
  80. Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa, “Locally Simultaneous Constraint Satisfaction,” in Principles and Practice of Constraint Programming—PPCP’94 (Post-Proceedings of the 2nd Workshop on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 874, pp. 51–62, Springer, 1994-10. [SpringerLink] [Author’s Version]

Other Publications

  1. Philippe Codognet, Kazunori Ueda, and Hiroshi Hosobe, Parallel Methods for Constraint Solving and Combinatorial Optimization, NII Shonan Meeting Report, No. 2012-5, 12 pp., National Institute of Informatics, 2012-05. [PDF@NII]
  2. Marc Christie, Hiroshi Hosobe, and Kim Marriott, “Trends and Issues in Using Constraint Programming for Graphical Applications,” in Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 371–381, ISTE, 2007-05. [Wiley Online Library]
  3. Frédéric Benhamou, Martine Ceberio, Philippe Codognet, Hiroshi Hosobe, Christophe Jermann, Ken Satoh, and Kazunori Ueda, “Franco-Japanese Research Collaboration on Constraint Programming” (R&D project report), in Progress in Informatics, No. 3, pp. 59–65, National Institute of Informatics, 2006-04. [PDF@NII]

Dissertation

  1. Hiroshi Hosobe, “Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems,” Doctoral Dissertation, Department of Information Science, University of Tokyo, 1998-03. [NDL Online] [Author’s Version]

Awards

  1. Best Paper Award, 22nd International Conference on Information Visualisation (IV2018) (July 2018)
  2. Certificate of Appreciation, Japan Society for Software Science and Technology (JSSST) (September 2010)
  3. Best Paper Award, 6th Pacific Rim International Workshop on Multi-Agents (PRIMA2003) (Novermber 2003)
  4. Takahashi Award, Japan Society for Software Science and Technology (JSSST) (June 2003)