- Formální modely objektově-orientovaných databází2008 | Matematicko-fyzikální fakulta
- O formálním modelu pro Funkční Generativní Popis :2007 | Matematicko-fyzikální fakulta
- Formální model Funkčního generativního popisu: redukční analýza a restartovací automaty +12007 | Matematicko-fyzikální fakulta
- Rozhodování v Radě EU : formální modely a empirické studie2007 | Fakulta sociálních věd
- K formálnímu modelu pro popis přirozeného jazyka založenému na restartovacích automatech s paralelními DR-strukturami2010 | Matematicko-fyzikální fakulta
- Funkční generativní popis jako funkčně motivovaný formalní model jazyka2012 | Matematicko-fyzikální fakulta
- Komplexní predikáty s kategoriálním slovesem: Od formálního modelu k lexikografickému popisu2017 | Matematicko-fyzikální fakulta
- Modeling and Validating Self-adaptive Service-oriented Applications2015 | Matematicko-fyzikální fakulta
- Ekonometrie - exaktní či společenská věda?2013 | Publikace bez příslušnosti k fakultě
- Formal design and verification of self-adaptive systems with decentralized control2017 | Matematicko-fyzikální fakulta
- Chapter 4 - An ontology for multi-paradigm modelling2021 | Matematicko-fyzikální fakulta
- Integrating Planning into Production Scheduling: A Formal View2004 | Matematicko-fyzikální fakulta
- Use Cases: AssemblingPublikace bez příslušnosti k fakultě
- Zpracování preferencí v zahnízděných temporálních sítích2010 | Matematicko-fyzikální fakulta
- Use Cases: Behavior Assembly, Behavior Composition and Reasoning,Publikace bez příslušnosti k fakultě
- Getting 'Whole Picture' Behavior in a Use Case Model2003 | Matematicko-fyzikální fakulta
- Getting'Whole Picture' Behavior in a Use Case Model2003 | Matematicko-fyzikální fakulta
- (Ne)Závislosti ve Funkčním generativním popisu podle restartovacích automatů2010 | Matematicko-fyzikální fakulta
- O pražské skupině matematické a algebraické lingvistiky a formálních nástrojích2010 | Matematicko-fyzikální fakulta
- Gramatické závislosti vs. koordinace z pohledu redukční analýzy2014 | Matematicko-fyzikální fakulta
- Metro-NG: Computer-Aided Scheduling and Collision Detection2015 | Matematicko-fyzikální fakulta
- Fuzzy klasifikace webových reportů pomocí lingvistického dolování v textech +12009 | Matematicko-fyzikální fakulta
- Optimalizace datavových přenosů: jdema za heuristiky2010 | Matematicko-fyzikální fakulta
- On Separations of LR(0)-Grammars by Two Types of Pumping Patterns2021 | Matematicko-fyzikální fakulta
- MetroNG: multimodální rozhraní pro interaktivní rozvrhování2010 | Matematicko-fyzikální fakulta
- Částečně řízená detekce hranic mezi morfémy v českých slovech s využitím slovotvorné sítě2020 | Matematicko-fyzikální fakulta
- Lexikálně-sémantické konverze ve valenčním slovníku2014 | Matematicko-fyzikální fakulta
- Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 20172017 | Matematicko-fyzikální fakulta