Publications

(2018). Verified Programs for Frequent Itemset Mining. 15th IEEE International Conference on Advanced and Trusted Computing (ATC 2018).

DOI

(2018). Validating Data from Semantic Web Providers. Theory and Practice of Computer Science (SOFSEM).

DOI

(2018). MapFIM+: Memory Aware Parallelized Frequent Itemset Mining In Very Large Datasets. T. Large-Scale Data- and Knowledge-Centered Systems.

DOI

(2018). Handling Pregel's limits in big graphs processing in the presence of high degree vertices. Applications of Big Data Analytics.

DOI

(2018). GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences. International Conference on Computational Science (ICCS).

DOI

(2018). A Context-driven Querying System for Urban Graph Analysis. Proceedings of the 22nd International Database Engineering & Applications Symposium (IDEAS.

DOI

(2017). Updating RDF/S Databases Under Constraints. Advances in Databases and Information Systems (ADBIS).

DOI

(2017). Towards a Verified Parallel Implementation of Frequent Itemset Mining. International Conference on High Performance Computing and Simulation (HPCS).

DOI

(2017). Toward an Epistemic-Logical Theory of Categorization. Theoretical Aspects of Rationality and Knowledge (TARK).

DOI

(2017). RDF Updates with Constraints. Knowledge Engineering and Semantic Web (KESW).

DOI

(2017). MapFIM: Memory Aware Parallelized Frequent Itemset Mining in Very Large Datasets. Database and Expert Systems Applications (DEXA).

DOI

(2017). Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data. 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

DOI

(2017). Formalization of a Big Graph API in Coq. International Conference on High Performance Computing and Simulation (HPCS).

DOI

(2017). Efficient Implicit Parallel Patterns for Geographic Information System. International Conference on Computational Science (ICCS).

DOI

(2017). An Hierarchical Labeling Technique for Interactive Computation of Watersheds. International Conference on High Performance Computing & Simulation (HPCS).

DOI