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: 922 | Total: 1282
 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: 886 | Total: 1093
 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: 763 | Total: 936
 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: 784 | Total: 952
 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: 821 | Total: 1006
 2-22
HTML
XML
PDF

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

OK