Tomas Rokicki

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 1

Top Topics

Top Venues

SIAM J. Discret. Math.

Publications

Robert A. Hearn, William Kretschmer, Tomas Rokicki, Benjamin Streeter, Eric Vergo
Two-Disk Compound Symmetry Groups. CoRR (2023)
Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge
The Diameter of the Rubik's Cube Group Is Twenty. SIAM Rev. 56 (4) (2014)
Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge
The Diameter of the Rubik's Cube Group Is Twenty. SIAM J. Discret. Math. 27 (2) (2013)
Jose Flich, Tor Skeie, Andres Mejia, Olav Lysne, Pedro López, Antonio Robles, José Duato, Michihiro Koibuchi, Tomas Rokicki, José Carlos Sancho
A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms. IEEE Trans. Parallel Distributed Syst. 23 (3) (2012)
Tomas Rokicki
Twenty-Five Moves Suffice for Rubik's Cube CoRR (2008)
Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing. IEEE Trans. Computers 52 (9) (2003)
Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
Improving Network Performance by Reducing Network Contention in Source-Based COWs with a Low Path-Computation Overhead. IPDPS (2001)
Jose Flich, Pedro López, Manuel P. Malumbres, José Duato, Tomas Rokicki
Combining In-Transit Buffers with Optimized Routing Schemes to Boost the Performance of Networks with Source Routing. ISHPC (2000)
Chris J. Myers, Tomas Rokicki, Teresa H.-Y. Meng
POSET timing and its application to the synthesis and verification of gate-level timed circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (6) (1999)
Wenjian Qiao, Lionel M. Ni, Tomas Rokicki
Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches. IEEE Trans. Parallel Distributed Syst. 10 (11) (1999)
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
Fibre Channel Fabrics: Evaluation and Design. HICSS (1) (1996)
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
The Impact of Message Scheduling on a Packet Switching Interconnect Fabric. HICSS (1) (1996)
Ludmila Cherkasova, Al Davis, Robin Hodgson, Vadim E. Kotov, Ian N. Robinson, Tomas Rokicki
Components of Congestion Control. SPAA (1996)
Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
Modeling A Fibre Channel Switch with Stochastic Petri Nets. SIGMETRICS (1995)
Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
Modeling a scalable high-speed interconnect with stochastic Petri nets. PNPM (1995)
Chris J. Myers, Tomas Rokicki, Teresa H.-Y. Meng
Automatic synthesis of gate-level timed circuits with choice. ARVLSI (1995)
Tomas Rokicki, Chris J. Myers
Automatic Verification of Timed Circuits. CAV (1994)
Ludmila Cherkasova, Al Davis, Vadim E. Kotov, Tomas Rokicki
Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects. MASCOTS (1994)
Alan L. Davis, Robin Hodgson, Ian N. Robinson, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
R2: A Damped Adaptive Router Design. PCRCW (1994)
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
On Net Modeling of Industrial Size Concurrent Systems. Application and Theory of Petri Nets (1993)
Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
On scalable net modeling of OLTP. PNPM (1993)
Masayasu Odani, Sun Young Hwang, Tom Blank, Tomas Rokicki
The Hermod behavioral synthesis system. J. Syst. Softw. 13 (1) (1990)