Kenji Ohmori

40 papers A* 1B 3C 14Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
Formalization of Kublai Khan's globalization using Kunii's incrementally modular abstraction hierarchy.
Vis. Comput.
Kenji Ohmori
2015 — conf
Development of Functional Reactive Programming Using an Incrementally Modular Abstraction Hierarchy.
ICITCS
Kenji Ohmori
2014 J jnl
A novel hetero-junction Tunnel-FET using Semiconducting silicide-Silicon contact and its scalability.
Microelectron. Reliab.
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
2014 C conf
Clay Flower Creation Based on Homotopy Type Theory.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2014 C conf
Functorial Classification of Political Groups in the Meiji Restoration.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2014 J jnl
Incrementally Modular Abstraction Hierarchy Using Algebraic Topology.
Trans. Comput. Sci.
Kenji Ohmori, Tosiyasu L. Kunii
2013 C conf
A General Design Method Based on Algebraic Topology - A Divide and Conquer Method.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2013 J jnl
Mathematical Foundations for Designing a 3-Dimensional Sketch Book.
Trans. Comput. Sci.
Kenji Ohmori, Tosiyasu L. Kunii
2012 C conf
A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor.
CW
Ryo Mizutani, Kenji Ohmori
2012 — conf
Effect of substrate bias on frequency dependence of MOSFET noise intensity.
ESSDERC
Kenji Ohmori, Ranga Hettiarachchi, Keisaku Yamada
2012 C conf
Three Dimensional Sketch for a Landscape Using Morse Theory and Reeb Graphs.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2012 J jnl
Visualization of Joinery Using Homotopy Theory and Attaching Maps.
Trans. Comput. Sci.
Kenji Ohmori, Tosiyasu L. Kunii
2011 J jnl
Si nanowire FET and its modeling.
Sci. China Inf. Sci.
Hiroshi Iwai, Kenji Natori, Kenji Shiraishi, Jun-ichi Iwata, Atsushi Oshiyama, Keisaku Yamada, Kenji Ohmori, Kuniyuki Kakushima, Parhat Ahmet
2011 J jnl
Structural advantages of rectangular-like channel cross-section on electrical characteristics of silicon nanowire field-effect transistors.
Microelectron. Reliab.
Soshi Sato, Kuniyuki Kakushima, Parhat Ahmet, Kenji Ohmori, Kenji Natori, Keisaku Yamada, Hiroshi Iwai
2011 C conf
Visualized Deformation of Joinery to Understand Jointing Process by Homotopy Theory and Attaching Maps.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2010 C conf
A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2010 J jnl
Designing and modeling cyberworlds using the incrementally modular abstraction hierarchy based on homotopy theory.
Vis. Comput.
Kenji Ohmori, Tosiyasu L. Kunii
2009 — conf
Enterprise System Development with Invariant Preserving - A Mathematical Approach by the Homotopy Lifting and Extension Properties.
ICEIS (3)
Kenji Ohmori, Tosiyasu L. Kunii
2009 C conf
Mathematical Foundation for Designing and Modeling Cyberworlds.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2008 C conf
Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2007 — conf
Development of an accounting system - applying the incrementally modular abstraction hierarchy to a complex system.
ICEIS (1)
Kenji Ohmori, Tosiyasu L. Kunii
2007 C conf
The Mathematical Structure of Cyberworlds.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2006 J jnl
A kaleidoscope as a cyberworld and its animation: linear architecture and modeling based on an incrementally modular abstraction hierarchy.
Comput. Animat. Virtual Worlds
Tosiyasu L. Kunii, Kenji Ohmori
2006 C conf
An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology.
CW
Kenji Ohmori, Tosiyasu L. Kunii
2006 J jnl
Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy.
Vis. Comput.
Tosiyasu L. Kunii, Kenji Ohmori
2005 — conf
An Internet Accounting System: A Large Scale Software System Development Using Model Driven Architecture.
ICEIS (1)
Kenji Ohmori
2002 C conf
Shape Modeling Using Cellular Structured Spaces.
CW
Kenji Ohmori, Wona Lee
2001 — conf
Shape Modeling Using Homotopy.
Shape Modeling International
Kenji Ohmori, Tosiyasu L. Kunii
2000 J jnl
A 60-MHz 240-mW MPEG-4 videophone LSI with 16-Mb embedded DRAM.
IEEE J. Solid State Circuits
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
2000 C conf
A Homotopy Model for Cup Lifting.
Computer Graphics International
Kenji Ohmori, Tosiyasu L. Kunii
2000 C conf
A scalable MPEG-4 video codec architecture for IMT-2000 multimedia applications.
ISCAS
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
1998 — conf
On-Line Hangul Character Recognition Using Multiple Neural Networks.
NC
Hansoo Cho, Kenji Ohmori
1996 B conf
High-Level Synthesis Optimization with Genetic Algorithms.
PRICAI
Jem Daalder, Peter W. Eklund, Kenji Ohmori
1991 B conf
On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge.
ICTAI
Kenji Ohmori, Y. Haruki
1987 J jnl
Block-Level Hardware Logic Simulation Machine.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shigeru Takasaki, Tohru Sasaki, Nobuyoshi Nomizu, Nobuhiko Koike, Kenji Ohmori
1985 J jnl
HAL: A High-Speed Logic Simulation Machine.
IEEE Des. Test
Nobuhiko Koike, Kenji Ohmori, Tohru Sasaki
1985 B conf
MAN-YO : A Special Purpose Parallel Machine for Logic Design Automation.
ICPP
Nobuhiko Koike, Kenji Ohmori
1983 A* conf
HAL: A block level HArdware Logic simulator.
DAC
Tohru Sasaki, Nobuhiko Koike, Kenji Ohmori, Kyoji Tomita
1974 — conf
MICS - A Multi-Microprocessor System.
IFIP Congress
Kenji Ohmori, Nobuhiko Koike, Koji Nezu, Shun'ichi Suzuki
1972 — conf
An application of cellular logic for high speed decoding of minimum-redundancy codes.
AFIPS Fall Joint Computing Conference (1)
Kenji Ohmori, Sachio Naito, T. Nanya, Koji Nezu