The Hermod behavioral synthesis system. - Masayasu Odani; Sun Young Hwang; Tom Blank; Tomas Rokicki (J. Syst. Softw., 1990)

On Net Modeling of Industrial Size Concurrent Systems. - Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (Application and Theory of Petri Nets, 1993)

On scalable net modeling of OLTP. - Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (PNPM, 1993)

Representing and modeling digital circuits. - Tomas Rokicki (1993)

Automatic Verification of Timed Circuits. - Tomas Rokicki; Chris J. Myers (CAV, 1994)

Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects. - Ludmila Cherkasova; Al Davis; Vadim E. Kotov; Tomas Rokicki (MASCOTS, 1994)

R2: A Damped Adaptive Router Design. - Alan L. Davis; Robin Hodgson; Ian N. Robinson; Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (PCRCW, 1994)

Automatic synthesis of gate-level timed circuits with choice. - Chris J. Myers; Tomas Rokicki; Teresa H.-Y. Meng (ARVLSI, 1995)

Modeling a scalable high-speed interconnect with stochastic Petri nets. - Gianfranco Ciardo; Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (PNPM, 1995)

Modeling A Fibre Channel Switch with Stochastic Petri Nets. - Gianfranco Ciardo; Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (SIGMETRICS, 1995)

Fibre Channel Fabrics: Evaluation and Design. - Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (HICSS (1), 1996)

The Impact of Message Scheduling on a Packet Switching Interconnect Fabric. - Ludmila Cherkasova; Vadim E. Kotov; Tomas Rokicki (HICSS (1), 1996)

Components of Congestion Control. - Ludmila Cherkasova; Al Davis; Robin Hodgson; Vadim E. Kotov; Ian N. Robinson; Tomas Rokicki (SPAA, 1996)

POSET timing and its application to the synthesis and verification of gate-level timed circuits. - Chris J. Myers; Tomas Rokicki; Teresa H.-Y. Meng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches. - Wenjian Qiao; Lionel M. Ni; Tomas Rokicki (IEEE Trans. Parallel Distributed Syst., 1999)

Combining In-Transit Buffers with Optimized Routing Schemes to Boost the Performance of Networks with Source Routing. - José Flich; Pedro López 001; Manuel P. Malumbres; José Duato; Tomas Rokicki (ISHPC, 2000)

Improving Network Performance by Reducing Network Contention in Source-Based COWs with a Low Path-Computation Overhead. - José Flich; Pedro López 001; Manuel P. Malumbres; José Duato; Tomas Rokicki (IPDPS, 2001)

Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing. - José Flich; Pedro López 001; Manuel P. Malumbres; José Duato; Tomas Rokicki (IEEE Trans. Computers, 2003)

Twenty-Five Moves Suffice for Rubik's Cube - Tomas Rokicki (CoRR, 2008)

A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms. - José Flich; Tor Skeie; Andres Mejia; Olav Lysne; Pedro López 001; Antonio Robles; José Duato; Michihiro Koibuchi; Tomas Rokicki; José Carlos Sancho (IEEE Trans. Parallel Distributed Syst., 2012)

The Diameter of the Rubik's Cube Group Is Twenty. - Tomas Rokicki; Herbert Kociemba; Morley Davidson; John Dethridge (SIAM Rev., 2014)

Two-Disk Compound Symmetry Groups. - Robert A. Hearn; William Kretschmer; Tomas Rokicki; Benjamin Streeter; Eric Vergo (CoRR, 2023)