Author

Profile picture
Václav Dvořák
Brno University of Technology
Czech Republic
5 articles by this author
Sort by:
Design of Arbiters and Allocators Based ...
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: 1021 | Total: 1410
 1826-1852
HTML
XML
PDF
On Complexity of Collective Communications ...
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: 1013 | Total: 1251
 944-961
HTML
XML
PDF
Formal Specifications of Computer-Based ...
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: 854 | Total: 1047
 1258-1260
HTML
XML
PDF
J.UCS Special Issue on Formal Specifications ...
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: 852 | Total: 1042
 1052-1053
HTML
XML
PDF
Bounds on Size of Decision Diagrams
Research Article
Bounds on Size of Decision Diagrams
Václav Dvořák
10.3217/jucs-003-01-0002
 28-01-1997
 Unique: 904 | Total: 1099
 2-22
HTML
XML
PDF

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

OK