Jia Lee

77 papers A* 3A 3B 2C 1Journal 37Unranked 28
YearRankTypeTitle / Venue / Authors
2026 — conf
Implementing the Morita Gate in an Asynchronous Cellular Automaton.
ASCAT
Binmao Liu, Jia Lee
2025 J jnl
Enhancing reliability of composed non-output-oblivious chemical reaction networks.
Nat. Comput.
Sihai Yu, Jia Lee, Teijiro Isokawa, Qianfei Mao
2025 J jnl
SMT-based robust model checking for signal temporal logic.
Sci. Comput. Program.
Jia Lee, Geunyeol Yu, Kyungmin Bae
2024 J jnl
A Cellular Automaton Approach for Efficient Computing on Surface Chemical Reaction Networks.
New Gener. Comput.
Sihai Yu, Wenli Xu, Jia Lee, Teijiro Isokawa
2024 J jnl
Land use and land cover change simulation enhanced by asynchronous communicating cellular automata.
Theor. Comput. Sci.
Qin Lei, Hong Jin, Jia Lee, Jiang Zhong
2024 J jnl
Universality of a surface chemical reaction network using only bi-molecular reactions.
J. Membr. Comput.
Sihai Yu, Jia Lee, Teijiro Isokawa
2023 — conf
On Implementation of Brownian Circuits by Swarm Agents.
CANDARW
Masahiro Kimura, Teijiro Isokawa, Ferdinand Peper, Sho Nakade, Jia Lee, Naotake Kamiura
2022 J jnl
Asynchronous communicating cellular automata: Formalization, robustness and equivalence.
Inf. Sci.
Qin Lei, Tao Li, Jia Lee, Wen-Li Xu, Ferdinand Peper
2022 — conf
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT.
CAV (1)
Geunyeol Yu, Jia Lee, Kyungmin Bae
2021 J jnl
Effective hierarchical clustering based on structural similarities in nearest neighbor graphs.
Knowl. Based Syst.
Chunrong Wu, Qinglan Peng, Jia Lee, Kenji Leibnitz, Yunni Xia
2021 A* conf
Efficient SMT-Based Model Checking for Signal Temporal Logic.
ASE
Jia Lee, Geunyeol Yu, Kyungmin Bae
2021 J jnl
Entropy-Based Classification of Elementary Cellular Automata under Asynchronous Updating: An Experimental Study.
Entropy
Qin Lei, Jia Lee, Xin Huang, Shuji Kawasaki
2021 B conf
Improving shepherding tasks through destination-orientated actions.
IJCNN
Jun Yao, Jia Lee, Xin Huang, Teijiro Isokawa
2021 A* conf
Robust Contextual Bandits via Bootstrapping.
AAAI
Qiao Tang, Hong Xie, Yunni Xia, Jia Lee, Qingsheng Zhu
2021 B conf
Three-lane Car-flowing Model Accounting for Variable Lane Change and Driving Behavior.
SMC
Xiaotong Yan, Jia Lee, Lingqiu Zeng, Yunni Xia
2020 A conf
A Decentralized Reactive Approach to Online Task Offloading in Mobile Edge Computing Environments.
ICSOC
Qinglan Peng, Yunni Xia, Yan Wang, Chunrong Wu, Xin Luo, Jia Lee
2020 J jnl
An efficient ontology-based topic-specific article recommendation model for best-fit reviewers.
Scientometrics
Gohar Rehman Chughtai, Jia Lee, Mahnoor Shahzadi, Asif Kabir, Muhammad Arshad Shehzad Hassan
2020 J jnl
Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements.
Theor. Comput. Sci.
Jia Lee, Ya-Hui Ye, Xin Huang, Rui-Long Yang
2020 J jnl
Local Peaks-Based Clustering Algorithm in Symmetric Neighborhood Graph.
IEEE Access
Zhi Liu, Chunrong Wu, Qinglan Peng, Jia Lee, Yunni Xia
2020 J jnl
Universal logic elements constructed on the Turing Tumble.
Nat. Comput.
Takahiro Tomita, Jia Lee, Teijiro Isokawa, Ferdinand Peper, Takayuki Yumoto, Naotake Kamiura
2019 J jnl
Bounded model checking of signal temporal logic properties using syntactic separation.
Proc. ACM Program. Lang.
Kyungmin Bae, Jia Lee
2019 J jnl
Efficient Clustering Method Based on Density Peaks With Symmetric Neighborhood Relationship.
IEEE Access
Chunrong Wu, Jia Lee, Teijiro Isokawa, Jun Yao, Yunni Xia
2019 A conf
Joint Operator Scaling and Placement for Distributed Stream Processing Applications in Edge Computing.
ICSOC
Qinglan Peng, Yunni Xia, Yan Wang, Chunrong Wu, Xin Luo, Jia Lee
2019 — conf
KLog-Home: A Holistic Approach of In-Situ Monitoring in Elderly-Care Home.
CSE/EUC
Byounghyun Yoo, Shapna Muralidharan, Chanwoong Lee, Jia Lee, Heedong Ko
2019 — conf
Mobility-Aware Tasks Offloading in Mobile Edge Computing Environment.
CANDAR
Chunrong Wu, Qinglan Peng, Yunni Xia, Jia Lee
2019 A conf
Mobility-Aware and Migration-Enabled Online Edge User Allocation in Mobile Edge Computing.
ICWS
Qinglan Peng, Yunni Xia, Feng Zeng, Jia Lee, Chunrong Wu, Xin Luo, Wanbo Zheng, Hui Liu, Yidan Qin, Peng Chen
2019 C conf
Optimal Device Management Service Selection in Internet-of-Things.
CollaborateCom
Weiling Li, Yunni Xia, Wanbo Zheng, Peng Chen, Jia Lee, Yawen Li
2019 — conf
Robustness of Elementary Cellular Automata to Asynchronous Transitions and Communications.
CANDAR Workshops
Qin Lei, Jia Lee, Kenji Leibnitz, Ferdinand Peper
2019 J jnl
Universal Computation in a Simplified Brownian Cellular Automaton with von Neumann Neighborhood.
Fundam. Informaticae
Wenli Xu, Jia Lee, Hui-Hui Chen, Teijiro Isokawa
2018 J jnl
A Game-of-Life-based Paradigm for Massively Parallel Computing on Asynchronous Circuits.
J. Cell. Autom.
Ya-Hui Ye, Jia Lee, Li-Wei Zhu
2018 — conf
Cellular Automaton Model for Turing Tumble Mechanical Computer.
CANDAR Workshops
Takahiro Tomita, Jia Lee, Teijiro Isokawa, Ferdinand Peper, Naotake Kamiura, Takayuki Yumoto
2018 — conf
Formalization of Asynchronous Cellular Automata Using Asynchronous Protocol for Communications.
CANDAR Workshops
Jia Lee, Ferdinand Peper, Kenji Leibnitz
2018 — ch.
Invertible Construction of Decimal-to-Binary Converter Using Reversible Elements.
Reversibility and Universality
Tai-Ran He, Jia Lee, Teijiro Isokawa
2018 — ch.
On Non-polar Token-Pass Brownian Circuits.
Reversibility and Universality
Ferdinand Peper, Jia Lee
2017 A* conf
Dualboard: integrated user interface between typing and handwriting.
SIGGRAPH ASIA (Posters)
Seunghyun Woo, Jia Lee, Changmok Kim
2017 — conf
On a Triangular Brownian Cellular Automaton with 4 States and 6 Rules.
CANDAR
Yuta Yamatani, Teijiro Isokawa, Jia Lee, Ferdinand Peper
2016 J jnl
Brownian Circuits: Designs.
Int. J. Unconv. Comput.
Jia Lee, Ferdinand Peper, Sorin Dan Cotofana, Makoto Naruse, Motoichi Ohtsu, Tadashi Kawazoe, Yasuo Takahashi, Tetsuya Shimokawa, Laszlo B. Kish, Tohru Kubota
2016 J jnl
Characterization of random fluctuation-based computation in cellular automata.
Inf. Sci.
Jia Lee, Ferdinand Peper, Kenji Leibnitz, Ping Gu
2016 — conf
Computation Based on Signal Random Fluctuation in Asynchronous Cellular Automata.
CANDAR
Wen-Li Xu, Jia Lee
2016 — conf
Universal 2-State 24-Neighborhood Asynchronous Cellular Automaton with Inner-Independent Open Rule.
CANDAR
Susumu Adachi, Jia Lee, Ferdinand Peper, Hiroshi Umeo
2015 J jnl
General design of reversible sequential machines based on reversible logic elements.
Theor. Comput. Sci.
Ming-Xiao Tang, Jia Lee, Kenichi Morita
2014 — conf
Embedding Game of Life into a Simple Asynchronous Cellular Automaton.
CANDAR
Wen-Hu Zhou, Jia Lee, Guo-Long Li, Katsunobu Imai
2014 J jnl
Emergence of universal global behavior from reversible local transitions in asynchronous systems.
Inf. Sci.
Jia Lee, Susumu Adachi, Yunni Xia, Qingsheng Zhu
2014 — conf
Reliable Crossing of Signals in Asynchronous Cellular Automata.
CANDAR
Tai-Ran He, Guo-Long Li, Jia Lee, Ferdinand Peper
2013 J jnl
Brownian Circuits: Fundamentals.
ACM J. Emerg. Technol. Comput. Syst.
Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, Kenichi Morita
2013 — conf
Computing on a Simple Asynchronous Cellular Automaton.
CANDAR
Jia Lee, Ferdinand Peper, Katsunobu Imai
2012 J jnl
A Direct Proof of Turing Universality of Delay-Insensitive Circuits.
Int. J. Unconv. Comput.
Jia Lee, Qingsheng Zhu
2012 J jnl
Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements.
Theor. Comput. Sci.
Jia Lee, Rui-Long Yang, Kenichi Morita
2012 — conf
Determining the Critical Temperature of the Continuous-State Game of Life.
ACRI
Susumu Adachi, Jia Lee, Ferdinand Peper, Teijiro Isokawa, Katsunobu Imai
2012 J jnl
Fluctuation-driven computing on number-conserving cellular automata.
Inf. Sci.
Jia Lee, Katsunobu Imai, Qingsheng Zhu
2012 — conf
On Construction by Worm-Like Agents on a Self-timed Cellular Automaton.
ACRI
Daichi Takata, Teijiro Isokawa, Jia Lee, Ferdinand Peper, Nobuyuki Matsui
2011 J jnl
A Partitioned Cellular Automaton Approach for Efficient Implementation of Asynchronous Circuits.
Comput. J.
Jia Lee, Susumu Adachi, Ferdinand Peper
2011 J jnl
A Simple Model of Asynchronous Cellular Automata Exploiting Fluctuation.
J. Cell. Autom.
Jia Lee
2010 J jnl
Brownian Cellular Automata.
J. Cell. Autom.
Ferdinand Peper, Jia Lee, Teijiro Isokawa
2010 J jnl
Decomposing Fredkin Gate into Simple Reversible Elements with Memory.
J. Digit. Content Technol. its Appl.
Jia Lee, Xin Huang, Qingsheng Zhu
2010 — conf
Efficient Circuit Construction in Brownian Cellular Automata Based on a New Building-Block for Delay-Insensitive Circuits.
ACRI
Jia Lee, Ferdinand Peper
2010 — ch.
Variations on the Game of Life.
Game of Life Cellular Automata
Ferdinand Peper, Susumu Adachi, Jia Lee
2009 J jnl
Cellular Nanocomputers: A Focused Review.
Int. J. Nanotechnol. Mol. Comput.
Ferdinand Peper, Jia Lee, Susumu Adachi, Teijiro Isokawa
2009 — conf
Efficient Computation in Brownian Cellular Automata.
IWNC
Jia Lee, Ferdinand Peper
2009 — conf
Universal 2-State Asynchronous Cellular Automaton with Inner-Independent Transitions.
IWNC
Susumu Adachi, Jia Lee, Ferdinand Peper
2008 — conf
An Asynchronous Cellular Automaton Implementing 2-State 2-Input 2-Output Reversed-Twin Reversible Elements.
ACRI
Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita
2008 — conf
Occurrence of Gliders in an Infinite Class of Life-Like Cellular Automata.
ACRI
Susumu Adachi, Ferdinand Peper, Jia Lee, Hiroshi Umeo
2008 — conf
On Brownian cellular automata.
Automata
Jia Lee, Ferdinand Peper
2007 J jnl
Reliable Self-Replicating Machines in Asynchronous Cellular Automata.
Artif. Life
Jia Lee, Susumu Adachi, Ferdinand Peper
2006 — conf
Facilitating interdisciplinary design specification of "smart" homes for aging in place.
MIE
George Demiris, Marjorie Skubic, Marilyn Rantz, Karen L. Courtney, Myra Aud, Harry W. Tyrer, Zhihai He, Jia Lee
2005 J jnl
Delay-insensitive computation in asynchronous cellular automata.
J. Comput. Syst. Sci.
Jia Lee, Susumu Adachi, Ferdinand Peper, Shinro Mashiko
2005 J jnl
Universal delay-insensitive systems with buffering lines.
IEEE Trans. Circuits Syst. I Regul. Pap.
Jia Lee, Ferdinand Peper, Susumu Adachi, Shinro Mashiko
2004 J jnl
On Signals in Asynchronous Cellular Spaces.
IEICE Trans. Inf. Syst.
Susumu Adachi, Jia Lee, Ferdinand Peper
2004 — conf
Synchronization of Protein Motors Modeled by Asynchronous Cellular Automata.
ACRI
Ferdinand Peper, Kazuhiro Oiwa, Susumu Adachi, Chikako Shingyoji, Jia Lee
2004 J jnl
Universal Delay-Insensitive Circuits with Bidirectional and Buffering Lines.
IEEE Trans. Computers
Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita
2004 — conf
Universality of Hexagonal Asynchronous Totalistic Cellular Automata.
ACRI
Susumu Adachi, Ferdinand Peper, Jia Lee
2003 J jnl
Embedding Universal Delay-Insensitive Circuits in Asynchronous Cellular Spaces.
Fundam. Informaticae
Jia Lee, Susumu Adachi, Ferdinand Peper, Kenichi Morita
2003 J jnl
Simulation of one-dimensional cellular automata by uniquely parallel parsable grammars.
Theor. Comput. Sci.
Jia Lee, Katsunobu Imai, Kenichi Morita
2002 — conf
Reversible Computation in Asynchronous Cellular Automata.
UMC
Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita, Shinro Mashiko
2001 — conf
Generation and Parsing of Morphism Languages by Uniquely Parallel Parsable Grammars.
Words, Semigroups, and Transductions
Jia Lee, Kenichi Morita
2000 — conf
Characterizing the Class of Deterministic Context-Free Languages by Semi-Right-Terminating Uniquely Parsable Grammars.
Recent Topics in Mathematical and Computational Linguistics
Kenichi Morita, Jia Lee
2000 J jnl
Uniquely Parsable Unification Grammars and Their Parser Implemented in Prolog.
Grammars
Jia Lee, Kenichi Morita, Hiroki Asou, Katsunobu Imai