• Compiling cooperative task management to continuationsNakata, Keiko; Saar, AndriFundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers2013 / p. 95 - 110 https://doi.org/10.1007/978-3-642-40213-5_7 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84886384579&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-40213-5_7%29 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000440497900007
• Contractive signatures with recursive types, type parameters, and abstract typesIm, Hyeonseung; Nakata, Keiko; Park, SungwooAutomata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II2013 / p. 299 - 311 https://doi.org/10.1007/978-3-642-39212-2_28 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880288390&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39212-2_28%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc
• A direct version of Veldman's proof of open induction on cantor space via delimited control operatorsIlik, Danko; Nakata, Keiko19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 188-201 https://doi.org/10.4230/LIPIcs.TYPES.2013.188 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907737679&origin=inward&txGid=3c9eca1096782d16b07c255d196c1cd2
• Distributed backend for ABSSaar, Andri; Nakata, KeikoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 95-99 : ill
• A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927614414&origin=inward&txGid=471be739e46f27856bce1949cd06219a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000009
• On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20 https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red
• Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13 https://doi.org/10.1109/TDSC.2012.73 https://www.scopus.com/sourceid/28918 https://www.scopus.com/record/display.uri?eid=2-s2.0-84872013232&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FTDSC.2012.73%29&sessionSearchId=0472c8d3921741a1d82331487f98d0e8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20DEPEND%20SECURE&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000312779000001