activity
20082023
most citedConstrained Differentially Private Federated Learning for Low-bandwidth Devices

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2008

XML Static Analyzer User Manual

Pierre Geneves, Nabil Layaida

This document describes how to use the XML static analyzer in practice. It provides informal documentation for using the XML reasoning solver implementation. The solver allows auto…

cs.PL2008

Ensuring Query Compatibility with Evolving XML Schemas

Pierre Genevès, Nabil Layaïda, Vincent Quint

During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validit…