## Journal Papers (Refereed)

- 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] - 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.5. [SpringerLink] - 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] - 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.8 (in Japanese). [J-STAGE] - 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.5 (in Japanese). [J-STAGE] - 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.2 (in Japanese). [J-STAGE] - 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] - 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.9 (in Japanese). [IPSJ DL] - 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.9. [IEICE Transactions Online] [Publisher’s Version] - 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.7 (in Japanese). [IPSJ DL] - Hiroshi Hosobe, “Geometric Constraint Satisfaction for Interactive 3D Applications,” in
*IPSJ Journal*, Vol. 44, No. 2, pp. 486–495, 2003.2 (in Japanese). [IPSJ DL] - 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.1. [SpringerLink] [Author’s Version] - 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] - 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.6 (in Japanese). [IPSJ DL] - 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.3 (in Japanese). [J-STAGE] [Author’s Version] - 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). [NII-ELS] [Author’s Version] - 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.4. [SpringerLink]

## Conference Papers (Refereed)

- 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, Springer, 2018.7 (to appear). [Author’s Version] - 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.1. [SCITEPRESS DL] [Author’s Version] - 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] - 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.9. [IEEE Xplore] - 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.3. [ACM DL] - 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] - 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] - Yusaku Yokouchi and Hiroshi Hosobe, “A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing” (poster), in
*HCI International 2015—Posters’ Extended Abstracts (Part I)*, Communications in Computer and Information Science, Vol. 528, pp. 558–563, Springer, 2015.8. [SpringerLink] [Author’s Version] - 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.4. [IEEE Xplore] - 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.3. [ScienceDirect] - 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.3. [ScienceDirect] - 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.5. [PDF] - 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.8. [arXiv] - 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.7. [IEEE Xplore] - 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] - 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.8. [SpringerLink] - 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.7. [PDF] - 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.4. [ACM DL] - 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.2. [IEEE Xplore] [Author’s Version] - 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] - 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] - 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.9. [SpringerLink] - 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.8. [SpringerLink] - 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. - 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] - 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. - 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.9. [ScienceDirect] - 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.7. [IEEE Xplore] - 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.3. [ACM DL] - 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.8. [SpringerLink] - 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.4 (in French). [HAL] - 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.3. [ACM DL] - 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.5. [Wiley Online Library] - 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.2. [IEEE Xplore] [Author’s Version] - 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.7. [SpringerLink] - 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.6. [SpringerLink] - 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.3. [ACM DL] - 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.1. [CRPIT] - 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.3. [ACM DL] [Author’s Version] - 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.3. [ACM DL] [Author’s Version] - 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] - 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.6. [ACM DL] [Author’s Version] - 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] - 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.7. - 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.9. [SpringerLink] [Author’s Version] - 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.8. [SpringerLink] [Author’s Version] - 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.9. - 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

- 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.5. [PDF] - 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.5. [Wiley Online Library] - 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.4. [PDF]

## Dissertation

- Hiroshi Hosobe, “Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems,” Doctoral Dissertation, Department of Information Science, University of Tokyo, 1998.3. [PDF]

## Awards

- Letter of Appreciation, Japan Society for Software Science and Technology (JSSST) (September 2010)
- Best Paper Award, 6th Pacific Rim International Workshop on Multi-Agents (PRIMA2003) (Novermber 2003)
- Takahashi Award, Japan Society for Software Science and Technology (JSSST) (June 2003)