Author

Profile picture
Václav Dvořák
Brno University of Technology
Czech Republic
5 articles by this author
Sort by:
Design ...
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: 609 | Total: 810  | Access Period:
 1826-1852
HTML
XML
PDF
On ...
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: 578 | Total: 716  | Access Period:
 944-961
HTML
XML
PDF
Formal ...
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: 544 | Total: 636  | Access Period:
 1258-1260
HTML
XML
PDF
J.UCS ...
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: 539 | Total: 646  | Access Period:
 1052-1053
HTML
XML
PDF
Bounds ...
Research Article
Bounds on Size of Decision Diagrams
Václav Dvořák
10.3217/jucs-003-01-0002
 28-01-1997
 Unique: 588 | Total: 681  | Access Period:
 2-22
HTML
XML
PDF

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

OK