Compiler Generator Based on Restarting Automata. - Jan Procházka (CIAA, 2009)

Data-Driven Pedestrian Model: From OpenCV to NetLogo. - Jan Procházka; Kamila Olsevicova (ICCCI, 2014)

Entity linking based on the co-occurrence graph and entity probability. - Alan Eckhardt; Juraj Hresko; Jan Procházka; Otakar Smrs (ERD@SIGIR, 2014)

Monitoring Lane Formation of Pedestrians: Emergence and Entropy. - Jan Procházka; Kamila Olsevicova (ACIIDS (1), 2015)

Reconstruction of Prehistoric Settlement Network Using Agent-Based Model in NetLogo. - Kamila Olsevicova; Jan Procházka; Alzbeta Danielisová (PAAMS (Workshops), 2015)

OpenCL for Large-Scale Agent-Based Simulations. - Jan Procházka; Kamila Stekerová (ICCCI (1), 2017)

microCT for Systematic Mouse Phenotyping. - Frantisek Spoutil; Michaela Prochazkova; Tereza Michalcikova; Ivana Uramova; Sarah Clewell; Vendula Novosadova; Jan Procházka (BIOIMAGING, 2019)

Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS. - 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 003; et al. (ICPS, 2021)

Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. - 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 003; et al. (IECON, 2021)

Batch alignment via retention orders for preprocessing large-scale multi-batch LC-MS experiments. - Frantisek Malinka; Ashkan Zareie; Jan Procházka; Radislav Sedlacek; Vendula Novosadova (Bioinform., 2022)

Comparing Smart Post Box Concept Preferences in Pre- and Post-COVID19 Global Pandemic in the Czech Republic Postal Sector. - Jan Procházka; Alena Kubácová; Martin Fiala (RFID-TA, 2024)