Publications and Awards

Refereed Papers

  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. [SpringerLink]
  2. 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. [ACM DL]
  3. 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. [IEEEXplore]
  4. Hiroshi Hosobe, “Toward a New Constraint Imperative Programming Language for Interactive Graphics” (position paper), in Companion Proceedings of the 15th International Conference on Modularity (Modularity2016), pp. 34-35, ACM Press, 2016. [ACM DL]
  5. 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 Conference Publishing Services, 2015. [IEEEXplore]
  6. 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. [SpringerLink]
  7. 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. [SpringerLink]
  8. 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, 2015. [IEEEXplore]
  9. 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. [ScienceDirect]
  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. [ScienceDirect]
  11. 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 Conference Publishing Services, 2013. [IEEEXplore]
  12. Ryoji Nogami, Buntarou Shizuki, Hiroshi Hosobe, Jiro Tanaka, “An Exploratory Analysis Tool for a Long-Term Video from a Stationary Camera,” in Proceedings of the 5th IEEE International Symposium on Monitoring and Surveillance Research (ISMSR2012), pp. 32-37, IEEE Computer Society, 2012. [IEEEXplore]
  13. 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. [SpringerLink]
  14. 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. [PDF]
  15. 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. [ACM DL]
  16. 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. [IEEEXplore]
  17. 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. [IEEEXplore]
  18. 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, Vol. 13, No. 5, pp. 449-461, Springer, 2011. [SpringerLink]
  19. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda, “Speculative Constraint Processing for Hierarchical Agents,” in AI Communications, Vol. 23, No. 4, pp. 373-388, IOS Press, 2010. [MetaPress]
  20. Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe, “Including Ordinary Differential Equations Based Constraints in the Standard CP Framework,” in D. Cohen (Ed.), 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. [SpringerLink]
  21. Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, and Ken Satoh, “Speculative Abductive Reasoning for Hierarchical Agent Systems,” in J. Dix, J. Leite, G. Governatori, and W. Jamroga (Eds.), 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. [SpringerLink]
  22. 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. [SpringerLink]
  23. 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.
  24. 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. [IEEEXplore]
  25. 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 (ADHS’09), IFAC Proceedings Volumes, Vol. 42, No. 17, pp. 144-149, IFAC, 2009. [ScienceDirect]
  26. 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 (IV09), pp. 607-612, IEEE Computer Society, 2009. [IEEEXplore]
  27. 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. [ACM DL]
  28. Hiroshi Hosobe, “An Interactive Large Graph Visualizer” (system demonstration), in Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Marc Christie (Eds.), Smart Graphics–SG2008 (Proceedings of the 8th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 5166, pp. 271-272, Springer, 2008. [SpringerLink]
  29. 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), Vol. 3, pp. 1843-1844, ACM Press, 2008. [ACM DL]
  30. Hiroshi Hosobe, Ken Satoh, and Philippe Codognet, “Agent-Based Speculative Constraint Processing,” in IEICE Transactions on Information and Systems, Vol. E90-D, No. 9, pp. 1354-1362, 2007. [IEICE Transactions Online]
  31. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based Approximation Method for Discrete Changes in Hybrid cc,” in Frédéric Benhamou, Narendra Jussien, and Barry O’Sullivan (Eds.), Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 245-255, ISTE, 2007.
  32. 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. [IEEE Xplore]
  33. Marc Christie and Hiroshi Hosobe, “Through-the-Lens Cinematography,” in Andreas Butz, Brian Fisher, Antonio Krüger, and Patrick Olivier (Eds.), Smart Graphics–SG2006 (Proceedings of the 6th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 4073, pp. 147-159, Springer, 2006. [SpringerLink]
  34. Martine Ceberio, Hiroshi Hosobe, and Ken Satoh, “Speculative Constraint Processing with Iterative Revision for Disjunctive Answers,” in Francesca Toni and Paolo Torroni (Eds.), 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. [SpringerLink]
  35. 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), Vol. 2, pp. 1252-1253, ACM Press, 2005. [ACM DL] [PDF]
  36. Hiroshi Hosobe, “An Extended High-Dimensional Method for Interactive Graph Drawing,” in Seok-Hee Hong (Ed.), 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. [CRPIT] [PDF]
  37. Hiroshi Hosobe, “Hierarchical Nonlinear Constraint Satisfaction,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004), Vol. 1, pp. 16-20, ACM Press, 2004. [ACM DL] [PDF]
  38. Hiroshi Hosobe, “A High-Dimensional Approach to Interactive Graph Visualization,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004), Vol. 2, pp. 1253-1257, ACM Press, 2004. [ACM DL] [PDF]
  39. Ken Satoh, Philippe Codognet, and Hiroshi Hosobe, “Speculative Constraint Processing in Multi-Agent Systems,” in Jaeho Lee and Mike Barley (Eds.), 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 (Best Paper Award). [SpringerLink]
  40. Hiroshi Hosobe and Satoshi Matsuoka, “A Foundation of Solution Methods for Constraint Hierarchies,” in Constraints–An International Journal, Vol. 8, No. 1, pp. 41-59, Kluwer, 2003. [SpringerLink] [PDF]
  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. [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. [ACM DL] [PDF]
  43. Hiroshi Hosobe, “A Hierarchical Framework for Integrating Constraints with Graph Layouts” (short paper), in Michitaka Hirose (Ed.), Human-Computer Interaction–INTERACT’01 (Proceedings of the 8th IFIP TC13 Conference on Human-Computer Interaction), pp. 704-705, IOS Press, 2001.
  44. Hiroshi Hosobe, “A Scalable Linear Constraint Solver for User Interface Construction,” in Rina Dechter (Ed.), 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. [SpringerLink] [PDF]
  45. Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, and Tomihisa Kamada, “A Constraint-Based Approach for Visualization and Animation,” in Constraints–An International Journal, Vol. 3, No. 1, pp. 61-86, Kluwer, 1998. [SpringerLink]
  46. Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa, “Generalized Local Propagation: A Framework for Solving Constraint Hierarchies,” in Eugene C. Freuder (Ed.), Principles and Practice of Constraint Programming–CP96 (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. [SpringerLink] [PDF]
  47. Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa, “Locally Simultaneous Constraint Satisfaction,” in Alan Borning (Ed.), Principles and Practice of Constraint Programming–PPCP’94 (Proceedings of the 2nd Workshop on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 874, pp. 51-62, Springer, 1994. [SpringerLink] [PDF]

Other Publications

  1. Marc Christie, Hiroshi Hosobe, and Kim Marriott, “Trends and Issues in Using Constraint Programming for Graphical Applications,” in Frédéric Benhamou, Narendra Jussien, and Barry O’Sullivan (Eds.), Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 371-381, ISTE, 2007.
  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. [PDF]

Dissertation

  1. Hiroshi Hosobe, “Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems,”, Doctoral Dissertation, Department of Information Science, University of Tokyo, 1998. [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)