Author

Profile picture
Václav Dvořák
Brno University of Technology
Czech Republic
5 articles by this author
Sort by:
Research Article
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
Václav Dvořák, Petr Mikušek
10.3217/jucs-016-14-1826
 28-07-2010
 Unique: 166 | Total: 218  | Access Period:
 1826-1852
HTML
XML
PDF
Research Article
On Complexity of Collective Communications on a Fat Cube Topology
Vladimir Kutálek, Václav Dvořák
10.3217/jucs-011-06-0944
 28-06-2005
 Unique: 152 | Total: 188  | Access Period:
 944-961
HTML
XML
PDF
Editorial
Formal Specifications of Computer-Based Systems - J.UCS Special Issue
Václav Dvořák, Miroslav Sveda, Charles Rattray, Jerzy Rozenblit
10.3217/jucs-009-11
 28-11-2003
 Unique: 149 | Total: 176  | Access Period:
 1258-1260
HTML
XML
PDF
Editorial
J.UCS Special Issue on Formal Specifications of Computer-Based Systems
Václav Dvořák
10.3217/jucs-006-11
 28-11-2000
 Unique: 141 | Total: 180  | Access Period:
 1052-1053
HTML
XML
PDF
Research Article
Bounds on Size of Decision Diagrams
Václav Dvořák
10.3217/jucs-003-01-0002
 28-01-1997
 Unique: 178 | Total: 209  | Access Period:
 2-22
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK