Otsing - TalTech Publikatsioonid

kuva

reasta

1

artikkel ajakirjas

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

artikkel ajakirjas

2

artikkel kogumikus

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

artikkel kogumikus

3

artikkel ajakirjas

On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20

artikkel ajakirjas

4

artikkel ajakirjas

Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13

artikkel ajakirjas

Nakata, Keiko (autor)

teaviku laadid