From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Objects in the pi-Calculus. Inf. Comput., 116 (2): 253-271 (февраля 1995)A "Low-Tech" Design Experiment Improving Student Work.. ICCE, стр. 849-850. IEEE Computer Society, (2002)07695-1509-6.Typed Memory Management.. Cornell University, USA, (2000)The Impact of Space-Filling Curves on Data Movement in Parallel Systems., и . CoRR, (2023)Stack-based typed assembly language., , , и . J. Funct. Program., 12 (1): 3-88 (2002)Typed memory management via static capabilities., , и . ACM Trans. Program. Lang. Syst., 22 (4): 701-771 (2000)A type-theoretic interpretation of pointcuts and advice., , и . Sci. Comput. Program., 63 (3): 240-266 (2006)A Calculus of Mobile Processes, II, , и . Inf. Comput., 100 (1): 41-77 (сентября 1992)Composing expressive runtime security policies., , и . ACM Trans. Softw. Eng. Methodol., 18 (3): 9:1-9:43 (2009)P4: programming protocol-independent packet processors., , , , , , , , , и 1 other автор(ы). Comput. Commun. Rev., 44 (3): 87-95 (2014)