Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kazunori Ueda
@article{DBLP:journals/jip/SanoYU23,
author = {Jin Sano and
Naoki Yamamoto and
Kazunori Ueda},
title = {Type Checking Data Structures More Complex than Trees},
journal = {J. Inf. Process.},
volume = {31},
pages = {112--130},
year = {2023},
url = {https://doi.org/10.2197/ipsjjip.31.112},
doi = {10.2197/IPSJJIP.31.112},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jip/SanoYU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/UedaY23,
author = {Kazunori Ueda and
Kouki Yano},
editor = {Leonard Barolli},
title = {{DTN} Routing Method Based on Records of Data Transmission Paths},
booktitle = {Advances on Broad-Band and Wireless Computing, Communication and Applications
- Proceedings of the 18th International Conference on Broad-Band and
Wireless Computing, Communication and Applications (BWCCA-2023), Daegu,
Korea, 6-8 November 2023},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {186},
pages = {273--281},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46784-4\_26},
doi = {10.1007/978-3-031-46784-4\_26},
timestamp = {Tue, 13 Feb 2024 15:40:43 +0100},
biburl = {https://dblp.org/rec/conf/bwcca/UedaY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/SanoU23,
author = {Jin Sano and
Kazunori Ueda},
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Implementing the {\(\lambda\)} \({}_{\mbox{GT}}\) Language: {A} Functional
Language with Graphs as First-Class Data},
booktitle = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
pages = {263--277},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0\_14},
doi = {10.1007/978-3-031-36709-0\_14},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/SanoU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YamamotoU22,
author = {Naoki Yamamoto and
Kazunori Ueda},
title = {Engineering Grammar-Based Type Checking for Graph Rewriting Languages},
journal = {{IEEE} Access},
volume = {10},
pages = {114612--114628},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3217913},
doi = {10.1109/ACCESS.2022.3217913},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/YamamotoU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccta/Ueda22,
author = {Kazunori Ueda},
title = {In pursuit of Japanese-style Research and Education of Computer Software:
Experiences with Software-Centered Research Projects},
booktitle = {32nd International Conference on Computer Theory and Applications,
{ICCTA} 2022, Alexandria, Egypt, December 17-19, 2022},
pages = {5--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCTA58027.2022.10206200},
doi = {10.1109/ICCTA58027.2022.10206200},
timestamp = {Tue, 22 Aug 2023 08:08:16 +0200},
biburl = {https://dblp.org/rec/conf/iccta/Ueda22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/Ueda22,
author = {Kazunori Ueda},
editor = {Leonard Barolli and
Hiroyoshi Miwa and
Tomoya Enokido},
title = {{DTN} Routing Method Based on Node Movement Prediction and Message
Deliverability},
booktitle = {Advances in Network-Based Information Systems - The 25th International
Conference on Network-Based Information Systems (NBiS-2022), Sanda-Shi,
Japan, 7-9 September, 2022},
series = {Lecture Notes in Networks and Systems},
volume = {526},
pages = {267--278},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14314-4\_27},
doi = {10.1007/978-3-031-14314-4\_27},
timestamp = {Mon, 15 Aug 2022 16:10:21 +0200},
biburl = {https://dblp.org/rec/conf/nbis/Ueda22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05149,
author = {Jin Sano and
Naoki Yamamoto and
Kazunori Ueda},
title = {Type checking data structures more complex than trees},
journal = {CoRR},
volume = {abs/2209.05149},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05149},
doi = {10.48550/ARXIV.2209.05149},
eprinttype = {arXiv},
eprint = {2209.05149},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YasenU21,
author = {Alimujiang Yasen and
Kazunori Ueda},
title = {Revisiting Graph Types in HyperLMNtal: {A} Modeling Language for Hypergraph
Rewriting},
journal = {{IEEE} Access},
volume = {9},
pages = {133449--133460},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3112903},
doi = {10.1109/ACCESS.2021.3112903},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/YasenU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WashizakiTUYFHO20,
author = {Hironori Washizaki and
Kenji Tei and
Kazunori Ueda and
Hayato Yamana and
Yoshiaki Fukazawa and
Shinichi Honiden and
Shoichi Okazaki and
Nobukazu Yoshioka and
Naoshi Uchihira},
title = {Smart {SE:} Smart Systems and Services Innovative Professional Education
Program},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1113--1114},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-114},
doi = {10.1109/COMPSAC48688.2020.0-114},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/WashizakiTUYFHO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HatabaEU19,
author = {Muhammad Hataba and
Ahmed El{-}Mahdy and
Kazunori Ueda},
title = {Generation of Efficient Obfuscated Code through Just-in-Time Compilation},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {102-D},
number = {3},
pages = {645--649},
year = {2019},
url = {https://doi.org/10.1587/transinf.2018EDL8180},
doi = {10.1587/TRANSINF.2018EDL8180},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/HatabaEU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/IkenoueU19,
author = {Kazuma Ikenoue and
Kazunori Ueda},
editor = {Leonard Barolli and
Peter Hellinckx and
Tomoya Enokido},
title = {Routing Method Based on Data Transfer Path in {DTN} Environments},
booktitle = {Advances on Broad-Band Wireless Computing, Communication and Applications
- Proceedings of the 14th International Conference on Broad-Band Wireless
Computing, Communication and Applications, {BWCCA} 2019, Antwerp,
Belgium, November 7-9, 2019},
series = {Lecture Notes in Networks and Systems},
volume = {97},
pages = {544--552},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33506-9\_49},
doi = {10.1007/978-3-030-33506-9\_49},
timestamp = {Thu, 12 Aug 2021 13:48:41 +0200},
biburl = {https://dblp.org/rec/conf/bwcca/IkenoueU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/YamadaSU19,
author = {Yunosuke Yamada and
Masashi Sato and
Kazunori Ueda},
editor = {Roger D. Chamberlain and
Martin Edin Grimheden and
Walid Taha},
title = {Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems
with HydLa and HyLaGI},
booktitle = {Cyber Physical Systems. Model-Based Design - 9th International Workshop,
CyPhy 2019, and 15th International Workshop, {WESE} 2019, New York
City, NY, USA, October 17-18, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11971},
pages = {153--178},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41131-2\_8},
doi = {10.1007/978-3-030-41131-2\_8},
timestamp = {Mon, 14 Dec 2020 08:24:12 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/YamadaSU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/TomiokaTU19,
author = {Taichi Tomioka and
Yutaro Tsunekawa and
Kazunori Ueda},
editor = {Esther Guerra and
Fernando Orejas},
title = {Introducing Symmetry to Graph Rewriting Systems with Process Abstraction},
booktitle = {Graph Transformation - 12th International Conference, {ICGT} 2019,
Held as Part of {STAF} 2019, Eindhoven, The Netherlands, July 15-16,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11629},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23611-3\_1},
doi = {10.1007/978-3-030-23611-3\_1},
timestamp = {Mon, 01 Jul 2019 14:24:31 +0200},
biburl = {https://dblp.org/rec/conf/gg/TomiokaTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/Ueda19,
author = {Kazunori Ueda},
editor = {Leonard Barolli and
Hiroaki Nishino and
Tomoya Enokido and
Makoto Takizawa},
title = {{DTN} Sub-ferry Nodes Placement with Consideration for Battery Consumption},
booktitle = {Advances in Networked-based Information Systems - The 22nd International
Conference on Network-Based Information Systems, NBiS 2019, Oita,
Japan, September 5-7, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {1036},
pages = {406--412},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29029-0\_38},
doi = {10.1007/978-3-030-29029-0\_38},
timestamp = {Tue, 20 Aug 2019 08:50:46 +0200},
biburl = {https://dblp.org/rec/conf/nbis/Ueda19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12272,
author = {Kazunori Ueda and
Hiroshi Hosobe and
Daisuke Ishii},
title = {Declarative Semantics of the Hybrid Constraint Language HydLa},
journal = {CoRR},
volume = {abs/1910.12272},
year = {2019},
url = {http://arxiv.org/abs/1910.12272},
eprinttype = {arXiv},
eprint = {1910.12272},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/YasenU18,
author = {Alimujiang Yasen and
Kazunori Ueda},
title = {Name Binding is Easy with Hypergraphs},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {101-D},
number = {4},
pages = {1126--1140},
year = {2018},
url = {https://doi.org/10.1587/transinf.2017EDP7257},
doi = {10.1587/TRANSINF.2017EDP7257},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/YasenU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijssc/UedaIBS18,
author = {Kazunori Ueda and
Makoto Iwata and
Ken{-}ichi Baba and
Shinji Shimojo},
title = {Multi-overlay information management for IoT-oriented {P2P} network
applications},
journal = {Int. J. Space Based Situated Comput.},
volume = {8},
number = {4},
pages = {204--213},
year = {2018},
url = {https://doi.org/10.1504/IJSSC.2018.098686},
doi = {10.1504/IJSSC.2018.098686},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijssc/UedaIBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/TsunekawaTU18,
author = {Yutaro Tsunekawa and
Taichi Tomioka and
Kazunori Ueda},
title = {Implementation of LMNtal Model Checkers: a Metaprogramming Approach},
journal = {J. Object Technol.},
volume = {17},
number = {1},
pages = {1:1--28},
year = {2018},
url = {https://doi.org/10.5381/jot.2018.17.1.a1},
doi = {10.5381/JOT.2018.17.1.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/TsunekawaTU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Ueda18,
author = {Kazunori Ueda},
title = {Logic/Constraint Programming and Concurrency: The hard-won lessons
of the Fifth Generation Computer project},
journal = {Sci. Comput. Program.},
volume = {164},
pages = {3--17},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.06.002},
doi = {10.1016/J.SCICO.2017.06.002},
timestamp = {Tue, 18 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Ueda18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/IkenoueU18,
author = {Kazuma Ikenoue and
Kazunori Ueda},
editor = {Leonard Barolli and
Fang{-}Yie Leu and
Tomoya Enokido and
Hsing{-}Chung Chen},
title = {Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant
Networks},
booktitle = {Advances on Broadband and Wireless Computing, Communication and Applications,
Proceedings of the 13th International Conference on Broadband and
Wireless Computing, Communication and Applications, {BWCCA} 2018,
Taichung, Taiwan, October 27-29, 2018},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {25},
pages = {769--774},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02613-4\_69},
doi = {10.1007/978-3-030-02613-4\_69},
timestamp = {Mon, 15 Jul 2019 13:41:49 +0200},
biburl = {https://dblp.org/rec/conf/bwcca/IkenoueU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/UedaI18,
author = {Kazunori Ueda and
Yusei Irifuku},
editor = {Leonard Barolli and
Natalia Kryvinska and
Tomoya Enokido and
Makoto Takizawa},
title = {Peer-to-Peer Data Distribution System with Browser Cache Sharing},
booktitle = {Advances in Network-Based Information Systems, The 21st International
Conference on Network-Based Information Systems, NBiS-2018, Bratislava,
Slovakia, 5-7 September 2018},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {22},
pages = {590--597},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98530-5\_51},
doi = {10.1007/978-3-319-98530-5\_51},
timestamp = {Mon, 07 Jan 2019 18:27:26 +0100},
biburl = {https://dblp.org/rec/conf/nbis/UedaI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HagiyaUIPM17,
author = {Masami Hagiya and
Kazunori Ueda and
Ryutaro Ichise and
Ferdinand Peper and
Satoshi Murata},
title = {Renewal of the Major Fields},
journal = {New Gener. Comput.},
volume = {35},
number = {2},
pages = {125--128},
year = {2017},
url = {https://doi.org/10.1007/s00354-017-0013-3},
doi = {10.1007/S00354-017-0013-3},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HagiyaUIPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/Ueda17,
author = {Kazunori Ueda},
editor = {Leonard Barolli and
Tomoya Enokido and
Makoto Takizawa},
title = {Performance Evaluation of Peer-to-Peer Network Applications on Multiple
Overlay Networks},
booktitle = {Advances in Network-Based Information Systems, The 20th International
Conference on Network-Based Information Systems, NBiS 2017, Ryerson
University, Toronto, ON, Canada, August 24-26, 2017},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {7},
pages = {750--756},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65521-5\_67},
doi = {10.1007/978-3-319-65521-5\_67},
timestamp = {Wed, 04 Jul 2018 16:30:46 +0200},
biburl = {https://dblp.org/rec/conf/nbis/Ueda17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/AkutsuYUS17,
author = {Hiroaki Akutsu and
Takahiro Yamamoto and
Kazunori Ueda and
Hideo Saito},
editor = {Dong Seong Kim and
Masato Kitakami and
Vijay Varadharajan},
title = {{MEC:} Network Optimized Multi-stage Erasure Coding for Scalable Storage
Systems},
booktitle = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017},
pages = {292--300},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PRDC.2017.54},
doi = {10.1109/PRDC.2017.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/AkutsuYUS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttcs/YasenU17,
author = {Alimujiang Yasen and
Kazunori Ueda},
editor = {Mohammad Reza Mousavi and
Jir{\'{\i}} Sgall},
title = {Unification of Hypergraph {\textbackslash}lambda -Terms},
booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International
Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10608},
pages = {106--124},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68953-1\_9},
doi = {10.1007/978-3-319-68953-1\_9},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/ttcs/YasenU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/AkutsuUCKS16,
author = {Hiroaki Akutsu and
Kazunori Ueda and
Takeru Chiba and
Tomohiro Kawaguchi and
Norio Shimozono},
title = {Reliability and Failure Impact Analysis of Distributed Storage Systems
with Dynamic Refuging},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {99-D},
number = {9},
pages = {2259--2268},
year = {2016},
url = {https://doi.org/10.1587/transinf.2016EDP7139},
doi = {10.1587/TRANSINF.2016EDP7139},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/AkutsuUCKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apnoms/YanoU16,
author = {Shinya Yano and
Kazunori Ueda},
title = {Improvement of WMNs routing method for the purpose of reduction of
control communications},
booktitle = {18th Asia-Pacific Network Operations and Management Symposium, {APNOMS}
2016, Kanazawa, Japan, October 5-7, 2016},
pages = {1--4},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/APNOMS.2016.7737291},
doi = {10.1109/APNOMS.2016.7737291},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/apnoms/YanoU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/BetsunoMU16,
author = {Kenichi Betsuno and
Shota Matsumoto and
Kazunori Ueda},
editor = {Christian Berger and
Mohammad Reza Mousavi and
Rafael Wisniewski},
title = {Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes
Using Loop Detection},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International
Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10107},
pages = {17--30},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-51738-4\_2},
doi = {10.1007/978-3-319-51738-4\_2},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/BetsunoMU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ueda16,
author = {Kazunori Ueda},
editor = {Oleg Kiselyov and
Andy King},
title = {Logic/Constraint Programming and Concurrency: The Hard-Won Lessons
of the Fifth Generation Computer Project},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {1--11},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_1},
doi = {10.1007/978-3-319-29604-3\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ueda16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/ImadaU16,
author = {Nanami Imada and
Kazunori Ueda},
title = {Peer-to-Peer Network System and Application Design on Multiple Virtual
Networks},
booktitle = {19th International Conference on Network-Based Information Systems,
NBiS 2016, Ostrava, Czech Republic, September 7-9, 2016},
pages = {298--302},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/NBiS.2016.66},
doi = {10.1109/NBIS.2016.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/ImadaU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/YasenU16,
author = {Alimujiang Yasen and
Kazunori Ueda},
title = {Hypergraph Representation of Lambda-Terms},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2016, Shanghai, China, July 17-19, 2016},
pages = {113--116},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.25},
doi = {10.1109/TASE.2016.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/YasenU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MatsumotoU16,
author = {Shota Matsumoto and
Kazunori Ueda},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {4--11},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.8},
doi = {10.1109/TIME.2016.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MatsumotoU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FuU15,
author = {Yuxi Fu and
Kazunori Ueda},
title = {Preface},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {4},
pages = {764},
year = {2015},
url = {https://doi.org/10.1017/S096012951300011X},
doi = {10.1017/S096012951300011X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FuU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apnoms/UedaK15,
author = {Kazunori Ueda and
Norio Kimura},
title = {Network information sharing system with peer-to-peer network applications},
booktitle = {17th Asia-Pacific Network Operations and Management Symposium, {APNOMS}
2015, Busan, South Korea, August 19-21, 2015},
pages = {534--537},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/APNOMS.2015.7275407},
doi = {10.1109/APNOMS.2015.7275407},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/apnoms/UedaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MatsushitaNU15,
author = {Kazuki Matsushita and
Masashi Nishimine and
Kazunori Ueda},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Cooperative Cache Distribution System for Virtual {P2P} Web Proxy},
booktitle = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
pages = {646--647},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.147},
doi = {10.1109/COMPSAC.2015.147},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/MatsushitaNU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmu/IrimotoMU15,
author = {Shizuya Irimoto and
Yuta Maruoka and
Kazunori Ueda},
title = {Performance evaluation of {WMN} routing methods considering amount
of control packets},
booktitle = {Eighth International Conference on Mobile Computing and Ubiquitous
Networking, {ICMU} 2015, Hakodate, Japan, January 20-22, 2015},
pages = {80--81},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICMU.2015.7061039},
doi = {10.1109/ICMU.2015.7061039},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmu/IrimotoMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/KobayashiUM15,
author = {Wataru Kobayashi and
Kazunori Ueda and
Yuta Maruoka},
editor = {Leonard Barolli and
Makoto Takizawa and
Hui{-}Huang Hsu and
Tomoya Enokido and
Fatos Xhafa},
title = {Performance Evaluation of Routing Method Based on Neighboring Node
Information in {WMN}},
booktitle = {18th International Conference on Network-Based Information Systems,
NBis 2015, Taipei, Taiwan, September 2-4, 2015},
pages = {424--431},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/NBiS.2015.65},
doi = {10.1109/NBIS.2015.65},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/KobayashiUM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AkutsuUCKS15,
author = {Hiroaki Akutsu and
Kazunori Ueda and
Takeru Chiba and
Tomohiro Kawaguchi and
Norio Shimozono},
editor = {Masoud Daneshtalab and
Marco Aldinucci and
Ville Lepp{\"{a}}nen and
Johan Lilius and
Mats Brorsson},
title = {Reliability Analysis of Highly Redundant Distributed Storage Systems
with Dynamic Refuging},
booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
2015},
pages = {261--268},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PDP.2015.32},
doi = {10.1109/PDP.2015.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AkutsuUCKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MatsumotoKKU15,
author = {Shota Matsumoto and
Fumihiko Kono and
Teruya Kobayashi and
Kazunori Ueda},
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa},
booktitle = {Seventh and Eighth International Workshops on Numerical Software Verification,
{NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
Seattle, WA, USA, April 13, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {109--115},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.10.011},
doi = {10.1016/J.ENTCS.2015.10.011},
timestamp = {Thu, 10 Nov 2022 15:22:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MatsumotoKKU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/KobayashiMU14,
author = {Wataru Kobayashi and
Yuta Maruoka and
Kazunori Ueda},
editor = {Leonard Barolli and
Kin Fun Li and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {Routing Method Based on Relationships between Neighboring Nodes in
Wireless Mesh Networks},
booktitle = {28th International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2014 Workshops, Victoria, BC, Canada,
May 13-16, 2014},
pages = {180--184},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WAINA.2014.38},
doi = {10.1109/WAINA.2014.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/KobayashiMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ueda14,
author = {Kazunori Ueda},
editor = {Gul A. Agha and
Atsushi Igarashi and
Naoki Kobayashi and
Hidehiko Masuhara and
Satoshi Matsuoka and
Etsuya Shibayama and
Kenjiro Taura},
title = {Towards a Substrate Framework of Computation},
booktitle = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8665},
pages = {341--366},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44471-9\_15},
doi = {10.1007/978-3-662-44471-9\_15},
timestamp = {Sat, 19 Oct 2019 20:29:10 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ueda14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/MatsushitaNU14,
author = {Kazuki Matsushita and
Masashi Nishimine and
Kazunori Ueda},
editor = {Leonard Barolli and
Fatos Xhafa and
Makoto Takizawa and
Tomoya Enokido and
Aniello Castiglione and
Alfredo De Santis},
title = {Cooperation {P2P} Web Proxy to Reduce Resource Usage},
booktitle = {17th International Conference on Network-Based Information Systems,
NBiS 2014, Salerno, Italy, September 10-12, 2014},
pages = {420--425},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/NBiS.2014.76},
doi = {10.1109/NBIS.2014.76},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/MatsushitaNU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MaruokaU13,
author = {Yuta Maruoka and
Kazunori Ueda},
editor = {Leonard Barolli and
Fatos Xhafa and
Makoto Takizawa and
Tomoya Enokido and
Hui{-}Huang Hsu},
title = {A Method for Establishing Routes and IPv6 Addressing Based on the
Estimated Distance from Neighboring Nodes in Wireless Mesh Networks},
booktitle = {27th International Conference on Advanced Information Networking and
Applications Workshops, {WAINA} 2013, Barcelona, Spain, March 25-28,
2013},
pages = {21--26},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WAINA.2013.159},
doi = {10.1109/WAINA.2013.159},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/MaruokaU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apnoms/UedaAO13,
author = {Kazunori Ueda and
Jun{-}ichi Akase and
Takuya Okubo},
title = {Analysis of peer cluster layers selection criteria for {P2P} contents
distribution systems},
booktitle = {15th Asia-Pacific Network Operations and Management Symposium, {APNOMS}
2013, Hiroshima, Japan, September 25-27, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6665260/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apnoms/UedaAO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/NishimineU13,
author = {Masashi Nishimine and
Kazunori Ueda},
title = {Design and Implementation of a Cache-less {P2P} Web Proxy},
booktitle = {2013 Eighth International Conference on Broadband and Wireless Computing,
Communication and Applications, Compiegne, France, October 28-30,
2013},
pages = {500--505},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/BWCCA.2013.86},
doi = {10.1109/BWCCA.2013.86},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/bwcca/NishimineU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/UedaO12,
author = {Kazunori Ueda and
Seiji Ogawa},
title = {HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model},
journal = {K{\"{u}}nstliche Intell.},
volume = {26},
number = {1},
pages = {27--36},
year = {2012},
url = {https://doi.org/10.1007/s13218-011-0162-3},
doi = {10.1007/S13218-011-0162-3},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/UedaO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apnoms/UedaO12,
author = {Kazunori Ueda and
Takuya Okubo},
title = {Peer-to-Peer contents distribution system using multiple peer clusters},
booktitle = {14th Asia-Pacific Network Operations and Management Symposium, {APNOMS}
2012, Seoul, Korea (South), September 25-27, 2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APNOMS.2012.6356100},
doi = {10.1109/APNOMS.2012.6356100},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/apnoms/UedaO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/CodognetUH12,
author = {Philippe Codognet and
Kazunori Ueda and
Hiroshi Hosobe},
title = {Parallel Methods for Constraint Solving and Combinatorial Optimization
{(NII} Shonan Meeting 2012-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/014/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/CodognetUH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/IshiiUH11,
author = {Daisuke Ishii and
Kazunori Ueda and
Hiroshi Hosobe},
title = {An interval-based {SAT} modulo {ODE} solver for model checking nonlinear
hybrid systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {5},
pages = {449--461},
year = {2011},
url = {https://doi.org/10.1007/s10009-011-0193-y},
doi = {10.1007/S10009-011-0193-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/IshiiUH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apnoms/OkuboU11,
author = {Takuya Okubo and
Kazunori Ueda},
title = {Peer-to-Peer contents delivery system considering network distance},
booktitle = {13th Asia-Pacific Network Operations and Management Symposium, {APNOMS}
2011, Taipei, Taiwan, September 21-23, 2011},
pages = {1--4},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/APNOMS.2011.6076991},
doi = {10.1109/APNOMS.2011.6076991},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/apnoms/OkuboU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2010,
editor = {Kazunori Ueda},
title = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2},
doi = {10.1007/978-3-642-17164-2},
isbn = {978-3-642-17163-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ueda09,
author = {Kazunori Ueda},
title = {LMNtal as a hierarchical logic programming language},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4784--4800},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.043},
doi = {10.1016/J.TCS.2009.07.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ueda09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/IshiiUHG09,
author = {Daisuke Ishii and
Kazunori Ueda and
Hiroshi Hosobe and
Alexandre Goldsztejn},
editor = {Alessandro Giua and
Cristian Mahulea and
Manuel Silva and
Janan Zaytoon},
title = {Interval-based Solving of Hybrid Constraint Systems},
booktitle = {3rd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2009, Zaragoza, Spain, September 16-18, 2009},
series = {{IFAC} Proceedings Volumes},
volume = {42},
number = {17},
pages = {144--149},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.3182/20090916-3-ES-3003.00026},
doi = {10.3182/20090916-3-ES-3003.00026},
timestamp = {Thu, 11 Oct 2018 11:27:01 +0200},
biburl = {https://dblp.org/rec/conf/adhs/IshiiUHG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apnoms/UedaK09,
author = {Kazunori Ueda and
Kazuhisa Kawada},
editor = {Choong Seon Hong and
Toshio Tonouchi and
Yan Ma and
Chi{-}Shih Chao},
title = {Asymmetric {DHT} Based on Performance of Peers},
booktitle = {Management Enabling the Future Internet for Changing Business and
New Computing Services, 12th Asia-Pacific Network Operations and Management
Symposium, {APNOMS} 2009, Jeju, South Korea, September 23-25, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5787},
pages = {427--430},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04492-2\_45},
doi = {10.1007/978-3-642-04492-2\_45},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/apnoms/UedaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/UedaAHIO09,
author = {Kazunori Ueda and
Takayuki Ayano and
Taisuke Hori and
Hiroki Iwasawa and
Seiji Ogawa},
editor = {Martin Leucker and
Carroll Morgan},
title = {Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and
Understanding Nondeterministic Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {349--355},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_24},
doi = {10.1007/978-3-642-03466-4\_24},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/UedaAHIO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/UedaB09,
author = {Kazunori Ueda and
Ken{-}ichi Baba},
title = {Proposal of an Initial Route Establishment Method in Wireless Mesh
Networks},
booktitle = {Ninth Annual International Symposium on Applications and the Internet,
{SAINT} 2009, Bellevue, Washington, USA, July 20-24, 2009, Proceedings},
pages = {173--176},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SAINT.2009.42},
doi = {10.1109/SAINT.2009.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/UedaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/OhmuraU09,
author = {Kei Ohmura and
Kazunori Ueda},
editor = {Oliver Kullmann},
title = {c-sat: {A} Parallel {SAT} Solver for Clusters},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {524--537},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_47},
doi = {10.1007/978-3-642-02777-2\_47},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/OhmuraU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/IshiiUH09,
author = {Daisuke Ishii and
Kazunori Ueda and
Hiroshi Hosobe},
editor = {Olivier Dalle and
Gabriel A. Wainer and
L. Felipe Perrone and
Giovanni Stea},
title = {Simulation of hybrid systems based on hierarchical interval constraints},
booktitle = {Proceedings of the 2nd International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems, SimuTools
2009, Rome, Italy, March 2-6, 2009},
pages = {37},
publisher = {{ICST/ACM}},
year = {2009},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2009.5640},
doi = {10.4108/ICST.SIMUTOOLS2009.5640},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/IshiiUH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Ueda08,
author = {Kazunori Ueda},
editor = {Andrei Voronkov},
title = {Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {392--408},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_27},
doi = {10.1007/978-3-540-70590-1\_27},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Ueda08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/UedaKHM06,
author = {Kazunori Ueda and
Norio Kato and
Koji Hara and
Ken Mizuno},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {LMNtal as a Unifying Declarative Language: Live Demonstration},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {457--458},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_47},
doi = {10.1007/11799573\_47},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/UedaKHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ueda08,
author = {Kazunori Ueda},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Encoding Distributed Process Calculi into LMNtal},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {187--200},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.012},
doi = {10.1016/J.ENTCS.2008.04.012},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ueda08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ueda06,
author = {Kazunori Ueda},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Constraint-Based Concurrency and Beyond},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {327--331},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.103},
doi = {10.1016/J.ENTCS.2005.12.103},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ueda06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/UedaK04,
author = {Kazunori Ueda and
Norio Kato},
editor = {Giancarlo Mauri and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {LMNtal: {A} Language Model with Links and Membranes},
booktitle = {Membrane Computing, 5th International Workshop, {WMC} 2004, Milan,
Italy, June 14-16, 2004, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3365},
pages = {110--125},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31837-8\_6},
doi = {10.1007/978-3-540-31837-8\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/UedaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/UedaK03,
author = {Kazunori Ueda and
Norio Kato},
editor = {Catuscia Palamidessi},
title = {The Language Model LMNtal},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {517--518},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_50},
doi = {10.1007/978-3-540-24599-5\_50},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/UedaK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/UedaOSM03,
author = {Kazunori Ueda and
Hiroyuki Ohsaki and
Shinji Shimojo and
Hideo Miyahara},
title = {Design and Implementation of Real-Time Digital Video Streaming System
over IPv6 Network using Feedback Control},
booktitle = {2003 Symposium on Applications and the Internet {(SAINT} 2003), 27-31
January 2003 - Orlando, FL, USA, Proceedings},
pages = {111--119},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SAINT.2003.1183039},
doi = {10.1109/SAINT.2003.1183039},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/UedaOSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/AjiroU02,
author = {Yasuhiro Ajiro and
Kazunori Ueda},
title = {Kima: An Automated Error Correction System for Concurrent Logic Programs},
journal = {Autom. Softw. Eng.},
volume = {9},
number = {1},
pages = {67--94},
year = {2002},
url = {https://doi.org/10.1023/A:1013232219911},
doi = {10.1023/A:1013232219911},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/AjiroU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/KuchenU02,
author = {Herbert Kuchen and
Kazunori Ueda},
title = {Editorial: Functional and Logic Programming},
journal = {J. Funct. Log. Program.},
volume = {2002},
year = {2002},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-E02-01.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/KuchenU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Ueda02,
author = {Kazunori Ueda},
title = {Programming with Logical Links},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {115--126},
year = {2002},
timestamp = {Tue, 01 Jun 2004 13:16:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Ueda02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ueda02,
author = {Kazunori Ueda},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {138--161},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_7},
doi = {10.1007/3-540-45628-7\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ueda02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KatoU01,
author = {Norio Kato and
Kazunori Ueda},
title = {Optimizing Compilation of Concurrent Logic Programs Directed by Interface
Analysis},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {237--250},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KatoU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Ueda01,
author = {Kazunori Ueda},
title = {Resource-Passing Concurrent Programming},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {313--327},
year = {2001},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Ueda01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/OkamotoUKSM01,
author = {Michiya Okamoto and
Kazunori Ueda and
Junzo Kamahara and
Shinji Shimojo and
Hideo Miyahara},
title = {An Architecture of Personalized Sports Digest System with Scenario
Templates},
booktitle = {Database Systems for Advanced Applications, Proceedings of the 7th
International Conference on Database Systems for Advanced Applications
{(DASFAA} 2001), 18-20 April 2001 - Hong Kong, China},
pages = {170--171},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DASFAA.2001.6044762},
doi = {10.1109/DASFAA.2001.6044762},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasfaa/OkamotoUKSM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ueda01,
author = {Kazunori Ueda},
editor = {Philippe Codognet},
title = {A Close Look at Constraint-Based Concurrency},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {9},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_7},
doi = {10.1007/3-540-45635-X\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ueda01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Ueda01,
author = {Kazunori Ueda},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Resource-Passing Concurrent Programming},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {95--126},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_5},
doi = {10.1007/3-540-45500-0\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Ueda01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2001,
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4},
doi = {10.1007/3-540-44716-4},
isbn = {3-540-41739-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AjiroU00,
author = {Yasuhiro Ajiro and
Kazunori Ueda},
editor = {Mireille Ducass{\'{e}}},
title = {Kima- An automated error correction system for concurrent logic programs},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0012007},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/AjiroU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Ueda00,
author = {Kazunori Ueda},
title = {Linearity Analysis of Concurrent Logic Programs},
booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
2000, National University of Singapore, Singapore, December 18-20,
2000, Proceedings},
pages = {51--68},
year = {2000},
timestamp = {Tue, 01 Jun 2004 14:41:27 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Ueda00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AjiroU00,
author = {Yasuhiro Ajiro and
Kazunori Ueda},
title = {Kima - An Automated Error Correction System for Concurrent Logic Programs},
booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
2000, National University of Singapore, Singapore, December 18-20,
2000, Proceedings},
pages = {99--118},
year = {2000},
timestamp = {Tue, 01 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AjiroU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Ueda99,
author = {Kazunori Ueda},
editor = {Michael Leuschel},
title = {Linearity Analysis of Concurrent Logic Programs},
booktitle = {Workshop on Optimization and Implementation of Declarative Programs,
{WOID} 1999, in connection with the International Conference on Logic
Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 2-3,
1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {2},
pages = {188},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80638-3},
doi = {10.1016/S1571-0661(05)80638-3},
timestamp = {Wed, 23 Nov 2022 16:37:40 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ueda99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Ueda99,
author = {Kazunori Ueda},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Concurrent Logic/Constraint Programming: The Next 10 Years},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {53--71},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_3},
doi = {10.1007/978-3-642-60085-2\_3},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Ueda99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcp/KamaharaNUKSM98,
author = {Junzo Kamahara and
Yuji Nomura and
Kazunori Ueda and
Keishi Kandori and
Shinji Shimojo and
Hideo Miyahara},
editor = {Shojiro Nishio and
Fumio Kishino},
title = {A {TV} News Recommendation System with Automatic Recomposition},
booktitle = {Advanced Multimedia Content Processing, First International Conference,
{AMCP} '98, Osaka, Japan, November, 9-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1554},
pages = {221--235},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48962-2\_16},
doi = {10.1007/3-540-48962-2\_16},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/amcp/KamaharaNUKSM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AjiroUC98,
author = {Yasuhiro Ajiro and
Kazunori Ueda and
Kenta Cho},
editor = {Michael J. Maher and
Jean{-}Francois Puget},
title = {Error-Correcting Source Code},
booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International
Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1520},
pages = {40--54},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49481-2\_5},
doi = {10.1007/3-540-49481-2\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AjiroUC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/1997,
editor = {R. K. Shyamasundar and
Kazunori Ueda},
title = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1345},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63875-X},
doi = {10.1007/3-540-63875-X},
isbn = {3-540-63875-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChoU96,
author = {Kenta Cho and
Kazunori Ueda},
editor = {Michael J. Maher},
title = {Diagnosing Non-Well-Moded Concurrent Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {215--229},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278925},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChoU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psls/Ueda95,
author = {Kazunori Ueda},
editor = {Takayasu Ito and
Robert H. Halstead Jr. and
Christian Queinnec},
title = {Experiences with Strong Moding in Concurrent Logic/Constraint Programming},
booktitle = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
Beaune, France, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1068},
pages = {134--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0023059},
doi = {10.1007/BFB0023059},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/psls/Ueda95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/UedaM94,
author = {Kazunori Ueda and
Masao Morita},
title = {Moded Flat {GHC} and Its Message-Oriented Implementation Technique},
journal = {New Gener. Comput.},
volume = {13},
number = {1},
pages = {3--43},
year = {1994},
url = {https://doi.org/10.1007/BF03038307},
doi = {10.1007/BF03038307},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/UedaM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Ueda94,
author = {Kazunori Ueda},
editor = {Guy E. Blelloch and
K. Mani Chandy and
Suresh Jagannathan},
title = {The Mode System of Moded Flat {GHC}},
booktitle = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, May 9-11, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {18},
pages = {259--274},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/018/17},
doi = {10.1090/DIMACS/018/17},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Ueda94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispan/AmamiyaSMHYAUAI94,
author = {Makoto Amamiya and
Masahiko Satoh and
Akifumi Makinouchi and
Ken{-}Ichi Hagiwara and
Taiichi Yuasa and
Hitoshi Aida and
Kazunori Ueda and
Keijiro Araki and
Tetsuo Ida and
Takanobu Baba},
title = {Research on programming languages for massively parallel processing},
booktitle = {International Symposium on Parallel Architectures, Algorithms and
Networks, {ISPAN} 1994, Kanazawa, Japan, December 14-16, 1994},
pages = {443--450},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ISPAN.1994.367134},
doi = {10.1109/ISPAN.1994.367134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispan/AmamiyaSMHYAUAI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tppp/Ueda94,
author = {Kazunori Ueda},
editor = {Takayasu Ito and
Akinori Yonezawa},
title = {{I/O} Mode Analysis in Concurrent Logic Programming},
booktitle = {Theory and Practice of Parallel Programming, International Workshop
TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {907},
pages = {356--368},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0026579},
doi = {10.1007/BFB0026579},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tppp/Ueda94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ShapiroWFKFUKCT93,
author = {Ehud Shapiro and
David H. D. Warren and
Kazuhiro Fuchi and
Robert A. Kowalski and
Koichi Furukawa and
Kazunori Ueda and
Kenneth M. Kahn and
Takashi Chikayama and
Evan Tick},
title = {The Fifth Generation Project: Personal Perspectives},
journal = {Commun. {ACM}},
volume = {36},
number = {3},
pages = {46--103},
year = {1993},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/ShapiroWFKFUKCT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/UedaM93,
author = {Kazunori Ueda and
Masao Morita},
title = {Message-Oriented Parallel Implementation of Moded Flat {GHC}},
journal = {New Gener. Comput.},
volume = {11},
number = {3},
pages = {323--341},
year = {1993},
url = {https://doi.org/10.1007/BF03037181},
doi = {10.1007/BF03037181},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/UedaM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/UedaM92,
author = {Kazunori Ueda and
Masao Morita},
title = {Message-Oriented Parallel Implementation of Moded Flat {GHC}},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {799--808},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/UedaM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1991,
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
publisher = {{MIT} Press},
year = {1991},
isbn = {0-262-69147-7},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/UedaC90,
author = {Kazunori Ueda and
Takashi Chikayama},
title = {Design of the Kernel Language for the Parallel Inference Machine},
journal = {Comput. J.},
volume = {33},
number = {6},
pages = {494--500},
year = {1990},
url = {https://doi.org/10.1093/comjnl/33.6.494},
doi = {10.1093/COMJNL/33.6.494},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/UedaC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/UedaM90,
author = {Kazunori Ueda and
Masao Morita},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {A New Implementation Technique for Flat {GHC}},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {3--17},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/UedaM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ueda89,
author = {Kazunori Ueda},
editor = {Gerhard X. Ritter},
title = {Parallelism in Logic Programming},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {957--964},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Ueda89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Ueda88,
author = {Kazunori Ueda},
title = {Theory and Practice of Concurrent Systems - The Role of Kernel Language
in the {FGCS} Project},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {165--166},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Ueda88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/UedaF88,
author = {Kazunori Ueda and
Koichi Furukawa},
title = {Transformation Rules for {GHC} Programs},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {582--591},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/UedaF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FurukawaU88,
author = {Koichi Furukawa and
Kazunori Ueda},
editor = {Kesav V. Nori and
Sanjeev Kumar},
title = {{GHC} - {A} Language for a New Age of Parallel Programming},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {338},
pages = {364--376},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50517-2\_91},
doi = {10.1007/3-540-50517-2\_91},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FurukawaU88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Ueda87,
author = {Kazunori Ueda},
title = {Making Exhaustive Search Programs Deterministic},
journal = {New Gener. Comput.},
volume = {5},
number = {1},
pages = {29--44},
year = {1987},
url = {https://doi.org/10.1007/BF03037456},
doi = {10.1007/BF03037456},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Ueda87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ueda87,
author = {Kazunori Ueda},
editor = {Jean{-}Louis Lassez},
title = {Making Exhaustive Search Programs Deterministic, Part {II}},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {356--375},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ueda87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/TanakaUMTMF86,
author = {Jiro Tanaka and
Kazunori Ueda and
Tashihiko Miyazaki and
Akikazu Takeuchi and
Yuji Matsumoto and
Koichi Furukawa},
title = {Guarded Horn Clauses and Experience with Parallel Logic Programming},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
Dallas, Texas, {USA}},
pages = {948--954},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Tue, 16 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fjcc/TanakaUMTMF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ueda86,
author = {Kazunori Ueda},
editor = {Ehud Shapiro},
title = {Making Exhaustive Search Programs Deterministic},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {270--282},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_81},
doi = {10.1007/3-540-16492-8\_81},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ueda86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lp/Ueda85,
author = {Kazunori Ueda},
editor = {Eiiti Wada},
title = {Guarded Horn Clauses},
booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan,
July 1-3, 1985},
series = {Lecture Notes in Computer Science},
volume = {221},
pages = {168--179},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16479-0\_17},
doi = {10.1007/3-540-16479-0\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lp/Ueda85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/UedaC85,
author = {Kazunori Ueda and
Takashi Chikayama},
title = {Concurrent Prolog Compiler on Top of Prolog},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {119--126},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/UedaC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/UedaC84,
author = {Kazunori Ueda and
Takashi Chikayama},
title = {Efficient Stream/Array Processing in Logic Programming Languages},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {317--326},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/UedaC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/NakashimaTU84,
author = {Hideyuki Nakashima and
Satoru Tomura and
Kazunori Ueda},
title = {What is a Variable in Prolog?},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {327--332},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/NakashimaTU84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/FurukawaTKYOU84,
author = {Koichi Furukawa and
Akikazu Takeuchi and
Susumu Kunifuji and
Hideki Yasukawa and
Masaru Ohki and
Kazunori Ueda},
title = {{MANDELA:} {A} LogicBased Knowledge Programming System},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {613--622},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/FurukawaTKYOU84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
