Jirí Weiser

According to our database, Jirí Weiser authored at least 2 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Fast, Dynamically-Sized Concurrent Hash Table.

Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2013

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Computer Aided Verification - 25th International Conference, 2013