by Nakata, Keiko, Uustalu, Tarmo
Published in Logical methods in computer science (11.02.2015)

by Nakata, Keiko
Published in Electronic proceedings in theoretical computer science (01.09.2011)

by Nakata, Keiko, Uustalu, Tarmo
Published in Electronic proceedings in theoretical computer science (11.08.2010)

by NAKATA, KEIKO, HASEGAWA, MASAHITO
Published in Journal of functional programming (01.11.2009)

by Bezem, Marc, Nakata, Keiko, Uustalu, Tarmo
Published in Logical methods in computer science (01.01.2012)

by Garrigue, Jacques, Nakata, Keiko
Published in Higher-Order and Symbolic Computation (01.09.2011)

by Nakata, Keiko, Uustalu, Tarmo
Published in Programming Languages and Systems

by Im, Hyeonseung, Nakata, Keiko, Park, Sungwoo
Published in Automata, Languages, and Programming

by Nakata, Keiko, Saar, Andri
Published in Fundamentals of Software Engineering (2013)

by Bubel, Richard, Din, Crystal Chang, Hähnle, Reiner, Nakata, Keiko
Published in Automated Reasoning with Analytic Tableaux and Related Methods

by Ariola, Zena M., Downen, Paul, Herbelin, Hugo, Nakata, Keiko, Saurin, Alexis
Published in Functional and Logic Programming (23.05.2012)

by Becker, Hanno, Crespo, Juan Manuel, Galowicz, Jacek, Hensel, Ulrich, Hirai, Yoichi, Kunz, César, Nakata, Keiko, Sacchini, Jorge Luis, Tews, Hendrik, Tuerk, Thomas
Published in FM 2016: Formal Methods

by Rafnsson, W., Nakata, K., Sabelfeld, A.
Published in IEEE transactions on dependable and secure computing (01.01.2013)

by Nakata, Keiko, Sabelfeld, Andrei
Published in IFIP Advances in Information and Communication Technology (2010)

by Ishida, T., Sasaki, Y., Nakata, K., Fukuhara, Y.
Published in IEEE transactions on knowledge and data engineering (01.02.1995)

by Sasaki, Y., Nakata, K., Ishida, T., Fukuhara, Y.
Published in Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) (1993)