Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 2,41 | 14,45 | Partial Order Reduction for State/Event LTL
|
4,02 | 20,12 | A Case Study in Parallel Verification of Component-Based Systems
|
0,00 | 0,00 | Virtual Environment for Designing Geometrical Sculptures
|
0,00 | 0,00 | A Case Study in Parallel Verification of Component-Based Systems
|
0,00 | 0,00 | A Flexible, Low-Level Scene Graph Traversal with Explorers
|
0,00 | 0,00 | VRECKO: Virtual Reality Framework
|
0,00 | 0,00 | Velocity Driven Haptic Rendering
|
0,00 | 0,00 | Occlusion Culling with Statistically Optimized Occlusion Queries
|
12,58 | 25,16 | Moderní počítačová grafika
|
7,22 | 14,45 | Spatial Orientation in Buildings Using Models with Haptic Feedback
|
0,00 | 0,00 | Fast Rendering of Complex Dynamic Scenes
|
0,00 | 0,00 | Haptic exploration of buildings for visually impaired persons: Show me the map
|
0,00 | 0,00 | Multicriteria tunnel computation
|
24,08 | 72,24 | VRECKO: The Virtual Reality System
|
4,82 | 14,45 | Computation of tunnels in protein molecules using Delaunay triangulation
|
4,82 | 14,45 | Extensible Approach to the Virtual Worlds Editing
|
0,00 | 0,00 | Component-Interaction Automata Approach (CoIn)
|
0,00 | 0,00 | Fast Method for Computation of Channels in Dynamic Proteins
|
0,00 | 0,00 | Computation of more channels in protein molecules
|
72,24 | 72,24 | CAVER Viewer
|
2,80 | 33,60 | CAVER 2.0
|
0,00 | 0,00 | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
|
0,00 | 0,00 | An Improved Precise Multi-contact Haptic Visualization
|
0,00 | 0,00 | Computation of channels in protein dynamics
|
0,00 | 0,00 | Manipulating Objects behind Obstacles
|
4,82 | 14,45 | Visualization of Tunnels in Protein Molecules
|
Back
(c) Michal Bulant, 2011