BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × China
1 × France
1 × Greece
1 × Korea
1 × Switzerland
10 × USA
2 × United Kingdom
3 × Canada
Collaborated with:
T.Schwentick W.Martens G.J.Bex J.V.d.Bussche S.Vansummeren W.Fan F.Geerts T.J.Ameloot W.Gelade M.Niewerth L.Libkin B.Ketsman N.Alon T.Milo D.Suciu V.Vianu T.Antonopoulos S.Maneth D.Zinn T.Idziaszek A.Kementsietsidis D.V.d.Craen K.Tuyls D.V.Gucht G.Vossen G.Geck A.Poggi M.Arenas J.Daenen M.Ugarte
Talks about:
xml (14) queri (10) data (7) express (6) schema (6) languag (5) tree (5) typecheck (3) structur (3) automata (3)

Person: Frank Neven

DBLP DBLP: Neven:Frank

Facilitated 1 volumes:

PODS 2003Ed

Contributed to:

PODS 20152015
PODS 20142014
SIGMOD 20132013
VLDB 20132013
VLDB 20122012
PODS 20112011
PODS 20102010
SIGMOD 20092009
PODS 20082008
SIGMOD 20082008
VLDB 20082008
PODS 20072007
VLDB 20072007
VLDB 20062006
PODS 20042004
LICS 20032003
CSL 20022002
PODS 20022002
LICS 20012001
PODS 20012001
CL 20002000
ICALP 20002000
PODS 20002000
PODS 19991999
PODS 19981998

Wrote 28 papers:

PODS-2015-AmelootGKNS #query
Parallel-Correctness and Transferability for Conjunctive Queries (TJA, GG, BK, FN, TS), pp. 47–58.
PODS-2015-MartensNNS #named #xml
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema (WM, FN, MN, TS), pp. 145–156.
PODS-2014-AmelootKNZ #declarative #fine-grained #network
Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture (TJA, BK, FN, DZ), pp. 64–75.
SIGMOD-2013-ArenasDNUBV #xml
Discovering XSD keys from XML data (MA, JD, FN, MU, JVdB, SV), pp. 61–72.
VLDB-2013-FanGN #big data #preprocessor #query
Making Queries Tractable on Big Data with Preprocessing (WF, FG, FN), pp. 685–696.
Developing and Analyzing XSDs through BonXai (WM, FN, MN, TS), pp. 1994–1997.
PODS-2011-AmelootNB #declarative #network #relational #transducer
Relational transducers for declarative networking (TJA, FN, JVdB), pp. 283–292.
PODS-2011-AntonopoulosMN #complexity #xml
The complexity of text-preserving XML transformations (TA, WM, FN), pp. 247–258.
PODS-2010-GeladeIMN #approximate #xml
Simplifying XML schema: single-type approximations of regular tree languages (WG, TI, WM, FN), pp. 251–260.
SIGMOD-2009-BexGMN #nondeterminism #regular expression #xml
Simplifying XML schema: effortless handling of nondeterministic regular expressions (GJB, WG, WM, FN), pp. 731–744.
PODS-2008-FanGGNP #complexity #composition #web #web service
Complexity and composition of synthesized web services (WF, FG, WG, FN, AP), pp. 231–240.
SIGMOD-2008-BexNV #named #xml
SchemaScope: a system for inferring and cleaning XML schemas (GJB, FN, SV), pp. 1259–1262.
VLDB-2008-KementsietsidisNCV #database #multi #optimisation #query #scalability
Scalable multi-query optimization for exploratory queries over federated scientific databases (AK, FN, DVdC, SV), pp. 16–27.
PODS-2007-FanGN #complexity #transducer #xml
Expressiveness and complexity of xml publishing transducers (WF, FG, FN), pp. 83–92.
VLDB-2007-BexNV #xml
Inferring XML Schema Definitions from XML Data (GJB, FN, SV), pp. 998–1009.
VLDB-2006-BexNST #xml
Inference of Concise DTDs from XML Data (GJB, FN, TS, KT), pp. 115–126.
PODS-2004-MartensN #xml
Frontiers of Tractability for Typechecking Simple XML Transformations (WM, FN), pp. 23–34.
LICS-2003-LibkinN #logic #query
Logical Definability and Query Languages over Unranked Trees (LL, FN), pp. 178–187.
CSL-2002-Neven #automaton #logic #xml
Automata, Logic, and XML (FN), pp. 2–26.
PODS-2002-Neven #on the #power of #query
On the Power of Walking for Querying Tree-Structured Data (FN), pp. 77–84.
LICS-2001-AlonMNSV #database #relational #xml
Typechecking XML Views of Relational Databases (NA, TM, FN, DS, VV), pp. 421–430.
PODS-2001-AlonMNSV #revisited #xml
XML with Data Values: Typechecking Revisited (NA, TM, FN, DS, VV).
CL-2000-BexMN #formal method
A Formal Model for an Expressive Fragment of XSLT (GJB, SM, FN), pp. 1137–1151.
ICALP-2000-NevenS #automaton #on the #power of
On the Power of Tree-Walking Automata (FN, TS), pp. 547–560.
PODS-2000-NevenS #pattern matching #performance
Expressive and Efficient Pattern Languages for Tree-Structured Data (FN, TS), pp. 145–156.
PODS-1999-NevenS #automaton #query
Query Automata (FN, TS), pp. 205–214.
PODS-1998-NevenB #attribute grammar #documentation #query
Expressiveness of Structured Document Query Languages Based on Attribute Grammars (FN, JVdB), pp. 11–17.
PODS-1998-NevenBGV #database #query
Typed Query Languages for Databases Containing Queries (FN, JVdB, DVG, GV), pp. 189–196.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.