Jiřı Šimša
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Formal Methods in Verification, Advanced Data Storage Technologies, Software Testing and Debugging Techniques, Embedded Systems Design Techniques
Most-Cited Works
- → Parrot(2013)104 cited
- Breaking Audio CAPTCHAs(2008)
- → Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking(2004)68 cited
- → tf.data(2021)54 cited
- → Comparing performance of solid state devices and mechanical disks(2008)45 cited
- → Enabling Enterprise Solid State Disks Performance(2018)32 cited
- → dBug: Systematic Evaluation of Distributed Systems(2018)32 cited
- → Finding heap-bounds for hardware synthesis(2009)26 cited
- → Distributed Partial Order Reduction of State Spaces(2005)25 cited
- → How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors(2006)23 cited