Formalization of Kublai Khan's globalization using Kunii's incrementally modular abstraction hierarchy.

Kenji Ohmori

Kenji Ohmori Formalization of Kublai Khan's globalization using Kunii's incrementally modular abstraction hierarchy. 2989-2997 2021 37 Vis. Comput. 12 https://doi.org/10.1007/s00371-021-02234-y db/journals/vc/vc37.html#Ohmori21

Kenji Ohmori Development of Functional Reactive Programming Using an Incrementally Modular Abstraction Hierarchy. 1-5 2015 ICITCS https://doi.org/10.1109/ICITCS.2015.7292972 https://doi.ieeecomputersociety.org/10.1109/ICITCS.2015.7292972 conf/icitcs/2015 db/conf/icitcs/icitcs2015.html#Ohmori15

Yan Wu Hiroyuki Hasegawa Kuniyuki Kakushima Kenji Ohmori Takanobu Watanabe Akira Nishiyama Nobuyuki Sugii Hitoshi Wakabayashi Kazuo Tsutsui Yoshinori Kataoka Kenji Natori Keisaku Yamada Hiroshi Iwai A novel hetero-junction Tunnel-FET using Semiconducting silicide-Silicon contact and its scalability. 899-904 2014 54 Microelectron. Reliab. 5 https://doi.org/10.1016/j.microrel.2014.01.023 db/journals/mr/mr54.html#WuHKOWNSWTKNYI14

Kenji Ohmori Tosiyasu L. Kunii Incrementally Modular Abstraction Hierarchy Using Algebraic Topology. 1-20 2014 23 Trans. Comput. Sci. https://doi.org/10.1007/978-3-662-43790-2_1 journals/tcos/2014-23 db/journals/tcos/tcos23.html#OhmoriK14

Kenji Ohmori Tosiyasu L. Kunii Functorial Classification of Political Groups in the Meiji Restoration. 107-113 2014 CW https://doi.org/10.1109/CW.2014.23 https://doi.ieeecomputersociety.org/10.1109/CW.2014.23 conf/cw/2014 db/conf/cw/cw2014.html#OhmoriK14 Kenji Ohmori Tosiyasu L. Kunii Clay Flower Creation Based on Homotopy Type Theory. 198-205 2014 CW https://doi.org/10.1109/CW.2014.35 https://doi.ieeecomputersociety.org/10.1109/CW.2014.35 conf/cw/2014 db/conf/cw/cw2014.html#OhmoriK14a

Kenji Ohmori Tosiyasu L. Kunii Mathematical Foundations for Designing a 3-Dimensional Sketch Book. 41-60 2013 18 Trans. Comput. Sci. https://doi.org/10.1007/978-3-642-38803-3_3 journals/tcos/2013-18 db/journals/tcos/tcos18.html#OhmoriK13

Kenji Ohmori Tosiyasu L. Kunii A General Design Method Based on Algebraic Topology - A Divide and Conquer Method. 267-273 2013 CW https://doi.org/10.1109/CW.2013.23 https://doi.ieeecomputersociety.org/10.1109/CW.2013.23 conf/cw/2013 db/conf/cw/cw2013.html#OhmoriK13

Kenji Ohmori Tosiyasu L. Kunii Visualization of Joinery Using Homotopy Theory and Attaching Maps. 95-114 2012 16 Trans. Comput. Sci. https://doi.org/10.1007/978-3-642-32663-9_6 journals/tcos/2012-16 db/journals/tcos/tcos16.html#OhmoriK12

Kenji Ohmori Tosiyasu L. Kunii Three Dimensional Sketch for a Landscape Using Morse Theory and Reeb Graphs. 178-183 2012 CW https://doi.org/10.1109/CW.2012.32 https://doi.ieeecomputersociety.org/10.1109/CW.2012.32 conf/cw/2012 db/conf/cw/cw2012.html#OhmoriK12 Ryo Mizutani Kenji Ohmori A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor. 221-225 2012 CW https://doi.org/10.1109/CW.2012.38 https://doi.ieeecomputersociety.org/10.1109/CW.2012.38 conf/cw/2012 db/conf/cw/cw2012.html#MizutaniO12 Kenji Ohmori Ranga Hettiarachchi Keisaku Yamada Effect of substrate bias on frequency dependence of MOSFET noise intensity. 342-345 2012 ESSDERC https://doi.org/10.1109/ESSDERC.2012.6343403 conf/essderc/2012 db/conf/essderc/essderc2012.html#OhmoriHY12

Hiroshi Iwai Kenji Natori Kenji Shiraishi Jun-ichi Iwata Atsushi Oshiyama Keisaku Yamada Kenji Ohmori Kuniyuki Kakushima Parhat Ahmet Si nanowire FET and its modeling. 1004-1011 2011 54 Sci. China Inf. Sci. 5 https://doi.org/10.1007/s11432-011-4220-0 db/journals/chinaf/chinaf54.html#IwaiNSIOYOKA11

Soshi Sato Kuniyuki Kakushima Parhat Ahmet Kenji Ohmori Kenji Natori Keisaku Yamada Hiroshi Iwai Structural advantages of rectangular-like channel cross-section on electrical characteristics of silicon nanowire field-effect transistors. 879-884 2011 51 Microelectron. Reliab. 5 https://doi.org/10.1016/j.microrel.2010.12.007 db/journals/mr/mr51.html#SatoKAONYI11

Kenji Ohmori Tosiyasu L. Kunii Visualized Deformation of Joinery to Understand Jointing Process by Homotopy Theory and Attaching Maps. 203-210 2011 CW https://doi.org/10.1109/CW.2011.14 https://doi.ieeecomputersociety.org/10.1109/CW.2011.14 conf/cw/2011 db/conf/cw/cw2011.html#OhmoriK11

Kenji Ohmori Tosiyasu L. Kunii Designing and modeling cyberworlds using the incrementally modular abstraction hierarchy based on homotopy theory. 297-309 2010 26 Vis. Comput. 5 https://doi.org/10.1007/s00371-010-0420-7 db/journals/vc/vc26.html#OhmoriK10

Kenji Ohmori Tosiyasu L. Kunii A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs. 223-230 2010 CW https://doi.org/10.1109/CW.2010.47 https://doi.ieeecomputersociety.org/10.1109/CW.2010.47 conf/cw/2010 db/conf/cw/cw2010.html#OhmoriK10 Kenji Ohmori Tosiyasu L. Kunii Enterprise System Development with Invariant Preserving - A Mathematical Approach by the Homotopy Lifting and Extension Properties. 116-123 2009 ICEIS (3) conf/iceis/2009-3 db/conf/iceis/iceis2009-3.html#OhmoriK09 Kenji Ohmori Tosiyasu L. Kunii Mathematical Foundation for Designing and Modeling Cyberworlds. 80-87 2009 CW https://doi.org/10.1109/CW.2009.20 https://doi.ieeecomputersociety.org/10.1109/CW.2009.20 conf/cw/2009 db/conf/cw/cw2009.html#OhmoriK09 Kenji Ohmori Tosiyasu L. Kunii Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality. 363-370 2008 CW https://doi.org/10.1109/CW.2008.74 https://doi.ieeecomputersociety.org/10.1109/CW.2008.74 conf/cw/2008 db/conf/cw/cw2008.html#OhmoriK08 Kenji Ohmori Tosiyasu L. Kunii The Mathematical Structure of Cyberworlds. 100-107 2007 CW https://doi.org/10.1109/CW.2007.19 https://doi.ieeecomputersociety.org/10.1109/CW.2007.19 conf/cw/2007 db/conf/cw/cw2007.html#OhmoriK07 Kenji Ohmori Tosiyasu L. Kunii Development of an accounting system - applying the incrementally modular abstraction hierarchy to a complex system. 437-444 2007 conf/iceis/2007-1 ICEIS (1) db/conf/iceis/iceis2007-1.html#OhmoriK07

Tosiyasu L. Kunii Kenji Ohmori A kaleidoscope as a cyberworld and its animation: linear architecture and modeling based on an incrementally modular abstraction hierarchy. 145-153 2006 17 Comput. Animat. Virtual Worlds 3-4 https://doi.org/10.1002/cav.118 db/journals/jvca/jvca17.html#KuniiO06

Tosiyasu L. Kunii Kenji Ohmori Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy. 949-964 2006 22 Vis. Comput. 12 https://doi.org/10.1007/s00371-006-0040-4 db/journals/vc/vc22.html#KuniiO06

Kenji Ohmori Tosiyasu L. Kunii An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology. 216-223 2006 conf/cw/2006 CW https://doi.org/10.1109/CW.2006.14 https://doi.ieeecomputersociety.org/10.1109/CW.2006.14 db/conf/cw/cw2006.html#OhmoriK06 Kenji Ohmori An Internet Accounting System: A Large Scale Software System Development Using Model Driven Architecture. 407-410 2005 conf/iceis/2005 ICEIS (1) db/conf/iceis/iceis2005-1.html#Ohmori05 Kenji Ohmori Wona Lee Shape Modeling Using Cellular Structured Spaces. 447-454 2002 conf/cw/2002 CW https://doi.org/10.1109/CW.2002.1180912 https://doi.ieeecomputersociety.org/10.1109/CW.2002.1180912 db/conf/cw/cw2002.html#OhmoriL02 Kenji Ohmori Tosiyasu L. Kunii Shape Modeling Using Homotopy. 126-133 2001 conf/smi/2001 Shape Modeling International https://doi.org/10.1109/SMA.2001.923383 https://doi.ieeecomputersociety.org/10.1109/SMA.2001.923383 db/conf/smi/smi2001.html#OhmoriK01

Masafumi Takahashi Tsuyoshi Nishikawa Mototsugu Hamada Toshinari Takayanagi Hideho Arakida Noriaki Machida Hideaki Yamamoto Toshihide Fujiyoshi Yoko Ohashi Osamu Yamagishi Tatsuo Samata Atsushi Asano Toshihiro Terazawa Kenji Ohmori Yoshinori Watanabe Hiroki Nakamura Shigenobu Minami Tadahiro Kuroda Tohru Furuyama A 60-MHz 240-mW MPEG-4 videophone LSI with 16-Mb embedded DRAM. 1713-1721 2000 35 IEEE J. Solid State Circuits 11 https://doi.org/10.1109/4.881219 db/journals/jssc/jssc35.html#TakahashiNHTAMY00

Kenji Ohmori Tosiyasu L. Kunii A Homotopy Model for Cup Lifting. 117-126 2000 conf/cgi/2000 Computer Graphics International https://doi.org/10.1109/CGI.2000.852327 https://doi.ieeecomputersociety.org/10.1109/CGI.2000.852327 db/conf/cgi/cgi2000.html#OhmoriK00 Masafumi Takahashi Tsuyoshi Nishikawa Hideho Arakida Noriaki Machida Hideaki Yamamoto Toshihide Fujiyoshi Yoko Matsumoto Osamu Yamagishi Tatsuo Samata Atsushi Asano Toshihiro Terazawa Kenji Ohmori Junya Shirakura Yoshinori Watanabe Hiroki Nakamura Shigenobu Minami Tohru Furuyama A scalable MPEG-4 video codec architecture for IMT-2000 multimedia applications. 188-191 2000 ISCAS https://doi.org/10.1109/ISCAS.2000.856290 conf/iscas/2000 db/conf/iscas/iscas2000.html#TakahashiNAMYFM00 Hansoo Cho Kenji Ohmori On-Line Hangul Character Recognition Using Multiple Neural Networks. 273-279 1998 conf/nc/1998 NC db/conf/nc/nc1998.html#ChoO98 Jem Daalder Peter W. Eklund Kenji Ohmori High-Level Synthesis Optimization with Genetic Algorithms. 276-287 1996 conf/pricai/1996 PRICAI db/conf/pricai/pricai96.html#DaalderEO96 https://doi.org/10.1007/3-540-61532-6_24 Kenji Ohmori Y. Haruki On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge. 508-509 1991 ICTAI https://doi.org/10.1109/TAI.1991.167036 https://doi.ieeecomputersociety.org/10.1109/TAI.1991.167036 conf/ictai/1991 db/conf/ictai/ictai1991.html#OhmoriH91

Shigeru Takasaki Tohru Sasaki Nobuyoshi Nomizu Nobuhiko Koike Kenji Ohmori Block-Level Hardware Logic Simulation Machine. 46-54 1987 6 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1 https://doi.org/10.1109/TCAD.1987.1270245 db/journals/tcad/tcad6.html#TakasakiSNKO87

Nobuhiko Koike Kenji Ohmori Tohru Sasaki HAL: A High-Speed Logic Simulation Machine. 61-73 1985 2 IEEE Des. Test 5 https://doi.org/10.1109/MDT.1985.294819 db/journals/dt/dt2.html#KoikeOS85

Nobuhiko Koike Kenji Ohmori MAN-YO : A Special Purpose Parallel Machine for Logic Design Automation. 583-590 1985 conf/icpp/1985 ICPP db/conf/icpp/icpp1985.html#KoikeO85 Tohru Sasaki Nobuhiko Koike Kenji Ohmori Kyoji Tomita HAL: A block level HArdware Logic simulator. 150-156 1983 DAC http://dl.acm.org/citation.cfm?id=800656 conf/dac/1983 db/conf/dac/dac1983.html#SasakiKOT83 Kenji Ohmori Nobuhiko Koike Koji Nezu Shun'ichi Suzuki MICS - A Multi-Microprocessor System. 98-102 1974 conf/ifip/1974 IFIP Congress db/conf/ifip/ifip74.html#OhmoriKNS74 Kenji Ohmori Sachio Naito T. Nanya Koji Nezu An application of cellular logic for high speed decoding of minimum-redundancy codes. 345-351 1972 AFIPS Fall Joint Computing Conference (1) https://doi.org/10.1145/1479992.1480040 conf/afips/1972f1 db/conf/afips/afips72f1.html#OhmoriNNN72 Parhat Ahmet Hideho Arakida Atsushi Asano Hansoo Cho Jem Daalder Peter W. Eklund Toshihide Fujiyoshi Tohru Furuyama Mototsugu Hamada Y. Haruki Hiroyuki Hasegawa Ranga Hettiarachchi Hiroshi Iwai Jun-ichi Iwata Kuniyuki Kakushima Yoshinori Kataoka Nobuhiko Koike Tosiyasu L. Kunii Tadahiro Kuroda Wona Lee Noriaki Machida Yoko Matsumoto Shigenobu Minami Ryo Mizutani Sachio Naito Hiroki Nakamura T. Nanya Kenji Natori Koji Nezu Tsuyoshi Nishikawa Akira Nishiyama Nobuyoshi Nomizu Yoko Ohashi Atsushi Oshiyama Tatsuo Samata Tohru Sasaki Soshi Sato Kenji Shiraishi Junya Shirakura Nobuyuki Sugii Shun'ichi Suzuki Masafumi Takahashi Shigeru Takasaki Toshinari Takayanagi Toshihiro Terazawa Kyoji Tomita Kazuo Tsutsui Hitoshi Wakabayashi Takanobu Watanabe Yoshinori Watanabe Yan Wu Keisaku Yamada Osamu Yamagishi Hideaki Yamamoto