Kazunori Ueda

According to our database, Kazunori Ueda authored at least 100 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Grammar-based Pattern Matching and Type Checking for Difference Data Structures.

Naoki Yamamoto, Kazunori Ueda

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Introducing Quantification into a Hierarchical Graph Rewriting Language.

Haruto Mishina, Kazunori Ueda

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

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

Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024

2023

Type Checking Data Structures More Complex than Trees.

Jin Sano, Naoki Yamamoto, Kazunori Ueda

J. Inf. Process., 2023

Implementing the λ _GT Language: A Functional Language with Graphs as First-Class Data.

Jin Sano, Kazunori Ueda

Proceedings of the Graph Transformation - 16th International Conference, 2023

DTN Routing Method Based on Records of Data Transmission Paths.

Kazunori Ueda, Kouki Yano

Proceedings of the Advances on Broad-Band and Wireless Computing, Communication and Applications, 2023

2022

Engineering Grammar-Based Type Checking for Graph Rewriting Languages.

Naoki Yamamoto, Kazunori Ueda

IEEE Access, 2022

DTN Routing Method Based on Node Movement Prediction and Message Deliverability.

Kazunori Ueda

Proceedings of the Advances in Network-Based Information Systems, 2022

In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.

Kazunori Ueda

Proceedings of the 32nd International Conference on Computer Theory and Applications, 2022

2021

Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting.

Alimujiang Yasen, Kazunori Ueda

IEEE Access, 2021

2020

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

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Generation of Efficient Obfuscated Code through Just-in-Time Compilation.

Muhammad Hataba, Ahmed El-Mahdy, Kazunori Ueda

IEICE Trans. Inf. Syst., 2019

Declarative Semantics of the Hybrid Constraint Language HydLa.

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

CoRR, 2019

DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption.

Kazunori Ueda

Proceedings of the Advances in Networked-based Information Systems, 2019

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction.

Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda

Proceedings of the Graph Transformation - 12th International Conference, 2019

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI.

Yunosuke Yamada, Masashi Sato, Kazunori Ueda

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

Routing Method Based on Data Transfer Path in DTN Environments.

Kazuma Ikenoue, Kazunori Ueda

Proceedings of the Advances on Broad-Band Wireless Computing, Communication and Applications, 2019

2018

Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project.

Kazunori Ueda

Sci. Comput. Program., 2018

Implementation of LMNtal Model Checkers: a Metaprogramming Approach.

Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda

J. Object Technol., 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

Name Binding is Easy with Hypergraphs.

Alimujiang Yasen, Kazunori Ueda

IEICE Trans. Inf. Syst., 2018

Peer-to-Peer Data Distribution System with Browser Cache Sharing.

Kazunori Ueda, Yusei Irifuku

Proceedings of the Advances in Network-Based Information Systems, 2018

Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant Networks.

Kazuma Ikenoue, Kazunori Ueda

Proceedings of the Advances on Broadband and Wireless Computing, 2018

2017

Renewal of the Major Fields.

Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata

New Gener. Comput., 2017

Unification of Hypergraph \lambda -Terms.

Alimujiang Yasen, Kazunori Ueda

Proceedings of the Topics in Theoretical Computer Science, 2017

MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems.

Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Performance Evaluation of Peer-to-Peer Network Applications on Multiple Overlay Networks.

Kazunori Ueda

Proceedings of the Advances in Network-Based Information Systems, 2017

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

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.

Shota Matsumoto, Kazunori Ueda

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Hypergraph Representation of Lambda-Terms.

Alimujiang Yasen, Kazunori Ueda

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Peer-to-Peer Network System and Application Design on Multiple Virtual Networks.

Nanami Imada, Kazunori Ueda

Proceedings of the 19th International Conference on Network-Based Information Systems, 2016

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.

Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Improvement of WMNs routing method for the purpose of reduction of control communications.

Shinya Yano, Kazunori Ueda

Proceedings of the 18th Asia-Pacific Network Operations and Management Symposium, 2016

2015

Preface.

Yuxi Fu, Kazunori Ueda

Math. Struct. Comput. Sci., 2015

HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa.

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging.

Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Performance Evaluation of Routing Method Based on Neighboring Node Information in WMN.

Wataru Kobayashi, Kazunori Ueda, Yuta Maruoka

Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

Performance evaluation of WMN routing methods considering amount of control packets.

Shizuya Irimoto, Yuta Maruoka, Kazunori Ueda

Proceedings of the Eighth International Conference on Mobile Computing and Ubiquitous Networking, 2015

Cooperative Cache Distribution System for Virtual P2P Web Proxy.

Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Network information sharing system with peer-to-peer network applications.

Kazunori Ueda, Norio Kimura

Proceedings of the 17th Asia-Pacific Network Operations and Management Symposium, 2015

2014

Cooperation P2P Web Proxy to Reduce Resource Usage.

Kazuki Matsushita, Masashi Nishimine, Kazunori Ueda

Proceedings of the 17th International Conference on Network-Based Information Systems, 2014

Towards a Substrate Framework of Computation.

Kazunori Ueda

Proceedings of the Concurrent Objects and Beyond, 2014

Routing Method Based on Relationships between Neighboring Nodes in Wireless Mesh Networks.

Wataru Kobayashi, Yuta Maruoka, Kazunori Ueda

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Design and Implementation of a Cache-less P2P Web Proxy.

Masashi Nishimine, Kazunori Ueda

Proceedings of the 2013 Eighth International Conference on Broadband and Wireless Computing, 2013

Analysis of peer cluster layers selection criteria for P2P contents distribution systems.

Kazunori Ueda, Jun-ichi Akase, Takuya Okubo

Proceedings of the 15th Asia-Pacific Network Operations and Management Symposium, 2013

A Method for Establishing Routes and IPv6 Addressing Based on the Estimated Distance from Neighboring Nodes in Wireless Mesh Networks.

Yuta Maruoka, Kazunori Ueda

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

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

HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model.

Kazunori Ueda, Seiji Ogawa

Künstliche Intell., 2012

Peer-to-Peer contents distribution system using multiple peer clusters.

Kazunori Ueda, Takuya Okubo

Proceedings of the 14th Asia-Pacific Network Operations and Management Symposium, 2012

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 delivery system considering network distance.

Takuya Okubo, Kazunori Ueda

Proceedings of the 13th Asia-Pacific Network Operations and Management Symposium, 2011

2009

LMNtal as a hierarchical logic programming language.

Kazunori Ueda

Theor. Comput. Sci., 2009

Simulation of hybrid systems based on hierarchical interval constraints.

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

c-sat: A Parallel SAT Solver for Clusters.

Kei Ohmura, Kazunori Ueda

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Proposal of an Initial Route Establishment Method in Wireless Mesh Networks.

Kazunori Ueda, Ken-ichi Baba

Proceedings of the Ninth Annual International Symposium on Applications and the Internet, 2009

Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.

Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa

Proceedings of the Theoretical Aspects of Computing, 2009

Asymmetric DHT Based on Performance of Peers.

Kazunori Ueda, Kazuhisa Kawada

Proceedings of the Management Enabling the Future Internet for Changing Business and New Computing Services, 2009

Interval-based Solving of Hybrid Constraint Systems.

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.

Kazunori Ueda

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2006

Encoding Distributed Process Calculi into LMNtal.

Kazunori Ueda

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

LMNtal as a Unifying Declarative Language: Live Demonstration.

Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Constraint-Based Concurrency and Beyond.

Kazunori Ueda

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

2004

LMNtal: A Language Model with Links and Membranes.

Kazunori Ueda, Norio Kato

Proceedings of the Membrane Computing, 5th International Workshop, 2004

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

Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

The Language Model LMNtal.

Kazunori Ueda, Norio Kato

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Editorial: Functional and Logic Programming.

Herbert Kuchen, Kazunori Ueda

J. Funct. Log. Program., 2002

Kima: An Automated Error Correction System for Concurrent Logic Programs.

Yasuhiro Ajiro, Kazunori Ueda

Autom. Softw. Eng., 2002

A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.

Kazunori Ueda

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Programming with Logical Links.

Kazunori Ueda

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

A Close Look at Constraint-Based Concurrency.

Kazunori Ueda

Proceedings of the Logic Programming, 17th International Conference, 2001

An Architecture of Personalized Sports Digest System with Scenario Templates.

Michiya Okamoto, Kazunori Ueda, Junzo Kamahara, Shinji Shimojo, Hideo Miyahara

Proceedings of the Database Systems for Advanced Applications, Proceedings of the 7th International Conference on Database Systems for Advanced Applications (DASFAA 2001), 18-20 April 2001, 2001

Resource-Passing Concurrent Programming.

Kazunori Ueda

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.

Norio Kato, Kazunori Ueda

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

1999

Linearity Analysis of Concurrent Logic Programs.

Kazunori Ueda

Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999

Concurrent Logic/Constraint Programming: The Next 10 Years.

Kazunori Ueda

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Error-Correcting Source Code.

Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho

Proceedings of the Principles and Practice of Constraint Programming, 1998

A TV News Recommendation System with Automatic Recomposition.

Junzo Kamahara, Yuji Nomura, Kazunori Ueda, Keishi Kandori, Shinji Shimojo, Hideo Miyahara

Proceedings of the Advanced Multimedia Content Processing, First International Conference, 1998

1996

Diagnosing Non-Well-Moded Concurrent Logic Programs.

Kenta Cho, Kazunori Ueda

Proceedings of the Logic Programming, 1996

1995

Experiences with Strong Moding in Concurrent Logic/Constraint Programming.

Kazunori Ueda

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

Moded Flat GHC and Its Message-Oriented Implementation Technique.

Kazunori Ueda, Masao Morita

New Gener. Comput., 1994

I/O Mode Analysis in Concurrent Logic Programming.

Kazunori Ueda

Proceedings of the Theory and Practice of Parallel Programming, 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

Proceedings of the International Symposium on Parallel Architectures, 1994

The Mode System of Moded Flat GHC.

Kazunori Ueda

Proceedings of the Specification of Parallel Algorithms, 1994

1993

Message-Oriented Parallel Implementation of Moded Flat GHC.

Kazunori Ueda, Masao Morita

New Gener. Comput., 1993

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

1990

Design of the Kernel Language for the Parallel Inference Machine.

Kazunori Ueda, Takashi Chikayama

Comput. J., 1990

A New Implementation Technique for Flat GHC.

Kazunori Ueda, Masao Morita

Proceedings of the Logic Programming, 1990

1989

Parallelism in Logic Programming.

Kazunori Ueda

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

GHC - A Language for a New Age of Parallel Programming.

Koichi Furukawa, Kazunori Ueda

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Transformation Rules for GHC Programs.

Kazunori Ueda, Koichi Furukawa

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project.

Kazunori Ueda

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Making Exhaustive Search Programs Deterministic.

Kazunori Ueda

New Gener. Comput., 1987

Making Exhaustive Search Programs Deterministic, Part II.

Kazunori Ueda

Proceedings of the Logic Programming, 1987

1986

Guarded Horn Clauses and Experience with Parallel Logic Programming.

Jiro Tanaka, Kazunori Ueda, Tashihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Concurrent Prolog Compiler on Top of Prolog.

Kazunori Ueda, Takashi Chikayama

Proceedings of the 1985 Symposium on Logic Programming, 1985

Guarded Horn Clauses.

Kazunori Ueda

Proceedings of the Logic Programming '85, 1985

1984

Efficient Stream/Array Processing in Logic Programming Languages.

Kazunori Ueda, Takashi Chikayama

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

What is a Variable in Prolog?

Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

MANDELA: A LogicBased Knowledge Programming System.

Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984