Publikációk
] Szűrők: A Cím Első Betűje = L [Minden szűrő visszaállítása]
"LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms",
GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
"LSQB: A Large-Scale Subgraph Query Benchmark",
GRADES-NDA at SIGMOD: ACM, 2021.
"Lazy Reachability Checking for Timed Automata with Discrete Variables",
Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018.
Abstract
"Lazy Reachability Checking for Timed Automata using Interpolants",
Formal Modelling and Analysis of Timed Systems, vol. 10419: Springer, pp. 264–280, 2017.
Abstract
"Local search-based pattern matching features in EMF-IncQuery",
8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015.
Abstract
Tool demonstration paper
Languages and frameworks for specifying test artifacts,
: Budapest University of Technology and Economics, 2013.
"Lessons Learned from Building Model-Driven Development Tools",
Software and Systems Modeling, 2012.
Abstract
"Live Model Transformations Driven by Incremental Pattern Matching",
Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008.
Abstract
Acceptance rate: 31%
