Publications and Awards

Journal Papers (Refereed)

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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] [PDF]
  15. 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] [PDF]
  16. 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)

  1. 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).
  2. Kei Takei and Hiroshi Hosobe, “A 2-by-6-Button Japanese Software Keyboard for Tablets” (short paper), in Proceedings of VISIGRAPP20182nd International Conference on Human Computer Interaction Theory and Applications (HUCAPP2018), SciTePress, 2018.1 (to appear).
  3. 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]
  4. 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]
  5. Hiroshi Hosobe, “Toward a New Constraint Imperative Programming Language for Interactive Graphics” (position paper), in Companion Proceedings of Modularity2016Constrained and Reactive Objects Workshop (CROW2016), pp. 34–35, ACM Press, 2016.3. [ACM DL]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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.
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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.
  33. 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]
  34. 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]
  35. 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]
  36. 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] [PDF]
  37. 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] [PDF]
  38. 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] [PDF]
  39. 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] [PDF]
  40. 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]
  41. 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] [PDF]
  42. 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] [PDF]
  43. 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.
  44. 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] [PDF]
  45. 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] [PDF]
  46. 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.
  47. 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] [PDF]

Other Publications

  1. 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.
  2. 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

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

Awards

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