| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara |
Functional programs as compressed data.  |
PEPM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi |
Exact Flow Analysis by Higher-Order Model Checking. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Environmental bisimulations for higher-order languages. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, C.-H. Luke Ong |
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi |
Ordered Types for Stream Processing of Tree-Structured Data. |
JIP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno |
Predicate abstraction and CEGAR for higher-order model checking. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel |
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Higher-Order Model Checking: From Theory to Practice. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Davide Sangiorgi |
A hybrid type system for lock-freedom of mobile processes. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno |
Higher-order multi-parameter tree transducers and recursion schemes for program verification. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme |
| 1 | Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) |
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi |
Verification of Tree-Processing Programs via Higher-Order Model Checking. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeshi Tsukada, Naoki Kobayashi |
Untyped Recursion Schemes and Infinite Intersection Types. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Hüttel, Naoki Kobayashi, Takashi Suto |
Undecidable equivalences for basic parallel processes. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, C.-H. Luke Ong |
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Types and higher-order recursion schemes for verification of higher-order programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
model checking, type system, higher-order recursion scheme |
| 1 | Naoki Kobayashi |
Higher-Order Program Verification and Language-Based Security. |
ASIAN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Types and Recursion Schemes for Higher-Order Program Verification. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Suenaga, Naoki Kobayashi |
Fractional Ownerships for Safe Memory Deallocation. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Unno, Naoki Kobayashi |
Dependent type inference with interpolants. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
type inference, dependent types |
| 1 | Naoki Kobayashi |
Model-checking higher-order functions. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
model checking, program verification, higher-order functions, recursion schemes |
| 1 | Naoki Kobayashi, C.-H. Luke Ong |
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Kikuchi, Naoki Kobayashi |
Type-Based Automated Verification of Authenticity in Cryptographic Protocols. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, Naoki Kobayashi |
A Coq Library for Verification of Concurrent Programs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Futoshi Iwama, Naoki Kobayashi |
A New Type System for JVM Lock Primitives. |
New Generation Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java Bytecode Verifier, Type System, Lock |
| 1 | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi |
Translation of tree-processing programs into stream-processing programs based on ordered linear type. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Hitoshi Ohsaki |
Tree Automata for Non-linear Arithmetic. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Unno, Naoki Kobayashi |
On-Demand Refinement of Dependent Types. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Substructural Type Systems for Program Analysis. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Davide Sangiorgi |
A Hybrid Type System for Lock-Freedom of Mobile Processes. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yûta Kaneko, Naoki Kobayashi |
Linear Declassification. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Logical Bisimulations and Functional Languages. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Takashi Suto |
Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Kikuchi, Naoki Kobayashi |
Type-Based Verification of Correspondence Assertions for Communication Protocols. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Environmental Bisimulations for Higher-Order Languages. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi |
On the Complexity of Termination Inference for Processes. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Suenaga, Naoki Kobayashi |
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
Resource Usage Analysis for the p-Calculus. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
Resource Usage Analysis for the Pi-Calculus |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi |
A New Type System for Deadlock-Free Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa |
Combining type-based analysis and model checking for finding counterexamples against non-interference. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
model checking, type system, non-interference |
| 1 | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi |
Resource usage analysis for a functional language with exceptions. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
resource usage analysis, type system, type inference, exception, effect system |
| 1 | Naoki Kobayashi (eds.) |
Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings |
APLAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
Resource Usage Analysis for the pi-Calculus. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Type-based information flow analysis for the pi-calculus. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, Naoki Kobayashi |
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi, Naoki Kobayashi |
Resource usage analysis. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
type inference, Resource usage |
| 1 | Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa |
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi, Naoki Kobayashi |
A generic type system for the Pi-calculus. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa |
Region-Based Memory Management for a Dynamically-Typed Language. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi |
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Benjamin C. Pierce |
Information and Computation special issue from TACS 2001. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Time regions and effects for resource usage analysis. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
program analysis, types, effects, resource usage |
| 1 | Naoki Kobayashi |
Useless Code Elimination and Programm Slicing for the Pi-Calculus. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
A Type System for Lock-Free Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Futoshi Iwama, Naoki Kobayashi |
A new type system for JVM lock primitives. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
bytecode verifier, Java, type system, lock |
| 1 | Atsushi Igarashi, Naoki Kobayashi |
Resource usage analysis. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Type Systems for Concurrent Programs. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Keita Shirane |
Type-Based Information Analysis for Low-Level Languages. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe |
AnZenMail: A Secure and Certified E-mail System. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, Naoki Kobayashi |
Formalization and Verification of a Mail Server in Coq. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Type-Based Useless-Variable Elimination. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Naoki Kobayashi |
A Hybrid Approach to Online and Offline Partial Evaluation. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Benjamin C. Pierce (eds.) |
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings |
TACS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Atsushi Igarashi, Naoki Kobayashi |
A generic type system for the Pi-calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi, Naoki Kobayashi |
Resource Usage Analysis. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Atsushi Igarashi, Naoki Kobayashi |
Type Reconstruction for Linear -Calculus with I/O Subtyping. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Shin Saito, Eijiro Sumii |
An Implicitly-Typed Deadlock-Free Process Calculus. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Naoki Kobayashi |
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Type-Based Useless Variable Elimination. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa |
Distributed Concurrent Linear Logic Programming. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Benjamin C. Pierce, David N. Turner |
Linearity and the pi-calculus. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
linear types, concurrency, pi-calculus, process calculi, confluence |
| 1 | Naoki Kobayashi, Akinori Yonezawa |
Distributed and concurrent objects based on linear logic (Invited Talk). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Quasi-Linear Types. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Naoki Kobayashi |
A Generalized Deadlock-Free Process Calculus. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
A Partially Deadlock-Free Typed Process Calculus. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
concurrency, type theory, deadlock-freedom |
| 1 | Naoki Kobayashi |
Type-Based Analysis of Concurrent Programs. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
A Partially Deadlock-Free Typed Process Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi, Naoki Kobayashi |
Type-Based Analysis of Communication for Concurrent Programming Languages. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa |
Partial Evaluation Scheme for Concurrent Languages and Its Correctness. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Benjamin C. Pierce, David N. Turner |
Linearity and the Pi-Calculus. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Akinori Yonezawa |
Asynchronous Communication Model Based on Linear Logic. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Akinori Yonezawa |
Towards Foundations of Concurrent Object-Oriented Programming-Types and Language Design. |
TAPOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi, Motoki Nakade, Akinori Yonezawa |
Static Analysis of Communication for Asynchronous Concurrent Programming Languages |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Akinori Yonezawa |
Higher-Order Concurrent Linear Logic Programming. |
Theory and Practice of Parallel Programming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Akinori Yonezawa |
Type-Theoretic Foundations for Concurrent Object-Oriented Programming. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Akinori Yonezawa |
ACL - A Concurrent Linear Logic Programming Paradigm. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi, Akinori Yonezawa |
Asynchronous Communication Model Based on Linear Logic. |
Parallel Symbolic Computing |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")