Pierre Genevès
Pierre Genevès

homepage
pierre.genevesatcnrs.fr

  Affiliation history
Bibliometrics: publication history
Average citations per article5.00
Citation Count150
Publication count30
Publication years2004-2015
Available for download22
Average downloads per article211.23
Downloads (cumulative)4,647
Downloads (12 Months)274
Downloads (6 Weeks)65
SEARCH
ROLE
Arrow RightAuthor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


31 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 31
Result page: 1 2

Sort by:

1
April 2018 WWW '18: Companion Proceedings of the The Web Conference 2018
Publisher: International World Wide Web Conferences Steering Committee
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 52,   Downloads (Overall): 52

Full text available: HtmlHtml  PDFPDF
Query transformations are ubiquitous in semantic web query processing. For any situation in which transformations are not proved correct by construction, the quality of these transformations has to be evaluated. Usual evaluation measures are either overly syntactic and not very informative the result being: correct or incorrect or dependent from ...
Keywords: query containment, sparql query transformation, transformation evaluation

2 published by ACM
October 2015 CIKM '15: Proceedings of the 24th ACM International on Conference on Information and Knowledge Management
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 11,   Downloads (12 Months): 21,   Downloads (Overall): 100

Full text available: PDFPDF
This paper investigates techniques for detecting independence of SPARQL queries from updates. A query is independent of an update when the execution of the update does not affect the result of the query. Determining independence is especially useful in the context of huge RDF repositories, where it permits to avoid ...
Keywords: analysis, independence, query, update

3 published by ACM
October 2015 ACM Transactions on Programming Languages and Systems (TOPLAS): Volume 38 Issue 1, October 2015
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3,   Downloads (12 Months): 22,   Downloads (Overall): 182

Full text available: PDFPDF
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types, together with type variables. We consider the subtyping relation defined by Castagna and Xu [2011] over such type expressions and show how this relation can be decided in EXPTIME, answering an open question. The novelty, ...
Keywords: Type-system, subtyping, polymorphism

4 published by ACM
August 2015 ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 17,   Downloads (Overall): 122

Full text available: PDFPDF
XQuery is a functional language dedicated to XML data querying and manipulation. As opposed to other W3C-standardized languages for XML (e.g. XSLT), it has been intended to feature strong static typing. Currently, however, some expressions of the language cannot be statically typed with any precision. We argue that this is ...
Keywords: XQuery, µ-calculus, XML, regular tree types
Also published in:
December 2015  ACM SIGPLAN Notices - ICFP '15: Volume 50 Issue 9, September 2015

5
July 2015 IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 1

A popular technique for the analysis of web query languages relies on the translation of queries into logical formulas. These formulas are then solved for satisfiability using an off-the-shelf satisfiability solver. A critical aspect in this approach is the size of the obtained logical formula, since it constitutes a factor ...

6
July 2015 IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 1

The Cascading Style Sheets (CSS) language constitutes a key component of web applications. It offers a series of sophisticated features to stylize web pages. Its apparent simplicity and power are however counter-balanced by the difficulty of debugging and maintaining style sheets, tasks for which developers still lack appropriate tools. In ...

7 published by ACM
April 2015 ACM Transactions on Computational Logic (TOCL): Volume 16 Issue 2, March 2015
Publisher: ACM
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 4,   Downloads (12 Months): 30,   Downloads (Overall): 74

Full text available: PDFPDF
We present a sound and complete satisfiability-testing algorithm and its effective implementation for an alternation-free modal μ-calculus with converse, where formulas are cycle-free and are interpreted over finite ordered trees. The time complexity of the satisfiability-testing algorithm is 2 O( n ) in terms of formula size n . The ...
Keywords: Modal logic, satisfiability, implementation

8 published by ACM
September 2014 DocEng '14: Proceedings of the 2014 ACM symposium on Document engineering
Publisher: ACM
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 4,   Downloads (12 Months): 22,   Downloads (Overall): 170

Full text available: PDFPDF
Cascading Style Sheets (CSS) is a standard language for stylizing and formatting web documents. Its role in web user experience becomes increasingly important. However, CSS files tend to be designed from a result-driven point of view, without much attention devoted to the CSS file structure as long as it produces ...
Keywords: css, debugging, style sheets, web development

9 published by ACM
July 2014 ACM Transactions on Internet Technology (TOIT): Volume 13 Issue 4, July 2014
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2,   Downloads (12 Months): 2,   Downloads (Overall): 96

Full text available: PDFPDF
One of the challenges in Web development is to achieve a good level of quality in terms of code size and runtime performance for popular domain-specific languages such as XQuery, XSLT, and XML Schema. We present the first IDE augmented with static detection of inconsistent XPath expressions that assists the ...
Keywords: query, compile time, XML, analysis, environment, Programming, path, reasoning, schema

10
October 2013 ISWC '13: Proceedings of the 12th International Semantic Web Conference - Part II
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 3

Query containment is the problem of deciding if the answers to a query are included in those of another query for any queried database. This problem is very important for query optimization purposes. In the SPARQL context, it can be equally useful. This problem has recently been investigated theoretically and ...

11 published by ACM
May 2013 WWW '13 Companion: Proceedings of the 22nd International Conference on World Wide Web
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 9,   Downloads (12 Months): 14,   Downloads (Overall): 64

Full text available: PDFPDF
One major concept in web development using XML is validation: checking whether some document instance fulfills structural constraints described by some schema. Over the last few years, there has been a growing debate about XML validation, and two main schools of thought emerged about the way it should be done. ...
Keywords: foundations, schemas, schematron, validation, xml

12 published by ACM
September 2012 DocEng '12: Proceedings of the 2012 ACM symposium on Document engineering
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 1,   Downloads (12 Months): 8,   Downloads (Overall): 76

Full text available: PDFPDF
Updating XQuery programs in accordance with a change of the input XML schema is known to be a time-consuming and error-prone task. We propose an automatic method aimed at helping developers realign the XQuery program with the new schema. First, we introduce a taxonomy of possible problems induced by a ...
Keywords: XML, XQuery, schema evolution, schemas

13 published by ACM
September 2012 DocEng '12: Proceedings of the 2012 ACM symposium on Document engineering
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 1,   Downloads (12 Months): 3,   Downloads (Overall): 65

Full text available: PDFPDF
XML transformations can be resource-costly in particular when applied to very large XML documents and document sets. Those transformations usually involve lots of XPath queries and may not need to be entirely re-executed following an update of the input document. In this context, a given query is said to be ...
Keywords: XML, independence, query, update

14
July 2012 AAAI'12: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
Publisher: AAAI Press
Bibliometrics:
Citation Count: 3

SPARQL query containment under schema axioms is the problem of determining whether, for any RDF graph satisfying a given set of schema axioms, the answers to a query are contained in the answers of another query. This problem has major applications for verification and optimization of queries. In order to ...

15
June 2012 IJCAR'12: Proceedings of the 6th international joint conference on Automated Reasoning
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 10

The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important in many areas, including information integration, query optimization, and reasoning about Entity-Relationship diagrams. We encode this problem into an ...

16 published by ACM
April 2012 WWW '12: Proceedings of the 21st international conference on World Wide Web
Publisher: ACM
Bibliometrics:
Citation Count: 14
Downloads (6 Weeks): 5,   Downloads (12 Months): 27,   Downloads (Overall): 364

Full text available: PDFPDF
Developing and maintaining cascading style sheets (CSS) is an important issue to web developers as they suffer from the lack of rigorous methods. Most existing means rely on validators that check syntactic rules, and on runtime debuggers that check the behavior of a CSS style sheet on a particular document ...
Keywords: CSS, debugging, style sheets, web development

17 published by ACM
September 2011 ACM SIGPLAN Notices - ICFP '11: Volume 46 Issue 9, September 2011
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 7,   Downloads (12 Months): 19,   Downloads (Overall): 265

Full text available: PDFPDF
We consider a type algebra equipped with recursive, product, function, intersection, union, and complement types together with type variables and implicit universal quantification over them. We consider the subtyping relation recently defined by Castagna and Xu over such type expressions and show how this relation can be decided in EXPTIME, ...
Keywords: polymorphism, subtyping, type system
Also published in:
September 2011  ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

18
July 2011 IJCAI'11: Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Publisher: AAAI Press
Bibliometrics:
Citation Count: 4

A major challenge of query language design is the combination of expressivity with effective static analyses such as query containment. In the setting of XML, documents are seen as finite trees, whose structure may additionally be constrained by type constraints such as those described by an XML schema. We consider ...

19 published by ACM
July 2011 ACM Transactions on Internet Technology (TOIT): Volume 11 Issue 1, July 2011
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 1,   Downloads (12 Months): 7,   Downloads (Overall): 414

Full text available: PDFPDF
We consider the problem of XML Schema evolution. In the ever-changing context of the web, XML schemas continuously change in order to cope with the natural evolution of the entities they describe. Schema changes have important consequences. First, existing documents valid with respect to the original schema are no longer ...
Keywords: XML, queries, schema evolution, schemas, web document formats

20 published by ACM
May 2011 ICSE '11: Proceedings of the 33rd International Conference on Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 2,   Downloads (Overall): 112

Full text available: PDFPDF
We present the first IDE augmented with static detection of inconsistent paths for simplifying the development and debugging of any application involving XPath expressions.
Keywords: error-checking, ide, static, unsatisfiable, xpath



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us