Jan Procházka

According to our database, Jan Procházka authored at least 10 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

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

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, 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

Proceedings of the IECON 2021, 2021

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, 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

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

2019

microCT for Systematic Mouse Phenotyping.

Frantisek Spoutil, Michaela Prochazkova, Tereza Michalcikova, Ivana Uramova, Sarah Clewell, Vendula Novosadova, Jan Procházka

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2017

OpenCL for Large-Scale Agent-Based Simulations.

Jan Procházka, Kamila Stekerová

Proceedings of the Computational Collective Intelligence - 9th International Conference, 2017

2015

Reconstruction of Prehistoric Settlement Network Using Agent-Based Model in NetLogo.

Kamila Olsevicova, Jan Procházka, Alzbeta Danielisová

Proceedings of the Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection, 2015

Monitoring Lane Formation of Pedestrians: Emergence and Entropy.

Jan Procházka, Kamila Olsevicova

Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

2014

Entity linking based on the co-occurrence graph and entity probability.

Alan Eckhardt, Juraj Hresko, Jan Procházka, Otakar Smrs

Proceedings of the ERD'14, 2014

Data-Driven Pedestrian Model: From OpenCV to NetLogo.

Jan Procházka, Kamila Olsevicova

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2014

2009

Compiler Generator Based on Restarting Automata.

Jan Procházka

Proceedings of the Implementation and Application of Automata, 2009