Items where Author is "Lukács, Gábor"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | No Grouping
Number of items: 5.

2014

DateAuthor/TitleDocument Type
2014Sidló, 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

2022

DateAuthor/TitleDocument Type
2022Bé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
2022Luká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

2023

DateAuthor/TitleDocument Type
2023Bé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

2024

DateAuthor/TitleDocument Type
2024Lukács, Gábor and Bartha, Tamás
Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study
Article
This list was generated on Thu Dec 5 03:12:25 2024 CET.