Concepedia

Keiko Nakata

KN

Statistics

Publications

5

Citations

108

H-Index

5

Active since

2006

Affiliations

Tallinn University of Technology(Current)

Kyoto University

Keiko Nakata is an author at Tallinn University of Technology specializing in automated reasoning, formal methods, and formal verification.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisSemanticsReasoning

Publications per year

2006–2015

5

Publications

5

Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction

Keiko Nakata, Tarmo Uustalu · Electronic Proceedings in Theoretical Computer Science · 2010 · 34 citations · Full text

Computational Logic, Engineering, Operational Semantics +14

Small-step and big-step semantics for call-by-need

Keiko Nakata, Masahito Hasegawa · Journal of Functional Programming · 2009 · 27 citations · Full text

Engineering, Cyclic Calculus, Semantics +16

Recursive modules for programming

Keiko Nakata, Jacques Garrigue · 2006 · 17 citations

Engineering, Type Theory, Verification +17

A Hoare logic for the coinductive trace-based big-step semantics of While

Keiko Nakata, Tarmo Uustalu · Logical Methods in Computer Science · 2015 · 16 citations · Full text

Engineering, Constructive Logic, Verification +19

On streams that are finitely red

Marc Bezem, Keiko Nakata, Tarmo Uustalu · Logical Methods in Computer Science · 2012 · 14 citations · Full text

Intuitionistic Logic, Constructive Mathematics, Automated Reasoning +10

1–5 of 5