What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Database
Frank Neven mainly investigates Programming language, Theoretical computer science, XML, Query language and Document type definition.
His Programming language research focuses on XML validation and how it relates to XML Schema Editor.
His Theoretical computer science study integrates concerns from other disciplines, such as Finite-state machine, Discrete mathematics and Formal language.
The Streaming XML and XPath research Frank Neven does as part of his general XML study is frequently linked to other disciplines of science, such as Schema, therefore creating a link between diverse domains of science.
The concepts of his Query language study are interwoven with issues in Tree, Tree automaton, Fragment and XSLT.
His study in Document type definition is interdisciplinary in nature, drawing from both Regular expression, Set and Inference.
His most cited work include:
- Finite state machines for strings over infinite alphabets (229 citations)
- XPath Containment in the Presence of Disjunction, DTDs, and Variables (193 citations)
- Automata theory for XML researchers (174 citations)
What are the main themes of his work throughout his whole career to date?
His primary scientific interests are in Theoretical computer science, Programming language, XML, Query language and XML validation.
Frank Neven does research in Theoretical computer science, focusing on Automaton specifically.
His study on Programming language also encompasses disciplines like
- Document type definition, which have a strong connection to Regular expression,
- Rule-based machine translation which is related to area like Time complexity.
His study in the field of XPath also crosses realms of Schema.
Frank Neven combines subjects such as Tree, Tree automaton, P and First-order logic with his study of Query language.
His XML validation study incorporates themes from Document Structure Description and XML schema.
He most often published in these fields:
- Theoretical computer science (46.15%)
- Programming language (37.76%)
- XML (25.17%)
What were the highlights of his more recent work (between 2014-2020)?
- Theoretical computer science (46.15%)
- Correctness (9.09%)
- Conjunctive query (11.19%)
In recent papers he was focusing on the following fields of study:
Frank Neven focuses on Theoretical computer science, Correctness, Conjunctive query, Server and Set.
His research in Theoretical computer science intersects with topics in Distributed computing and Distributed database.
His Conjunctive query study deals with Tuple intersecting with PSPACE and EXPTIME.
His Set research is multidisciplinary, incorporating elements of Scalability and Joins.
His Fragment research is included under the broader classification of Programming language.
The various areas that Frank Neven examines in his Data mining study include XML validation, Streaming XML, Schematron, Document Structure Description and RELAX NG.
Between 2014 and 2020, his most popular works were:
- Research Directions for Principles of Data Management (Abridged) (14 citations)
- Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) (14 citations)
- BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema (11 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Database
Frank Neven mostly deals with Theoretical computer science, Correctness, Server, Distributed database and Programming language.
Frank Neven performs multidisciplinary studies into Theoretical computer science and Boundary crossing in his work.
His studies deal with areas such as Hypercube, Conjunctive query and Distribution as well as Correctness.
His Programming language research incorporates elements of Streaming XML, Schematron, Document Definition Markup Language, Document Structure Description and RELAX NG.
Streaming XML is a subfield of XML that Frank Neven investigates.
His Data mining research incorporates themes from XML validation, Efficient XML Interchange and XML Schema Editor.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
