Остановите войну!
for scientists:
default search action
Kazunori Ueda
- > Home > Persons > Kazunori Ueda
Publications
- 2019
- [i2]Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii:
Declarative Semantics of the Hybrid Constraint Language HydLa. CoRR abs/1910.12272 (2019) - 2018
- [j16]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): 204-213 (2018) - 2017
- [c67]Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito:
MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems. PRDC 2017: 292-300 - 2016
- [j12]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. 99-D(9): 2259-2268 (2016) - 2015
- [c55]Hiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono:
Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging. PDP 2015: 261-268 - 2012
- [i1]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) - 2011
- [j9]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): 449-461 (2011) - 2009
- [c45]Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn:
Interval-based Solving of Hybrid Constraint Systems. ADHS 2009: 144-149 - [c42]Kazunori Ueda, Ken-ichi Baba:
Proposal of an Initial Route Establishment Method in Wireless Mesh Networks. SAINT 2009: 173-176 - [c40]Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe:
Simulation of hybrid systems based on hierarchical interval constraints. SimuTools 2009: 37 - 2003
- [c33]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: 111-119 - 2001
- [c28]Michiya Okamoto, Kazunori Ueda, Junzo Kamahara, Shinji Shimojo, Hideo Miyahara:
An Architecture of Personalized Sports Digest System with Scenario Templates. DASFAA 2001: 170-171 - 1998
- [c21]Junzo Kamahara, Yuji Nomura, Kazunori Ueda, Keishi Kandori, Shinji Shimojo, Hideo Miyahara:
A TV News Recommendation System with Automatic Recomposition. AMCP 1998: 221-235 - 1994
- [c16]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: 443-450 - 1993
- [j4]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): 46-103 (1993) - 1991
- [e1]Vijay A. Saraswat, Kazunori Ueda:
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991. MIT Press 1991, ISBN 0-262-69147-7 [contents] - 1990
- [j2]Kazunori Ueda, Takashi Chikayama:
Design of the Kernel Language for the Parallel Inference Machine. Comput. J. 33(6): 494-500 (1990) - 1988
- [c10]Kazunori Ueda, Koichi Furukawa:
Transformation Rules for GHC Programs. FGCS 1988: 582-591 - [c9]Koichi Furukawa, Kazunori Ueda:
GHC - A Language for a New Age of Parallel Programming. FSTTCS 1988: 364-376 - 1986
- [c7]Jiro Tanaka, Kazunori Ueda, Tashihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa:
Guarded Horn Clauses and Experience with Parallel Logic Programming. FJCC 1986: 948-954 - 1985
- [c4]Kazunori Ueda, Takashi Chikayama:
Concurrent Prolog Compiler on Top of Prolog. SLP 1985: 119-126 - 1984
- [c3]Kazunori Ueda, Takashi Chikayama:
Efficient Stream/Array Processing in Logic Programming Languages. FGCS 1984: 317-326 - [c1]Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda:
MANDELA: A LogicBased Knowledge Programming System. FGCS 1984: 613-622
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint