Pavol Cerný
Publication Activity (10 Years)
Years Active: 2005-2021
Publications (10 Years): 26
Publications (10 Years): 26
Publications
- Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
- Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
- Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
- Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
- Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
- Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
- Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
- Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
- Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
- Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
- Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
- Pavol Cerný
- Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
- Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
- Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
- Jedidiah McClurg, Nate Foster, Pavol Cerný
- Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
- Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
- Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
- Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
- Rajeev Alur, Pavol Cerný, Scott Weinstein
- Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
- Pavol Cerný, Thomas A. Henzinger
- Rajeev Alur, Pavol Cerný
- Rajeev Alur, Pavol Cerný
- Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
- Rajeev Alur, Pavol Cerný, Scott Weinstein
- Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný
- Pavol Cerný, Rajeev Alur
- Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
- Rajeev Alur, Pavol Cerný, Steve Zdancewic
- Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam