| 2009 |
|---|
| 11 | EE | Nikola Benes,
Lubos Brim,
Ivana Cerná,
Jiri Sochor,
Pavlína Vareková,
Barbora Zimmerova:
Partial Order Reduction for State/Event LTL.
IFM 2009: 307-321 |
| 2008 |
|---|
| 10 | EE | Nikola Benes,
Ivana Cerná,
Jiri Sochor,
Pavlína Vareková,
Barbora Zimmerova:
A Case Study in Parallel Verification of Component-Based Systems.
Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008) |
| 2007 |
|---|
| 9 | EE | Barbora Kozlíková,
Filip Andres,
Jiri Sochor:
Visualization of tunnels in protein molecules.
Afrigraph 2007: 111-118 |
| 8 | EE | Vit Kovalcik,
Jan Flasar,
Jiri Sochor:
Extensible approach to the virtual worlds editing.
Afrigraph 2007: 31-37 |
| 7 | EE | Barbora Zimmerova,
Pavlína Vareková,
Nikola Benes,
Ivana Cerná,
Lubos Brim,
Jiri Sochor:
Component-Interaction Automata Approach (CoIn).
CoCoME 2007: 146-176 |
| 6 | EE | Jan Flasar,
Jiri Sochor:
Manipulating Objects Behind Obstacles.
HCI (14) 2007: 32-41 |
| 2005 |
|---|
| 5 | EE | Pavel Kolcárek,
Jiri Sochor:
Velocity driven haptic rendering.
GRAPHITE 2005: 389-394 |
| 4 | EE | Ludek Pokluda,
Jiri Sochor:
Spatial Orientation in Buildings Using Models with Haptic Feedback.
WHC 2005: 523-524 |
| 3 | | Vit Kovalcik,
Jiri Sochor:
Occlusion Culling with Statistically Optimized Occlusion Queries.
WSCG (Short Papers) 2005: 109-112 |
| 2003 |
|---|
| 2 | EE | Radek Oslejsek,
Jiri Sochor:
Generic Graphics Architecture.
TPCG 2003: 105-112 |
| 1 | EE | Karel Nechvíle,
Petr Tobola,
Jiri Sochor:
Comparison of Accelerating Techniques for Discontinuity Meshing.
WSCG 2003 |
