| 2012 | Networking | Improved GSM-Based Localization by Incorporating Secondary Network Characteristics. | Marek Dvorsky, Libor Michalek, Pavel Moravec, Roman Sebesta |
| 2010 | ISDA | Iris recognition on GPU with the usage of Non-Negative Matrix Factorization. | Petr Gajdos, Jan Platos, Pavel Moravec |
| 2008 | ISDA | Using Semi-discrete Decomposition for Topic Identification. | Vclav Snsel, Pavel Moravec, Jaroslav Pokorn |
| 2008 | SOFSEM | Approximations of state spaces reduced by partial order reduction. | Pavel Moravec |
| 2007 | ICONIP | Pattern Discovery for High-Dimensional Binary Datasets. | Vclav Snsel, Pavel Moravec, Dusan Hsek, Alexander A. Frolov, Hana Rezankov, Pavel Polyakov |
| 2006 | CAV | DiVinE - A Tool for Distributed Verification. | Jiri Barnat, Lubos Brim, Ivana Cern, Pavel Moravec, Petr Rockai, Pavel Simecek |
| 2006 | FMICS | Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. | Jiri Barnat, Pavel Moravec |
| 2006 | FMICS | On Combining Partial Order Reduction with Fairness Assumptions. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |
| 2006 | ISDA | Dimension Reduction Methods for Image Retrieval. | Pavel Moravec, Vclav Snsel |
| 2005 | ECIR | Modified LSI Model for Efficient Search by Metric Access Methods. | Toms Skopal, Pavel Moravec |
| 2004 | FMCAD | Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |
| 2004 | SPIRE | Metric Indexing for the Vector Model in Text Retrieval. | Toms Skopal, Pavel Moravec, Jaroslav Pokorn, Vclav Snsel |