default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJérôme Siméon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j13]Véronique Benzaken
, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022)- [i7]Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Translating Canonical SQL to Imperative Code in Coq. CoRR abs/2203.08941 (2022) - 2021
- [i6]Niall Roche, Walter Hernández, Eason Chen, Jérôme Siméon, Dan Selman:
Ergo - a programming language for Smart Legal Contracts. CoRR abs/2112.07064 (2021)
2010 – 2019
- 2018
- [c53]Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Reactive chatbot programming. REBLS@SPLASH 2018: 21-30 - 2017
- [j12]Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1(ICFP): 9:1-9:15 (2017) - [c52]Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
Generating chat bots from web API specifications. Onward! 2017: 44-57 - [c51]Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. SIGMOD Conference 2017: 1555-1569 - [c50]Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference 2017: 1703-1706 - [c49]Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri:
I Can Parse You: Grammars for Dialogs. SNAPL 2017: 6:1-6:15 - 2016
- [j11]Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang:
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60(2-3) (2016) - [c48]Avraham Shinnar, Jérôme Siméon:
A Branding Strategy for Business Types. A List of Successes That Can Change the World 2016: 367-387 - [c47]Fernando Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire:
Virtual lightweight snapshots for consistent analytics in NoSQL stores. ICDE 2016: 1310-1321 - 2015
- [j10]Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). Dagstuhl Artifacts Ser. 1(1): 08:1-08:2 (2015) - [c46]Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP 2015: 542-567 - 2014
- [c45]Miki Enoki, Jérôme Siméon, Hiroshi Horii, Martin Hirzel:
Event Processing over a Distributed JSON Store: Design and Performance. WISE (2) 2014: 395-404 - 2013
- [c44]Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon:
Static and dynamic semantics of NoSQL languages. POPL 2013: 101-114 - [i5]Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon:
Static and dynamic semantics of NoSQL languages. CoRR abs/1303.1716 (2013) - 2012
- [c43]Marcus Paradies, Susan Malaika, Jérôme Siméon, Shahan Khatchadourian, Kai-Uwe Sattler:
Entity matching for semistructured data in the Cloud. SAC 2012: 453-458 - 2011
- [c42]Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon:
Having a ChuQL at XML on the Cloud. AMW 2011 - [c41]Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon:
ChuQL: processing XML with XQuery using Hadoop. CASCON 2011: 74-83 - 2010
- [c40]Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon:
Web data processing on the cloud. CASCON 2010: 356-358
2000 – 2009
- 2008
- [j9]Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon:
Commutativity analysis for XML updates. ACM Trans. Database Syst. 33(4): 29:1-29:47 (2008) - [c39]J. Nathan Foster, Ravi B. Konuru, Jérôme Siméon, Lionel Villard:
An Algebraic Approach to View Maintenance for XQuery. PLAN-X 2008 - [c38]Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon:
XML query optimization in the presence of side effects. SIGMOD Conference 2008: 339-352 - 2007
- [c37]Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon:
A Better Semantics for XQuery with Side-Effects. DBPL 2007: 81-96 - [c36]Philippe Michiels, George A. Mihaila, Jérôme Siméon:
Put a Tree Pattern in Your Algebra. ICDE 2007: 246-255 - [c35]Mary F. Fernández, Philippe Michiels, Jérôme Siméon, Michael Stark:
XQuery Streaming à la Carte. ICDE 2007: 256-265 - [c34]Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon:
Commutativity Analysis in XML Update Languages. ICDT 2007: 374-388 - [c33]Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen:
How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away. PLAN-X 2007: 14-24 - [c32]Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon:
Highly distributed XQuery with DXQ. SIGMOD Conference 2007: 1159-1161 - [c31]Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon:
DXQ: a distributed XQuery scripting language. XIME-P 2007 - [e3]Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen:
XQuery Implementation Paradigms, 19.11. - 22.11.2006. Dagstuhl Seminar Proceedings 06472, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [e2]Jayavel Shanmugasundaram, Jérôme Siméon:
Proceedings of the 4th International Workshop on XQuery Implementation, Experience and Perspectives, in cooperation with ACM SIGMOD, June 15, 2007, Beijing, China. 2007, ISBN 978-1-59593-800-8 [contents] - 2006
- [c30]Giorgio Ghelli, Christopher Ré, Jérôme Siméon:
XQuery!: An XML Query Language with Side Effects. EDBT Workshops 2006: 178-191 - [c29]Christopher Ré, Jérôme Siméon, Mary F. Fernández:
A Complete and Efficient Algebraic Compiler for XQuery. ICDE 2006: 14 - [i4]Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen:
06472 Executive Summary -- XQuery Implementation Paradigms. XQuery Implementation Paradigms 2006 - [i3]Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen:
06472 Abstracts Collection -- XQuery Implementation Paradigms. XQuery Implementation Paradigms 2006 - 2005
- [c28]Mary F. Fernández, Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen:
Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions. DEXA 2005: 554-563 - [c27]Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard:
Compiling XSLT 2.0 into XQuery 1.0. WWW 2005: 682-691 - 2004
- [c26]Mary F. Fernández, Nicola Onose, Jérôme Siméon:
Yoo-Hoo! Building a Presence Service with XQuery and WSDL. SIGMOD Conference 2004: 911-912 - [c25]Nicola Onose, Jérôme Siméon:
XQuery at your web service. WWW 2004: 603-611 - [c24]Avinash Vyas, Mary F. Fernández, Jérôme Siméon:
The Simplest XML Storage Manager Ever. XIME-P 2004: 37-42 - [c23]Mary F. Fernández, Jérôme Siméon:
Building an Extensible XQuery Engine: Experiences with Galax (Extended Abstract). XSym 2004: 1-4 - 2003
- [j8]Wenfei Fan, Jérôme Siméon:
Integrity constraints for XML. J. Comput. Syst. Sci. 66(1): 254-291 (2003) - [j7]Peter F. Patel-Schneider, Jérôme Siméon:
The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Trans. Knowl. Data Eng. 15(4): 797-812 (2003) - [c22]Mary F. Fernández, Jérôme Siméon:
Growing XQuery. ECOOP 2003: 405-430 - [c21]Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon:
Bridging the XML Relational Divide with LegoDB. ICDE 2003: 759-761 - [c20]Jérôme Siméon, Philip Wadler:
The essence of XML. POPL 2003: 1-13 - [c19]Amélie Marian, Jérôme Siméon:
Projecting XML Documents. VLDB 2003: 213-224 - [c18]Mary F. Fernández, Jérôme Siméon, Byron Choi, Amélie Marian, Gargi Sur:
Implementing Xquery 1.0: The Galax Experience. VLDB 2003: 1077-1080 - 2002
- [j6]Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon:
A unified constraint model for XML. Comput. Networks 39(5): 489-505 (2002) - [c17]Juliana Freire, Jérôme Siméon:
Adaptive XML Shredding: Architecture, Implementation, and Challenges. EEXTT 2002: 104-116 - [c16]Jérôme Siméon, Philip Wadler:
The Essence of XML (Preliminary Version). FLOPS 2002: 21-46 - [c15]Philip Bohannon, Juliana Freire, Prasan Roy, Jérôme Siméon:
From XML Schema to Relations: A Cost-Based Approach to XML Storage. ICDE 2002: 64-75 - [c14]Peter F. Patel-Schneider, Jérôme Siméon:
Building the Semantic Web on XML. ISWC 2002: 147-161 - [c13]Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon:
StatiX: making XML count. SIGMOD Conference 2002: 181-191 - [c12]Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon:
LegoDB: Customizing Relational Storage for XML Documents. VLDB 2002: 1091-1094 - [c11]Peter F. Patel-Schneider, Jérôme Siméon:
The Yin/Yang web: XML syntax and RDF semantics. WWW 2002: 443-453 - 2001
- [j5]Vassilis Christophides, Richard Hull, Akhil Kumar, Jérôme Siméon:
Workflow Mediation using VorteXML. IEEE Data Eng. Bull. 24(1): 40-45 (2001) - [j4]Peter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein:
Constraints for Semi-structured Data and XML. SIGMOD Rec. 30(1): 47-45 (2001) - [c10]Mary F. Fernández, Jérôme Siméon, Philip Wadler:
A Semi-monad for Semi-structured Data. ICDT 2001: 263-300 - [c9]Gabriel M. Kuper, Jérôme Siméon:
Subsumption for XML types. ICDT 2001: 331-345 - [c8]Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon:
A unified constraint model for XML. WWW 2001: 179-190 - [e1]Giansalvatore Mecca, Jérôme Siméon:
Proceedings of the Fourth International Workshop on the Web and Databases, WebDB 2001, Santa Barbara, California, USA, May 24-25, 2001, in conjunction with ACM PODS/SIGMOD 2001. Informal proceedings. 2001 [contents] - [i2]Peter Fankhauser, Mary F. Fernández, Ashok Malhotra, Michael Rys, Jérôme Siméon, Philip Wadler:
The XML Query Algebra. 2001 - [i1]Donald D. Chamberlin, Daniela Florescu, Jonathan Robie, Jérôme Siméon, Mugur Stefanescu:
XQuery: A Query Language for XML. 2001 - 2000
- [c7]Mary F. Fernández, Jérôme Siméon, Philip Wadler:
An Algebra for XML Query. FSTTCS 2000: 11-45 - [c6]Wenfei Fan, Jérôme Siméon:
Integrity Constraints for XML. PODS 2000: 23-34 - [c5]Vassilis Christophides, Sophie Cluet, Jérôme Siméon:
On Wrapping Query Languages and Efficient XML Integration. SIGMOD Conference 2000: 141-152 - [c4]Richard Hull, Akhil Kumar, Jérôme Siméon:
Smart supply web: an application of web-based data and workflow mediation. TES 2000: 227-246
1990 – 1999
- 1999
- [j3]Serge Abiteboul, Sophie Cluet, Tova Milo, Pini Mogilevsky, Jérôme Siméon, Sagit Zohar:
Tools for Data Translation and Integration. IEEE Data Eng. Bull. 22(1): 3-8 (1999) - 1998
- [j2]Vassilis Christophides, Sophie Cluet, Guido Moerkotte, Jérôme Siméon:
Optimizing Generalized Path Expressions Using Full Text Indexes. Netw. Inf. Syst. J. 1(2-3): 177-194 (1998) - [c3]Sophie Cluet, Claude Delobel, Jérôme Siméon, Katarzyna Smaga:
Your Mediators Need Data Conversion! SIGMOD Conference 1998: 177-188 - [c2]Jérôme Siméon, Sophie Cluet:
Using YAT to Build a Web Server. WebDB 1998: 118-135 - 1997
- [j1]Serge Abiteboul, Sophie Cluet, Vassilis Christophides, Tova Milo, Guido Moerkotte, Jérôme Siméon:
Querying Documents in Object Databases. Int. J. Digit. Libr. 1(1): 5-19 (1997) - [c1]Vassilis Christophides, Sophie Cluet, Guido Moerkotte, Jérôme Siméon:
Optimizing Generalized Path Expressions Using Full Text Indexes. BDA 1997
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
