( en | de | ru )

 

Disambiguation of "Stewart, Gordon"

Author of the publication

copydeleteadd this publication to your clipboard
Enabling Cutting-Edge Semiconductor Simulation through Grid Technology.

, , , , , , , and . LSSC, volume 5910 of Lecture Notes in Computer Science, page 369-378. Springer, (2009)

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. You can also use the button next to the name to display some publications already assigned to the person.

John-Stewart Gordon

William Stewart

Richard Stewart

Alan Stewart

Gerdi Stewart

 

Other publications of authors with the same name

Improving user experience of submitting jobs to HPC resources., and . HPCS, page 635-641. IEEE, (2012)Compositional CompCert., , , and . POPL, page 275-287. ACM, (2015)Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures., , and . PPDP, page 145-156. ACM, (2013)Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret., , and . PODC, page 459-461. ACM, (2017)Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming., , , , and . SRIF@SIGCOMM, page 27-30. ACM, (2014)Supporting Security-Oriented, Collaborative nanoCMOS Electronics Research., , , , , and . ICCS (1), volume 5101 of Lecture Notes in Computer Science, page 96-105. Springer, (2008)Ziria: A DSL for Wireless Systems Programming., , , , , and . ASPLOS, page 415-428. ACM, (2015)Inductive Reasoning for Coinductive Types., , and . CoRR, (2023)Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees., , and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 561-588. Springer, (2018)Computational Verification of Network Programs in Coq.. CPP, volume 8307 of Lecture Notes in Computer Science, page 33-49. Springer, (2013)