- Behavior Java CheckerPublication without faculty affiliation
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- Behavior Protocols Extensions +12006 | Faculty of Mathematics and Physics
- Extensions to Behavior Protocols2007 | Faculty of Mathematics and Physics
- Behavior Protocols Checker +3Publication without faculty affiliation
- Distributed Behavior Protocol Checker2006 | Faculty of Mathematics and Physics
- Distributed Behavior Protocol Checker +1Publication without faculty affiliation
- Extending Behavior Protocols With Data and MultisynchronizationPublication without faculty affiliation
- Model Checking and Reduction of Behavior Protocols2006 | Faculty of Mathematics and Physics
- Behavior Protocols: Fighting the 'spearhead' Problem2006 | Faculty of Mathematics and Physics
- Software Component Verification: On Translating Behavior Protocols to PromelaPublication without faculty affiliation
- Joshua Fishman's "behavior-toward-language" and beyondPublication without faculty affiliation
- Joshua Fishman's 'behavior-toward-language' and beyondPublication without faculty affiliation
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Faculty of Mathematics and Physics
- Relation of antisocial behavior of adolescents to school environment2006 | Second Faculty of Medicine
- Pilot testing of the Czech versions of the Coaching Behavior Assessment Questionnaire structure2012 | Faculty of Physical Education and Sport
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Marieke de Mooij: Consumer behavior and culture2004 | Faculty of Arts
- Cooperative behavior and economic growthPublication without faculty affiliation
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- Slicing of Component Behavior Specification with Respect to Their Composition2007 | Faculty of Mathematics and Physics
- Counterproductive work behavior2006 | Faculty of Arts