Jiri Sochor
Jiri Sochor
Professor of Computer Science, Masaryk University
E-mailová adresa ověřena na: fi.muni.cz - Domovská stránka
Název
Citace
Citace
Rok
CAVER 3.0: a tool for the analysis of transport pathways in dynamic protein structures
E Chovancova, A Pavelka, P Benes, O Strnad, J Brezovsky, B Kozlikova, ...
PLoS Comput Biol 8 (10), e1002708, 2012
6872012
Moderní počítačová grafika
J Žára, B Beneš, J Sochor, P Felkel
Computer press, 2005
4102005
CAVER Analyst 1.0: graphic tool for interactive visualization and analysis of tunnels and channels in protein structures
B Kozlikova, E Sebestova, V Sustr, J Brezovsky, O Strnad, L Daniel, ...
Bioinformatics 30 (18), 2684-2685, 2014
1342014
Computation of tunnels in protein molecules using Delaunay triangulation
P Medek, P Beneš, J Sochor
Václav Skala-UNION Agency, 2007
1092007
Modernı pocıtacová grafika
J Zára, B Beneš, P Felkel
Computer press, 1998
641998
CAVER: algorithms for analyzing dynamics of tunnels in macromolecules
A Pavelka, E Sebestova, B Kozlikova, J Brezovsky, J Sochor, ...
IEEE/ACM transactions on computational biology and bioinformatics 13 (3 …, 2015
612015
Softwarové inženýrství I
K Richta, J Sochor
ČVUT, 1996
231996
Occlusion culling with statistically optimized occlusion queries
V Kovalčík, J Sochor
Václav Skala-UNION Agency, 2005
222005
Algoritmy počítačové grafiky
J Sochor, J Žára
ČVUT, 1993
211993
The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn)
B Zimmerova, P Vareková, N Beneš, I Cerná, L Brim, J Sochor
LNCS 10, 978-3, 2007
192007
Component-interaction automata approach (CoIn)
B Zimmerova, P Vařeková, N Beneš, I Černá, L Brim, J Sochor
The Common Component Modeling Example, 146-176, 2008
182008
Visibility driven BVH build up algorithm for ray tracing
M Vinkler, V Havran, J Sochor
Computers & Graphics 36 (4), 283-296, 2012
152012
Partial order reduction for state/event LTL
N Beneš, L Brim, I Černá, J Sochor, P Vařeková, B Zimmerova
International Conference on Integrated Formal Methods, 307-321, 2009
132009
A case study in parallel verification of component-based systems
N Beneš, I Černá, J Sochor, P Vařeková, B Zimmerova
Electronic Notes in Theoretical Computer Science 220 (2), 67-83, 2008
132008
Multicriteria tunnel computation
P Medek, P Beneš, J Sochor
Proceedings of the Tenth IASTED International Conference on Computer …, 2008
132008
Computation of channels in protein dynamics
P Beneš, P Medek, J Sochor
IADIS Press, 2009
122009
Fast method for computation of channels in dynamic proteins
M Zemek, J Skála, I Kolingerová, P Medek, J Sochor
Vision, Modeling, and Visualization 2008, 333-342, 2008
122008
Accelerated visualization of transparent molecular surfaces in molecular dynamics
A Jurčík, J Parulek, J Sochor, B Kozlikova
2016 IEEE Pacific Visualization Symposium (PacificVis), 112-119, 2016
112016
Component-Interaction Automata Approach (CoIn), The Common Component Modeling Example: Comparing Software Component Models
B Zimmerova, P Vařeková, N Beneš, I Černá, L Brim, J Sochor
Springer-Verlag, Berlin, Heidelberg, 2007
112007
Forensic 3D facial identication software (FIDENTIS)
I Chalás, P Urbanová, Z Kotulanová, M Jandová, M Králík, B Kozlíková, ...
102014
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20