| |
| 2008 | ||
|---|---|---|
| 4 | EE | Pavel Ocenasek: A Proxy-Based System for Translation of Internet Content into Specific Form. APCHI 2008: 413-419 |
| 3 | EE | Pavel Ocenasek: Modification of Web Content According to the User Requirements. Edutainment 2008: 324-327 |
| 2006 | ||
| 2 | EE | Miroslav Svéda, Radimir Vrba, Pavel Ocenasek: Local Time Specifications of Networked Embedded Systems. ICN/ICONS/MCL 2006: 177 |
| 1 | EE | Pavel Ocenasek, Miroslav Svéda: An Approach to Automated Design of Security Protocols. ICN/ICONS/MCL 2006: 77 |
| 1 | Miroslav Svéda | [1] [2] |
| 2 | Radimir Vrba | [2] |