General-purpose Boolean functions and synthesis of Boolean functions by means of general-purpose modules. - Václav Dvorák (Kybernetika, 1968)

A Two-Rail Cascade Synthesis of Boolean Functions. - Václav Dvorák (IEEE Trans. Computers, 1968)

Efficient Implementation of Logic Control Algorithms on Microprocessors. - Vaclav Dvorak; Imrich Rukovansky (IFIP Congress, 1983)

Design and Microprogramming of Bit-sequential Processors for Parallel Systems. - Vaclav Dvorak (J. Inf. Process. Cybern., 1987)

A table-driven system controller with multi-way branching. - Vaclav Dvorak (Microprocess. Microprogramming, 1988)

Synthesis of minimal multivalued decision diagrams. - Vaclav Dvorak (Microprocess. Microprogramming, 1988)

A cascade implementation of digital systems. - Vaclav Dvorak (Microprocessing and Microprogramming, 1990)

Neural networks and fuzzy systems : B Kosko Prentice-Hall. - Vaclav Dvorak (Knowl. Based Syst., 1993)

Introduction to Microprogramming: Milutinovic, V (Ed) Prentice Hall, Hemel Hempstead, UK (1992) ISBN 0 13 488917 7, £38.95, pp 297. - Václav Dvorák (Microprocess. Microsystems, 1993)

A Synthesis of Sub-Optimal Decision Programs. - Václav Dvorák; Jaroslav Sustr (Comput. Artif. Intell., 1995)

Bounds on Size of Decision Diagrams. - Vaclav Dvorak (J. Univers. Comput. Sci., 1997)

Advanced Computer Architectures - a Design Space Approach, D. Sima, T. Fountain, P. Kacsuk (Eds.), Addison-Wesley Longman Ltd., 1997, ISBN 0-201-42291-3. - Václav Dvorák (Microprocess. Microsystems, 1999)

A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. - Vaclav Dvorak; Rudolf Cejka (ECBS, 2000)

J.UCS Special Issue on Formal Specifications of Computer-Based Systems. - Vaclav Dvorak (J. Univers. Comput. Sci., 2000)

Simulation and Prototyping in Teaching Parallel Architectures, Algorithms and Programming Models. - Vaclav Dvorak (PDPTA, 2002)

A Methodology for Designing Communication Architectures for Multiprocessor SoCs. - Václav Dvorák; Vladimír Kutálek (DSD, 2003)

Evolutionary Design of Group Communication Schedules for Interconnection Networks. - Jirí Jaros; Milos Ohlídal; Václav Dvorák (ISCIS, 2005)

Scheduling Collective Communications on Wormhole Fat Cubes. - Vaclav Dvorak (SBAC-PAD, 2005)

On Complexity of Collective Communications on a Fat Cube Topology. - Vladimír Kutálek; Václav Dvorák (J. Univers. Comput. Sci., 2005)

Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. - Jirí Jaros; Václav Dvorák (DDECS, 2006)

Evolutionary Design of OAB and AAB Communication Schedules for Interconnection Networks. - Milos Ohlídal; Jirí Jaros; Josef Schwarz; Václav Dvorák (EvoWorkshops, 2006)

Performance of Collective Communications on Interconnection Networks with Fat nodes and Edges. - Milos Ohlídal; Jirí Jaros; Vaclav Dvorak (ICN/ICONS/MCL, 2006)

Complexity of Collective Communications on NoCs. - Jirí Jaros; Milos Ohlídal; Václav Dvorák (PARELEC, 2006)

Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. - Vaclav Dvorak (ECBS, 2007)

An evolutionary approach to collective communication scheduling. - Jirí Jaros; Milos Ohlídal; Vaclav Dvorak (GECCO, 2007)

Optimum Topology-Aware Scheduling of Many-to-Many Collective Communications. - Vaclav Dvorak; Jirí Jaros; Milos Ohlídal (ICN, 2007)

Implementation of Combinational and Sequential Functions in Embedded Firmware. - Václav Dvorák (IPC, 2007)

Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. - Vaclav Dvorak (J. Softw., 2007)

On Lookup Table Cascade-Based Realizations of Arbiters. - Petr Mikusek; Vaclav Dvorak (DSD, 2008)

An evolutionary design technique for collective communications on optimal diameter-degree networks. - Jirí Jaros; Vaclav Dvorak (GECCO, 2008)

Communication Performance of Mesh- and Ring-Based NoCs. - Vaclav Dvorak (ICN, 2008)

Embedded Firmware Development with Multi-way Branching. - Václav Dvorák (ICONS, 2008)

Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. - Petr Mikusek; Václav Dvorák (DSD, 2009)

Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs. - Jirí Jaros; Vaclav Dvorak (GECCO, 2010)

Multi-Terminal BDDs in Microprocessor-based Control. - Václav Dvorák (ICINCO (3), 2010)

Design of Arbiters and Allocators Based on Multi-Terminal BDDs. - Václav Dvorák; Petr Mikusek (J. Univers. Comput. Sci., 2010)

On the Cascade Implementation of Multiple-Output Sparse Logic Functions. - Václav Dvorák; Petr Mikusek (DSD, 2011)

On the complexity and optimization of branching programs for decision diagram machines. - Václav Dvorák (PDeS, 2012)

Easily Reprogrammable embedded Logic Control. - Václav Dvorák; Petr Mikusek (ICINCO (1), 2013)

Bent Function Synthesis by Means of Cartesian Genetic Programming. - Radek Hrbacek; Vaclav Dvorak (PPSN, 2014)

Evaluation of Various Ejector Profiles on CO2 Transcritical Refrigeration System Performance. - Anas F. A. Elbarghthi; Václav Dvorák (Entropy, 2022)

Heat Transfer Analysis between R744 and HFOs inside Plate Heat Exchangers. - Anas F. A. Elbarghthi; Mohammad Yousef Hdaib; Václav Dvorák (Entropy, 2022)