Kazunori Ueda

According to our database1, Kazunori Ueda authored at least 89 papers between 1984 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Smart SE: Smart Systems and Services Innovative Professional Education Program.
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019
Generation of Efficient Obfuscated Code through Just-in-Time Compilation.
IEICE Trans. Inf. Syst., 2019

Declarative Semantics of the Hybrid Constraint Language HydLa.
CoRR, 2019

DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption.
Proceedings of the Advances in Networked-based Information Systems, 2019

Introducing Symmetry to Graph Rewriting Systems with Process Abstraction.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI.
Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

Routing Method Based on Data Transfer Path in DTN Environments.
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.
Sci. Comput. Program., 2018

Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
J. Object Technol., 2018

Multi-overlay information management for IoT-oriented P2P network applications.
Int. J. Space Based Situated Comput., 2018

Name Binding is Easy with Hypergraphs.
IEICE Trans. Inf. Syst., 2018

Peer-to-Peer Data Distribution System with Browser Cache Sharing.
Proceedings of the Advances in Network-Based Information Systems, 2018

Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant Networks.
Proceedings of the Advances on Broadband and Wireless Computing, 2018

2017
Renewal of the Major Fields.
New Gener. Comput., 2017

Unification of Hypergraph \lambda -Terms.
Proceedings of the Topics in Theoretical Computer Science, 2017

MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems.
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.
Proceedings of the Advances in Network-Based Information Systems, 2017

2016
Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging.
IEICE Trans. Inf. Syst., 2016

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Hypergraph Representation of Lambda-Terms.
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.
Proceedings of the 19th International Conference on Network-Based Information Systems, 2016

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Improvement of WMNs routing method for the purpose of reduction of control communications.
Proceedings of the 18th Asia-Pacific Network Operations and Management Symposium, 2016

2015
Preface.
Math. Struct. Comput. Sci., 2015

HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa.
Electron. Notes Theor. Comput. Sci., 2015

Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Performance Evaluation of Routing Method Based on Neighboring Node Information in WMN.
Proceedings of the 18th International Conference on Network-Based Information Systems, 2015

Performance evaluation of WMN routing methods considering amount of control packets.
Proceedings of the Eighth International Conference on Mobile Computing and Ubiquitous Networking, 2015

Cooperative Cache Distribution System for Virtual P2P Web Proxy.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Network information sharing system with peer-to-peer network applications.
Proceedings of the 17th Asia-Pacific Network Operations and Management Symposium, 2015

2014
Cooperation P2P Web Proxy to Reduce Resource Usage.
Proceedings of the 17th International Conference on Network-Based Information Systems, 2014

Towards a Substrate Framework of Computation.
Proceedings of the Concurrent Objects and Beyond, 2014

Routing Method Based on Relationships between Neighboring Nodes in Wireless Mesh Networks.
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.
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.
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.
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).
NII Shonan Meet. Rep., 2012

HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model.
Künstliche Intell., 2012

Peer-to-Peer contents distribution system using multiple peer clusters.
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.
Int. J. Softw. Tools Technol. Transf., 2011

Peer-to-Peer contents delivery system considering network distance.
Proceedings of the 13th Asia-Pacific Network Operations and Management Symposium, 2011

2009
LMNtal as a hierarchical logic programming language.
Theor. Comput. Sci., 2009

Simulation of hybrid systems based on hierarchical interval constraints.
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

c-sat: A Parallel SAT Solver for Clusters.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Proposal of an Initial Route Establishment Method in Wireless Mesh Networks.
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.
Proceedings of the Theoretical Aspects of Computing, 2009

Asymmetric DHT Based on Performance of Peers.
Proceedings of the Management Enabling the Future Internet for Changing Business and New Computing Services, 2009

Interval-based Solving of Hybrid Constraint Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Encoding Distributed Process Calculi into LMNtal.
Electron. Notes Theor. Comput. Sci., 2008

Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2006
Constraint-Based Concurrency and Beyond.
Electron. Notes Theor. Comput. Sci., 2006

LMNtal as a Unifying Declarative Language: Live Demonstration.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2004
LMNtal: A Language Model with Links and Membranes.
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.
Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

The Language Model LMNtal.
Proceedings of the Logic Programming, 19th International Conference, 2003

2002
Editorial: Functional and Logic Programming.
J. Funct. Log. Program., 2002

Kima: An Automated Error Correction System for Concurrent Logic Programs.
Autom. Softw. Eng., 2002

A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Programming with Logical Links.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
A Close Look at Constraint-Based Concurrency.
Proceedings of the Logic Programming, 17th International Conference, 2001

An Architecture of Personalized Sports Digest System with Scenario Templates.
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.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

1999
Linearity Analysis of Concurrent Logic Programs.
Electron. Notes Theor. Comput. Sci., 1999

Concurrent Logic/Constraint Programming: The Next 10 Years.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998
Error-Correcting Source Code.
Proceedings of the Principles and Practice of Constraint Programming, 1998

A TV News Recommendation System with Automatic Recomposition.
Proceedings of the Advanced Multimedia Content Processing, First International Conference, 1998

1996
Diagnosing Non-Well-Moded Concurrent Logic Programs.
Proceedings of the Logic Programming, 1996

1995
Experiences with Strong Moding in Concurrent Logic/Constraint Programming.
Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994
Moded Flat GHC and Its Message-Oriented Implementation Technique.
New Gener. Comput., 1994

I/O Mode Analysis in Concurrent Logic Programming.
Proceedings of the Theory and Practice of Parallel Programming, 1994

Research on programming languages for massively parallel processing.
Proceedings of the International Symposium on Parallel Architectures, 1994

The Mode System of Moded Flat GHC.
Proceedings of the Specification of Parallel Algorithms, 1994

1993
Message-Oriented Parallel Implementation of Moded Flat GHC.
New Gener. Comput., 1993

The Fifth Generation Project: Personal Perspectives.
Commun. ACM, 1993

1990
Design of the Kernel Language for the Parallel Inference Machine.
Comput. J., 1990

A New Implementation Technique for Flat GHC.
Proceedings of the Logic Programming, 1990

1989
Parallelism in Logic Programming.
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.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Transformation Rules for GHC Programs.
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.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987
Making Exhaustive Search Programs Deterministic.
New Gener. Comput., 1987

Making Exhaustive Search Programs Deterministic, Part II.
Proceedings of the Logic Programming, 1987

1986
Guarded Horn Clauses and Experience with Parallel Logic Programming.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Concurrent Prolog Compiler on Top of Prolog.
Proceedings of the 1985 Symposium on Logic Programming, 1985

Guarded Horn Clauses.
Proceedings of the Logic Programming '85, 1985

1984
Efficient Stream/Array Processing in Logic Programming Languages.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

What is a Variable in Prolog?
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

MANDELA: A LogicBased Knowledge Programming System.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984


  Loading...