- SCL Protocol: Standard procedure for delays and failures of implementation of construction project +12013 | Faculty of Mathematics and Physics, Faculty of Law
- Behavior Protocols: Fighting the 'spearhead' Problem2006 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Improved treatment outcome in children with acute lymphoblastic leukaemia using ALL-BFM 90 study protocol in the Czech Republic2003 | Second Faculty of Medicine
- Behavior Protocols Extensions +12006 | Faculty of Mathematics and Physics
- Behavior Protocols Checker +1Publication without faculty affiliation
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Extensions to Behavior Protocols2007 | Faculty of Mathematics and Physics
- Distributed Behavior Protocol Checker2006 | Faculty of Mathematics and Physics
- Standard and protocol for hemodynamic support2007 | Central Library of Charles University
- Standard and protocol for hemodynamic support2007 | Faculty of Medicine in Pilsen
- Standard and protocol for hemodynamic support2007 | Faculty of Medicine in Pilsen, First Faculty of Medicine
- Distributed Behavior Protocol CheckerPublication without faculty affiliation
- High Entropy Random Selection Protocols2021 | Faculty of Mathematics and Physics
- Enhancing Behavior Protocols with Exceptions2005 | Faculty of Mathematics and Physics
- Paediatric protocol and its use in practice2018 | Second Faculty of Medicine, Third Faculty of Medicine
- Extending Behavior Protocols With Data and MultisynchronizationPublication without faculty affiliation
- Massive transfusion protocol2023 | Faculty of Medicine in Hradec Králové
- Protocols for dental-related stem cells isolation, amplification and differentiation2016 | Faculty of Medicine in Hradec Králové
- Determinants of Dictator Giving under Interactive and Non-interactive Protocols2020 | Faculty of Law
- Model Checking and Reduction of Behavior Protocols2006 | Faculty of Mathematics and Physics
- Exceptions in Component Interaction Protocols - a necessity2006 | Faculty of Mathematics and Physics
- MR Imaging Protocols2014 | Second Faculty of Medicine, Faculty of Medicine in Hradec Králové
- Aortic valve, congenital stenosis2007 | Publication without faculty affiliation