prof. Ing. Jiří Sochor, CSc.
Faculty of Informatics
phone: | +420 549 49 6939 |
---|
social and academic networks: |
---|
Total number of publications: 106
2010
-
CAVER 2.1
Year: 2010
-
CAVER Viewer-new tool enhancing computation and visualization of channels in proteins
The IADIS Computer Graphics, Visualization, Computer Vision and Image Processing (CGVCVIP) 2010, year: 2010
-
Tracking single channel in protein dynamics
WSCG Communication Papers proceedings, year: 2010
-
Traversal methods for GPU ray tracing
CESCG 2010, Proceeding of the 14th Central European Seminar on Computer Graphics, year: 2010
2009
-
An Improved Precise Multi-contact Haptic Visualization
Theory and Practice of Computer Graphics 2009, year: 2009
-
Computation of channels in protein dynamics
Proceedings of the IADIS International Conference Applied Computing 2009, year: 2009
-
Computer-Assisted Engineering of Biomolecules
Year: 2009, type:
-
Partial Order Reduction for State/Event LTL
Proceedings of the International Conference on Integrated Formal Methods (IFM'09), year: 2009
-
Virtual Environment for Designing Geometrical Sculptures
Sigrad '09,The Annual Sigrad Conference, Special Theme: Visualization and Design, year: 2009
2008
-
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science, year: 2008, volume: 220, edition: 2