GAL: Towards Large Simulations with Tens of Agents. - Cyril Brom; Ondrej Sery; Tomás Poch; Pavel Safrata (IVA, 2005)

Level-of-Detail in Behaviour of Virtual Humans. - Ondrej Sery; Tomás Poch; Pavel Safrata; Cyril Brom (SOFSEM, 2006)

CoCoME in Fractal. - Lubomír Bulej; Tomás Bures; Thierry Coupaye; Martin Decký; Pavel Jezek; Pavel Parízek; Frantisek Plásil; Tomás Poch; Nicolas Rivierre; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

CoCoME in SOFA. - Tomás Bures; Martin Decký; Petr Hnetynka; Jan Kofron; Pavel Parízek; Frantisek Plásil; Tomás Poch; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

Simulation Level of Detail for Virtual Humans. - Cyril Brom; Ondrej Sery; Tomás Poch (IVA, 2007)

Making Components Fit: SPINing. - Jan Kofron; Tomás Poch; Ondrej Sery (SEW, 2008)

TBP: Code-Oriented Component Behavior Specification. - Jan Kofron; Tomás Poch; Ondrej Sery (SEW, 2008)

Extracting Behavior Specification of Components in Legacy Applications. - Tomás Poch; Frantisek Plásil (CBSE, 2009)

JavaCompExt: Extracting Architectural Elements from Java Source Code. - Nicolas Anquetil; Jean-Claude Royer; Pascal André; Gilles Ardourel; Petr Hnetynka; Tomás Poch; Dragos Petrascu; Vladiela Petrascu (WCRE, 2009)

Strengthening Component Architectures by Modeling Fine-Grained Entities. - Tomás Bures; Pavel Jezek; Michal Malohlava; Tomás Poch; Ondrej Sery (EUROMICRO-SEAA, 2011)

Threaded behavior protocols. - Tomás Poch; Ondrej Sery; Frantisek Plásil; Jan Kofron (Formal Aspects Comput., 2013)

Pattern-Based Verification for Multithreaded Programs. - Javier Esparza; Pierre Ganty; Tomás Poch (ACM Trans. Program. Lang. Syst., 2014)