14 citations · 24 across the 6 of their papers we have counts for
6 papers
Deterministic Automata for Unordered Trees
Adrien Boiret, Vincent Hugot, Joachim Niehren +1
Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concernin…
Proceedings Second Workshop on Logics for Component Configuration
Conrad Drescher, Ines Lynce, Ralf Treinen
This volume contains the papers presented at the second international workshop on Logics for Component Configuration (LoCoCo 2011) which was associated with the International Confe…
Proceedings First International Workshop on Logics for Component Configuration
Inês Lynce, Ralf Treinen
This volume contains the papers presented at the first international workshop on Logics for Component Configuration (LoCoCo 2010) which was associated with the International Confer…
Expressing advanced user preferences in component installation
Ralf Treinen, Stefano Zacchiroli
State of the art component-based software collections - such as FOSS distributions - are made of up to dozens of thousands components, with complex inter-dependencies and conflicts…
Description of the CUDF Format
Ralf Treinen, Stefano Zacchiroli
This document contains several related specifications, together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particu…
Solving package dependencies: from EDOS to Mancoosi
Ralf Treinen, Stefano Zacchiroli
Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union for addressing some of the challenges related to th…