Kazunori Ueda

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 34

Top Venues

NBiS

IEICE Trans. Inf. Syst.

BWCCA

APNOMS

Publications

Olivia Nakayima, Mostafa I. Soliman, Kazunori Ueda, Samir A. Elsagheer
Enhancing Bundle Delivery Efficiency in Mobile Ad-hoc Networks with a Multi-protocol Delay-Tolerant Network. CF (2024)
Hussaini Aliyu Idris, Kazunori Ueda, Bassem Mokhtar, Samir A. Elsagheer Mohamed
Novel Intelligent BSM Falsification Attack Detection System Using Trusted Neighbor Vehicle Approach in IoV. Int. J. Comput. 23 (1) (2024)
Jin Sano, Kazunori Ueda
Language: A Functional Language with Graphs as First-Class Data. ICGT (2023)
Jin Sano, Naoki Yamamoto, Kazunori Ueda
Type Checking Data Structures More Complex than Trees. J. Inf. Process. 31 (2023)
Kazunori Ueda, Kouki Yano
DTN Routing Method Based on Records of Data Transmission Paths. BWCCA (2023)
Naoki Yamamoto, Kazunori Ueda
Engineering Grammar-Based Type Checking for Graph Rewriting Languages. IEEE Access 10 (2022)
Jin Sano, Naoki Yamamoto, Kazunori Ueda
Type checking data structures more complex than trees. CoRR (2022)
Kazunori Ueda
In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects. ICCTA (2022)
Kazunori Ueda
DTN Routing Method Based on Node Movement Prediction and Message Deliverability. NBiS (2022)
Alimujiang Yasen, Kazunori Ueda
Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting. IEEE Access 9 (2021)
Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira
Smart SE: Smart Systems and Services Innovative Professional Education Program. COMPSAC (2020)
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
Declarative Semantics of the Hybrid Constraint Language HydLa. CoRR (2019)
Kazunori Ueda
DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption. NBiS (2019)
Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. ICGT (2019)
Kazuma Ikenoue, Kazunori Ueda
Routing Method Based on Data Transfer Path in DTN Environments. BWCCA (2019)
Yunosuke Yamada, Masashi Sato, Kazunori Ueda
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. CyPhy/WESE (2019)
Muhammad Hataba, Ahmed El-Mahdy, Kazunori Ueda
Generation of Efficient Obfuscated Code through Just-in-Time Compilation. IEICE Trans. Inf. Syst. (3) (2019)
Kazunori Ueda
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project. Sci. Comput. Program. 164 (2018)
Alimujiang Yasen, Kazunori Ueda
Name Binding is Easy with Hypergraphs. IEICE Trans. Inf. Syst. (4) (2018)
Kazunori Ueda, Makoto Iwata, Ken-ichi Baba, Shinji Shimojo
Multi-overlay information management for IoT-oriented P2P network applications. Int. J. Space Based Situated Comput. 8 (4) (2018)
Kazuma Ikenoue, Kazunori Ueda
Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant Networks. BWCCA (2018)
Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda
Implementation of LMNtal Model Checkers: a Metaprogramming Approach. J. Object Technol. 17 (1) (2018)
Kazunori Ueda, Yusei Irifuku
Peer-to-Peer Data Distribution System with Browser Cache Sharing. NBiS (2018)
Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito
MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems. PRDC (2017)
Alimujiang Yasen, Kazunori Ueda
Unification of Hypergraph \lambda -Terms. TTCS (2017)
Kazunori Ueda
Performance Evaluation of Peer-to-Peer Network Applications on Multiple Overlay Networks. NBiS (2017)
Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata
Renewal of the Major Fields. New Gener. Comput. 35 (2) (2017)
Kazunori Ueda
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. FLOPS (2016)
Alimujiang Yasen, Kazunori Ueda
Hypergraph Representation of Lambda-Terms. TASE (2016)
Nanami Imada, Kazunori Ueda
Peer-to-Peer Network System and Application Design on Multiple Virtual Networks. NBiS (2016)
Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono
Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging. IEICE Trans. Inf. Syst. (9) (2016)
Shinya Yano, Kazunori Ueda
Improvement of WMNs routing method for the purpose of reduction of control communications. APNOMS (2016)
Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. CyPhy (2016)
Shota Matsumoto, Kazunori Ueda
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. TIME (2016)
Shizuya Irimoto, Yuta Maruoka, Kazunori Ueda
Performance evaluation of WMN routing methods considering amount of control packets. ICMU (2015)
Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono
Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging. PDP (2015)
Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. Electron. Notes Theor. Comput. Sci. 317 (2015)
Yuxi Fu, Kazunori Ueda
Preface. Math. Struct. Comput. Sci. 25 (4) (2015)
Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda
Cooperative Cache Distribution System for Virtual P2P Web Proxy. COMPSAC Workshops (2015)
Kazunori Ueda, Norio Kimura
Network information sharing system with peer-to-peer network applications. APNOMS (2015)
Wataru Kobayashi, Kazunori Ueda, Yuta Maruoka
Performance Evaluation of Routing Method Based on Neighboring Node Information in WMN. NBiS (2015)
Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda
Cooperation P2P Web Proxy to Reduce Resource Usage. NBiS (2014)
Kazunori Ueda
Towards a Substrate Framework of Computation. Concurrent Objects and Beyond (2014)
Wataru Kobayashi, Yuta Maruoka, Kazunori Ueda
Routing Method Based on Relationships between Neighboring Nodes in Wireless Mesh Networks. AINA Workshops (2014)
Kazunori Ueda, Jun-ichi Akase, Takuya Okubo
Analysis of peer cluster layers selection criteria for P2P contents distribution systems. APNOMS (2013)
Masashi Nishimine, Kazunori Ueda
Design and Implementation of a Cache-less P2P Web Proxy. BWCCA (2013)
Yuta Maruoka, Kazunori Ueda
A Method for Establishing Routes and IPv6 Addressing Based on the Estimated Distance from Neighboring Nodes in Wireless Mesh Networks. AINA Workshops (2013)
Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5). NII Shonan Meet. Rep. 2012 (2012)
Kazunori Ueda, Takuya Okubo
Peer-to-Peer contents distribution system using multiple peer clusters. APNOMS (2012)
Kazunori Ueda, Seiji Ogawa
HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. Künstliche Intell. 26 (1) (2012)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Takuya Okubo, Kazunori Ueda
Peer-to-Peer contents delivery system considering network distance. APNOMS (2011)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
Simulation of hybrid systems based on hierarchical interval constraints. SimuTools (2009)
Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
Interval-based Solving of Hybrid Constraint Systems. ADHS (2009)
Kazunori Ueda, Kazuhisa Kawada
Asymmetric DHT Based on Performance of Peers. APNOMS (2009)
Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. ICTAC (2009)
Kazunori Ueda
LMNtal as a hierarchical logic programming language. Theor. Comput. Sci. 410 (46) (2009)
Kei Ohmura, Kazunori Ueda
c-sat: A Parallel SAT Solver for Clusters. SAT (2009)
Kazunori Ueda, Ken-ichi Baba
Proposal of an Initial Route Establishment Method in Wireless Mesh Networks. SAINT (2009)
Kazunori Ueda
Encoding Distributed Process Calculi into LMNtal. Electron. Notes Theor. Comput. Sci. 209 (2008)
Kazunori Ueda
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. RTA (2008)
Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
LMNtal as a Unifying Declarative Language: Live Demonstration. ICLP (2006)
Kazunori Ueda
Constraint-Based Concurrency and Beyond. Electron. Notes Theor. Comput. Sci. 162 (2006)
Kazunori Ueda, Norio Kato
LMNtal: A Language Model with Links and Membranes. Workshop on Membrane Computing (2004)
Kazunori Ueda, Norio Kato
The Language Model LMNtal. ICLP (2003)
Kazunori Ueda, Hiroyuki Ohsaki, Shinji Shimojo, Hideo Miyahara
Design and Implementation of Real-Time Digital Video Streaming System over IPv6 Network using Feedback Control. SAINT (2003)
Yasuhiro Ajiro, Kazunori Ueda
Kima: An Automated Error Correction System for Concurrent Logic Programs. Autom. Softw. Eng. 9 (1) (2002)
Kazunori Ueda
Programming with Logical Links. APLAS (2002)
Herbert Kuchen, Kazunori Ueda
Editorial: Functional and Logic Programming. J. Funct. Log. Program. 2002 (2002)
Kazunori Ueda
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. Computational Logic: Logic Programming and Beyond (2002)
Kazunori Ueda
Resource-Passing Concurrent Programming. TACS (2001)
Kazunori Ueda
Resource-Passing Concurrent Programming. APLAS (2001)
Michiya Okamoto, Kazunori Ueda, Junzo Kamahara, Shinji Shimojo, Hideo Miyahara
An Architecture of Personalized Sports Digest System with Scenario Templates. DASFAA (2001)
Norio Kato, Kazunori Ueda
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. APLAS (2001)
Kazunori Ueda
A Close Look at Constraint-Based Concurrency. ICLP (2001)
Yasuhiro Ajiro, Kazunori Ueda
Kima - An Automated Error Correction System for Concurrent Logic Programs. APLAS (2000)
Yasuhiro Ajiro, Kazunori Ueda
Kima- An automated error correction system for concurrent logic programs. AADEBUG (2000)
Kazunori Ueda
Linearity Analysis of Concurrent Logic Programs. APLAS (2000)
Kazunori Ueda
Linearity Analysis of Concurrent Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (2) (1999)
Junzo Kamahara, Yuji Nomura, Kazunori Ueda, Keishi Kandori, Shinji Shimojo, Hideo Miyahara
A TV News Recommendation System with Automatic Recomposition. AMCP (1998)
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
Error-Correcting Source Code. CP (1998)
Kenta Cho, Kazunori Ueda
Diagnosing Non-Well-Moded Concurrent Logic Programs. JICSLP (1996)
Kazunori Ueda
Experiences with Strong Moding in Concurrent Logic/Constraint Programming. PSLS (1995)
Kazunori Ueda
The Mode System of Moded Flat GHC. Specification of Parallel Algorithms (1994)
Kazunori Ueda, Masao Morita
Moded Flat GHC and Its Message-Oriented Implementation Technique. New Gener. Comput. 13 (1) (1994)
Kazunori Ueda
I/O Mode Analysis in Concurrent Logic Programming. Theory and Practice of Parallel Programming (1994)
Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba
Research on programming languages for massively parallel processing. ISPAN (1994)
Kazunori Ueda, Masao Morita
Message-Oriented Parallel Implementation of Moded Flat GHC. New Gener. Comput. 11 (3) (1993)
Ehud Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
The Fifth Generation Project: Personal Perspectives. Commun. ACM 36 (3) (1993)
Kazunori Ueda, Masao Morita
Message-Oriented Parallel Implementation of Moded Flat GHC. FGCS (1992)
Kazunori Ueda, Takashi Chikayama
Design of the Kernel Language for the Parallel Inference Machine. Comput. J. 33 (6) (1990)
Kazunori Ueda, Masao Morita
A New Implementation Technique for Flat GHC. ICLP (1990)
Kazunori Ueda
Parallelism in Logic Programming. IFIP Congress (1989)
Koichi Furukawa, Kazunori Ueda
GHC - A Language for a New Age of Parallel Programming. FSTTCS (1988)
Kazunori Ueda, Koichi Furukawa
Transformation Rules for GHC Programs. FGCS (1988)
Kazunori Ueda
Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project. FGCS (1988)
Kazunori Ueda
Making Exhaustive Search Programs Deterministic. New Gener. Comput. 5 (1) (1987)
Kazunori Ueda
Making Exhaustive Search Programs Deterministic, Part II. ICLP (1987)
Jiro Tanaka, Kazunori Ueda, Tashihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa
Guarded Horn Clauses and Experience with Parallel Logic Programming. FJCC (1986)
Kazunori Ueda
Making Exhaustive Search Programs Deterministic. ICLP (1986)

Kazunori Ueda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kazunori Ueda