MARTENS, Wim

Email Alert RSS Feed

Profile

Full Name

MARTENS, Wim

Email

wim.martens@uhasselt.be

Loading... 5 0 5 0 false

Loading... 6 0 5 0 false

Publications

@UHasselt

All

Author

Date issued

Type

Internal UHasselt

Results 21-34 of 34 (Search time: 0.029 seconds).

1
2

Bibtex Excel CSV FWO

		Issue Date	Title	Contributor(s)	Type	Cat.
	21	2007	Deterministic top-down tree automata: past, present, future	MARTENS, Wim; NEVEN, Frank; Schwentick, Thomas	Book Section	B2
	22	2007	On the minimization of XML Schemas and tree automata for unranked trees	MARTENS, Wim; Niehren, Joachim	Journal Contribution	A1
	23	2007	Simple off the shelf abstractions for XML schema	MARTENS, Wim; NEVEN, Frank; Schwentick, Thomas	Journal Contribution	A1
	24	2007	Frontiers of tractability for typechecking simple XML transformations	MARTENS, Wim; NEVEN, Frank	Journal Contribution	A1
	25	2006	Static analysis of XML transformation and schema languages	MARTENS, Wim	Theses and Dissertations	T1
	26	2006	Expressiveness and complexity of XML Schema	MARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert Jan	Journal Contribution	A1
	27	2005	Minimizing Tree Automata for Unranked Trees	MARTENS, Wim; Niehren, J.	Journal Contribution	A1
	28	2005	The typechecking problem for XML transformations: methods and formal models	MARTENS, Wim	Proceedings Paper	C2
	29	2005	Expressiveness of XSDs: from practice to theory, there and back again	BEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, Thomas	Proceedings Paper	C1
	30	2005	On the complexity of typechecking top-down XML transformations.	MARTENS, Wim; NEVEN, Frank	Journal Contribution	A1
	31	2005	Which XML Schemas Admit 1-Pass Preorder Typing?	MARTENS, Wim; NEVEN, Frank; Schwentick, Thomas	Journal Contribution	A1
	32	2004	Complexity of Decision Problems for Simple Regular Expressions.	MARTENS, Wim; NEVEN, Frank; Schwentick, Thomas	Journal Contribution	A1
	33	2004	Frontiers of Tractability for Typechecking Simple XML Transformations.	MARTENS, Wim; NEVEN, Frank	Proceedings Paper	C1
	34	2003	Typechecking Top-Down Uniform Unranked Tree Transducers.	MARTENS, Wim; NEVEN, Frank	Journal Contribution	A1

1
2