- 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
- Behavior Protocols: Fighting the 'spearhead' Problem2006 | 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é
- On Protocols for Monotone Feasible Interpolation2023 | Faculty of Mathematics and Physics
- A Model of an Amorphous Computer and Its Communication Protocol2007 | Faculty of Mathematics and Physics
- Performance Improvements of Behavior Protocol Checking2005 | Faculty of Mathematics and Physics
- Compiling Czech Parliamentary Stenographic Protocols into a Corpus2020 | Faculty of Mathematics and Physics
- The Protocol of 1997 and the European Union (introduction)2014 | Faculty of Law
- Control Protocol and its procedural significance2012 | Faculty of Law
- Behavior Protocol Verification: Fighting State Explosion +12005 | Faculty of Mathematics and Physics