Jan Procházka

11 papers B 1C 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Comparing Smart Post Box Concept Preferences in Pre- and Post-COVID19 Global Pandemic in the Czech Republic Postal Sector.
RFID-TA
Jan Procházka, Alena Kubácová, Martin Fiala
2022 J jnl
Batch alignment via retention orders for preprocessing large-scale multi-batch LC-MS experiments.
Bioinform.
Frantisek Malinka, Ashkan Zareie, Jan Procházka, Radislav Sedlacek, Vendula Novosadova
2021 C conf
Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.
IECON
Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz
2021 — conf
Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS.
ICPS
Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Caspar Gries, Torsten Vögler, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Technikon, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Thales Austria, Frank Golatowski, Thorsten Schulz
2019 — conf
microCT for Systematic Mouse Phenotyping.
BIOIMAGING
Frantisek Spoutil, Michaela Prochazkova, Tereza Michalcikova, Ivana Uramova, Sarah Clewell, Vendula Novosadova, Jan Procházka
2017 — conf
OpenCL for Large-Scale Agent-Based Simulations.
ICCCI (1)
Jan Procházka, Kamila Stekerová
2015 — conf
Monitoring Lane Formation of Pedestrians: Emergence and Entropy.
ACIIDS (1)
Jan Procházka, Kamila Olsevicova
2015 — conf
Reconstruction of Prehistoric Settlement Network Using Agent-Based Model in NetLogo.
PAAMS (Workshops)
Kamila Olsevicova, Jan Procházka, Alzbeta Danielisová
2014 B conf
Data-Driven Pedestrian Model: From OpenCV to NetLogo.
ICCCI
Jan Procházka, Kamila Olsevicova
2014 — conf
Entity linking based on the co-occurrence graph and entity probability.
ERD@SIGIR
Alan Eckhardt, Juraj Hresko, Jan Procházka, Otakar Smrs
2009 C conf
Compiler Generator Based on Restarting Automata.
CIAA
Jan Procházka