prof. Ing. Jiří Sochor, CSc.

2010

• CAVER 2.1

  BENEŠ Petr KOZLÍKOVÁ Barbora STRNAD Ondřej ŠUSTR Vilém CHOVANCOVÁ Eva PAVELKA Antonín BREZOVSKÝ Jan SZABÓ Tibor ZAMBORSKÝ Matúš SOCHOR Jiří DAMBORSKÝ Jiří BIEDERMANNOVÁ Lada

  Software

  Rok: 2010

• CAVER Viewer-new tool enhancing computation and visualization of channels in proteins

  KOZLÍKOVÁ Barbora SOCHOR Jiří SZABÓ Tibor ZAMBORSKÝ Matúš

  Článek ve sborníku

  The IADIS Computer Graphics, Visualization, Computer Vision and Image Processing (CGVCVIP) 2010, rok: 2010

• Tracking single channel in protein dynamics

  BENEŠ Petr MEDEK Petr SOCHOR Jiří

  Článek ve sborníku

  WSCG Communication Papers proceedings, rok: 2010

• Traversal methods for GPU ray tracing

  VINKLER Marek SOCHOR Jiří

  Článek ve sborníku

  CESCG 2010, Proceeding of the 14th Central European Seminar on Computer Graphics, rok: 2010

2009

• An Improved Precise Multi-contact Haptic Visualization

  FLASAR Jan KOVALČÍK Vít SOCHOR Jiří

  Článek ve sborníku

  Theory and Practice of Computer Graphics 2009, rok: 2009

• Computation of channels in protein dynamics

  BENEŠ Petr MEDEK Petr SOCHOR Jiří

  Článek ve sborníku

  Proceedings of the IADIS International Conference Applied Computing 2009, rok: 2009

• Computer-Assisted Engineering of Biomolecules

  DAMBORSKÝ Jiří SOCHOR Jiří

  Vyžádané přednášky

  Rok: 2009, druh: Vyžádané přednášky

• Partial Order Reduction for State/Event LTL

  BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek ve sborníku

  Proceedings of the International Conference on Integrated Formal Methods (IFM'09), rok: 2009

• Virtual Environment for Designing Geometrical Sculptures

  CHMELÍK Jiří SOCHOR Jiří

  Článek ve sborníku

  Sigrad '09,The Annual Sigrad Conference, Special Theme: Visualization and Design, rok: 2009

2008

• A Case Study in Parallel Verification of Component-Based Systems

  BENEŠ Nikola ČERNÁ Ivana SOCHOR Jiří MORAVCOVÁ VAŘEKOVÁ Pavlína BÜHNOVÁ Barbora

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 220, vydání: 2