Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Hiroshi Unno"
download as .bib file
@article{DBLP:journals/pacmpl/KawamataUST24,
author = {Fuga Kawamata and
Hiroshi Unno and
Taro Sekiyama and
Tachio Terauchi},
title = {Answer Refinement Modification: Refinement Type System for Algebraic
Effects and Handlers},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {115--147},
year = {2024},
url = {https://doi.org/10.1145/3633280},
doi = {10.1145/3633280},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KawamataUST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TsukadaU24,
author = {Takeshi Tsukada and
Hiroshi Unno},
title = {Inductive Approach to Spacer},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {1979--2002},
year = {2024},
url = {https://doi.org/10.1145/3656457},
doi = {10.1145/3656457},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/TsukadaU24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmlsc/Uehira024,
author = {Kazutake Uehira and
Hiroshi Unno},
title = {Study on removing superimposed {QR} code on object image using an
autoencoder},
booktitle = {Proceedings of the 8th International Conference on Machine Learning
and Soft Computing, {ICMLSC} 2024, Singapore, January 26-28, 2024},
pages = {178--185},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3647750.3647778},
doi = {10.1145/3647750.3647778},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmlsc/Uehira024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-02975,
author = {Satoshi Kura and
Hiroshi Unno},
title = {Automated Verification of Higher-Order Probabilistic Programs via
a Dependent Refinement Type System},
journal = {CoRR},
volume = {abs/2407.02975},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.02975},
doi = {10.48550/ARXIV.2407.02975},
eprinttype = {arXiv},
eprint = {2407.02975},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-02975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GuTU23,
author = {Yu Gu and
Takeshi Tsukada and
Hiroshi Unno},
title = {Optimal {CHC} Solving via Termination Proofs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {604--631},
year = {2023},
url = {https://doi.org/10.1145/3571214},
doi = {10.1145/3571214},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GuTU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SekiyamaU23,
author = {Taro Sekiyama and
Hiroshi Unno},
title = {Temporal Verification with Answer-Effect Modification: Dependent Temporal
Type-and-Effect System with Delimited Continuations},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {2079--2110},
year = {2023},
url = {https://doi.org/10.1145/3571264},
doi = {10.1145/3571264},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SekiyamaU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/UnnoTGK23,
author = {Hiroshi Unno and
Tachio Terauchi and
Yu Gu and
Eric Koskinen},
title = {Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {2111--2140},
year = {2023},
url = {https://doi.org/10.1145/3571265},
doi = {10.1145/3571265},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/UnnoTGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15463,
author = {Fuga Kawamata and
Hiroshi Unno and
Taro Sekiyama and
Tachio Terauchi},
title = {Answer Refinement Modification: Refinement Type System for Algebraic
Effects and Handlers},
journal = {CoRR},
volume = {abs/2307.15463},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15463},
doi = {10.48550/ARXIV.2307.15463},
eprinttype = {arXiv},
eprint = {2307.15463},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TsukadaU22,
author = {Takeshi Tsukada and
Hiroshi Unno},
title = {Software model-checking as cyclic-proof search},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3498725},
doi = {10.1145/3498725},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TsukadaU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-10386,
author = {Taro Sekiyama and
Hiroshi Unno},
title = {Temporal Verification with Answer-Effect Modification},
journal = {CoRR},
volume = {abs/2207.10386},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.10386},
doi = {10.48550/ARXIV.2207.10386},
eprinttype = {arXiv},
eprint = {2207.10386},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-10386.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KuraUH20,
author = {Satoshi Kura and
Hiroshi Unno and
Ichiro Hasuo},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Decision Tree Learning in CEGIS-Based Termination Analysis},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {75--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_4},
doi = {10.1007/978-3-030-81688-9\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KuraUH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/UnnoTK21,
author = {Hiroshi Unno and
Tachio Terauchi and
Eric Koskinen},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Constraint-Based Relational Verification},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {742--766},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_35},
doi = {10.1007/978-3-030-81685-8\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/UnnoTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/UnnoU21,
author = {Hiroshi Unno and
Kazutake Uehira},
title = {Invisible and readable checkerboard as watermark with temporally brightness
modulation},
booktitle = {{IEEE} Industry Applications Society Annual Meeting, {IAS} 2021, Vancouver,
BC, Canada, October 10-14, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IAS48185.2021.9677347},
doi = {10.1109/IAS48185.2021.9677347},
timestamp = {Sun, 23 Jan 2022 17:41:26 +0100},
biburl = {https://dblp.org/rec/conf/iasam/UnnoU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgsp/Uehira021,
author = {Kazutake Uehira and
Hiroshi Unno},
title = {Image Recognition by Quantum Annealing Using Multi-bit Spin Variables},
booktitle = {{ICGSP} 2021: The 5th International Conference on Graphics and Signal
Processing, Nagoya Japan, June 25 - 27, 2021},
pages = {15--19},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3474906.3474911},
doi = {10.1145/3474906.3474911},
timestamp = {Thu, 27 Jan 2022 17:14:43 +0100},
biburl = {https://dblp.org/rec/conf/icgsp/Uehira021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KobayashiSSU21,
author = {Naoki Kobayashi and
Taro Sekiyama and
Issei Sato and
Hiroshi Unno},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Toward Neural-Network-Guided Program Synthesis and Verification},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {236--260},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_12},
doi = {10.1007/978-3-030-88806-0\_12},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/KobayashiSSU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-09414,
author = {Naoki Kobayashi and
Taro Sekiyama and
Issei Sato and
Hiroshi Unno},
title = {Toward Neural-Network-Guided Program Synthesis and Verification},
journal = {CoRR},
volume = {abs/2103.09414},
year = {2021},
url = {https://arxiv.org/abs/2103.09414},
eprinttype = {arXiv},
eprint = {2103.09414},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-09414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11463,
author = {Satoshi Kura and
Hiroshi Unno and
Ichiro Hasuo},
title = {Decision Tree Learning in CEGIS-Based Termination Analysis},
journal = {CoRR},
volume = {abs/2104.11463},
year = {2021},
url = {https://arxiv.org/abs/2104.11463},
eprinttype = {arXiv},
eprint = {2104.11463},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02628,
author = {Hiroshi Unno and
Tachio Terauchi and
Eric Koskinen},
title = {Constraint-based Relational Verification},
journal = {CoRR},
volume = {abs/2106.02628},
year = {2021},
url = {https://arxiv.org/abs/2106.02628},
eprinttype = {arXiv},
eprint = {2106.02628},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09766,
author = {Takeshi Tsukada and
Hiroshi Unno and
Taro Sekiyama and
Kohei Suenaga},
title = {Enhancing Loop-Invariant Synthesis via Reinforcement Learning},
journal = {CoRR},
volume = {abs/2107.09766},
year = {2021},
url = {https://arxiv.org/abs/2107.09766},
eprinttype = {arXiv},
eprint = {2107.09766},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05617,
author = {Takeshi Tsukada and
Hiroshi Unno},
title = {Software Model-Checking as Cyclic-Proof Search},
journal = {CoRR},
volume = {abs/2111.05617},
year = {2021},
url = {https://arxiv.org/abs/2111.05617},
eprinttype = {arXiv},
eprint = {2111.05617},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Satake0Y20,
author = {Yuki Satake and
Hiroshi Unno and
Hinata Yanagi},
title = {Probabilistic Inference for Predicate Constraint Satisfaction},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1644--1651},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5526},
doi = {10.1609/AAAI.V34I02.5526},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Satake0Y20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03656,
author = {Hiroshi Unno and
Yuki Satake and
Tachio Terauchi and
Eric Koskinen},
title = {Program Verification via Predicate Constraint Satisfiability Modulo
Theories},
journal = {CoRR},
volume = {abs/2007.03656},
year = {2020},
url = {https://arxiv.org/abs/2007.03656},
eprinttype = {arXiv},
eprint = {2007.03656},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/0002U19,
author = {Hiroshi Unno and
Kazutake Uehira},
title = {Lighting technique for attaching invisible information onto real objects
using temporally and spatially color-intensity modulated light},
booktitle = {2019 {IEEE} Industry Applications Society Annual Meeting, Baltimore,
MD, USA, September 29 - Oct. 3, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IAS.2019.8912380},
doi = {10.1109/IAS.2019.8912380},
timestamp = {Thu, 05 Dec 2019 14:48:57 +0100},
biburl = {https://dblp.org/rec/conf/iasam/0002U19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/SiauKLISVA0YANK19,
author = {Chang Hua Siau and
Kwang{-}Ho Kim and
Seungpil Lee and
Katsuaki Isobe and
Noboru Shibata and
Kapil Verma and
Takuya Ariki and
Jason Li and
Jong Yuh and
Anirudh Amarnath and
Qui Nguyen and
Ohwon Kwon and
Stanley Jeong and
Heguang Li and
Hua{-}Ling Hsu and
Taiyuan Tseng and
Steve Choi and
Siddhesh Darne and
Pradeep Anantula and
Alex Yap and
Hardwell Chibvongodze and
Hitoshi Miwa and
Minoru Yamashita and
Mitsuyuki Watanabe and
Koichiro Hayashi and
Yosuke Kato and
Toru Miwa and
Jang Yong Kang and
Masatoshi Okumura and
Naoki Ookuma and
Muralikrishna Balaga and
Venky Ramachandra and
Aki Matsuda and
Swaroop Kulkarni and
Raghavendra Rachineni and
Pai K. Manjunath and
Masahito Takehara and
Anil Pai and
Srinivas Rajendra and
Toshiki Hisada and
Ryo Fukuda and
Naoya Tokiwa and
Kazuaki Kawaguchi and
Masashi Yamaoka and
Hiromitsu Komai and
Takatoshi Minamoto and
Masaki Unno and
Susumu Ozawa and
Hiroshi Nakamura and
Tomoo Hishida and
Yasuyuki Kajitani and
Lei Lin},
title = {A 512Gb 3-bit/Cell 3D Flash Memory on 128-Wordline-Layer with 132MB/s
Write Performance Featuring Circuit-Under-Array Technology},
booktitle = {{IEEE} International Solid- State Circuits Conference, {ISSCC} 2019,
San Francisco, CA, USA, February 17-21, 2019},
pages = {218--220},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSCC.2019.8662445},
doi = {10.1109/ISSCC.2019.8662445},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isscc/SiauKLISVA0YANK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/0001NIU19,
author = {Naoki Kobayashi and
Takeshi Nishikawa and
Atsushi Igarashi and
Hiroshi Unno},
editor = {Bor{-}Yuh Evan Chang},
title = {Temporal Verification of Programs via First-Order Fixpoint Logic},
booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11822},
pages = {413--436},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32304-2\_20},
doi = {10.1007/978-3-030-32304-2\_20},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/0001NIU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001ST18,
author = {Hiroshi Unno and
Yuki Satake and
Tachio Terauchi},
title = {Relatively complete refinement type system for verification of higher-order
non-deterministic programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {12:1--12:29},
year = {2018},
url = {https://doi.org/10.1145/3158100},
doi = {10.1145/3158100},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0001ST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Satake018,
author = {Yuki Satake and
Hiroshi Unno},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Propositional Dynamic Logic for Higher-Order Functional Programs},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {105--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_6},
doi = {10.1007/978-3-319-96145-3\_6},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/Satake018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/0002U18,
author = {Hiroshi Unno and
Kazutake Uehira},
title = {Invisibility and readability of temporally and spatially intensity-modulated
meta-image for information hiding on digital signage display system},
booktitle = {{IEEE} Industry Applications Society Annual Meeting, {IAS} 2018, Portland,
OR, USA, September 23-27, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IAS.2018.8544629},
doi = {10.1109/IAS.2018.8544629},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iasam/0002U18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Nanjo0KT18,
author = {Yoji Nanjo and
Hiroshi Unno and
Eric Koskinen and
Tachio Terauchi},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {A Fixpoint Logic and Dependent Effects for Temporal Property Verification},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {759--768},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209204},
doi = {10.1145/3209108.3209204},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Nanjo0KT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/UnnoTS17,
author = {Hiroshi Unno and
Sho Torii and
Hiroki Sakamoto},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Automating Induction for Solving Horn Clauses},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {571--591},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_30},
doi = {10.1007/978-3-319-63390-9\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/UnnoTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/0002TU17,
author = {Hiroshi Unno and
Youichi Takashima and
Kazutake Uehira},
title = {Improving compatibility with invisibility and readability for new
3D image display system},
booktitle = {2017 {IEEE} Industry Applications Society Annual Meeting, Cincinnati,
OH, USA, October 1-5, 2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IAS.2017.8101802},
doi = {10.1109/IAS.2017.8101802},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/iasam/0002TU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/UnnoU16,
author = {Hiroshi Unno and
Kazutake Uehira},
title = {Display technique for embedding information in real object images
using temporally and spatially luminance-modulated light},
booktitle = {2016 {IEEE} Industry Applications Society Annual Meeting, Portland,
OR, USA, October 2-6, 2016},
pages = {1--5},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IAS.2016.7731902},
doi = {10.1109/IAS.2016.7731902},
timestamp = {Tue, 06 Jul 2021 18:52:58 +0200},
biburl = {https://dblp.org/rec/conf/iasam/UnnoU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mediaforensics/OshitaUU16,
author = {Kohei Oshita and
Hiroshi Unno and
Kazutake Uehira},
editor = {Adnan M. Alattar and
Nasir D. Memon},
title = {Optically written watermarking technology using temporally and spatially
luminance-modulated light},
booktitle = {Media Watermarking, Security, and Forensics 2016, San Francisco, California,
USA, February 14-18, 2016},
pages = {1--6},
publisher = {Society for Imaging Science and Technology},
year = {2016},
url = {https://doi.org/10.2352/ISSN.2470-1173.2016.8.MWSF-070},
doi = {10.2352/ISSN.2470-1173.2016.8.MWSF-070},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mediaforensics/OshitaUU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MuraseT0SU16,
author = {Akihiro Murase and
Tachio Terauchi and
Naoki Kobayashi and
Ryosuke Sato and
Hiroshi Unno},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Temporal verification of higher-order functional programs},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {57--68},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837667},
doi = {10.1145/2837614.2837667},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MuraseT0SU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/UnnoT16,
author = {Hiroshi Unno and
Sho Torii},
title = {Automating Induction for Solving Horn Clauses},
journal = {CoRR},
volume = {abs/1610.06768},
year = {2016},
url = {http://arxiv.org/abs/1610.06768},
eprinttype = {arXiv},
eprint = {1610.06768},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/UnnoT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/UnnoT015,
author = {Hiroshi Unno and
Naoshi Tabuchi and
Naoki Kobayashi},
title = {Verification of tree-processing programs via higher-order mode checking},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {4},
pages = {841--866},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000054},
doi = {10.1017/S0960129513000054},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/UnnoT015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3dui/SuzukiUU15,
author = {Masahiro Suzuki and
Hiroshi Unno and
Kazutake Uehira},
editor = {Rob Lindeman and
Frank Steinicke and
Bruce H. Thomas},
title = {Exact interactions executed with new technique estimating positions
of virtual objects by using human body movements},
booktitle = {2015 {IEEE} Symposium on 3D User Interfaces, 3DUI 2015, Arles, France,
March 23-24, 2015},
pages = {185--186},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/3DUI.2015.7131762},
doi = {10.1109/3DUI.2015.7131762},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3dui/SuzukiUU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Matsumoto0U15,
author = {Yuma Matsumoto and
Naoki Kobayashi and
Hiroshi Unno},
editor = {Xinyu Feng and
Sungwoo Park},
title = {Automata-Based Abstraction for Automated Verification of Higher-Order
Tree-Processing Programs},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {295--312},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_16},
doi = {10.1007/978-3-319-26529-2\_16},
timestamp = {Fri, 04 Mar 2022 17:17:35 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Matsumoto0U15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KuwaharaSU015,
author = {Takuya Kuwahara and
Ryosuke Sato and
Hiroshi Unno and
Naoki Kobayashi},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Predicate Abstraction and {CEGAR} for Disproving Termination of Higher-Order
Functional Programs},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {287--303},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_17},
doi = {10.1007/978-3-319-21668-3\_17},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KuwaharaSU015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TerauchiU15,
author = {Tachio Terauchi and
Hiroshi Unno},
editor = {Jan Vitek},
title = {Relaxed Stratification: {A} New Approach to Practical Complete Predicate
Refinement},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {610--633},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_25},
doi = {10.1007/978-3-662-46669-8\_25},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/TerauchiU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/UnnoU15,
author = {Hiroshi Unno and
Kazutake Uehira},
title = {A new displaying technology for information hiding using temporally
brightness modulated pattern},
booktitle = {2015 {IEEE} Industry Applications Society Annual Meeting, Addison,
TX, USA, October 18-22, 2015},
pages = {1--4},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IAS.2015.7356878},
doi = {10.1109/IAS.2015.7356878},
timestamp = {Tue, 06 Jul 2021 18:52:47 +0200},
biburl = {https://dblp.org/rec/conf/iasam/UnnoU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwdw/Silapasuphakornwong15,
author = {Piyarat Silapasuphakornwong and
Masahiro Suzuki and
Hiroshi Unno and
Hideyuki Torii and
Kazutake Uehira and
Youichi Takashima},
editor = {Yun{-}Qing Shi and
Hyoung{-}Joong Kim and
Fernando P{\'{e}}rez{-}Gonz{\'{a}}lez and
Isao Echizen},
title = {Nondestructive Readout of Copyright Information Embedded in Objects
Fabricated with 3-D Printers},
booktitle = {Digital-Forensics and Watermarking - 14th International Workshop,
{IWDW} 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9569},
pages = {232--238},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31960-5\_19},
doi = {10.1007/978-3-319-31960-5\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwdw/Silapasuphakornwong15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HashimotoU15,
author = {Kodai Hashimoto and
Hiroshi Unno},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Refinement Type Inference via Horn Constraint Optimization},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {199--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_12},
doi = {10.1007/978-3-662-48288-9\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HashimotoU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/UnnoT15,
author = {Hiroshi Unno and
Tachio Terauchi},
editor = {Christel Baier and
Cesare Tinelli},
title = {Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {149--163},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_10},
doi = {10.1007/978-3-662-46681-0\_10},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/UnnoT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/visapp/SuzukiSUUT15,
author = {Masahiro Suzuki and
Piyarat Silapasuphakornwong and
Kazutake Uehira and
Hiroshi Unno and
Youichi Takashima},
editor = {Jos{\'{e}} Braz and
Sebastiano Battiato and
Francisco H. Imai},
title = {Copyright Protection for 3D Printing by Embedding Information Inside
Real Fabricated Objects},
booktitle = {{VISAPP} 2015 - Proceedings of the 10th International Conference on
Computer Vision Theory and Applications, Volume 3, Berlin, Germany,
11-14 March, 2015},
pages = {180--185},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005342401800185},
doi = {10.5220/0005342401800185},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/visapp/SuzukiSUUT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HashimotoU15,
author = {Kodai Hashimoto and
Hiroshi Unno},
title = {Refinement Type Inference via Horn Constraint Optimization},
journal = {CoRR},
volume = {abs/1505.02878},
year = {2015},
url = {http://arxiv.org/abs/1505.02878},
eprinttype = {arXiv},
eprint = {1505.02878},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HashimotoU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KuwaharaTU014,
author = {Takuya Kuwahara and
Tachio Terauchi and
Hiroshi Unno and
Naoki Kobayashi},
editor = {Zhong Shao},
title = {Automatic Termination Verification for Higher-Order Functional Programs},
booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
{ESOP} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8410},
pages = {392--411},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_21},
doi = {10.1007/978-3-642-54833-8\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KuwaharaTU014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/UnnoTU14,
author = {Hiroshi Unno and
Youichi Takashima and
Kazutake Uehira},
title = {Design considerations for new 3D image display system with improved
compatibility with invisibility and readability},
booktitle = {2014 {IEEE} Industry Application Society Annual Meeting, Vancouver,
BC, Canada, October 5-9, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IAS.2014.6978437},
doi = {10.1109/IAS.2014.6978437},
timestamp = {Tue, 06 Jul 2021 18:52:50 +0200},
biburl = {https://dblp.org/rec/conf/iasam/UnnoTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/UnnoIU13,
author = {Hiroshi Unno and
Sae Isaka and
Kazutake Uehira},
title = {New technique for embedding depth information in captured images using
light containing invisible high-frequency patterns},
booktitle = {2013 {IEEE} Industry Applications Society Annual Meeting, Lake Buena
Vista, FL, USA, October 6-11, 2013},
pages = {1--4},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IAS.2013.6682544},
doi = {10.1109/IAS.2013.6682544},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/iasam/UnnoIU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SatoUK13,
author = {Ryosuke Sato and
Hiroshi Unno and
Naoki Kobayashi},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Towards a scalable software model checker for higher-order programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {53--62},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426900},
doi = {10.1145/2426890.2426900},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SatoUK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/UnnoTK13,
author = {Hiroshi Unno and
Tachio Terauchi and
Naoki Kobayashi},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Automating relatively complete verification of higher-order functional
programs},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {75--86},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429081},
doi = {10.1145/2429069.2429081},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/UnnoTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ervr/SuzukiTU012,
author = {Masahiro Suzuki and
Keigo Takazawa and
Kazutake Uehira and
Hiroshi Unno},
editor = {Ian E. McDowall and
Margaret Dolinsky},
title = {Prediction of visually perceived location using reaching action and
effect of reaching distance on it},
booktitle = {The Engineering Reality of Virtual Reality 2012, Burlingame, California,
USA, January 22-26, 2012},
series = {{SPIE} Proceedings},
volume = {8289},
pages = {82890N},
publisher = {{SPIE}},
year = {2012},
url = {https://doi.org/10.1117/12.911888},
doi = {10.1117/12.911888},
timestamp = {Thu, 03 Aug 2023 15:59:05 +0200},
biburl = {https://dblp.org/rec/conf/ervr/SuzukiTU012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntcir/TsuboiKOU11,
author = {Yuta Tsuboi and
Hiroshi Kanayama and
Masaki Ohno and
Yuya Unno},
editor = {Noriko Kando and
Daisuke Ishikawa and
Miho Sugimoto},
title = {Syntactic Difference Based Approach for {NTCIR-9} {RITE} Task},
booktitle = {Proceedings of the 9th {NTCIR} Workshop Meeting on Evaluation of Information
Access Technologies: Information Retrieval, Question Answering and
Cross-Lingual Information Access, NTCIR-9, National Center of Sciences,
Tokyo, Japan, December 6-9, 2011},
publisher = {National Institute of Informatics {(NII)}},
year = {2011},
url = {http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings9/NTCIR/20-NTCIR9-RITE-TsuboiY.pdf},
timestamp = {Wed, 01 Jun 2022 17:01:01 +0200},
biburl = {https://dblp.org/rec/conf/ntcir/TsuboiKOU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KobayashiSU11,
author = {Naoki Kobayashi and
Ryosuke Sato and
Hiroshi Unno},
editor = {Mary W. Hall and
David A. Padua},
title = {Predicate abstraction and {CEGAR} for higher-order model checking},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {222--233},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993525},
doi = {10.1145/1993498.1993525},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KobayashiSU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/UnnoTK10,
author = {Hiroshi Unno and
Naoshi Tabuchi and
Naoki Kobayashi},
editor = {Kazunori Ueda},
title = {Verification of Tree-Processing Programs via Higher-Order Model Checking},
booktitle = {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},
pages = {312--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_22},
doi = {10.1007/978-3-642-17164-2\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/UnnoTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KobayashiTU10,
author = {Naoki Kobayashi and
Naoshi Tabuchi and
Hiroshi Unno},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Higher-order multi-parameter tree transducers and recursion schemes
for program verification},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {495--508},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706355},
doi = {10.1145/1706299.1706355},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/KobayashiTU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/UnnoK09,
author = {Hiroshi Unno and
Naoki Kobayashi},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Dependent type inference with interpolants},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {277--288},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599445},
doi = {10.1145/1599410.1599445},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/UnnoK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/UnnoK08,
author = {Hiroshi Unno and
Naoki Kobayashi},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {On-Demand Refinement of Dependent Types},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {81--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_8},
doi = {10.1007/978-3-540-78969-7\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/UnnoK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mva/UnnoHS07,
author = {Hiroshi Unno and
Keikichi Hayashibe and
Hitoshi Saji},
title = {Extraction of Corresponding Points from Stereo Images by Using Intersections
of Segments},
booktitle = {Proceedings of the {IAPR} Conference on Machine Vision Applications
{(IAPR} {MVA} 2007), May 16-18, 2007, Tokyo, Japan},
pages = {516--519},
year = {2007},
url = {http://b2.cvl.iis.u-tokyo.ac.jp/mva/proceedings/2007CD/papers/13-21.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mva/UnnoHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/ItohNUK06,
author = {Kohji Itoh and
Hiroshi Nakamura and
Shunsuke Unno and
Jun'ichi Kakegawa},
editor = {Bogdan Gabrys and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A System Assisting Acquisition of Japanese Expressions Through Read-Write-Hear-Speaking
and Comparing Between Use Cases of Relevant Expressions},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 10th
International Conference, {KES} 2006, Bournemouth, UK, October 9-11,
2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4252},
pages = {1071--1078},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11893004\_136},
doi = {10.1007/11893004\_136},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/ItohNUK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/UnnoKY06,
author = {Hiroshi Unno and
Naoki Kobayashi and
Akinori Yonezawa},
editor = {Vugranam C. Sreedhar and
Steve Zdancewic},
title = {Combining type-based analysis and model checking for finding counterexamples
against non-interference},
booktitle = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
pages = {17--26},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134744.1134750},
doi = {10.1145/1134744.1134750},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/UnnoKY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jei/UehiraUST05,
author = {Kazutake Uehira and
Hiroshi Unno and
Shiro Suyama and
Hideaki Takada},
title = {Compression of depth-fused 3-D images using depth map data},
journal = {J. Electronic Imaging},
volume = {14},
number = {2},
pages = {023020},
year = {2005},
url = {https://doi.org/10.1117/1.1904065},
doi = {10.1117/1.1904065},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jei/UehiraUST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cw/OhbuchiU02,
author = {Eisaku Ohbuchi and
Hiroshi Unno},
title = {A Real-Time Configurable Shader Based on Lookup Tables},
booktitle = {1st International Symposium on Cyber Worlds {(CW} 2002), 6-8 November
2002, Tokyo, Japan},
pages = {507--514},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CW.2002.1180919},
doi = {10.1109/CW.2002.1180919},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cw/OhbuchiU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cw/SavchenkoKU02,
author = {Vladimir V. Savchenko and
Nikita Kojekine and
Hiroshi Unno},
title = {A Practical Image Retouching Method},
booktitle = {1st International Symposium on Cyber Worlds {(CW} 2002), 6-8 November
2002, Tokyo, Japan},
pages = {480--487},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CW.2002.1180916},
doi = {10.1109/CW.2002.1180916},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cw/SavchenkoKU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cw/SavchenkoUK02,
author = {Vladimir V. Savchenko and
Hiroshi Unno and
Nikita Kojekine},
title = {Possible Techniques for Three Dimensional Hatching},
booktitle = {1st International Symposium on Cyber Worlds {(CW} 2002), 6-8 November
2002, Tokyo, Japan},
pages = {515--520},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CW.2002.1180920},
doi = {10.1109/CW.2002.1180920},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cw/SavchenkoUK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MiyaderaAUY98,
author = {Youzou Miyadera and
Koushi Anzai and
Hiroshi Unno and
Takeo Yaku},
title = {Depth-First Layout Algorithm for Trees},
journal = {Inf. Process. Lett.},
volume = {66},
number = {4},
pages = {187--194},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00068-4},
doi = {10.1016/S0020-0190(98)00068-4},
timestamp = {Sat, 07 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/MiyaderaAUY98.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.
retrieved on 2024-09-08 23:12 CEST from data curated 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:
