MANDELA: A LogicBased Knowledge Programming System. - Koichi Furukawa; Akikazu Takeuchi; Susumu Kunifuji; Hideki Yasukawa; Masaru Ohki; Kazunori Ueda (FGCS, 1984)

What is a Variable in Prolog? - Hideyuki Nakashima; Satoru Tomura; Kazunori Ueda (FGCS, 1984)

Efficient Stream/Array Processing in Logic Programming Languages. - Kazunori Ueda; Takashi Chikayama (FGCS, 1984)

Guarded Horn Clauses. - Kazunori Ueda (LP, 1985)

Concurrent Prolog Compiler on Top of Prolog. - Kazunori Ueda; Takashi Chikayama (SLP, 1985)

Guarded Horn Clauses and Experience with Parallel Logic Programming. - Jiro Tanaka; Kazunori Ueda; Tashihiko Miyazaki; Akikazu Takeuchi; Yuji Matsumoto 001; Koichi Furukawa (FJCC, 1986)

Making Exhaustive Search Programs Deterministic, Part II. - Kazunori Ueda (ICLP, 1987)

Making Exhaustive Search Programs Deterministic. - Kazunori Ueda (New Gener. Comput., 1987)

Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project. - Kazunori Ueda (FGCS, 1988)

Transformation Rules for GHC Programs. - Kazunori Ueda; Koichi Furukawa (FGCS, 1988)

GHC - A Language for a New Age of Parallel Programming. - Koichi Furukawa; Kazunori Ueda (FSTTCS, 1988)

Parallelism in Logic Programming. - Kazunori Ueda (IFIP Congress, 1989)

A New Implementation Technique for Flat GHC. - Kazunori Ueda; Masao Morita (ICLP, 1990)

Design of the Kernel Language for the Parallel Inference Machine. - Kazunori Ueda; Takashi Chikayama (Comput. J., 1990)

The Fifth Generation Project: Personal Perspectives. - Ehud Shapiro; David H. D. Warren; Kazuhiro Fuchi; Robert A. Kowalski; Koichi Furukawa; Kazunori Ueda; Kenneth M. Kahn; Takashi Chikayama; Evan Tick (Commun. ACM, 1993)

Message-Oriented Parallel Implementation of Moded Flat GHC. - Kazunori Ueda; Masao Morita (New Gener. Comput., 1993)

The Mode System of Moded Flat GHC. - Kazunori Ueda (Specification of Parallel Algorithms, 1994)

Research on programming languages for massively parallel processing. - Makoto Amamiya; Masahiko Satoh; Akifumi Makinouchi; Ken-Ichi Hagiwara; Taiichi Yuasa; Hitoshi Aida; Kazunori Ueda; Keijiro Araki; Tetsuo Ida; Takanobu Baba (ISPAN, 1994)

I/O Mode Analysis in Concurrent Logic Programming. - Kazunori Ueda (Theory and Practice of Parallel Programming, 1994)

Moded Flat GHC and Its Message-Oriented Implementation Technique. - Kazunori Ueda; Masao Morita (New Gener. Comput., 1994)

Experiences with Strong Moding in Concurrent Logic/Constraint Programming. - Kazunori Ueda (PSLS, 1995)

Diagnosing Non-Well-Moded Concurrent Logic Programs. - Kenta Cho 003; Kazunori Ueda (JICSLP, 1996)

A TV News Recommendation System with Automatic Recomposition. - Junzo Kamahara; Yuji Nomura; Kazunori Ueda; Keishi Kandori; Shinji Shimojo; Hideo Miyahara (AMCP, 1998)

Error-Correcting Source Code. - Yasuhiro Ajiro; Kazunori Ueda; Kenta Cho 003 (CP, 1998)

Concurrent Logic/Constraint Programming: The Next 10 Years. - Kazunori Ueda (The Logic Programming Paradigm, 1999)

Linearity Analysis of Concurrent Logic Programs. - Kazunori Ueda (WOID@ICLP, 1999)

Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. - Norio Kato; Kazunori Ueda (APLAS, 2001)

Resource-Passing Concurrent Programming. - Kazunori Ueda (APLAS, 2001)

An Architecture of Personalized Sports Digest System with Scenario Templates. - Michiya Okamoto; Kazunori Ueda; Junzo Kamahara; Shinji Shimojo; Hideo Miyahara (DASFAA, 2001)

A Close Look at Constraint-Based Concurrency. - Kazunori Ueda (ICLP, 2001)

Programming with Logical Links. - Kazunori Ueda (APLAS, 2002)

A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. - Kazunori Ueda (Computational Logic: Logic Programming and Beyond, 2002)

Kima: An Automated Error Correction System for Concurrent Logic Programs. - Yasuhiro Ajiro; Kazunori Ueda (Autom. Softw. Eng., 2002)

Editorial: Functional and Logic Programming. - Herbert Kuchen; Kazunori Ueda (J. Funct. Log. Program., 2002)

The Language Model LMNtal. - Kazunori Ueda; Norio Kato (ICLP, 2003)

Design and Implementation of Real-Time Digital Video Streaming System over IPv6 Network using Feedback Control. - Kazunori Ueda; Hiroyuki Ohsaki; Shinji Shimojo; Hideo Miyahara (SAINT, 2003)

LMNtal: A Language Model with Links and Membranes. - Kazunori Ueda; Norio Kato (Workshop on Membrane Computing, 2004)

Constraint-Based Concurrency and Beyond. - Kazunori Ueda (APC 25, 2005)

LMNtal as a Unifying Declarative Language: Live Demonstration. - Kazunori Ueda; Norio Kato; Koji Hara; Ken Mizuno (ICLP, 2006)

Encoding Distributed Process Calculi into LMNtal. - Kazunori Ueda (LIX, 2006)

Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. - Kazunori Ueda (RTA, 2008)

Interval-based Solving of Hybrid Constraint Systems. - Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe; Alexandre Goldsztejn (ADHS, 2009)

Asymmetric DHT Based on Performance of Peers. - Kazunori Ueda; Kazuhisa Kawada (APNOMS, 2009)

Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. - Kazunori Ueda; Takayuki Ayano; Taisuke Hori; Hiroki Iwasawa; Seiji Ogawa (ICTAC, 2009)

Proposal of an Initial Route Establishment Method in Wireless Mesh Networks. - Kazunori Ueda; Ken-ichi Baba (SAINT, 2009)

c-sat: A Parallel SAT Solver for Clusters. - Kei Ohmura; Kazunori Ueda (SAT, 2009)

Simulation of hybrid systems based on hierarchical interval constraints. - Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe (SimuTools, 2009)

LMNtal as a hierarchical logic programming language. - Kazunori Ueda (Theor. Comput. Sci., 2009)

Peer-to-Peer contents delivery system considering network distance. - Takuya Okubo; Kazunori Ueda (APNOMS, 2011)

An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. - Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe (Int. J. Softw. Tools Technol. Transf., 2011)

Peer-to-Peer contents distribution system using multiple peer clusters. - Kazunori Ueda; Takuya Okubo (APNOMS, 2012)

HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. - Kazunori Ueda; Seiji Ogawa (Künstliche Intell., 2012)

Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5). - Philippe Codognet; Kazunori Ueda; Hiroshi Hosobe (NII Shonan Meet. Rep., 2012)

A Method for Establishing Routes and IPv6 Addressing Based on the Estimated Distance from Neighboring Nodes in Wireless Mesh Networks. - Yuta Maruoka; Kazunori Ueda (AINA Workshops, 2013)

Analysis of peer cluster layers selection criteria for P2P contents distribution systems. - Kazunori Ueda; Jun-ichi Akase; Takuya Okubo (APNOMS, 2013)

Design and Implementation of a Cache-less P2P Web Proxy. - Masashi Nishimine; Kazunori Ueda (BWCCA, 2013)

Routing Method Based on Relationships between Neighboring Nodes in Wireless Mesh Networks. - Wataru Kobayashi; Yuta Maruoka; Kazunori Ueda (AINA Workshops, 2014)

Towards a Substrate Framework of Computation. - Kazunori Ueda (Concurrent Objects and Beyond, 2014)

Cooperation P2P Web Proxy to Reduce Resource Usage. - Kazuki Matsushita; Masashi Nishimine; Kazunori Ueda (NBiS, 2014)

Network information sharing system with peer-to-peer network applications. - Kazunori Ueda; Norio Kimura (APNOMS, 2015)

Cooperative Cache Distribution System for Virtual P2P Web Proxy. - Kazuki Matsushita; Masashi Nishimine; Kazunori Ueda (COMPSAC Workshops, 2015)

Performance evaluation of WMN routing methods considering amount of control packets. - Shizuya Irimoto; Yuta Maruoka; Kazunori Ueda (ICMU, 2015)

Performance Evaluation of Routing Method Based on Neighboring Node Information in WMN. - Wataru Kobayashi; Kazunori Ueda; Yuta Maruoka (NBiS, 2015)

Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging. - Hiroaki Akutsu; Kazunori Ueda; Takeru Chiba; Tomohiro Kawaguchi; Norio Shimozono (PDP, 2015)

HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. - Shota Matsumoto; Fumihiko Kono; Teruya Kobayashi; Kazunori Ueda (NSV, 2015)

Preface. - Yuxi Fu; Kazunori Ueda (Math. Struct. Comput. Sci., 2015)

Improvement of WMNs routing method for the purpose of reduction of control communications. - Shinya Yano; Kazunori Ueda (APNOMS, 2016)

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. - Kenichi Betsuno; Shota Matsumoto; Kazunori Ueda (CyPhy, 2016)

Peer-to-Peer Network System and Application Design on Multiple Virtual Networks. - Nanami Imada; Kazunori Ueda (NBiS, 2016)

Hypergraph Representation of Lambda-Terms. - Alimujiang Yasen; Kazunori Ueda (TASE, 2016)

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. - Shota Matsumoto; Kazunori Ueda (TIME, 2016)

Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging. - Hiroaki Akutsu; Kazunori Ueda; Takeru Chiba; Tomohiro Kawaguchi; Norio Shimozono (IEICE Trans. Inf. Syst., 2016)

Performance Evaluation of Peer-to-Peer Network Applications on Multiple Overlay Networks. - Kazunori Ueda (NBiS, 2017)

MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems. - Hiroaki Akutsu; Takahiro Yamamoto; Kazunori Ueda; Hideo Saito 003 (PRDC, 2017)

Unification of Hypergraph lambda -Terms. - Alimujiang Yasen; Kazunori Ueda (TTCS, 2017)

Renewal of the Major Fields. - Masami Hagiya; Kazunori Ueda; Ryutaro Ichise; Ferdinand Peper; Satoshi Murata (New Gener. Comput., 2017)

Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant Networks. - Kazuma Ikenoue; Kazunori Ueda (BWCCA, 2018)

Peer-to-Peer Data Distribution System with Browser Cache Sharing. - Kazunori Ueda; Yusei Irifuku (NBiS, 2018)

Name Binding is Easy with Hypergraphs. - Alimujiang Yasen; Kazunori Ueda (IEICE Trans. Inf. Syst., 2018)

Multi-overlay information management for IoT-oriented P2P network applications. - Kazunori Ueda; Makoto Iwata; Ken-ichi Baba; Shinji Shimojo (Int. J. Space Based Situated Comput., 2018)

Implementation of LMNtal Model Checkers: a Metaprogramming Approach. - Yutaro Tsunekawa; Taichi Tomioka; Kazunori Ueda (J. Object Technol., 2018)

Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project. - Kazunori Ueda (Sci. Comput. Program., 2018)

Routing Method Based on Data Transfer Path in DTN Environments. - Kazuma Ikenoue; Kazunori Ueda (BWCCA, 2019)

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. - Yunosuke Yamada; Masashi Sato; Kazunori Ueda (CyPhy/WESE, 2019)

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. - Taichi Tomioka; Yutaro Tsunekawa; Kazunori Ueda (ICGT, 2019)

DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption. - Kazunori Ueda (NBiS, 2019)

Declarative Semantics of the Hybrid Constraint Language HydLa. - Kazunori Ueda; Hiroshi Hosobe; Daisuke Ishii (CoRR, 2019)

Generation of Efficient Obfuscated Code through Just-in-Time Compilation. - Muhammad Hataba; Ahmed El-Mahdy 002; Kazunori Ueda (IEICE Trans. Inf. Syst., 2019)

Smart SE: Smart Systems and Services Innovative Professional Education Program. - Hironori Washizaki; Kenji Tei; Kazunori Ueda; Hayato Yamana; Yoshiaki Fukazawa; Shinichi Honiden; Shoichi Okazaki; Nobukazu Yoshioka; Naoshi Uchihira (COMPSAC, 2020)

Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting. - Alimujiang Yasen; Kazunori Ueda (IEEE Access, 2021)

In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects. - Kazunori Ueda (ICCTA, 2022)

DTN Routing Method Based on Node Movement Prediction and Message Deliverability. - Kazunori Ueda (NBiS, 2022)

Engineering Grammar-Based Type Checking for Graph Rewriting Languages. - Naoki Yamamoto; Kazunori Ueda (IEEE Access, 2022)

DTN Routing Method Based on Records of Data Transmission Paths. - Kazunori Ueda; Kouki Yano (BWCCA, 2023)

Implementing the λ GT Language: A Functional Language with Graphs as First-Class Data. - Jin Sano; Kazunori Ueda (ICGT, 2023)

Type Checking Data Structures More Complex than Trees. - Jin Sano; Naoki Yamamoto; Kazunori Ueda (J. Inf. Process., 2023)

Enhancing Bundle Delivery Efficiency in Mobile Ad-hoc Networks with a Multi-protocol Delay-Tolerant Network. - Olivia Nakayima; Mostafa I. Soliman; Kazunori Ueda; Samir A. Elsagheer (CF, 2024)

Introducing Quantification into a Hierarchical Graph Rewriting Language. - Haruto Mishina; Kazunori Ueda (LOPSTR, 2024)

The Prototype Implementation of Routing Method Based on Deployed Order in Wireless Mesh Networks. - Kazunori Ueda (NBiS, 2024)

Grammar-based Pattern Matching and Type Checking for Difference Data Structures. - Naoki Yamamoto; Kazunori Ueda (PPDP, 2024)

Ideal Parametrisation Estimation for Variational Quantum Circuit Classifiers Using Machine Learning. - Mostafa Fathi; Walid Gomaa 001; Yasutaka Wada; Keiji Kimura; Kazunori Ueda; Ahmed El-Mahdy 002 (QCE, 2024)

Novel Intelligent BSM Falsification Attack Detection System Using Trusted Neighbor Vehicle Approach in IoV. - Hussaini Aliyu Idris; Kazunori Ueda; Bassem Mokhtar; Samir A. Elsagheer Mohamed (Int. J. Comput., 2024)

Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination. - Kento Takyu; Kazunori Ueda (PADL, 2025)

NAIBI: a neighbour-vehicle approach for anomaly detection of basic safety message falsification in internet of vehicles using machine learning. - Hussaini Aliyu Idris; Kazunori Ueda; Bassem Mokhtar; Samir A. Elsagheer Mohamed (Int. J. Inf. Comput. Secur., 2025)