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.

 

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

From System F to Typed Assembly Language, , , и . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (января 1998)New Labour, и . The Struggle for Labour's Soul, Understanding Labour's political thought since 1945, глава 17, Routledge, London and New York, (2004)Theory and Algorithms for Parallel Computation., и . Euro-Par, том 1470 из Lecture Notes in Computer Science, стр. 863-864. Springer, (1998)Public Health Information Fusion for Situation Awareness., , и . BioSecure, том 5354 из Lecture Notes in Computer Science, стр. 1-9. Springer, (2008)A Concurrent Logical Framework: The Propositional Fragment, , , и . Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, стр. 355-377. Springer, (2004)SNAP: Stateful Network-Wide Abstractions for Packet Processing., , , , и . CoRR, (2015)Test Coverage for Network Configurations., , , , и . CoRR, (2022)Programming Protocol-Independent Packet Processors., , , , , , , , и . CoRR, (2013)Incremental consistent updates., , и . HotSDN, стр. 49-54. ACM, (2013)LearnPADS: automatic tool generation from ad hoc data., , и . SIGMOD Conference, стр. 1299-1302. ACM, (2008)