Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Naoki Kobayashi 0001
@article{DBLP:journals/scp/AmeenKS24,
author = {Mahmudul Faisal Al Ameen and
Naoki Kobayashi and
Ryosuke Sato},
title = {Asynchronous unfold/fold transformation for fixpoint logic},
journal = {Sci. Comput. Program.},
volume = {231},
pages = {103014},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103014},
doi = {10.1016/J.SCICO.2023.103014},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AmeenKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FukaishiKS24,
author = {Ren Fukaishi and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Gabriele Keller and
Meng Wang},
title = {Productivity Verification for Functional Programs by Reduction to
Termination Verification},
booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on
Partial Evaluation and Program Manipulation, {PEPM} 2024, London,
UK, 16 January 2024},
pages = {70--82},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3635800.3636963},
doi = {10.1145/3635800.3636963},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FukaishiKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/TanakaSK24,
author = {Izumi Tanaka and
Ken Sakayori and
Naoki Kobayashi},
editor = {Gabriele Keller and
Meng Wang},
title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on
Partial Evaluation and Program Manipulation, {PEPM} 2024, London,
UK, 16 January 2024},
pages = {94--106},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3635800.3636965},
doi = {10.1145/3635800.3636965},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/TanakaSK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NakayamaMSSK24,
author = {Takashi Nakayama and
Yusuke Matsushita and
Ken Sakayori and
Ryosuke Sato and
Naoki Kobayashi},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Borrowable Fractional Ownership Types for Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14500},
pages = {224--246},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50521-8\_11},
doi = {10.1007/978-3-031-50521-8\_11},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/NakayamaMSSK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2024-1,
editor = {Naoki Kobayashi and
James Worrell},
title = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14574},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57228-9},
doi = {10.1007/978-3-031-57228-9},
isbn = {978-3-031-57227-2},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2024-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2024-2,
editor = {Naoki Kobayashi and
James Worrell},
title = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14575},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57231-9},
doi = {10.1007/978-3-031-57231-9},
isbn = {978-3-031-57230-2},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2024-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KatsuraKS23,
author = {Hiroyuki Katsura and
Naoki Kobayashi and
Ryosuke Sato},
title = {Higher-Order Property-Directed Reachability},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {48--77},
year = {2023},
url = {https://doi.org/10.1145/3607831},
doi = {10.1145/3607831},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KatsuraKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KobayashiTST23,
author = {Naoki Kobayashi and
Kento Tanahashi and
Ryosuke Sato and
Takeshi Tsukada},
title = {{HFL(Z)} Validity Checking for Automated Program Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {154--184},
year = {2023},
url = {https://doi.org/10.1145/3571199},
doi = {10.1145/3571199},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KobayashiTST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/IkedaSK23,
author = {Ryo Ikeda and
Ryosuke Sato and
Naoki Kobayashi},
editor = {Chung{-}Kil Hur},
title = {Argument Reduction of Constrained Horn Clauses Using Equality Constraints},
booktitle = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14405},
pages = {246--265},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8311-7\_12},
doi = {10.1007/978-981-99-8311-7\_12},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/IkedaSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HattoriKS23,
author = {Momoko Hattori and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Thomas Wies},
title = {Gradual Tensor Shape Checking},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {197--224},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_8},
doi = {10.1007/978-3-031-30044-8\_8},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/HattoriKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KobayashiW23,
author = {Naoki Kobayashi and
Minchao Wu},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Neural Network-Guided Synthesis of Recursive List Functions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {227--245},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_12},
doi = {10.1007/978-3-031-30823-9\_12},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KobayashiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-20430,
author = {Takashi Nakayama and
Yusuke Matsushita and
Ken Sakayori and
Ryosuke Sato and
Naoki Kobayashi},
title = {Borrowable Fractional Ownership Types for Verification},
journal = {CoRR},
volume = {abs/2310.20430},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.20430},
doi = {10.48550/ARXIV.2310.20430},
eprinttype = {arXiv},
eprint = {2310.20430},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-20430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06455,
author = {Izumi Tanaka and
Ken Sakayori and
Naoki Kobayashi},
title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
journal = {CoRR},
volume = {abs/2312.06455},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06455},
doi = {10.48550/ARXIV.2312.06455},
eprinttype = {arXiv},
eprint = {2312.06455},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AmeenKS22,
author = {Mahmudul Faisal Al Ameen and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Asynchronous Unfold/Fold Transformation for Fixpoint Logic},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {39--56},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_3},
doi = {10.1007/978-3-030-99461-7\_3},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/AmeenKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AsadaKK22,
author = {Kazuyuki Asada and
Hiroyuki Katsura and
Naoki Kobayashi},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {On Higher-Order Reachability Games Vs May Reachability},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {108--124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_8},
doi = {10.1007/978-3-031-19135-0\_8},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AsadaKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MukaiKS22,
author = {Ryoya Mukai and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Gagandeep Singh and
Caterina Urban},
title = {Parameterized Recursive Refinement Types for Automated Program Verification},
booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland,
New Zealand, December 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13790},
pages = {397--421},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22308-2\_18},
doi = {10.1007/978-3-031-22308-2\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MukaiKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-07601,
author = {Kento Tanahashi and
Naoki Kobayashi and
Ryosuke Sato},
title = {Automatic {HFL(Z)} Validity Checking for Program Verification},
journal = {CoRR},
volume = {abs/2203.07601},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.07601},
doi = {10.48550/ARXIV.2203.07601},
eprinttype = {arXiv},
eprint = {2203.07601},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-07601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-08402,
author = {Momoko Hattori and
Naoki Kobayashi and
Ryosuke Sato},
title = {Gradual Tensor Shape Checking},
journal = {CoRR},
volume = {abs/2203.08402},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.08402},
doi = {10.48550/ARXIV.2203.08402},
eprinttype = {arXiv},
eprint = {2203.08402},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-08402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-08416,
author = {Kazuyuki Asada and
Hiroyuki Katsura and
Naoki Kobayashi},
title = {On Higher-Order Reachability Games vs May Reachability},
journal = {CoRR},
volume = {abs/2203.08416},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.08416},
doi = {10.48550/ARXIV.2203.08416},
eprinttype = {arXiv},
eprint = {2203.08416},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-08416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MitaniKT21,
author = {Yo Mitani and
Naoki Kobayashi and
Takeshi Tsukada},
title = {A Probabilistic Higher-order Fixpoint Logic},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:15)2021},
doi = {10.46298/LMCS-17(4:15)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MitaniKT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MatsushitaTK21,
author = {Yusuke Matsushita and
Takeshi Tsukada and
Naoki Kobayashi},
title = {RustHorn: CHC-based Verification for Rust Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {43},
number = {4},
pages = {15:1--15:54},
year = {2021},
url = {https://doi.org/10.1145/3462205},
doi = {10.1145/3462205},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/MatsushitaTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ShoshiIKSST21,
author = {Tsubasa Shoshi and
Takuma Ishikawa and
Naoki Kobayashi and
Ken Sakayori and
Ryosuke Sato and
Takeshi Tsukada},
editor = {Hakjoo Oh},
title = {Termination Analysis for the {\textdollar}{\textdollar}{\textbackslash}pi
{\textdollar}{\textdollar}-Calculus by Reduction to Sequential Program
Termination},
booktitle = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13008},
pages = {265--284},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89051-3\_15},
doi = {10.1007/978-3-030-89051-3\_15},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ShoshiIKSST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaillotG021,
author = {Patrick Baillot and
Alexis Ghyselen and
Naoki Kobayashi},
editor = {Serge Haddad and
Daniele Varacca},
title = {Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {34:1--34:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.34},
doi = {10.4230/LIPICS.CONCUR.2021.34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaillotG021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KoriT021,
author = {Mayuko Kori and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {A Cyclic Proof System for HFL{\_}{\(\mathbb{N}\)}},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {29:1--29:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.29},
doi = {10.4230/LIPICS.CSL.2021.29},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KoriT021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/Kambe0SSY21,
author = {Ryuta Kambe and
Naoki Kobayashi and
Ryosuke Sato and
Ayumi Shinohara and
Ryo Yoshinaka},
editor = {Jane Chandlee and
R{\'{e}}mi Eyraud and
Jeff Heinz and
Adam Jardine and
Menno van Zaanen},
title = {Inside-Outside Algorithm for Macro Grammars},
booktitle = {Proceedings of the 15th International Conference on Grammatical Inference,
23-27 August 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {153},
pages = {32--46},
publisher = {{PMLR}},
year = {2021},
url = {https://proceedings.mlr.press/v153/kambe21a.html},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgi/Kambe0SSY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/UenoT0T21,
author = {Hideto Ueno and
John Toman and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Sam Lindley and
Torben {\AE}. Mogensen},
title = {Counterexample generation for program verification based on ownership
refinement types},
booktitle = {Proceedings of the 2021 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark,
January 18-19, 2021},
pages = {44--57},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3441296.3441396},
doi = {10.1145/3441296.3441396},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/UenoT0T21.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}
}
@inproceedings{DBLP:conf/sas/ShimodaKSS21,
author = {Takumi Shimoda and
Naoki Kobayashi and
Ken Sakayori and
Ryosuke Sato},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Symbolic Automatic Relations and Their Applications to {SMT} and {CHC}
Solving},
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 = {405--428},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_20},
doi = {10.1007/978-3-030-88806-0\_20},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/ShimodaKSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04629,
author = {Naoki Kobayashi},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {An Overview of the {HFL} Model Checking Project},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {1--12},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.1},
doi = {10.4204/EPTCS.344.1},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fscd/2021,
editor = {Naoki Kobayashi},
title = {6th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina
(Virtual Conference)},
series = {LIPIcs},
volume = {195},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-191-7},
isbn = {978-3-95977-191-7},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/2021.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-07293,
author = {Patrick Baillot and
Alexis Ghyselen and
Naoki Kobayashi},
title = {Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes},
journal = {CoRR},
volume = {abs/2104.07293},
year = {2021},
url = {https://arxiv.org/abs/2104.07293},
eprinttype = {arXiv},
eprint = {2104.07293},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-07293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07642,
author = {Takumi Shimoda and
Naoki Kobayashi and
Ken Sakayori and
Ryosuke Sato},
title = {Symbolic Automatic Relations and Their Applications to {SMT} and {CHC}
Solving},
journal = {CoRR},
volume = {abs/2108.07642},
year = {2021},
url = {https://arxiv.org/abs/2108.07642},
eprinttype = {arXiv},
eprint = {2108.07642},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00311,
author = {Tsubasa Shoshi and
Takuma Ishikawa and
Naoki Kobayashi and
Ken Sakayori and
Ryosuke Sato and
Takeshi Tsukada},
title = {Termination Analysis for the {\(\pi\)}-Calculus by Reduction to Sequential
Program Termination},
journal = {CoRR},
volume = {abs/2109.00311},
year = {2021},
url = {https://arxiv.org/abs/2109.00311},
eprinttype = {arXiv},
eprint = {2109.00311},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChampionCKS20,
author = {Adrien Champion and
Tomoya Chiba and
Naoki Kobayashi and
Ryosuke Sato},
title = {ICE-Based Refinement Type Discovery for Higher-Order Functional Programs},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1393--1418},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09571-y},
doi = {10.1007/S10817-020-09571-Y},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ChampionCKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KobayashiLG20,
author = {Naoki Kobayashi and
Ugo Dal Lago and
Charles Grellois},
title = {On the Termination Problem for Probabilistic Higher-Order Recursive
Programs},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6817},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KobayashiLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KatsuraIKT20,
author = {Hiroyuki Katsura and
Naoki Iwayama and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Bruno C. d. S. Oliveira},
title = {A New Refinement Type System for Automated {\textdollar}{\textbackslash}nu
{\textbackslash}text \{HFL\}{\_}{\textbackslash}mathbb \{Z\}{\textdollar}
Validity Checking},
booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12470},
pages = {86--104},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64437-6\_5},
doi = {10.1007/978-3-030-64437-6\_5},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/KatsuraIKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/NaganumaHYS020,
author = {Hiroaki Naganuma and
Diptarama Hendrian and
Ryo Yoshinaka and
Ayumi Shinohara and
Naoki Kobayashi},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {Grammar Compression with Probabilistic Context-Free Grammar},
booktitle = {Data Compression Conference, {DCC} 2020, Snowbird, UT, USA, March
24-27, 2020},
pages = {386},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DCC47342.2020.00093},
doi = {10.1109/DCC47342.2020.00093},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcc/NaganumaHYS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/0002T020,
author = {Yusuke Matsushita and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Peter M{\"{u}}ller},
title = {RustHorn: CHC-Based Verification for Rust Programs},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {484--514},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_18},
doi = {10.1007/978-3-030-44914-8\_18},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/0002T020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TomanSSI020,
author = {John Toman and
Ren Siqi and
Kohei Suenaga and
Atsushi Igarashi and
Naoki Kobayashi},
editor = {Peter M{\"{u}}ller},
title = {ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for
Imperative Programs},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {684--714},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_25},
doi = {10.1007/978-3-030-44914-8\_25},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/TomanSSI020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Mitani0T20,
author = {Yo Mitani and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Zena M. Ariola},
title = {A Probabilistic Higher-Order Fixpoint Logic},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {19:1--19:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.19},
doi = {10.4230/LIPICS.FSCD.2020.19},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Mitani0T20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/NakamuraA0ST20,
author = {Yoshiki Nakamura and
Kazuyuki Asada and
Naoki Kobayashi and
Ryoma Sin'ya and
Takeshi Tsukada},
editor = {Zena M. Ariola},
title = {On Average-Case Hardness of Higher-Order Model Checking},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {21:1--21:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.21},
doi = {10.4230/LIPICS.FSCD.2020.21},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/NakamuraA0ST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Asada020,
author = {Kazuyuki Asada and
Naoki Kobayashi},
editor = {Zena M. Ariola},
title = {Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n
Tree Grammars},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {22:1--22:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.22},
doi = {10.4230/LIPICS.FSCD.2020.22},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Asada020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/IwayamaKST20,
author = {Naoki Iwayama and
Naoki Kobayashi and
Ryota Suzuki and
Takeshi Tsukada},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {Predicate Abstraction and {CEGAR} for {\textdollar}{\textbackslash}nu
{\textbackslash}mathrm \{HFL\}{\_}{\textbackslash}mathbb \{Z\}{\textdollar}
Validity Checking},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {134--155},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_7},
doi = {10.1007/978-3-030-65474-0\_7},
timestamp = {Fri, 29 Jan 2021 16:47:04 +0100},
biburl = {https://dblp.org/rec/conf/sas/IwayamaKST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KobayashiFG20,
author = {Naoki Kobayashi and
Grigory Fedyukovich and
Aarti Gupta},
editor = {Armin Biere and
David Parker},
title = {Fold/Unfold Transformations for Fixpoint Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {195--214},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_12},
doi = {10.1007/978-3-030-45237-7\_12},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KobayashiFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2020,
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718},
doi = {10.1145/3373718},
isbn = {978-1-4503-7104-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07770,
author = {John Toman and
Ren Siqi and
Kohei Suenaga and
Atsushi Igarashi and
Naoki Kobayashi},
title = {ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for
Imperative Programs},
journal = {CoRR},
volume = {abs/2002.07770},
year = {2020},
url = {https://arxiv.org/abs/2002.07770},
eprinttype = {arXiv},
eprint = {2002.07770},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09002,
author = {Yusuke Matsushita and
Takeshi Tsukada and
Naoki Kobayashi},
title = {RustHorn: CHC-based Verification for Rust Programs (full version)},
journal = {CoRR},
volume = {abs/2002.09002},
year = {2020},
url = {https://arxiv.org/abs/2002.09002},
eprinttype = {arXiv},
eprint = {2002.09002},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08097,
author = {Hiroaki Naganuma and
Diptarama Hendrian and
Ryo Yoshinaka and
Ayumi Shinohara and
Naoki Kobayashi},
title = {Grammar compression with probabilistic context-free grammar},
journal = {CoRR},
volume = {abs/2003.08097},
year = {2020},
url = {https://arxiv.org/abs/2003.08097},
eprinttype = {arXiv},
eprint = {2003.08097},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-14891,
author = {Mayuko Kori and
Takeshi Tsukada and
Naoki Kobayashi},
title = {A Cyclic Proof System for {HFLN}},
journal = {CoRR},
volume = {abs/2010.14891},
year = {2020},
url = {https://arxiv.org/abs/2010.14891},
eprinttype = {arXiv},
eprint = {2010.14891},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-14891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14303,
author = {Yo Mitani and
Naoki Kobayashi and
Takeshi Tsukada},
title = {A Probabilistic Higher-order Fixpoint Logic},
journal = {CoRR},
volume = {abs/2011.14303},
year = {2020},
url = {https://arxiv.org/abs/2011.14303},
eprinttype = {arXiv},
eprint = {2011.14303},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AsadaKST19,
author = {Kazuyuki Asada and
Naoki Kobayashi and
Ryoma Sin'ya and
Takeshi Tsukada},
title = {Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:16)2019},
doi = {10.23638/LMCS-15(1:16)2019},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AsadaKST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kobayashi19,
author = {Naoki Kobayashi},
title = {Inclusion between the frontier language of a non-deterministic recursive
program scheme and the Dyck language is undecidable},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {409--416},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.09.035},
doi = {10.1016/J.TCS.2018.09.035},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Kobayashi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Hosoi0T19,
author = {Youkichi Hosoi and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Anthony Widjaja Lin},
title = {A Type-Based {HFL} Model Checking Algorithm},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {136--155},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_8},
doi = {10.1007/978-3-030-34175-6\_8},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Hosoi0T19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KobayashiLG19,
author = {Naoki Kobayashi and
Ugo Dal Lago and
Charles Grellois},
title = {On the Termination Problem for Probabilistic Higher-Order Recursive
Programs},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785679},
doi = {10.1109/LICS.2019.8785679},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KobayashiLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/WatanabeTO019,
author = {Keiichi Watanabe and
Takeshi Tsukada and
Hiroki Oshikawa and
Naoki Kobayashi},
editor = {Manuel V. Hermenegildo and
Atsushi Igarashi},
title = {Reduction from branching-time property verification of higher-order
programs to {HFL} validity checking},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
14-15, 2019},
pages = {22--34},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294032.3294077},
doi = {10.1145/3294032.3294077},
timestamp = {Sun, 25 Jul 2021 11:46:36 +0200},
biburl = {https://dblp.org/rec/conf/pepm/WatanabeTO019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SatoI019,
author = {Ryosuke Sato and
Naoki Iwayama and
Naoki Kobayashi},
editor = {Manuel V. Hermenegildo and
Atsushi Igarashi},
title = {Combining higher-order model checking with refinement type inference},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
14-15, 2019},
pages = {47--53},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294032.3294081},
doi = {10.1145/3294032.3294081},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SatoI019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Kobayashi19,
author = {Naoki Kobayashi},
editor = {Ekaterina Komendantskaya},
title = {10 Years of the Higher-Order Model Checking Project (Extended Abstract)},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {2:1--2:2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354167},
doi = {10.1145/3354166.3354167},
timestamp = {Sun, 29 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Kobayashi19.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}
}
@inproceedings{DBLP:conf/sas/OkuyamaT019,
author = {Yuya Okuyama and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Bor{-}Yuh Evan Chang},
title = {A Temporal Logic for Higher-Order Functional Programs},
booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11822},
pages = {437--458},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32304-2\_21},
doi = {10.1007/978-3-030-32304-2\_21},
timestamp = {Mon, 07 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/OkuyamaT019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10416,
author = {Youkichi Hosoi and
Naoki Kobayashi and
Takeshi Tsukada},
title = {A Type-Based {HFL} Model Checking Algorithm},
journal = {CoRR},
volume = {abs/1908.10416},
year = {2019},
url = {http://arxiv.org/abs/1908.10416},
eprinttype = {arXiv},
eprint = {1908.10416},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HalldorssonKS18,
author = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Naoki Kobayashi and
Bettina Speckmann},
title = {Special issue for the 42nd International Colloquium on Automata, Languages
and Programming, {ICALP} 2015, Kyoto, Japan},
journal = {Inf. Comput.},
volume = {261},
pages = {159},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.001},
doi = {10.1016/J.IC.2018.02.001},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HalldorssonKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Champion0S18,
author = {Adrien Champion and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Sukyoung Ryu},
title = {HoIce: An ICE-Based Non-linear Horn Clause Solver},
booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11275},
pages = {146--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02768-1\_8},
doi = {10.1007/978-3-030-02768-1\_8},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Champion0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Eguchi0T18,
author = {Shingo Eguchi and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Sukyoung Ryu},
title = {Automated Synthesis of Functional Programs with Auxiliary Functions},
booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11275},
pages = {223--241},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02768-1\_13},
doi = {10.1007/978-3-030-02768-1\_13},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Eguchi0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/0001TW18,
author = {Naoki Kobayashi and
Takeshi Tsukada and
Keiichi Watanabe},
editor = {Amal Ahmed},
title = {Higher-Order Program Verification via {HFL} Model Checking},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {711--738},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_25},
doi = {10.1007/978-3-319-89884-1\_25},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/0001TW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Asada018,
author = {Kazuyuki Asada and
Naoki Kobayashi},
editor = {Sumit Ganguly and
Paritosh K. Pandya},
title = {Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered},
booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
Ahmedabad, India},
series = {LIPIcs},
volume = {122},
pages = {14:1--14:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.14},
doi = {10.4230/LIPICS.FSTTCS.2018.14},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Asada018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChampionC0S18,
author = {Adrien Champion and
Tomoya Chiba and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Dirk Beyer and
Marieke Huisman},
title = {ICE-Based Refinement Type Discovery for Higher-Order Functional Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {365--384},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_20},
doi = {10.1007/978-3-319-89960-2\_20},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ChampionC0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-03886,
author = {Kazuyuki Asada and
Naoki Kobayashi and
Ryoma Sin'ya and
Takeshi Tsukada},
title = {Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence},
journal = {CoRR},
volume = {abs/1801.03886},
year = {2018},
url = {http://arxiv.org/abs/1801.03886},
eprinttype = {arXiv},
eprint = {1801.03886},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-03886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-02133,
author = {Naoki Kobayashi and
Ugo Dal Lago and
Charles Grellois},
title = {On the Termination Problem for Probabilistic Higher-Order Recursive
Programs},
journal = {CoRR},
volume = {abs/1811.02133},
year = {2018},
url = {http://arxiv.org/abs/1811.02133},
eprinttype = {arXiv},
eprint = {1811.02133},
timestamp = {Sun, 29 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/0001L17,
author = {Naoki Kobayashi and
Cosimo Laneve},
title = {Deadlock analysis of unbounded process networks},
journal = {Inf. Comput.},
volume = {252},
pages = {48--70},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.03.004},
doi = {10.1016/J.IC.2016.03.004},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/0001L17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AsadaSK17,
author = {Kazuyuki Asada and
Ryosuke Sato and
Naoki Kobayashi},
title = {Verifying relational properties of functional programs by first-order
refinement},
journal = {Sci. Comput. Program.},
volume = {137},
pages = {2--62},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.02.007},
doi = {10.1016/J.SCICO.2016.02.007},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AsadaSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Sato017,
author = {Ryosuke Sato and
Naoki Kobayashi},
editor = {Hongseok Yang},
title = {Modular Verification of Higher-Order Functional Programs},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {831--854},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_31},
doi = {10.1007/978-3-662-54434-1\_31},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/Sato017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SinyaA0T17,
author = {Ryoma Sin'ya and
Kazuyuki Asada and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Almost Every Simply Typed {\(\lambda\)}-Term Has a Long {\(\beta\)}-Reduction
Sequence},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {53--68},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_4},
doi = {10.1007/978-3-662-54458-7\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SinyaA0T17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Asada017,
author = {Kazuyuki Asada and
Naoki Kobayashi},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Pumping Lemma for Higher-order Languages},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {97:1--97:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.97},
doi = {10.4230/LIPICS.ICALP.2017.97},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Asada017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SuwaT0I17,
author = {Takashi Suwa and
Takeshi Tsukada and
Naoki Kobayashi and
Atsushi Igarashi},
editor = {Ulrik Pagh Schultz and
Jeremy Yallop},
title = {Verification of code generators via higher-order model checking},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
2017},
pages = {59--70},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018882.3018886},
doi = {10.1145/3018882.3018886},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/SuwaT0I17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KobayashiLB17,
author = {Naoki Kobayashi and
{\'{E}}tienne Lozes and
Florian Bruse},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {On the relationship between higher-order recursion schemes and higher-order
fixpoint logic},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {246--259},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009854},
doi = {10.1145/3009837.3009854},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/KobayashiLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SuzukiF0T17,
author = {Ryota Suzuki and
Koichi Fujima and
Naoki Kobayashi and
Takeshi Tsukada},
editor = {Dale Miller},
title = {Streett Automata Model Checking of Higher-Order Recursion Schemes},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {32:1--32:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.32},
doi = {10.4230/LIPICS.FSCD.2017.32},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SuzukiF0T17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Kobayashi17,
editor = {Naoki Kobayashi},
title = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
{ITRS} 2016, Porto, Portugal, 26th June 2016},
series = {{EPTCS}},
volume = {242},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.242},
doi = {10.4204/EPTCS.242},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kobayashi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AsadaK17,
author = {Kazuyuki Asada and
Naoki Kobayashi},
title = {Pumping Lemma for Higher-order Languages},
journal = {CoRR},
volume = {abs/1705.10699},
year = {2017},
url = {http://arxiv.org/abs/1705.10699},
eprinttype = {arXiv},
eprint = {1705.10699},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AsadaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08614,
author = {Naoki Kobayashi and
Takeshi Tsukada and
Keiichi Watanabe},
title = {Higher-Order Program Verification via {HFL} Model Checking},
journal = {CoRR},
volume = {abs/1710.08614},
year = {2017},
url = {http://arxiv.org/abs/1710.08614},
eprinttype = {arXiv},
eprint = {1710.08614},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/TeraoT016,
author = {Taku Terao and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Atsushi Igarashi},
title = {Higher-Order Model Checking in Direct Style},
booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10017},
pages = {295--313},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47958-3\_16},
doi = {10.1007/978-3-319-47958-3\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/TeraoT016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/YasukataT016,
author = {Kazuhide Yasukata and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Atsushi Igarashi},
title = {Verification of Higher-Order Concurrent Programs with Dynamic Resource
Creation},
booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10017},
pages = {335--353},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47958-3\_18},
doi = {10.1007/978-3-319-47958-3\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/YasukataT016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Li016,
author = {Xin Li and
Naoki Kobayashi},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Equivalence-Based Abstraction Refinement for {\textbackslash}mu {HORS}
Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {304--320},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_20},
doi = {10.1007/978-3-319-46520-3\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Li016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Asada016,
author = {Kazuyuki Asada and
Naoki Kobayashi},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {On Word and Frontier Languages of Unsafe Higher-Order Grammars},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {111:1--111:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.111},
doi = {10.4230/LIPICS.ICALP.2016.111},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Asada016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Takeda0YS16,
author = {Kotaro Takeda and
Naoki Kobayashi and
Kazuya Yaguchi and
Ayumi Shinohara},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Compact bit encoding schemes for simply-typed lambda-terms},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {146--157},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951918},
doi = {10.1145/2951913.2951918},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Takeda0YS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WatanabeST016,
author = {Keiichi Watanabe and
Ryosuke Sato and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Automatically disproving fair termination of higher-order functional
programs},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {243--255},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951919},
doi = {10.1145/2951913.2951919},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/WatanabeST016.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/Asada016,
author = {Kazuyuki Asada and
Naoki Kobayashi},
title = {On Word and Frontier Languages of Unsafe Higher-Order Grammars},
journal = {CoRR},
volume = {abs/1604.01595},
year = {2016},
url = {http://arxiv.org/abs/1604.01595},
eprinttype = {arXiv},
eprint = {1604.01595},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Asada016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KobayashiOW16,
author = {Naoki Kobayashi and
Luke Ong and
Igor Walukiewicz},
title = {Higher-Order Model Checking {(NII} Shonan Meeting 2016-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/078/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KobayashiOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/SatoA015,
author = {Ryosuke Sato and
Kazuyuki Asada and
Naoki Kobayashi},
title = {Refinement Type Checking via Assertion Checking},
journal = {J. Inf. Process.},
volume = {23},
number = {6},
pages = {827--834},
year = {2015},
url = {https://doi.org/10.2197/ipsjjip.23.827},
doi = {10.2197/IPSJJIP.23.827},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/SatoA015.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/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/aplas/KawataA015,
author = {Sadaaki Kawata and
Kazuyuki Asada and
Naoki Kobayashi},
editor = {Xinyu Feng and
Sungwoo Park},
title = {Decision Algorithms for Checking Definability of Order-2 Finitary
{PCF}},
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 = {313--331},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_17},
doi = {10.1007/978-3-319-26529-2\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KawataA015.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/lics/KobayashiL15,
author = {Naoki Kobayashi and
Xin Li},
title = {Automata-Based Abstraction Refinement for {\(\mathrm{\mu}\)}HORS Model
Checking},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {713--724},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.71},
doi = {10.1109/LICS.2015.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KobayashiL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AsadaS015,
author = {Kazuyuki Asada and
Ryosuke Sato and
Naoki Kobayashi},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Verifying Relational Properties of Functional Programs by First-Order
Refinement},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {61--72},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2682546},
doi = {10.1145/2678015.2682546},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AsadaS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2015-1,
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47672-7},
doi = {10.1007/978-3-662-47672-7},
isbn = {978-3-662-47671-0},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2015-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2015-2,
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6},
doi = {10.1007/978-3-662-47666-6},
isbn = {978-3-662-47665-9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2015-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/TeraoK14,
author = {Taku Terao and
Naoki Kobayashi},
editor = {Jacques Garrigue},
title = {A ZDD-Based Efficient Higher-Order Model Checking Algorithm},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {354--371},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_19},
doi = {10.1007/978-3-319-12736-1\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/TeraoK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kobayashi14,
author = {Naoki Kobayashi},
editor = {Gul A. Agha and
Atsushi Igarashi and
Naoki Kobayashi and
Hidehiko Masuhara and
Satoshi Matsuoka and
Etsuya Shibayama and
Kenjiro Taura},
title = {From Linear Types to Behavioural Types and Model Checking},
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 = {128--143},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44471-9\_6},
doi = {10.1007/978-3-662-44471-9\_6},
timestamp = {Sat, 19 Oct 2019 20:29:10 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kobayashi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GiachinoKL14,
author = {Elena Giachino and
Naoki Kobayashi and
Cosimo Laneve},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Deadlock Analysis of Unbounded Process Networks},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {63--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_6},
doi = {10.1007/978-3-662-44584-6\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GiachinoKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Yasukata0M14,
author = {Kazuhide Yasukata and
Naoki Kobayashi and
Kazutaka Matsuda},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Pairwise Reachability Analysis for Higher Order Concurrent Programs
by Higher-Order Model Checking},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {312--326},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_22},
doi = {10.1007/978-3-662-44584-6\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Yasukata0M14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/Yaguchi0S14,
author = {Kazuya Yaguchi and
Naoki Kobayashi and
Ayumi Shinohara},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {Efficient Algorithm and Coding for Higher-Order Compression},
booktitle = {Data Compression Conference, {DCC} 2014, Snowbird, UT, USA, 26-28
March, 2014},
pages = {434},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/DCC.2014.63},
doi = {10.1109/DCC.2014.63},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcc/Yaguchi0S14.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/fossacs/0001IT14,
author = {Naoki Kobayashi and
Kazuhiro Inaba and
Takeshi Tsukada},
editor = {Anca Muscholl},
title = {Unsafe Order-2 Tree Languages Are Context-Sensitive},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 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 = {8412},
pages = {149--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_10},
doi = {10.1007/978-3-642-54830-7\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/0001IT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Tsukada014,
author = {Takeshi Tsukada and
Naoki Kobayashi},
editor = {Anca Muscholl},
title = {Complexity of Model-Checking Call-by-Value Programs},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 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 = {8412},
pages = {180--194},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_12},
doi = {10.1007/978-3-642-54830-7\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Tsukada014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014yonezawa,
editor = {Gul A. Agha and
Atsushi Igarashi and
Naoki Kobayashi and
Hidehiko Masuhara and
Satoshi Matsuoka and
Etsuya Shibayama and
Kenjiro Taura},
title = {Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8665},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44471-9},
doi = {10.1007/978-3-662-44471-9},
isbn = {978-3-662-44470-2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2014yonezawa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Kobayashi13,
author = {Naoki Kobayashi},
title = {Model Checking Higher-Order Programs},
journal = {J. {ACM}},
volume = {60},
number = {3},
pages = {20:1--20:62},
year = {2013},
url = {https://doi.org/10.1145/2487241.2487246},
doi = {10.1145/2487241.2487246},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/Kobayashi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FujimaIK13,
author = {Koichi Fujima and
Sohei Ito and
Naoki Kobayashi},
editor = {Chung{-}chieh Shan},
title = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order
Recursion Schemes},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {17--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_2},
doi = {10.1007/978-3-319-03542-0\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FujimaIK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BroadbentK13,
author = {Christopher H. Broadbent and
Naoki Kobayashi},
editor = {Simona Ronchi Della Rocca},
title = {Saturation-Based Model Checking of Higher-Order Recursion Schemes},
booktitle = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
2013, Torino, Italy},
series = {LIPIcs},
volume = {23},
pages = {129--148},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.CSL.2013.129},
doi = {10.4230/LIPICS.CSL.2013.129},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/BroadbentK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KobayashiI13,
author = {Naoki Kobayashi and
Atsushi Igarashi},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Model-Checking Higher-Order Programs with Recursive Types},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {431--450},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_24},
doi = {10.1007/978-3-642-37036-6\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KobayashiI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kobayashi13,
author = {Naoki Kobayashi},
title = {Pumping by Typing},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {398--407},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.46},
doi = {10.1109/LICS.2013.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Kobayashi13.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}
}
@article{DBLP:journals/lisp/0001MSY12,
author = {Naoki Kobayashi and
Kazutaka Matsuda and
Ayumi Shinohara and
Kazuya Yaguchi},
title = {Functional programs as compressed data},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {1},
pages = {39--84},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9093-z},
doi = {10.1007/S10990-013-9093-Z},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/0001MSY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Kobayashi12,
author = {Naoki Kobayashi},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Program Certification by Higher-Order Model Checking},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {9--10},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_4},
doi = {10.1007/978-3-642-35308-6\_4},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Kobayashi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TobitaTK12,
author = {Yoshihiro Tobita and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Exact Flow Analysis by Higher-Order Model Checking},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {275--289},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_22},
doi = {10.1007/978-3-642-29822-6\_22},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/flops/TobitaTK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/TsukadaK12,
author = {Takeshi Tsukada and
Naoki Kobayashi},
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {An Intersection Type System for Deterministic Pushdown Automata},
booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
pages = {357--371},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7\_25},
doi = {10.1007/978-3-642-33475-7\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/TsukadaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KobayashiMS12,
author = {Naoki Kobayashi and
Kazutaka Matsuda and
Ayumi Shinohara},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Functional programs as compressed data},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {121--130},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103770},
doi = {10.1145/2103746.2103770},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/KobayashiMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5267,
author = {Naoki Kobayashi and
C.{-}H. Luke Ong},
title = {Complexity of Model Checking Recursion Schemes for Fragments of the
Modal Mu-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:9)2011},
doi = {10.2168/LMCS-7(4:9)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/SatoSK11,
author = {Ryosuke Sato and
Kohei Suenaga and
Naoki Kobayashi},
title = {Ordered Types for Stream Processing of Tree-Structured Data},
journal = {J. Inf. Process.},
volume = {19},
pages = {74--87},
year = {2011},
url = {https://doi.org/10.2197/ipsjjip.19.74},
doi = {10.2197/IPSJJIP.19.74},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jip/SatoSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SangiorgiKS11,
author = {Davide Sangiorgi and
Naoki Kobayashi and
Eijiro Sumii},
title = {Environmental bisimulations for higher-order languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {1},
pages = {5:1--5:69},
year = {2011},
url = {https://doi.org/10.1145/1889997.1890002},
doi = {10.1145/1889997.1890002},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SangiorgiKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DahlKSH11,
author = {Morten Dahl and
Naoki Kobayashi and
Yunde Sun and
Hans H{\"{u}}ttel},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic
Protocols},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {75--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_7},
doi = {10.1007/978-3-642-24372-1\_7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DahlKSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Kobayashi11,
author = {Naoki Kobayashi},
editor = {Martin Hofmann},
title = {A Practical Linear Time Algorithm for Trivial Automata Model Checking
of Higher-Order Recursion Schemes},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {260--274},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_18},
doi = {10.1007/978-3-642-19805-2\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Kobayashi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kobayashi11,
author = {Naoki Kobayashi},
title = {Higher-Order Model Checking: From Theory to Practice},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {219--224},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.15},
doi = {10.1109/LICS.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Kobayashi11.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}
}
@article{DBLP:journals/shonan-reports/KobayashiOH11,
author = {Naoki Kobayashi and
Luke Ong and
David Van Horn},
title = {Automated Techniques for Higher-Order Program Verification {(NII}
Shonan Meeting 2011-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/005/},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KobayashiOH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KobayashiS10,
author = {Naoki Kobayashi and
Davide Sangiorgi},
title = {A hybrid type system for lock-freedom of mobile processes},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {5},
pages = {16:1--16:49},
year = {2010},
url = {https://doi.org/10.1145/1745312.1745313},
doi = {10.1145/1745312.1745313},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/KobayashiS10.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/fossacs/TsukadaK10,
author = {Takeshi Tsukada and
Naoki Kobayashi},
editor = {C.{-}H. Luke Ong},
title = {Untyped Recursion Schemes and Infinite Intersection Types},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {343--357},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_24},
doi = {10.1007/978-3-642-12032-9\_24},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/TsukadaK10.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}
}
@proceedings{DBLP:conf/flops/2010,
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4},
doi = {10.1007/978-3-642-12251-4},
isbn = {978-3-642-12250-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HuttelKS09,
author = {Hans H{\"{u}}ttel and
Naoki Kobayashi and
Takashi Suto},
title = {Undecidable equivalences for basic parallel processes},
journal = {Inf. Comput.},
volume = {207},
number = {7},
pages = {812--829},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.12.011},
doi = {10.1016/J.IC.2008.12.011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HuttelKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Kobayashi09,
author = {Naoki Kobayashi},
editor = {Zhenjiang Hu},
title = {Types and Recursion Schemes for Higher-Order Program Verification},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {2--3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_2},
doi = {10.1007/978-3-642-10672-9\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Kobayashi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SuenagaK09,
author = {Kohei Suenaga and
Naoki Kobayashi},
editor = {Zhenjiang Hu},
title = {Fractional Ownerships for Safe Memory Deallocation},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {128--143},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_11},
doi = {10.1007/978-3-642-10672-9\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SuenagaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Kobayashi09,
author = {Naoki Kobayashi},
editor = {Anupam Datta},
title = {Higher-Order Program Verification and Language-Based Security},
booktitle = {Advances in Computer Science - {ASIAN} 2009. Information Security
and Privacy, 13th Asian Computing Science Conference, Seoul, Korea,
December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5913},
pages = {17--23},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10622-4\_2},
doi = {10.1007/978-3-642-10622-4\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Kobayashi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KikuchiK09,
author = {Daisuke Kikuchi and
Naoki Kobayashi},
editor = {Giuseppe Castagna},
title = {Type-Based Automated Verification of Authenticity in Cryptographic
Protocols},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {222--236},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_17},
doi = {10.1007/978-3-642-00590-9\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KikuchiK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KobayashiO09,
author = {Naoki Kobayashi and
C.{-}H. Luke Ong},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {Complexity of Model Checking Recursion Schemes for Fragments of the
Modal Mu-Calculus},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {223--234},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_19},
doi = {10.1007/978-3-642-02930-1\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KobayashiO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KobayashiO09,
author = {Naoki Kobayashi and
C.{-}H. Luke Ong},
title = {A Type System Equivalent to the Modal Mu-Calculus Model Checking of
Higher-Order Recursion Schemes},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.29},
doi = {10.1109/LICS.2009.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KobayashiO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kobayashi09,
author = {Naoki Kobayashi},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Types and higher-order recursion schemes for verification of higher-order
programs},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {416--428},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480933},
doi = {10.1145/1480881.1480933},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Kobayashi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Kobayashi09,
author = {Naoki Kobayashi},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Model-checking higher-order functions},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {25--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599415},
doi = {10.1145/1599410.1599415},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Kobayashi09.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}
}
@article{DBLP:journals/jfp/KodamaSK08,
author = {Koichi Kodama and
Kohei Suenaga and
Naoki Kobayashi},
title = {Translation of tree-processing programs into stream-processing programs
based on ordered linear type},
journal = {J. Funct. Program.},
volume = {18},
number = {3},
pages = {333--371},
year = {2008},
url = {https://doi.org/10.1017/S0956796807006570},
doi = {10.1017/S0956796807006570},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KodamaSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/IwamaK08,
author = {Futoshi Iwama and
Naoki Kobayashi},
title = {A New Type System for {JVM} Lock Primitives},
journal = {New Gener. Comput.},
volume = {26},
number = {2},
pages = {125--170},
year = {2008},
url = {https://doi.org/10.1007/s00354-008-0038-8},
doi = {10.1007/S00354-008-0038-8},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/IwamaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KobayashiS08,
author = {Naoki Kobayashi and
Davide Sangiorgi},
editor = {Aarti Gupta and
Sharad Malik},
title = {A Hybrid Type System for Lock-Freedom of Mobile Processes},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {80--93},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_10},
doi = {10.1007/978-3-540-70545-1\_10},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/KobayashiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KanekoK08,
author = {Y{\^{u}}ta Kaneko and
Naoki Kobayashi},
editor = {Sophia Drossopoulou},
title = {Linear Declassification},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {224--238},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_18},
doi = {10.1007/978-3-540-78739-6\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KanekoK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kobayashi08,
author = {Naoki Kobayashi},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Substructural Type Systems for Program Analysis},
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 = {14},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_3},
doi = {10.1007/978-3-540-78969-7\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kobayashi08.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/rta/KobayashiO08,
author = {Naoki Kobayashi and
Hitoshi Ohsaki},
editor = {Andrei Voronkov},
title = {Tree Automata for Non-linear Arithmetic},
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 = {291--305},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_20},
doi = {10.1007/978-3-540-70590-1\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/KobayashiO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KikuchiK07,
author = {Daisuke Kikuchi and
Naoki Kobayashi},
editor = {Zhong Shao},
title = {Type-Based Verification of Correspondence Assertions for Communication
Protocols},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {191--205},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_13},
doi = {10.1007/978-3-540-76637-7\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KikuchiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SuenagaK07,
author = {Kohei Suenaga and
Naoki Kobayashi},
editor = {Rocco De Nicola},
title = {Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {490--504},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_33},
doi = {10.1007/978-3-540-71316-6\_33},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SuenagaK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/SangiorgiKS07,
author = {Davide Sangiorgi and
Naoki Kobayashi and
Eijiro Sumii},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Logical Bisimulations and Functional Languages},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {364--379},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_24},
doi = {10.1007/978-3-540-75698-9\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/SangiorgiKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KobayashiS07,
author = {Naoki Kobayashi and
Takashi Suto},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Undecidability of 2-Label {BPP} Equivalences and Behavioral Type Systems
for the \emph{pi} -Calculus},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {740--751},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_64},
doi = {10.1007/978-3-540-73420-8\_64},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KobayashiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SangiorgiKS07,
author = {Davide Sangiorgi and
Naoki Kobayashi and
Eijiro Sumii},
title = {Environmental Bisimulations for Higher-Order Languages},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.17},
doi = {10.1109/LICS.2007.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SangiorgiKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DemangeonHKS07,
author = {Romain Demangeon and
Daniel Hirschkoff and
Naoki Kobayashi and
Davide Sangiorgi},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {On the Complexity of Termination Inference for Processes},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {140--155},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_11},
doi = {10.1007/978-3-540-78663-4\_11},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/DemangeonHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KobayashiSW06,
author = {Naoki Kobayashi and
Kohei Suenaga and
Lucian Wischik},
title = {Resource Usage Analysis for the p-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {3},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(3:4)2006},
doi = {10.2168/LMCS-2(3:4)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KobayashiSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Kobayashi06,
author = {Naoki Kobayashi},
editor = {Christel Baier and
Holger Hermanns},
title = {A New Type System for Deadlock-Free Processes},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {233--247},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_16},
doi = {10.1007/11817949\_16},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/Kobayashi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/IwamaIK06,
author = {Futoshi Iwama and
Atsushi Igarashi and
Naoki Kobayashi},
editor = {John Hatcliff and
Frank Tip},
title = {Resource usage analysis for a functional language with exceptions},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {38--47},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111550},
doi = {10.1145/1111542.1111550},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/IwamaIK06.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}
}
@inproceedings{DBLP:conf/vmcai/KobayashiSW06,
author = {Naoki Kobayashi and
Kohei Suenaga and
Lucian Wischik},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Resource Usage Analysis for the \emph{pi}-Calculus},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {298--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_20},
doi = {10.1007/11609773\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KobayashiSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2006,
editor = {Naoki Kobayashi},
title = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661},
doi = {10.1007/11924661},
isbn = {3-540-48937-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608035,
author = {Naoki Kobayashi and
Kohei Suenaga and
Lucian Wischik},
title = {Resource Usage Analysis for the Pi-Calculus},
journal = {CoRR},
volume = {abs/cs/0608035},
year = {2006},
url = {http://arxiv.org/abs/cs/0608035},
eprinttype = {arXiv},
eprint = {cs/0608035},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Kobayashi05,
author = {Naoki Kobayashi},
title = {Type-based information flow analysis for the pi-calculus},
journal = {Acta Informatica},
volume = {42},
number = {4-5},
pages = {291--347},
year = {2005},
url = {https://doi.org/10.1007/s00236-005-0179-x},
doi = {10.1007/S00236-005-0179-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Kobayashi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/IgarashiK05,
author = {Atsushi Igarashi and
Naoki Kobayashi},
title = {Resource usage analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {264--313},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057390},
doi = {10.1145/1057387.1057390},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/IgarashiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SuenagaKY05,
author = {Kohei Suenaga and
Naoki Kobayashi and
Akinori Yonezawa},
editor = {Patricia M. Hill},
title = {Extension of Type-Based Approach to Generation of Stream-Processing
Programs by Automatic Insertion of Buffering Primitives},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {98--114},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_7},
doi = {10.1007/11680093\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SuenagaKY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IgarashiK04,
author = {Atsushi Igarashi and
Naoki Kobayashi},
title = {A generic type system for the Pi-calculus},
journal = {Theor. Comput. Sci.},
volume = {311},
number = {1-3},
pages = {121--163},
year = {2004},
url = {https://doi.org/10.1016/S0304-3975(03)00325-6},
doi = {10.1016/S0304-3975(03)00325-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IgarashiK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KodamaSK04,
author = {Koichi Kodama and
Kohei Suenaga and
Naoki Kobayashi},
editor = {Wei{-}Ngan Chin},
title = {Translation of Tree-Processing Programs into Stream-Processing Programs
Based on Ordered Linear Type},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {41--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_4},
doi = {10.1007/978-3-540-30477-7\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KodamaSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NagataKY04,
author = {Akihito Nagata and
Naoki Kobayashi and
Akinori Yonezawa},
editor = {Wei{-}Ngan Chin},
title = {Region-Based Memory Management for a Dynamically-Typed Language},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {229--245},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_16},
doi = {10.1007/978-3-540-30477-7\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/NagataKY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AffeldtK08,
author = {Reynald Affeldt and
Naoki Kobayashi},
editor = {Carsten Sch{\"{u}}rmann},
title = {A Coq Library for Verification of Concurrent Programs},
booktitle = {Proceedings of the Fourth International Workshop on Logical Frameworks
and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {199},
pages = {17--32},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2007.11.010},
doi = {10.1016/J.ENTCS.2007.11.010},
timestamp = {Thu, 09 Feb 2023 12:05:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AffeldtK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AffeldtK05,
author = {Reynald Affeldt and
Naoki Kobayashi},
editor = {Jos C. M. Baeten and
Flavio Corradini},
title = {Partial Order Reduction for Verification of Spatial Properties of
Pi-Calculus Processes},
booktitle = {Proceedings of the 11th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {2},
pages = {151--168},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.034},
doi = {10.1016/J.ENTCS.2004.11.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AffeldtK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KobayashiP03,
author = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Information and Computation special issue from {TACS} 2001},
journal = {Inf. Comput.},
volume = {186},
number = {2},
pages = {163--164},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00173-1},
doi = {10.1016/S0890-5401(03)00173-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KobayashiP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Kobayashi03,
author = {Naoki Kobayashi},
editor = {Atsushi Ohori},
title = {Useless Code Elimination and Programm Slicing for the Pi-Calculus},
booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
pages = {55--72},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40018-9\_5},
doi = {10.1007/978-3-540-40018-9\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Kobayashi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/Kobayashi03,
author = {Naoki Kobayashi},
editor = {Zhong Shao and
Peter Lee},
title = {Time regions and effects for resource usage analysis},
booktitle = {Proceedings of TLDI'03: 2003 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, New Orleans, Louisiana,
USA, January 18, 2003},
pages = {50--61},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604174.604182},
doi = {10.1145/604174.604182},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/tldi/Kobayashi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Kobayashi02,
author = {Naoki Kobayashi},
title = {A Type System for Lock-Free Processes},
journal = {Inf. Comput.},
volume = {177},
number = {2},
pages = {122--159},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3171},
doi = {10.1006/INCO.2002.3171},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Kobayashi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KobayashiS02,
author = {Naoki Kobayashi and
Keita Shirane},
title = {Type-Based Information Analysis for Low-Level Languages},
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 = {302--316},
year = {2002},
timestamp = {Fri, 19 Jul 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KobayashiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/ShibayamaHKNTW02,
author = {Etsuya Shibayama and
Shigeki Hagihara and
Naoki Kobayashi and
Shin{-}ya Nishizaki and
Kenjiro Taura and
Takuo Watanabe},
editor = {Mitsuhiro Okada and
Benjamin C. Pierce and
Andre Scedrov and
Hideyuki Tokuda and
Akinori Yonezawa},
title = {AnZenMail: {A} Secure and Certified E-mail System},
booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International
Symposium, {ISSS} 2002, Tokyo, Japan, November 8-10, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2609},
pages = {201--216},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36532-X\_13},
doi = {10.1007/3-540-36532-X\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isss2/ShibayamaHKNTW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/AffeldtK02,
author = {Reynald Affeldt and
Naoki Kobayashi},
editor = {Mitsuhiro Okada and
Benjamin C. Pierce and
Andre Scedrov and
Hideyuki Tokuda and
Akinori Yonezawa},
title = {Formalization and Verification of a Mail Server in Coq},
booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International
Symposium, {ISSS} 2002, Tokyo, Japan, November 8-10, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2609},
pages = {217--233},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36532-X\_14},
doi = {10.1007/3-540-36532-X\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isss2/AffeldtK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/IwamaK02,
author = {Futoshi Iwama and
Naoki Kobayashi},
editor = {Kenichi Asai and
Wei{-}Ngan Chin},
title = {A new type system for {JVM} lock primitives},
booktitle = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
Japan, September 12-14, 2002},
pages = {71--82},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568173.568182},
doi = {10.1145/568173.568182},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/IwamaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/IgarashiK02,
author = {Atsushi Igarashi and
Naoki Kobayashi},
editor = {John Launchbury and
John C. Mitchell},
title = {Resource usage analysis},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {331--342},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503303},
doi = {10.1145/503272.503303},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/IgarashiK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/Kobayashi02,
author = {Naoki Kobayashi},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {Type Systems for Concurrent Programs},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {439--453},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_26},
doi = {10.1007/978-3-540-40007-3\_26},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unu/Kobayashi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/SumiiK01,
author = {Eijiro Sumii and
Naoki Kobayashi},
title = {A Hybrid Approach to Online and Offline Partial Evaluation},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {2-3},
pages = {101--142},
year = {2001},
url = {https://doi.org/10.1023/A:1012984529382},
doi = {10.1023/A:1012984529382},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/SumiiK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Kobayashi01,
author = {Naoki Kobayashi},
title = {Type-Based Useless-Variable Elimination},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {2-3},
pages = {221--260},
year = {2001},
url = {https://doi.org/10.1023/A:1012944815270},
doi = {10.1023/A:1012944815270},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Kobayashi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/IgarashiK01,
author = {Atsushi Igarashi and
Naoki Kobayashi},
title = {Resource Usage 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 = {147--158},
year = {2001},
timestamp = {Fri, 19 Jul 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/IgarashiK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/IgarashiK01,
author = {Atsushi Igarashi and
Naoki Kobayashi},
editor = {Chris Hankin and
Dave Schmidt},
title = {A generic type system for the Pi-calculus},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {128--141},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360215},
doi = {10.1145/360204.360215},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/IgarashiK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/2001,
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {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},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0},
doi = {10.1007/3-540-45500-0},
isbn = {3-540-42736-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IgarashiK00,
author = {Atsushi Igarashi and
Naoki Kobayashi},
title = {Type Reconstruction for Linear -Calculus with {I/O} Subtyping},
journal = {Inf. Comput.},
volume = {161},
number = {1},
pages = {1--44},
year = {2000},
url = {https://doi.org/10.1006/inco.2000.2872},
doi = {10.1006/INCO.2000.2872},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/IgarashiK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KobayashiSS00,
author = {Naoki Kobayashi and
Shin Saito and
Eijiro Sumii},
editor = {Catuscia Palamidessi},
title = {An Implicitly-Typed Deadlock-Free Process Calculus},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {489--503},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_35},
doi = {10.1007/3-540-44618-4\_35},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KobayashiSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Kobayashi00,
author = {Naoki Kobayashi},
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom,
Time-Boundedness},
booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
August 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1872},
pages = {365--389},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44929-9\_27},
doi = {10.1007/3-540-44929-9\_27},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/Kobayashi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SumiiK00,
author = {Eijiro Sumii and
Naoki Kobayashi},
editor = {Julia L. Lawall},
title = {Online-and-Offline Partial Evaluation: {A} Mixed Approach (Extended
Abstract)},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
USA, January 22-23, 2000},
pages = {12--21},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/328690.328694},
doi = {10.1145/328690.328694},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pepm/SumiiK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Kobayashi00,
author = {Naoki Kobayashi},
editor = {Julia L. Lawall},
title = {Type-Based Useless Variable Elimination},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
USA, January 22-23, 2000},
pages = {84--93},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/328690.328702},
doi = {10.1145/328690.328702},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Kobayashi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KobayashiSY99,
author = {Naoki Kobayashi and
Toshihiro Shimizu and
Akinori Yonezawa},
title = {Distributed Concurrent Linear Logic Programming},
journal = {Theor. Comput. Sci.},
volume = {227},
number = {1-2},
pages = {185--220},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00052-3},
doi = {10.1016/S0304-3975(99)00052-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KobayashiSY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KobayashiPT99,
author = {Naoki Kobayashi and
Benjamin C. Pierce and
David N. Turner},
title = {Linearity and the pi-calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {5},
pages = {914--947},
year = {1999},
url = {https://doi.org/10.1145/330249.330251},
doi = {10.1145/330249.330251},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/KobayashiPT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/KobayashiY99,
author = {Naoki Kobayashi and
Akinori Yonezawa},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Distributed and concurrent objects based on linear logic (Invited
Talk)},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 19 Jul 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/KobayashiY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kobayashi99,
author = {Naoki Kobayashi},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Quasi-Linear Types},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {29--42},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292546},
doi = {10.1145/292540.292546},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Kobayashi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Kobayashi98,
author = {Naoki Kobayashi},
title = {A Partially Deadlock-Free Typed Process Calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {2},
pages = {436--482},
year = {1998},
url = {https://doi.org/10.1145/276393.278524},
doi = {10.1145/276393.278524},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Kobayashi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/Kobayashi98,
author = {Naoki Kobayashi},
editor = {Xavier Leroy and
Atsushi Ohori},
title = {Type-Based Analysis of Concurrent Programs},
booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
pages = {272},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055523},
doi = {10.1007/BFB0055523},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tic/Kobayashi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SumiiK98,
author = {Eijiro Sumii and
Naoki Kobayashi},
editor = {Uwe Nestmann and
Benjamin C. Pierce},
title = {A Generalized Deadlock-Free Process Calculus},
booktitle = {3rd International Workshop on High-Level Concurrent Languages, {HLCL}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
12, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {3},
pages = {225--247},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00144-6},
doi = {10.1016/S1571-0661(04)00144-6},
timestamp = {Fri, 11 Nov 2022 14:28:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SumiiK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kobayashi97,
author = {Naoki Kobayashi},
title = {A Partially Deadlock-Free Typed Process Calculus},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {128--139},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614941},
doi = {10.1109/LICS.1997.614941},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Kobayashi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/IgarashiK97,
author = {Atsushi Igarashi and
Naoki Kobayashi},
editor = {Pascal Van Hentenryck},
title = {Type-Based Analysis of Communication for Concurrent Programming Languages},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {187--201},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032742},
doi = {10.1007/BFB0032742},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/IgarashiK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HosoyaKY96,
author = {Haruo Hosoya and
Naoki Kobayashi and
Akinori Yonezawa},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Partial Evaluation Scheme for Concurrent Languages and Its Correctness},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {625--632},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_83},
doi = {10.1007/3-540-61626-8\_83},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/HosoyaKY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KobayashiPT96,
author = {Naoki Kobayashi and
Benjamin C. Pierce and
David N. Turner},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Linearity and the Pi-Calculus},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {358--371},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237804},
doi = {10.1145/237721.237804},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/KobayashiPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KobayashiY95,
author = {Naoki Kobayashi and
Akinori Yonezawa},
title = {Asynchronous Communication Model Based on Linear Logic},
journal = {Formal Aspects Comput.},
volume = {7},
number = {2},
pages = {113--149},
year = {1995},
url = {https://doi.org/10.1007/BF01211602},
doi = {10.1007/BF01211602},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KobayashiY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/KobayashiY95,
author = {Naoki Kobayashi and
Akinori Yonezawa},
title = {Towards Foundations of Concurrent Object-Oriented Programming-Types
and Language Design},
journal = {Theory Pract. Object Syst.},
volume = {1},
number = {4},
pages = {243--268},
year = {1995},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/KobayashiY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KobayashiNY95,
author = {Naoki Kobayashi and
Motoki Nakade and
Akinori Yonezawa},
editor = {Alan Mycroft},
title = {Static Analysis of Communication for Asynchronous Concurrent Programming
Languages},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {225--242},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_42},
doi = {10.1007/3-540-60360-3\_42},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KobayashiNY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KobayashiY94,
author = {Naoki Kobayashi and
Akinori Yonezawa},
editor = {Jeff McKenna and
J. Eliot B. Moss and
Richard L. Wexelblat},
title = {Type-Theoretic Foundations for Concurrent Object-Oriented Programming},
booktitle = {Proceedings of the Ninth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1994, Portland, Oregon,
USA, October 23-27, 1994},
pages = {31--45},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/191080.191088},
doi = {10.1145/191080.191088},
timestamp = {Wed, 30 Mar 2022 13:55:40 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KobayashiY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/KonnoNKMY94,
author = {Kazuhiro Konno and
Masaaki Nagatsuka and
Naoki Kobayashi and
Satoshi Matsuoka and
Akinori Yonezawa},
editor = {Hoon Hong},
title = {{PARCS:} An MPP-Oriented {CLP} Language},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {254--263},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/KonnoNKMY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tppp/KobayashiY94,
author = {Naoki Kobayashi and
Akinori Yonezawa},
editor = {Takayasu Ito and
Akinori Yonezawa},
title = {Higher-Order Concurrent Linear 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 = {137--166},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0026568},
doi = {10.1007/BFB0026568},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tppp/KobayashiY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KobayashiY93,
author = {Naoki Kobayashi and
Akinori Yonezawa},
editor = {Dale Miller},
title = {{ACL} - {A} Concurrent Linear Logic Programming Paradigm},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {279--294},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/KobayashiY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psc/KobayashiY92,
author = {Naoki Kobayashi and
Akinori Yonezawa},
editor = {Robert H. Halstead Jr. and
Takayasu Ito},
title = {Asynchronous Communication Model Based on Linear Logic},
booktitle = {Parallel Symbolic Computing: Languages, Systems, and Applications,
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {748},
pages = {331--336},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0018661},
doi = {10.1007/BFB0018661},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/psc/KobayashiY92.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 05:47 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:
