Items where Author is "Lukács, Gábor"
 | Up a level |
Number of items: 5.
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2024 | Lukács, Gábor and Bartha, Tamás Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study |  | Article |
| 2023 | Béres, Ferenc and Lukács, Gábor and Molnár, András József and Szeiler, P An Exploratory Survey of Recreational Activities Using Twitter Data with Logic-Based Location Categorization | Article | |
| 2022 | Béres, Ferenc and Lukács, Gábor and Molnár, András József and Szeiler, P An Exploratory Survey of Recreational Activities Using Twitter Data with Logic-Based Location Categorization | Article | |
| 2022 | Lukács, Gábor and Bartha, Tamás Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study | Article | |
| 2014 | Sidló, Csaba István and Molnár, András József and Lukács, Gábor and Benczúr, András Theoretical foundations of entity resolution models | Article |
