Jia Lee

Kyungmin Bae

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Effective hierarchical clustering based on structural similarities in nearest neighbor graphs.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2021

Entropy-Based Classification of Elementary Cellular Automata under Asynchronous Updating: An Experimental Study.

[BibT_eX]

[DOI]

Entropy, 2021

Three-lane Car-flowing Model Accounting for Variable Lane Change and Driving Behavior.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Efficient SMT-Based Model Checking for Signal Temporal Logic.

[BibT_eX]

[DOI]

Geunyeol Yu

Kyungmin Bae

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Improving shepherding tasks through destination-orientated actions.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

Robust Contextual Bandits via Bootstrapping.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

An efficient ontology-based topic-specific article recommendation model for best-fit reviewers.

[BibT_eX]

[DOI]

Gohar Rehman Chughtai

Muhammad Arshad Shehzad Hassan

Mahnoor Shahzadi

Asif Kabir

Scientometrics, 2020

Universal logic elements constructed on the Turing Tumble.

[BibT_eX]

[DOI]

Nat. Comput., 2020

Local Peaks-Based Clustering Algorithm in Symmetric Neighborhood Graph.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Decentralized Reactive Approach to Online Task Offloading in Mobile Edge Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

2019

Bounded model checking of signal temporal logic properties using syntactic separation.

[BibT_eX]

[DOI]

Kyungmin Bae

Proc. ACM Program. Lang., 2019

Universal Computation in a Simplified Brownian Cellular Automaton with von Neumann Neighborhood.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Efficient Clustering Method Based on Density Peaks With Symmetric Neighborhood Relationship.

[BibT_eX]

[DOI]

IEEE Access, 2019

Mobility-Aware and Migration-Enabled Online Edge User Allocation in Mobile Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Web Services, 2019

Joint Operator Scaling and Placement for Distributed Stream Processing Applications in Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Mobility-Aware Tasks Offloading in Mobile Edge Computing Environment.

[BibT_eX]

[DOI]

Proceedings of the 2019 Seventh International Symposium on Computing and Networking, 2019

Robustness of Elementary Cellular Automata to Asynchronous Transitions and Communications.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

KLog-Home: A Holistic Approach of In-Situ Monitoring in Elderly-Care Home.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Computational Science and Engineering, 2019

Optimal Device Management Service Selection in Internet-of-Things.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2018

A Game-of-Life-based Paradigm for Massively Parallel Computing on Asynchronous Circuits.

[BibT_eX]

[DOI]

Ya-Hui Ye

Li-Wei Zhu

J. Cell. Autom., 2018

Cellular Automaton Model for Turing Tumble Mechanical Computer.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Computing and Networking, 2018

Formalization of Asynchronous Cellular Automata Using Asynchronous Protocol for Communications.

[BibT_eX]

[DOI]

Kenji Leibnitz

Proceedings of the Sixth International Symposium on Computing and Networking, 2018

On Non-polar Token-Pass Brownian Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversibility and Universality, 2018

Invertible Construction of Decimal-to-Binary Converter Using Reversible Elements.

[BibT_eX]

[DOI]

Tai-Ran He

Teijiro Isokawa

Proceedings of the Reversibility and Universality, 2018

2017

Dualboard: integrated user interface between typing and handwriting.

[BibT_eX]

[DOI]

Seunghyun Woo

Changmok Kim

Proceedings of the SIGGRAPH Asia 2017 Posters, Bangkok, Thailand, November 27 - 30, 2017, 2017

On a Triangular Brownian Cellular Automaton with 4 States and 6 Rules.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016

Characterization of random fluctuation-based computation in cellular automata.

[BibT_eX]

[DOI]

Inf. Sci., 2016

Brownian Circuits: Designs.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2016

Computation Based on Signal Random Fluctuation in Asynchronous Cellular Automata.

[BibT_eX]

[DOI]

Wen-Li Xu

Proceedings of the Fourth International Symposium on Computing and Networking, 2016

Universal 2-State 24-Neighborhood Asynchronous Cellular Automaton with Inner-Independent Open Rule.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Computing and Networking, 2016

2015

General design of reversible sequential machines based on reversible logic elements.

[BibT_eX]

[DOI]

Ming-Xiao Tang

Theor. Comput. Sci., 2015

2014

Emergence of universal global behavior from reversible local transitions in asynchronous systems.

[BibT_eX]

[DOI]

Inf. Sci., 2014

Embedding Game of Life into a Simple Asynchronous Cellular Automaton.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

Reliable Crossing of Signals in Asynchronous Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

2013

Brownian Circuits: Fundamentals.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2013

Computing on a Simple Asynchronous Cellular Automaton.

[BibT_eX]

[DOI]

Katsunobu Imai

Proceedings of the First International Symposium on Computing and Networking, 2013

2012

Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements.

[BibT_eX]

[DOI]

Rui-Long Yang

Theor. Comput. Sci., 2012

Fluctuation-driven computing on number-conserving cellular automata.

[BibT_eX]

[DOI]

Katsunobu Imai

Qingsheng Zhu

Inf. Sci., 2012

A Direct Proof of Turing Universality of Delay-Insensitive Circuits.

[BibT_eX]

[DOI]

Qingsheng Zhu

Int. J. Unconv. Comput., 2012

On Construction by Worm-Like Agents on a Self-timed Cellular Automaton.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2012

Determining the Critical Temperature of the Continuous-State Game of Life.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2012

2011

A Simple Model of Asynchronous Cellular Automata Exploiting Fluctuation.

[BibT_eX]

[DOI]

J. Cell. Autom., 2011

A Partitioned Cellular Automaton Approach for Efficient Implementation of Asynchronous Circuits.

[BibT_eX]

[DOI]

Comput. J., 2011

2010

Decomposing Fredkin Gate into Simple Reversible Elements with Memory.

[BibT_eX]

[DOI]

Xin Huang

Qingsheng Zhu

J. Digit. Content Technol. its Appl., 2010

Brownian Cellular Automata.

[BibT_eX]

[DOI]

Teijiro Isokawa

J. Cell. Autom., 2010

Efficient Circuit Construction in Brownian Cellular Automata Based on a New Building-Block for Delay-Insensitive Circuits.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2010

Variations on the Game of Life.

[BibT_eX]

[DOI]

Proceedings of the Game of Life Cellular Automata., 2010

2009

Cellular Nanocomputers: A Focused Review.

[BibT_eX]

[DOI]

Int. J. Nanotechnol. Mol. Comput., 2009

Efficient Computation in Brownian Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Natural Computing - 4th International Workshop on Natural Computing, 2009

Universal 2-State Asynchronous Cellular Automaton with Inner-Independent Transitions.

[BibT_eX]

[DOI]

Proceedings of the Natural Computing - 4th International Workshop on Natural Computing, 2009

2008

On Brownian cellular automata.

[BibT_eX]

Proceedings of the Automata 2008: Theory and Applications of Cellular Automata, 2008

An Asynchronous Cellular Automaton Implementing 2-State 2-Input 2-Output Reversed-Twin Reversible Elements.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2008

Occurrence of Gliders in an Infinite Class of Life-Like Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2008

2007

Reliable Self-Replicating Machines in Asynchronous Cellular Automata.

[BibT_eX]

[DOI]

Artif. Life, 2007

2006

Facilitating interdisciplinary design specification of "smart" homes for aging in place.

[BibT_eX]

[DOI]

Proceedings of the Ubiquity: Technologies for Better Health in Aging Societies, 2006

2005

Universal delay-insensitive systems with buffering lines.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. I Regul. Pap., 2005

Delay-insensitive computation in asynchronous cellular automata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2005

2004

Universal Delay-Insensitive Circuits with Bidirectional and Buffering Lines.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2004

On Signals in Asynchronous Cellular Spaces.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2004

Synchronization of Protein Motors Modeled by Asynchronous Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2004

Universality of Hexagonal Asynchronous Totalistic Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2004

2003

Simulation of one-dimensional cellular automata by uniquely parallel parsable grammars.

[BibT_eX]

[DOI]

Katsunobu Imai

Theor. Comput. Sci., 2003

Embedding Universal Delay-Insensitive Circuits in Asynchronous Cellular Spaces.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2002

Reversible Computation in Asynchronous Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

2001

Generation and Parsing of Morphism Languages by Uniquely Parallel Parsable Grammars.

[BibT_eX]

Proceedings of the Words, Semigroups, and Transductions, 2001

2000

Uniquely Parsable Unification Grammars and Their Parser Implemented in Prolog.

[BibT_eX]

[DOI]

Grammars, 2000

Characterizing the Class of Deterministic Context-Free Languages by Semi-Right-Terminating Uniquely Parsable Grammars.

[BibT_eX]