( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Variance analyses from invariance analyses.

, , , , и . POPL, стр. 211-224. ACM, (2007)

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.

Byron Cosmidis

Stephen Cook

Byron Chalidis

Byron Katsaros

Byron Katsaros

 

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

Finding API usage rule violations in Windows device drivers using Static Driver Verifier.. ISoLA (Preliminary proceedings), том TR-2004-6 из Technical Report, стр. 18-18. Department of Computer Science, University of Cyprus, (2004)A Symbolic Approach to Predicate Abstraction., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 141-153. Springer, (2003)SLAyer: Memory Safety for Systems-Level Code., , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 178-183. Springer, (2011)Automatically Proving Program Termination.. CAV, том 4590 из Lecture Notes in Computer Science, стр. 1. Springer, (2007)SoftMC 2003: Workshop on Software Model Checking., , и . SoftMC@CAV, том 89 из Electronic Notes in Theoretical Computer Science, стр. 377. Elsevier, (2003)A Framework for Microprocessor Correctness Statements., , , и . CHARME, том 2144 из Lecture Notes in Computer Science, стр. 433-448. Springer, (2001)At the interface of biology and computation., , , , , , , и . CHI, стр. 493-502. ACM, (2013)Thread-modular shape analysis., , , и . PLDI, стр. 266-277. ACM, (2007)Ranking Function Synthesis for Bit-Vector Relations., , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 236-250. Springer, (2010)Over-Approximating Boolean Programs with Unbounded Thread Creation., , и . FMCAD, стр. 53-59. IEEE Computer Society, (2006)