- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c16 |      | Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi: Automating relatively complete verification of higher-order functional programs. POPL 2013: 75-86 |
| 2012 | ||
| c15 | | |
| c14 | | Hirotoshi Yasuoka, Tachio Terauchi: Quantitative Information Flow as Safety and Liveness Hyperproperties. QAPL 2012: 77-91 |
| 2011 | ||
| j4 | | Hirotoshi Yasuoka, Tachio Terauchi: On bounding problems of quantitative information flow. Journal of Computer Security 19(6): 1029-1082 (2011) |
| i2 | | Hirotoshi Yasuoka, Tachio Terauchi: On Bounding Problems of Quantitative Information Flow. CoRR abs/1112.4237 (2011) |
| 2010 | ||
| c13 | | Hirotoshi Yasuoka, Tachio Terauchi: Quantitative Information Flow - Verification Hardness and Possibilities. CSF 2010: 15-27 |
| c12 | | Hirotoshi Yasuoka, Tachio Terauchi: On Bounding Problems of Quantitative Information Flow. ESORICS 2010: 357-372 |
| c11 | | |
| i1 | | Hirotoshi Yasuoka, Tachio Terauchi: Quantitative Information Flow - Verification Hardness and Possibilities. CoRR abs/1004.0062 (2010) |
| 2009 | ||
| c10 | | |
| 2008 | ||
| j3 | | |
| j2 | | Tachio Terauchi, Alex Aiken: A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5) (2008) |
| c9 | | |
| c8 | | Tachio Terauchi, Adam Megacz: Inferring Channel Buffer Bounds Via Linear Programming. ESOP 2008: 284-298 |
| c7 | | |
| 2006 | ||
| c6 | | Tachio Terauchi, Alex Aiken: A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232 |
| c5 | | Tachio Terauchi, Alex Aiken: On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122 |
| 2005 | ||
| c4 | | |
| c3 | | |
| 2003 | ||
| c2 | | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140 |
| 2002 | ||
| c1 | | Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12 |
| 1999 | ||
| j1 | | Tobias Höllerer, Steven Feiner, Tachio Terauchi, Gus Rashid, Drexel Hallaway: Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system. Computers & Graphics 23(6): 779-785 (1999) |
Colors in the list of coauthors
Last update Thu May 23 16:26:05 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page