Jirí Hanika

According to our database, Jirí Hanika authored at least 6 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2014

Simulation of HDS tests in trickle-bed reactor.

V. Tukac, A. Prokesova, Jirí Hanika, M. Zbuzek, R. Cerný

Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

2011

Simulation of Biomass Partial Oxidation.

V. Tukac, Jirí Hanika, Václav Veselý, J. Lederer, D. Kovac

Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

2008

Lévy Hierarchy in weak Set Theories.

Jirí Hanika

J. Philos. Log., 2008

2004

Herbrandizing search problems in Bounded Arithmetic.

Jirí Hanika

Math. Log. Q., 2004

2000

The Continuous and Discontinuous Styles in Czech TTS.

Tomás Dubeda, Jirí Hanika

Proceedings of the Text, Speech and Dialogue - Third International Workshop, 2000

1999

Text to speech control protocol.

Jirí Hanika, Petr Horák

Proceedings of the Sixth European Conference on Speech Communication and Technology, 1999