Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Frank Neven

Deciding Twig-Definability of Node Selecting Tree Automata

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2015English

Generating, Sampling and Counting Subclasses of Regular Tree Languages

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2012English

30 Years of PODS in Facts and Figures

SIGMOD Record
Information SystemsSoftware
2011English

Definability Problems for Graph Query Languages

2013English

A Formal Model for an Expressive Fragment of XSLT

Information Systems
HardwareInformation SystemsArchitectureSoftware
2002English

Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2008English

Frontiers of Tractability for Typechecking Simple XML Transformations

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy