Text to speech control protocol. - Jirí Hanika; Petr Horák (EUROSPEECH, 1999)

The Continuous and Discontinuous Styles in Czech TTS. - Tomás Dubeda; Jirí Hanika (TSD, 2000)

Herbrandizing search problems in Bounded Arithmetic. - Jirí Hanika (Math. Log. Q., 2004)

Lévy Hierarchy in weak Set Theories. - Jirí Hanika (J. Philos. Log., 2008)

Simulation of Biomass Partial Oxidation. - V. Tukac; Jirí Hanika; Václav Veselý; J. Lederer; D. Kovac (SIMULTECH, 2011)

Simulation of HDS tests in trickle-bed reactor. - V. Tukac; A. Prokesova; Jirí Hanika; M. Zbuzek; R. Cerný (SIMULTECH, 2014)