Michal Moskal
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 15
Publications (10 Years): 15
Publications
- Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
- Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
- Arno Puder, Nikolai Tillmann, Michal Moskal
- Nadia Polikarpova, Michal Moskal
- Michal Moskal
- Claire Le Goues, K. Rustan M. Leino, Michal Moskal
- Michal Moskal
- Sascha Böhme, Michal Moskal
- Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
- Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
- Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
- Bernhard Beckert, Michal Moskal
- Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
- Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
- Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry
- Michal Moskal
- Radu Grigore, Michal MoskalEdit and verify CoRR (2007)
- Mikolás Janota, Radu Grigore, Michal Moskal