Karel Kozel

22 papers Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2015 — conf
ENUMATH
Petr Furmánek, Karel Kozel
2014 J jnl
J. Comput. Appl. Math.
Petra Porízková, Karel Kozel, Jaromír Horácek
2014 J jnl
J. Comput. Appl. Math.
Petr Svácek, Petr Louda, Karel Kozel
2013 — conf
ENUMATH
Petra Porízková, Karel Kozel, Jaromír Horácek
2013 J jnl
Computing
Petr Furmánek, Karel Kozel
2013 J jnl
Computing
Petra Porízková, Karel Kozel, Jaromír Horácek
2013 J jnl
Computing
Vladimír Prokop, Karel Kozel
2013 J jnl
Appl. Math. Comput.
Petr Louda, Petr Svácek, Jaroslav Fort, Jirí Fürst, Jan Halama, Karel Kozel
2013 J jnl
Appl. Math. Comput.
Ludek Benes, Petr Louda, Karel Kozel, Radka Keslerová, Jaroslav Stigler
2013 J jnl
Computing
Radka Keslerová, Karel Kozel
2012 J jnl
Appl. Math. Comput.
Tomas Bodnár, Ludek Benes, Ph. Fraunié, Karel Kozel
2012 J jnl
J. Appl. Math.
Petra Porízková, Karel Kozel, Jaromír Horácek
2011 J jnl
Appl. Math. Comput.
Radka Keslerová, Karel Kozel
2010 J jnl
Math. Comput. Simul.
Karel Kozel, Petr Louda, Jaromír Príhoda
2010 J jnl
J. Comput. Appl. Math.
Jan Halama, Jiri Dobes, Jaroslav Fort, Jirí Fürst, Karel Kozel
2010 J jnl
Math. Comput. Simul.
Radka Keslerová, Karel Kozel
2010 J jnl
Math. Comput. Simul.
Vladimír Prokop, Karel Kozel
2010 J jnl
Math. Comput. Simul.
Petra Puncochárová-Porízková, Jirí Fürst, Jaromír Horácek, Karel Kozel
2009 J jnl
Kybernetika
Jirí Fürst, Karel Kozel, Petr Furmánek
2007 — conf
MAVEBA
Petra Puncochárová-Porízková, Jaromír Horácek, Karel Kozel, Jirí Fürst
2007 J jnl
Math. Comput. Simul.
Vladimír Prokop, Karel Kozel
2002 J jnl
J. Sci. Comput.
Jirí Fürst, Karel Kozel
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski