Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

26 results for Jérôme Siméon

XQuery at your Web service
- - Nicola Onose
  - Jérôme Siméon
- 2004
- WWW 2004
DXQ: A distributed XQuery scripting language
- - Mary Fernández
  - Trevor Jim
  - et al.
- 2007
- SIGMOD 2007
Translating canonical SQL to imperative code in Coq
- - Véronique Benzaken
  - Évelyne Contejean
  - et al.
- 2022
- Proceedings of the ACM on Programming Languages
Prototyping a query compiler using coq (Experience report)
- - Joshua S. Auerbach
  - Martin Hirzel
  - et al.
- 2017
- Proceedings of the ACM on Programming Languages
META: Middleware for Events, Transactions, and Analytics
- - Matthew Arnold
  - David Grove
  - et al.
- 2016
- IBM J. Res. Dev
Commutativity analysis for XML updates
- - Giorgio Ghelli
  - Kristoffer Rose
  - et al.
- 2008
- ACM TODS