Kazunori Ueda

123 papers A 2B 16C 14Misc 4Journal 30Unranked 54
YearRankTypeTitle / Venue / Authors
2026 C conf
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi.
PADL
Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda
2025 C conf
Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination.
PADL
Kento Takyu, Kazunori Ueda
2025 J jnl
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi.
CoRR
Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda
2025 — conf
Implementation of the Routing Method Based on Transmission Records in DTN Networks Focused on Sensor Application.
NBiS (2)
Kazunori Ueda
2025 J jnl
Introducing Linear Implication Types to λ
CoRR
Jin Sano, Naoki Yamamoto, Kazunori Ueda
2025 — conf
Mixed-Precision Backprojection Using FP32 and FP64 for Boosting Satellite SAR Imaging on Embedded GPUs.
MCSoC
Masato Gocho, Masayoshi Tsuchida, Kazunori Ueda
2025 J jnl
NAIBI: a neighbour-vehicle approach for anomaly detection of basic safety message falsification in internet of vehicles using machine learning.
Int. J. Inf. Comput. Secur.
Hussaini Aliyu Idris, Kazunori Ueda, Bassem Mokhtar, Samir A. Elsagheer Mohamed
2024 — conf
Enhancing Bundle Delivery Efficiency in Mobile Ad-hoc Networks with a Multi-protocol Delay-Tolerant Network.
CF
Olivia Nakayima, Mostafa I. Soliman, Kazunori Ueda, Samir A. Elsagheer
2024 J jnl
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination.
CoRR
Kento Takyu, Kazunori Ueda
2024 C conf
Grammar-based Pattern Matching and Type Checking for Difference Data Structures.
PPDP
Naoki Yamamoto, Kazunori Ueda
2024 Misc conf
Ideal Parametrisation Estimation for Variational Quantum Circuit Classifiers Using Machine Learning.
QCE
Mostafa Fathi, Walid Gomaa, Yasutaka Wada, Keiji Kimura, Kazunori Ueda, Ahmed El-Mahdy
2024 C conf
Introducing Quantification into a Hierarchical Graph Rewriting Language.
LOPSTR
Haruto Mishina, Kazunori Ueda
2024 J jnl
Introducing Quantification into a Hierarchical Graph Rewriting Language.
CoRR
Haruto Mishina, Kazunori Ueda
2024 J jnl
Novel Intelligent BSM Falsification Attack Detection System Using Trusted Neighbor Vehicle Approach in IoV.
Int. J. Comput.
Hussaini Aliyu Idris, Kazunori Ueda, Bassem Mokhtar, Samir A. Elsagheer Mohamed
2024 — conf
The Prototype Implementation of Routing Method Based on Deployed Order in Wireless Mesh Networks.
NBiS
Kazunori Ueda
2023 — conf
DTN Routing Method Based on Records of Data Transmission Paths.
BWCCA
Kazunori Ueda, Kouki Yano
2023 B conf
Implementing the λ
ICGT
Jin Sano, Kazunori Ueda
2023 J jnl
Type Checking Data Structures More Complex than Trees.
J. Inf. Process.
Jin Sano, Naoki Yamamoto, Kazunori Ueda
2022 — conf
DTN Routing Method Based on Node Movement Prediction and Message Deliverability.
NBiS
Kazunori Ueda
2022 J jnl
Engineering Grammar-Based Type Checking for Graph Rewriting Languages.
IEEE Access
Naoki Yamamoto, Kazunori Ueda
2022 — conf
In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.
ICCTA
Kazunori Ueda
2022 J jnl
Type checking data structures more complex than trees.
CoRR
Jin Sano, Naoki Yamamoto, Kazunori Ueda
2021 J jnl
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting.
IEEE Access
Alimujiang Yasen, Kazunori Ueda
2020 B conf
Smart SE: Smart Systems and Services Innovative Professional Education Program.
COMPSAC
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
2019 — conf
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI.
CyPhy/WESE
Yunosuke Yamada, Masashi Sato, Kazunori Ueda
2019 — conf
DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption.
NBiS
Kazunori Ueda
2019 J jnl
Declarative Semantics of the Hybrid Constraint Language HydLa.
CoRR
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
2019 J jnl
Generation of Efficient Obfuscated Code through Just-in-Time Compilation.
IEICE Trans. Inf. Syst.
Muhammad Hataba, Ahmed El-Mahdy, Kazunori Ueda
2019 B conf
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction.
ICGT
Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda
2019 — conf
Routing Method Based on Data Transfer Path in DTN Environments.
BWCCA
Kazuma Ikenoue, Kazunori Ueda
2018 J jnl
Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
J. Object Technol.
Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda
2018 J jnl
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project.
Sci. Comput. Program.
Kazunori Ueda
2018 J jnl
Multi-overlay information management for IoT-oriented P2P network applications.
Int. J. Space Based Situated Comput.
Kazunori Ueda, Makoto Iwata, Ken-ichi Baba, Shinji Shimojo
2018 J jnl
Name Binding is Easy with Hypergraphs.
IEICE Trans. Inf. Syst.
Alimujiang Yasen, Kazunori Ueda
2018 — conf
Peer-to-Peer Data Distribution System with Browser Cache Sharing.
NBiS
Kazunori Ueda, Yusei Irifuku
2018 — conf
Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant Networks.
BWCCA
Kazuma Ikenoue, Kazunori Ueda
2017 C conf
MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems.
PRDC
Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito
2017 — conf
Performance Evaluation of Peer-to-Peer Network Applications on Multiple Overlay Networks.
NBiS
Kazunori Ueda
2017 J jnl
Renewal of the Major Fields.
New Gener. Comput.
Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata
2017 — conf
Unification of Hypergraph \lambda -Terms.
TTCS
Alimujiang Yasen, Kazunori Ueda
2016 Misc conf
Hypergraph Representation of Lambda-Terms.
TASE
Alimujiang Yasen, Kazunori Ueda
2016 C conf
Improvement of WMNs routing method for the purpose of reduction of control communications.
APNOMS
Shinya Yano, Kazunori Ueda
2016 Misc conf
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project.
FLOPS
Kazunori Ueda
2016 — conf
Peer-to-Peer Network System and Application Design on Multiple Virtual Networks.
NBiS
Nanami Imada, Kazunori Ueda
2016 J jnl
Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging.
IEICE Trans. Inf. Syst.
Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono
2016 — conf
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.
CyPhy
Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda
2016 C conf
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.
TIME
Shota Matsumoto, Kazunori Ueda
2015 — conf
Cooperative Cache Distribution System for Virtual P2P Web Proxy.
COMPSAC Workshops
Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda
2015 — conf
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa.
NSV
Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda
2015 C conf
Network information sharing system with peer-to-peer network applications.
APNOMS
Kazunori Ueda, Norio Kimura
2015 — conf
Performance Evaluation of Routing Method Based on Neighboring Node Information in WMN.
NBiS
Wataru Kobayashi, Kazunori Ueda, Yuta Maruoka
2015 — conf
Performance evaluation of WMN routing methods considering amount of control packets.
ICMU
Shizuya Irimoto, Yuta Maruoka, Kazunori Ueda
2015 J jnl
Preface.
Math. Struct. Comput. Sci.
Yuxi Fu, Kazunori Ueda
2015 C conf
Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging.
PDP
Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono
2014 — conf
Cooperation P2P Web Proxy to Reduce Resource Usage.
NBiS
Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda
2014 — conf
Routing Method Based on Relationships between Neighboring Nodes in Wireless Mesh Networks.
AINA Workshops
Wataru Kobayashi, Yuta Maruoka, Kazunori Ueda
2014 — conf
Towards a Substrate Framework of Computation.
Concurrent Objects and Beyond
Kazunori Ueda
2013 — conf
A Method for Establishing Routes and IPv6 Addressing Based on the Estimated Distance from Neighboring Nodes in Wireless Mesh Networks.
AINA Workshops
Yuta Maruoka, Kazunori Ueda
2013 C conf
Analysis of peer cluster layers selection criteria for P2P contents distribution systems.
APNOMS
Kazunori Ueda, Jun-ichi Akase, Takuya Okubo
2013 — conf
Design and Implementation of a Cache-less P2P Web Proxy.
BWCCA
Masashi Nishimine, Kazunori Ueda
2012 J jnl
HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model.
Künstliche Intell.
Kazunori Ueda, Seiji Ogawa
2012 J jnl
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5).
NII Shonan Meet. Rep.
Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe
2012 C conf
Peer-to-Peer contents distribution system using multiple peer clusters.
APNOMS
Kazunori Ueda, Takuya Okubo
2011 J jnl
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
Int. J. Softw. Tools Technol. Transf.
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
2011 C conf
Peer-to-Peer contents delivery system considering network distance.
APNOMS
Takuya Okubo, Kazunori Ueda
2010 B ed.
Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
APLAS
Kazunori Ueda
2009 C conf
Asymmetric DHT Based on Performance of Peers.
APNOMS
Kazunori Ueda, Kazuhisa Kawada
2009 C conf
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.
ICTAC
Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa
2009 — conf
Interval-based Solving of Hybrid Constraint Systems.
ADHS
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
2009 J jnl
LMNtal as a hierarchical logic programming language.
Theor. Comput. Sci.
Kazunori Ueda
2009 — conf
Proposal of an Initial Route Establishment Method in Wireless Mesh Networks.
SAINT
Kazunori Ueda, Ken-ichi Baba
2009 — conf
Simulation of hybrid systems based on hierarchical interval constraints.
SimuTools
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
2009 A conf
c-sat: A Parallel SAT Solver for Clusters.
SAT
Kei Ohmura, Kazunori Ueda
2008 — conf
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.
RTA
Kazunori Ueda
2006 — conf
Encoding Distributed Process Calculi into LMNtal.
LIX
Kazunori Ueda
2006 B conf
LMNtal as a Unifying Declarative Language: Live Demonstration.
ICLP
Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
2005 — conf
Constraint-Based Concurrency and Beyond.
APC 25
Kazunori Ueda
2004 — conf
LMNtal: A Language Model with Links and Membranes.
Workshop on Membrane Computing
Kazunori Ueda, Norio Kato
2003 — conf
Design and Implementation of Real-Time Digital Video Streaming System over IPv6 Network using Feedback Control.
SAINT
Kazunori Ueda, Hiroyuki Ohsaki, Shinji Shimojo, Hideo Miyahara
2003 B conf
The Language Model LMNtal.
ICLP
Kazunori Ueda, Norio Kato
2002 — conf
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.
Computational Logic: Logic Programming and Beyond
Kazunori Ueda
2002 J jnl
Editorial: Functional and Logic Programming.
J. Funct. Log. Program.
Herbert Kuchen, Kazunori Ueda
2002 J jnl
Kima: An Automated Error Correction System for Concurrent Logic Programs.
Autom. Softw. Eng.
Yasuhiro Ajiro, Kazunori Ueda
2002 B conf
Programming with Logical Links.
APLAS
Kazunori Ueda
2001 B conf
A Close Look at Constraint-Based Concurrency.
ICLP
Kazunori Ueda
2001 B conf
An Architecture of Personalized Sports Digest System with Scenario Templates.
DASFAA
Michiya Okamoto, Kazunori Ueda, Junzo Kamahara, Shinji Shimojo, Hideo Miyahara
2001 Misc ed.
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings
FLOPS
Herbert Kuchen, Kazunori Ueda
2001 B conf
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.
APLAS
Norio Kato, Kazunori Ueda
2001 B conf
Resource-Passing Concurrent Programming.
APLAS
Kazunori Ueda
2001 — conf
Resource-Passing Concurrent Programming.
TACS
Kazunori Ueda
2000 B conf
Kima - An Automated Error Correction System for Concurrent Logic Programs.
APLAS
Yasuhiro Ajiro, Kazunori Ueda
2000 — conf
Kima- An automated error correction system for concurrent logic programs.
AADEBUG
Yasuhiro Ajiro, Kazunori Ueda
2000 B conf
Linearity Analysis of Concurrent Logic Programs.
APLAS
Kazunori Ueda
1999 — ch.
Concurrent Logic/Constraint Programming: The Next 10 Years.
The Logic Programming Paradigm
Kazunori Ueda
1999 — conf
Linearity Analysis of Concurrent Logic Programs.
WOID@ICLP
Kazunori Ueda
1998 — conf
A TV News Recommendation System with Automatic Recomposition.
AMCP
Junzo Kamahara, Yuji Nomura, Kazunori Ueda, Keishi Kandori, Shinji Shimojo, Hideo Miyahara
1998 A conf
Error-Correcting Source Code.
CP
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
1997 — ed.
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings
ASIAN
R. K. Shyamasundar, Kazunori Ueda
1996 — conf
Diagnosing Non-Well-Moded Concurrent Logic Programs.
JICSLP
Kenta Cho, Kazunori Ueda
1995 — conf
Experiences with Strong Moding in Concurrent Logic/Constraint Programming.
PSLS
Kazunori Ueda
1994 — conf
I/O Mode Analysis in Concurrent Logic Programming.
Theory and Practice of Parallel Programming
Kazunori Ueda
1994 J jnl
Moded Flat GHC and Its Message-Oriented Implementation Technique.
New Gener. Comput.
Kazunori Ueda, Masao Morita
1994 — conf
Research on programming languages for massively parallel processing.
ISPAN
Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba
1994 — conf
The Mode System of Moded Flat GHC.
Specification of Parallel Algorithms
Kazunori Ueda
1993 J jnl
Message-Oriented Parallel Implementation of Moded Flat GHC.
New Gener. Comput.
Kazunori Ueda, Masao Morita
1993 J jnl
The Fifth Generation Project: Personal Perspectives.
Commun. ACM
Ehud Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
1992 — conf
Message-Oriented Parallel Implementation of Moded Flat GHC.
FGCS
Kazunori Ueda, Masao Morita
1991 — ed.
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991
ILPS
Vijay A. Saraswat, Kazunori Ueda
1990 B conf
A New Implementation Technique for Flat GHC.
ICLP
Kazunori Ueda, Masao Morita
1990 J jnl
Design of the Kernel Language for the Parallel Inference Machine.
Comput. J.
Kazunori Ueda, Takashi Chikayama
1989 — conf
Parallelism in Logic Programming.
IFIP Congress
Kazunori Ueda
1988 — conf
GHC - A Language for a New Age of Parallel Programming.
FSTTCS
Koichi Furukawa, Kazunori Ueda
1988 — conf
Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project.
FGCS
Kazunori Ueda
1988 — conf
Transformation Rules for GHC Programs.
FGCS
Kazunori Ueda, Koichi Furukawa
1987 B conf
Making Exhaustive Search Programs Deterministic, Part II.
ICLP
Kazunori Ueda
1987 J jnl
Making Exhaustive Search Programs Deterministic.
New Gener. Comput.
Kazunori Ueda
1986 — conf
Guarded Horn Clauses and Experience with Parallel Logic Programming.
FJCC
Jiro Tanaka, Kazunori Ueda, Tashihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa
1986 B conf
Making Exhaustive Search Programs Deterministic.
ICLP
Kazunori Ueda
1985 — conf
Concurrent Prolog Compiler on Top of Prolog.
SLP
Kazunori Ueda, Takashi Chikayama
1985 — conf
Guarded Horn Clauses.
LP
Kazunori Ueda
1984 — conf
Efficient Stream/Array Processing in Logic Programming Languages.
FGCS
Kazunori Ueda, Takashi Chikayama
1984 — conf
MANDELA: A LogicBased Knowledge Programming System.
FGCS
Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda
1984 — conf
What is a Variable in Prolog?
FGCS
Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda