V. Dvořák:
Bounds on Size of Decision Diagrams
/jucs_3_1/bounds_on_size

page 2 - 22
Vol.3 / Issue 1

V. Dvořák, P. Mikušek:
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
/jucs_16_14/design_of_arbiters_and

page 1826 - 1852
Vol.16 / Issue 14

V. Dvořák, M. Sveda, C. Rattray, J. W. Rozenblit:
Formal Specifications of Computer-Based Systems - J.UCS Special Issue
/jucs_9_11/formal_specifications_of_computer

page 1258 - 1260
Vol.9 / Issue 11

V. Dvořák:
J.UCS Special Issue on Formal Specifications of Computer-Based Systems
/jucs_6_11/j_ucs_special_issue

page 1052 - 1053
Vol.6 / Issue 11

V. Kutálek, V. Dvořák:
On Complexity of Collective Communications on a Fat Cube Topology
/jucs_11_6/on_complexity_of_collective

page 944 - 961
Vol.11 / Issue 6