Kenji Ohmori
Orcid: 0000-0003-2160-974X
According to our database1,
Kenji Ohmori
authored at least 40 papers
between 1972 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Formalization of Kublai Khan's globalization using Kunii's incrementally modular abstraction hierarchy.
Vis. Comput., 2021
2015
Development of Functional Reactive Programming Using an Incrementally Modular Abstraction Hierarchy.
Proceedings of the 5th International Conference on IT Convergence and Security, 2015
2014
Trans. Comput. Sci., 2014
A novel hetero-junction Tunnel-FET using Semiconducting silicide-Silicon contact and its scalability.
Microelectron. Reliab., 2014
Proceedings of the 2014 International Conference on Cyberworlds, 2014
Proceedings of the 2014 International Conference on Cyberworlds, 2014
2013
Trans. Comput. Sci., 2013
Proceedings of the 2013 International Conference on Cyberworlds, 2013
2012
Trans. Comput. Sci., 2012
Proceedings of the 2012 European Solid-State Device Research Conference, 2012
Proceedings of the 2012 International Conference on Cyberworlds, 2012
A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor.
Proceedings of the 2012 International Conference on Cyberworlds, 2012
2011
Structural advantages of rectangular-like channel cross-section on electrical characteristics of silicon nanowire field-effect transistors.
Microelectron. Reliab., 2011
Visualized Deformation of Joinery to Understand Jointing Process by Homotopy Theory and Attaching Maps.
Proceedings of the 2011 International Conference on Cyberworlds, 2011
2010
Designing and modeling cyberworlds using the incrementally modular abstraction hierarchy based on homotopy theory.
Vis. Comput., 2010
A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.
Proceedings of the 2010 International Conference on CyberWorlds, 2010
2009
Proceedings of the 2009 International Conference on CyberWorlds, 2009
Enterprise System Development with Invariant Preserving - A Mathematical Approach by the Homotopy Lifting and Extension Properties.
Proceedings of the ICEIS 2009, 2009
2008
Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality.
Proceedings of the International Conference on Cyberworlds 2008, 2008
2007
Development of an accounting system - applying the incrementally modular abstraction hierarchy to a complex system.
Proceedings of the ICEIS 2007, 2007
Proceedings of the 2007 International Conference on Cyberworlds, 2007
2006
Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy.
Vis. Comput., 2006
A kaleidoscope as a cyberworld and its animation: linear architecture and modeling based on an incrementally modular abstraction hierarchy.
Comput. Animat. Virtual Worlds, 2006
An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology.
Proceedings of the 5th International Conference on Cyberworlds (CW 2006), 2006
2005
An Internet Accounting System: A Large Scale Software System Development Using Model Driven Architecture.
Proceedings of the ICEIS 2005, 2005
2002
Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002
2001
Proceedings of the 2001 International Conference on Shape Modeling and Applications (SMI 2001), 2001
2000
IEEE J. Solid State Circuits, 2000
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000
Proceedings of the Computer Graphics International Conference, 2000
1998
On-Line Hangul Character Recognition Using Multiple Neural Networks.
Proceedings of the International ICSC / IFAC Symposium on Neural Computation (NC 1998), 1998
1996
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996
1991
On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
1987
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987
1985
MAN-YO : A Special Purpose Parallel Machine for Logic Design Automation.
Proceedings of the International Conference on Parallel Processing, 1985
1983
Proceedings of the 20th Design Automation Conference, 1983
1974
MICS - A Multi-Microprocessor System.
Proceedings of the Information Processing, 1974
1972
An application of cellular logic for high speed decoding of minimum-redundancy codes.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972