- Formal Models of Object-Oriented Databases2008 | Faculty of Mathematics and Physics
- Towards a Formal Model for Functional Generative Description:2007 | Faculty of Mathematics and Physics
- Towards a Formal Model for Functional Generative Description: Analysis by Reduction and Restarting Automata +12007 | Faculty of Mathematics and Physics
- Decision-making in the EU Council : formal models and empirical studies2007 | Faculty of Social Sciences
- Towards a formal model of natural language description based on restarting automata with parallel DR-structures2010 | Faculty of Mathematics and Physics
- The Functional Generative Description as a functionally motivated formal model of language2012 | Faculty of Mathematics and Physics
- Complex Predicates with Light Verbs in VALLEX: From Formal Model to Lexicographic Description2017 | Faculty of Mathematics and Physics
- Modeling and Validating Self-adaptive Service-oriented Applications2015 | Faculty of Mathematics and Physics
- Econometrics - exact or social science?2013 | Publication without faculty affiliation
- Formal design and verification of self-adaptive systems with decentralized control2017 | Faculty of Mathematics and Physics
- Chapter 4 - An ontology for multi-paradigm modelling2021 | Faculty of Mathematics and Physics
- Integrating Planning into Production Scheduling: A Formal View2004 | Faculty of Mathematics and Physics
- Use Cases: AssemblingPublication without faculty affiliation
- Preference Handling in Nested Temporal Networks with Alternatives2010 | Faculty of Mathematics and Physics
- Use Cases: Behavior Assembly, Behavior Composition and Reasoning,Publication without faculty affiliation
- Getting 'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
- Getting'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
- (In)Dependencies in Functional Generative Description by Restarting Automata2010 | Faculty of Mathematics and Physics
- On Prague Group of Mathematical and Algebraic Linguistics and Its Formal Tools2010 | Faculty of Mathematics and Physics
- Dependencies vs. Coordination from the Point of View of Analysis by Reduction2014 | Faculty of Mathematics and Physics
- Metro-NG: Computer-Aided Scheduling and Collision Detection2015 | Faculty of Mathematics and Physics
- Fuzzy Classification of Web Reports with Linguistic Text Mining +12009 | Faculty of Mathematics and Physics
- Data Transfer Optimization: Going Beyond Heuristics2010 | Faculty of Mathematics and Physics
- On Separations of LR(0)-Grammars by Two Types of Pumping Patterns2021 | Faculty of Mathematics and Physics
- MetroNG: multimodal interactive scheduling interface2010 | Faculty of Mathematics and Physics
- Semi-supervised Induction of Morpheme Boundaries in Czech Using a Word-Formation Network2020 | Faculty of Mathematics and Physics
- Lexical semantic conversions in a valency lexicon2014 | Faculty of Mathematics and Physics
- Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 20172017 | Faculty of Mathematics and Physics