Adam Rogalewicz

发表

Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2013, CAV.
Tomás Vojnar, Radu Iosif, Adam Rogalewicz, 2014, ATVA.
Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2016, TACAS.
Radu Iosif, Adam Rogalewicz, Jirí Simácek, 2013, CADE.
Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2017, VMCAI.
Radu Iosif, Adam Rogalewicz, 2009, Comput. Informatics.
Lukás Holík, Tomás Vojnar, Peter Habermehl, 2011, CAV.
Ahmed Bouajjani, Tomás Vojnar, Peter Habermehl, 2012, International Journal on Software Tools for Technology Transfer.
Lukás Holík, Tomás Vojnar, Peter Habermehl, 2012, Formal Methods Syst. Des..
Tomás Vojnar, Radu Iosif, Adam Rogalewicz, 2014, ArXiv.
Tomás Vojnar, Radu Iosif, Adam Rogalewicz, 2016, TACAS.
Tomás Vojnar, Radu Iosif, Peter Habermehl, 2007, ATVA.
Cristina Serban, Wei-Ngan Chin, Siau-Cheng Khoo, 2019, TACAS.
Ahmed Bouajjani, Tomás Vojnar, Peter Habermehl, 2006, SAS.
Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2015, TACAS.
Tomáš Vojnar, Radu Iosif, Lukáš Holík, 2020, Formal Methods Syst. Des..
Lukás Holík, Florian Zuleger, Tomás Vojnar, 2018, VMCAI.
Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2017, TACAS.