Publications
] Filters: First Letter Of Title is I [Clear All Filters]
"Iterative and incremental model generation by logic solvers",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"Incrementalizing Lattice-Based Program Analyses in Datalog",
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
"IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"Incremental View Maintenance for Property Graph Queries",
SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology,
: IBM Research Zurich, 2008.
"Incremental Synchronization of IT Infrastructure Model",
Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
"Identification and Tracking of IT Infrastructure Patterns",
Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
"Introducing Dynamism to SA Forum Cluster",
Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008.
Abstract
"Incremental Queries and Transformations: From Concepts to Industrial Applications",
SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016.
Abstract
"Incremental Graph Pattern Matching: Data Structures and Initial Experiments",
Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006.
Abstract
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
