VLDB 2026 Research / reviewers in the wild / expert
Wojciech Nabialek
dblp:00/1343
· DBLP profile ↗
3ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0002-8361-2816ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | SMT-Based Unbounded Model Checking for ATL
Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
VECoS | 5 |
| 2008 | VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski 0001, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
Fundam. Informaticae | 2 |
| 2008 | Translation of Timed Promela to Timed Automata with Discrete Data
Wojciech Nabialek, Agata Janowska, Pawel Janowski |
Fundam. Informaticae | 1 |