Author
prev ...
Hock, Kevin
1
Hodaňová, Andrea
1
Hogan, Brian P.
1
Holan, Tomáš, 1963-
2
Holmes, Lee
1
Hopkins, Callum
1
Horáček, Petr, 1953-
1
Hořejš, Jiří, 1933-2001
1
Hrbáček, Jiří, 1955-
1
Huf, Jiří
1
Hughes, Cameron, 1960-
1
Hughes, Tracey, 1960-
1
Hunt, Andrew, 1964-
2
Hušek, Roman, 1936-2022
1
Hylmar, Radek, 1980-
1
Hynek, Jiří, 1972-
2
Hyslop, Bruce
1
International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany)
1
Jacobson, Reed, 1954-
1
Janabi-Sharifi, Farrokh, 1959-
1
Jandečka, Karel, 1949-
2
Jankovič, Vojtech
1
Janáč, Radek, 1988-
1
Javaid, Zain
1
Jašek, Roman, 1965-
1
Jelen, Milan
1
Johnson, David S., 1945-2016
1
Jones, Arie
1
Jones, Brian K.
1
Joseph, Lentin,
1
Joshi, Bipin,
1
KRYŠTŮFEK, Miloslav
1
Kadlec, Václav, 1978-
2
Kališ, Jan, 1973-
1
Karch, Marziah
1
Kaufmann, Arnold, 1911-1994
1
Kačmář, Dalibor, 1967-
1
Kent, Jeffrey A. 1952-
1
Keogh, James Edward, 1948-
1
Kernighan, Brian W., 1942-
2
Khorshid, Mokhtar M.
1
Khosrow-Pour, Mehdi, 1951-
1
King, Andrew B.
1
Kiszka, Bogdan, 1967-
2
Klapka, Jindřich, 1936-
1
Klán, Petr, 1957-
1
Knuth, Donald Ervin, 1938-
2
Kodicek, Danny
1
Kofler, Michael, 1967-
1
Kokeš, Josef, 1952-
1
more ...