|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 9 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Henrik Björklund, Wim Martens |
The tractability frontier for NFA minimization.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Marc Gyssens, Wim Martens |
Regular Expressions with Counting: Weak versus Strong Determinism. |
SIAM J. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Katja Losemann, Wim Martens |
The complexity of evaluating path expressions in SPARQL. |
PODS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees |
30 Years of PODS in facts and figures. |
SIGMOD Record |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Conjunctive query containment over trees. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven |
Generating, sampling and counting subclasses of regular tree languages. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timos Antonopoulos, Wim Martens, Frank Neven |
The complexity of text-preserving XML transformations. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wouter Gelade, Wim Martens |
Incremental XPath evaluation. |
ACM Trans. Database Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Nicole Schweikardt, Thomas Schwentick |
Logik und Automaten: ein echtes Dreamteam. |
Informatik Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Matthias Niewerth, Thomas Schwentick |
Schema design for XML repositories: complexity and tractability. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
language primality, complexity, xml, xml schemas |
| 1 | Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven |
Simplifying XML schema: single-type approximations of regular tree languages. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
complexity, approximation, xml, xml schema |
| 1 | Michaela Götz, Christoph Koch, Wim Martens |
Efficient algorithms for descendant-only tree pattern queries. |
Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Wim Martens, Frank Neven |
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Marc Gyssens, Wim Martens |
Regular Expressions with Counting: Weak versus Strong Determinism. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven |
Simplifying XML schema: effortless handling of nondeterministic regular expressions. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
deterministic regular expressions, upa, xml schema |
| 1 | Henrik Björklund, Wouter Gelade, Marcel Marquardt, Wim Martens |
Incremental XPath evaluation. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Marc Gyssens |
Typechecking top-down XML transformations: Fixed input or output schemas. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens |
The Tractability Frontier for NFA Minimization. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Optimizing Conjunctive Queries over Trees Using Schema Information. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Deterministic top-down tree automata: past, present, and future. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Simple off the shelf abstractions for XML schema. |
SIGMOD Record |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Joachim Niehren |
On the minimization of XML Schemas and tree automata for unranked trees. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
Frontiers of tractability for typechecking simple XML transformations. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Wim Martens, Frank Neven |
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Conjunctive Query Containment over Trees. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaela Götz, Christoph Koch, Wim Martens |
Efficient Algorithms for the Tree Homeomorphism Problem. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex |
Expressiveness and complexity of XML Schema. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
XML, validation, XML Schema |
| 1 | Wim Martens, Frank Neven, Marc Gyssens |
On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
On the complexity of typechecking top-down XML transformations. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick |
Expressiveness of XSDs: from practice to theory, there and back again. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
formal model, XML schema, expressiveness |
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Which XML Schemas Admit 1-Pass Preorder Typing? |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Joachim Niehren |
Minimizing Tree Automata for Unranked Trees. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for Simple Regular Expressions. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
Typechecking Top-Down Uniform Unranked Tree Transducers. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")