Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Wim Martens

Papers on DiSC'04


Typechecking Top-Down Uniform Unranked Tree Transducers

Frontiers of Tractability for Typechecking Simple XML Transformations

Publications


Note: Links lead to the DBLP on the Web.

Wim Martens

Wim Martens, Frank Neven , Thomas Schwentick : Which XML Schemas Admit 1-Pass Preorder Typing? ICDT 2005 : 68-82

Geert Jan Bex , Wim Martens, Frank Neven , Thomas Schwentick : Expressiveness of XSDs: from practice to theory, there and back again. WWW 2005 : 712-721

Wim Martens, Frank Neven , Thomas Schwentick : Complexity of Decision Problems for Simple Regular Expressions. MFCS 2004 : 889-900

Wim Martens, Frank Neven : Frontiers of Tractability for Typechecking Simple XML Transformations. PODS 2004 : 23-34

Wim Martens, Frank Neven : Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT 2003 : 64-78

1 [ 4 ]

2 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]

3 [ 3 ] [ 4 ] [ 5 ]




©2005 Association for Computing Machinery