Kenji Ohmori

Orcid: 0000-0003-2160-974X

According to our database1, Kenji Ohmori authored at least 40 papers between 1972 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Incrementally Modular Abstraction Hierarchy Using Algebraic Topology.
Trans. Comput. Sci., 2014

A novel hetero-junction Tunnel-FET using Semiconducting silicide-Silicon contact and its scalability.
Microelectron. Reliab., 2014

Clay Flower Creation Based on Homotopy Type Theory.
Proceedings of the 2014 International Conference on Cyberworlds, 2014

Functorial Classification of Political Groups in the Meiji Restoration.
Proceedings of the 2014 International Conference on Cyberworlds, 2014

2013
Mathematical Foundations for Designing a 3-Dimensional Sketch Book.
Trans. Comput. Sci., 2013

A General Design Method Based on Algebraic Topology - A Divide and Conquer Method.
Proceedings of the 2013 International Conference on Cyberworlds, 2013

2012
Visualization of Joinery Using Homotopy Theory and Attaching Maps.
Trans. Comput. Sci., 2012

Effect of substrate bias on frequency dependence of MOSFET noise intensity.
Proceedings of the 2012 European Solid-State Device Research Conference, 2012

Three Dimensional Sketch for a Landscape Using Morse Theory and Reeb Graphs.
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

Si nanowire FET and its modeling.
Sci. China Inf. Sci., 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
Mathematical Foundation for Designing and Modeling Cyberworlds.
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

The Mathematical Structure of Cyberworlds.
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
Shape Modeling Using Cellular Structured Spaces.
Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002

2001
Shape Modeling Using Homotopy.
Proceedings of the 2001 International Conference on Shape Modeling and Applications (SMI 2001), 2001

2000
A 60-MHz 240-mW MPEG-4 videophone LSI with 16-Mb embedded DRAM.
IEEE J. Solid State Circuits, 2000

A scalable MPEG-4 video codec architecture for IMT-2000 multimedia applications.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

A Homotopy Model for Cup Lifting.
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
High-Level Synthesis Optimization with Genetic Algorithms.
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
Block-Level Hardware Logic Simulation Machine.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

1985
HAL: A High-Speed Logic Simulation Machine.
IEEE Des. Test, 1985

MAN-YO : A Special Purpose Parallel Machine for Logic Design Automation.
Proceedings of the International Conference on Parallel Processing, 1985

1983
HAL: A block level HArdware Logic simulator.
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


  Loading...