====== Papers & Publications ======

All papers require passwords. If you are interested in any of this papers please [[meduna@fit.vutbr.cz|let me know]].

  * [[http://www.fit.vutbr.cz/~meduna/pubs.php.en|List of Selected Papers and Conference Contributions]]
  * [[papers_public|Selected Thirty Papers Published Before 2000]] 
    * [[meduna@fit.vutbr.cz|password required]]
  * [[papers_private|Selected Papers Published After 2000]] 
    * [[meduna@fit.vutbr.cz|login and password required]]
  * [[:lectures:books:books|Book Info]]


====== Research Group of Formal Models @ FIT BUT ======
  * [[http://www.fit.vutbr.cz/research/groups/fm/index.php.en|Homepage]]
  * Additional Links:
    * [[https://www.researchgate.net/profile/Zbynek_Krivka|Zbyněk Křivka on ResearchGate]]