Jirí Weiser

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

External Memory

Indexing Methods

Top Venues

Publications

Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser
Fast, Dynamically-Sized Concurrent Hash Table. SPIN (2015)
Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV (2013)