( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fast, Dynamically-Sized Concurrent Hash Table.

, , , и . SPIN, том 9232 из Lecture Notes in Computer Science, стр. 49-65. Springer, (2015)

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.

Gunnar Still

Vladimír Ulrich

Vladimír Dancík

Vladimír Müller

Vladimír Ilberg

 

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

Using Off-the-Shelf Exception Support Components in C++ Verification., , и . QRS, стр. 54-64. IEEE, (2017)DIVINE: Explicit-State LTL Model Checker - (Competition Contribution)., , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 920-922. Springer, (2016)Local Nontermination Detection for Parallel C++ Programs., и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 373-390. Springer, (2019)Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution)., , , и . TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 204-208. Springer, (2019)Automatic Test Generation for Haskell Programming Assignments.. ITiCSE, стр. 560. ACM, (2020)DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs., , , , , , , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 863-868. Springer, (2013)DiVM: Model checking with LLVM and graph memory., , , и . J. Syst. Softw., (2018)Context-Switch-Directed Verification in DIVINE., , и . MEMICS, том 8934 из Lecture Notes in Computer Science, стр. 135-146. Springer, (2014)Techniques for Memory-Efficient Model Checking of C and C++ Code., , и . SEFM, том 9276 из Lecture Notes in Computer Science, стр. 268-282. Springer, (2015)On verifying C++ programs with probabilities., , , , и . SAC, стр. 1238-1243. ACM, (2016)