- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j5 |      | Willard Rafnsson, Keiko Nakata, Andrei Sabelfeld: Securing Class Initialization in Java-like Languages. IEEE Trans. Dependable Sec. Comput. 10(1): 1-13 (2013) |
| 2012 | ||
| j4 | | Marc Bezem, Keiko Nakata, Tarmo Uustalu: On streams that are finitely red. Logical Methods in Computer Science 8(4) (2012) |
| c10 | | Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin: Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. FLOPS 2012: 32-46 |
| i3 | | Danko Ilik, Keiko Nakata: A Constructive Proof of Open Induction Using Delimited Control Operators. CoRR abs/1209.2229 (2012) |
| 2011 | ||
| j3 | | Jacques Garrigue, Keiko Nakata: Path resolution for nested recursive modules. Higher-Order and Symbolic Computation 24(3): 207-237 (2011) |
| c9 | | Keiko Nakata, Tarmo Uustalu, Marc Bezem: A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. APLAS 2011: 353-368 |
| c8 | | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park: A syntactic type system for recursive modules. OOPSLA 2011: 993-1012 |
| c7 | | Keiko Nakata: Resumption-based big-step and small-step interpreters for While with interactive I/O. DSL 2011: 226-235 |
| 2010 | ||
| c6 | | Keiko Nakata, Tarmo Uustalu: A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. ESOP 2010: 488-506 |
| c5 | | |
| c4 | | Keiko Nakata, Tarmo Uustalu: Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction. SOS 2010: 57-75 |
| 2009 | ||
| j2 | | Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need. J. Funct. Program. 19(6): 699-722 (2009) |
| c3 | | Keiko Nakata, Tarmo Uustalu: Trace-Based Coinductive Operational Semantics for While. TPHOLs 2009: 375-390 |
| i2 | | Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need. CoRR abs/0907.4640 (2009) |
| i1 | | |
| 2006 | ||
| c2 | | |
| 1995 | ||
| j1 | | Toru Ishida, Yutaka Sasaki, Keiko Nakata, Yoshimi Fukuhara: A Meta-Level Control Architecture for Production Systems. IEEE Trans. Knowl. Data Eng. 7(1): 44-52 (1995) |
| 1993 | ||
| c1 |  | Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara: Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems. ICTAI 1993: 495-496 |
Colors in the list of coauthors
Last update Mon May 20 15:37:11 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page