Skip to content

Petr Vojtechovsk

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

3

Active years

2008–2024

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2024AAAISAT-Based Techniques for Lexicographically Smallest Finite Models.Mikols Janota, Choiwah Chow, Joo Arajo, Michael Codish, Petr Vojtechovsk
2016SACVoronoi maps: an approach to individual-based environmental exposure estimation.Wan D. Bae, Shayma Alkobaisi, Wade Meyers, Sada Narayanappa, Petr Vojtechovsk
2010SACConvex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature.Wan D. Bae, Shayma Alkobaisi, Petr Vojtechovsk, Sada Narayanappa, Kye Y. Bae
2008DEXAThe Truncated Tornado in TMBB: A Spatiotemporal Uncertainty Model for Moving Objects.Shayma Alkobaisi, Petr Vojtechovsk, Wan D. Bae, Seon Ho Kim, Scott T. Leutenegger