( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.

, и . Inf. Comput., 199 (1-2): 107-131 (2005)

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.

George C Craig

George C Tiao

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Guido C C Clinckspoor

Thomas C C Knöbig

 

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

Analysis of Low-Level Code Using Cooperating Decompilers., , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 318-335. Springer, (2006)Using Dependent Types to Port Type Systems to Low-Level Languages.. CC, том 3923 из Lecture Notes in Computer Science, стр. 1. Springer, (2006)Dependent Types for Low-Level Programming., , , , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 520-535. Springer, (2007)JVer: A Java Verifier., , , , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 144-147. Springer, (2005)A Scalable Architecture for Proof-Carrying Code.. FLOPS, том 2024 из Lecture Notes in Computer Science, стр. 21-39. Springer, (2001)A model and framework for reliable build systems, , и . CoRR, (2012)Proof-Carrying Code.. Encyclopedia of Cryptography and Security (2nd Ed.), Springer, (2011)DetReduce: minimizing Android GUI test suites for regression testing., , , и . ICSE, стр. 445-455. ACM, (2018)NDetermin: inferring nondeterministic sequential specifications for parallelism correctness., , , и . PPoPP, стр. 329-330. ACM, (2012)Specifying and checking semantic atomicity for multithreaded programs., , и . ASPLOS, стр. 79-90. ACM, (2011)