| 2026 | PADL | Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi. | Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda |
| 2025 | PADL | Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination. | Kento Takyu, Kazunori Ueda |
| 2024 | LOPSTR | Introducing Quantification into a Hierarchical Graph Rewriting Language. | Haruto Mishina, Kazunori Ueda |
| 2024 | PPDP | Grammar-based Pattern Matching and Type Checking for Difference Data Structures. | Naoki Yamamoto, Kazunori Ueda |
| 2024 | QCE | Ideal Parametrisation Estimation for Variational Quantum Circuit Classifiers Using Machine Learning. | Mostafa Fathi, Walid Gomaa, Yasutaka Wada, Keiji Kimura, Kazunori Ueda, Ahmed El-Mahdy |
| 2020 | COMPSAC | 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 |
| 2017 | PRDC | MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems. | Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito |
| 2016 | APNOMS | Improvement of WMNs routing method for the purpose of reduction of control communications. | Shinya Yano, Kazunori Ueda |
| 2016 | FLOPS | Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. | Kazunori Ueda |
| 2016 | TASE | Hypergraph Representation of Lambda-Terms. | Alimujiang Yasen, Kazunori Ueda |
| 2016 | TIME | Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. | Shota Matsumoto, Kazunori Ueda |
| 2015 | APNOMS | Network information sharing system with peer-to-peer network applications. | Kazunori Ueda, Norio Kimura |
| 2015 | COMPSAC | Cooperative Cache Distribution System for Virtual P2P Web Proxy. | Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda |
| 2015 | PDP | Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging. | Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono |
| 2014 | AINA | Routing Method Based on Relationships between Neighboring Nodes in Wireless Mesh Networks. | Wataru Kobayashi, Yuta Maruoka, Kazunori Ueda |
| 2013 | AINA | A Method for Establishing Routes and IPv6 Addressing Based on the Estimated Distance from Neighboring Nodes in Wireless Mesh Networks. | Yuta Maruoka, Kazunori Ueda |
| 2013 | APNOMS | Analysis of peer cluster layers selection criteria for P2P contents distribution systems. | Kazunori Ueda, Jun-ichi Akase, Takuya Okubo |
| 2012 | APNOMS | Peer-to-Peer contents distribution system using multiple peer clusters. | Kazunori Ueda, Takuya Okubo |
| 2011 | APNOMS | Peer-to-Peer contents delivery system considering network distance. | Takuya Okubo, Kazunori Ueda |
| 2009 | APNOMS | Asymmetric DHT Based on Performance of Peers. | Kazunori Ueda, Kazuhisa Kawada |
| 2009 | ICTAC | Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. | Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa |
| 2009 | SAT | c-sat: A Parallel SAT Solver for Clusters. | Kei Ohmura, Kazunori Ueda |
| 2006 | ICLP | LMNtal as a Unifying Declarative Language: Live Demonstration. | Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno |
| 2003 | ICLP | The Language Model LMNtal. | Kazunori Ueda, Norio Kato |
| 2002 | APLAS | Programming with Logical Links. | Kazunori Ueda |
| 2001 | APLAS | Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. | Norio Kato, Kazunori Ueda |
| 2001 | APLAS | Resource-Passing Concurrent Programming. | Kazunori Ueda |
| 2001 | DASFAA | An Architecture of Personalized Sports Digest System with Scenario Templates. | Michiya Okamoto, Kazunori Ueda, Junzo Kamahara, Shinji Shimojo, Hideo Miyahara |
| 2001 | ICLP | A Close Look at Constraint-Based Concurrency. | Kazunori Ueda |
| 2000 | APLAS | Kima - An Automated Error Correction System for Concurrent Logic Programs. | Yasuhiro Ajiro, Kazunori Ueda |
| 2000 | APLAS | Linearity Analysis of Concurrent Logic Programs. | Kazunori Ueda |
| 1998 | CP | Error-Correcting Source Code. | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho |
| 1996 | ICLP | Diagnosing Non-Well-Moded Concurrent Logic Programs. | Kenta Cho, Kazunori Ueda |
| 1990 | ICLP | A New Implementation Technique for Flat GHC. | Kazunori Ueda, Masao Morita |
| 1987 | ICLP | Making Exhaustive Search Programs Deterministic, Part II. | Kazunori Ueda |
| 1986 | ICLP | Making Exhaustive Search Programs Deterministic. | Kazunori Ueda |