Pavel Ocenasek

15 papers Unranked 15
YearRankTypeTitle / Venue / Authors
2016 — conf
The State of Near-Field Communication (NFC) on the Android Platform.
HCI (20)
Jaromir Karmazin, Pavel Ocenasek
2013 — conf
On the Secure and Safe Data Synchronization.
HCI (27)
Pavel Ocenasek, Jaromir Karmazin
2013 — conf
The Practice of Global Internet Filtering.
HCI (27)
Pavel Ocenasek
2011 — conf
Constructing Phylogenetic Trees Based on Intra-group Analysis of Human Mitochondrial DNA.
HCI (11)
Ivan Vogel, Frantisek Zedek, Pavel Ocenasek
2009 — conf
A Model for Measurement and Analysis of the Workflow Processes.
HCI (8)
Pavel Ocenasek, Miroslav Svéda
2009 — conf
AVISPA: Towards practical verification of communication properties.
PDeS
Pavel Ocenasek, Miroslav Svéda
2009 — conf
An Approach for the Design of Secure Communication in Embedded Systems.
HCI (8)
Pavel Ocenasek
2009 — conf
Design of networked embedded systems: An approach for safety and security.
PDeS
Miroslav Svéda, Roman Trchalík, Pavel Ocenasek
2009 — conf
On the implementation of metrics in industrial embedded systems.
PDeS
Pavel Ocenasek, Roman Trchalík, Miroslav Svéda
2009 — conf
Towards Security Issues in ZigBee Architecture.
HCI (8)
Pavel Ocenasek
2009 — conf
Universal Access to the Internet Web Pages for Users with Special Needs.
HCI (7)
Pavel Ocenasek
2008 — conf
A Proxy-Based System for Translation of Internet Content into Specific Form.
APCHI
Pavel Ocenasek
2008 — conf
Modification of Web Content According to the User Requirements.
Edutainment
Pavel Ocenasek
2006 — conf
An Approach to Automated Design of Security Protocols.
ICN/ICONS/MCL
Pavel Ocenasek, Miroslav Svéda
2006 — conf
Local Time Specifications of Networked Embedded Systems.
ICN/ICONS/MCL
Miroslav Svéda, Radimir Vrba, Pavel Ocenasek