- An algorithm for querying linked data using map-reduce
- Distributed processing of XPath queries using MapReduce
- Lower Bounds on the Communication of XPath queries in MapReduce
- Redundancy in linked data partitioning for efficient query evaluation
- On solving efficiently the view selection problem under bag and bag-set semantics

- An application of Dempster - Shafer model for reasoning with uncertain knowledge on the Web
- Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
- Game Semantics for Non-monotonic Intensional Logic Programming
- Parallelizing Serial Search in Constraint Programming via MapReduce
- Piece of Pie Search: Confidently Exploiting Heuristics
- Tagged Dataflow: a Formal Model for Iterative Map-Reduce
- The generalized intensional transformation for implementing lazy functional languages
- Expressing Preferences in Logic Programming using an Infinite-Valued Logic
- Uncertainty reasoning for the “Big Data” Semantic Web
- Uncertainty reasoning for the Semantic Web based on Dempster-Shafer model

- An efficient representation for lazy constructors using 64-bit pointers
- Anchor Points Algorithms for Hamming and Edit Distance
- Assignment of Different-Sized Inputs in MapReduce
- Bounds for Overlapping Interval Join on MapReduce
- Cross-Checking Data Sources in MapReduce
- Enumerating subgraph instances using map-reduce
- Exchange-Repairs: Managing Inconsistency in Data Exchange
- Handling Skew in Multiway Joins in MapReduce
- Lower Bounds on the Communication of XPath queries in MapReduce
- Modular polymorphic defunctionalization
- Scheduling MapReduce Jobs and Data Shuffle on Unrelated Processors
- Scheduling MapReduce Jobs on Unrelated Processors
- Supporting Separate Compilation in a Defunctionalizing Compiler
- Tagged Dataflow: a Formal Model for Iterative Map-Reduce
- The generalized intensional transformation for implementing lazy functional languages
- Transitive Closure and Recursive Datalog Implemented on Clusters
- Upper and Lower Bounds on the Cost of a Map-Reduce Computation
- Who to Trust for Truthfully Maximizing Welfare?
- Consistent Answers of Conjunctive Queries on Graphs
- Efficient Lineage for SUM Aggregate Queries
- On solving efficiently the view selection problem under bag and bag-set semantics

- Exchange-Repairs: Managing Inconsistency in Data Exchange
- Consistent Answers of Conjunctive Queries on Graphs

- Expressing Preferences in Logic Programming using an Infinite-Valued Logic
- Uncertainty reasoning for the Semantic Web based on Dempster-Shafer model

- An application of Dempster - Shafer model for reasoning with uncertain knowledge on the Web
- Uncertainty reasoning for the “Big Data” Semantic Web

- Redundancy in linked data partitioning for efficient query evaluation
- On solving efficiently the view selection problem under bag and bag-set semantics

- An algorithm for querying linked data using map-reduce
- Cross-Checking Data Sources in MapReduce
- Handling Skew in Multiway Joins in MapReduce

- Distributed processing of XPath queries using MapReduce
- Lower Bounds on the Communication of XPath queries in MapReduce

- Anchor Points Algorithms for Hamming and Edit Distance
- Bounds for Overlapping Interval Join on MapReduce
- Transitive Closure and Recursive Datalog Implemented on Clusters
- Upper and Lower Bounds on the Cost of a Map-Reduce Computation
- Who to Trust for Truthfully Maximizing Welfare?
- Efficient Lineage for SUM Aggregate Queries

- Scheduling MapReduce Jobs and Data Shuffle on Unrelated Processors
- Scheduling MapReduce Jobs on Unrelated Processors

- An efficient representation for lazy constructors using 64-bit pointers
- Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
- Modular polymorphic defunctionalization
- Supporting Separate Compilation in a Defunctionalizing Compiler
- The generalized intensional transformation for implementing lazy functional languages

- Game Semantics for Non-monotonic Intensional Logic Programming
- Tagged Dataflow: a Formal Model for Iterative Map-Reduce