NEVEN, Frank

Full Name
NEVEN, Frank
Email
frank.neven@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Results 1-140 of 141 (Search time: 0.001 seconds).

Issue DateTitleContributor(s)TypeCat.
12024Using natural language processing for automated classification of disease and to identify misclassified ICD codes in cardiac diseaseFALTER, Maarten; Godderis, Dries; SCHERRENBERG, Martijn; KIZILKILIC, Sevda; XU, Linqi; Mertens, Marc; Jansen , Jan; Legroux, Pascal; Sinnaeve, Peter; KINDERMANS, Hanne; NEVEN, Frank; DENDALE, PaulJournal ContributionA1
22023Annotated Benchmark of Real-World Data for Approximate Functional Dependency DiscoveryPARCIAK, Marcel; VANSUMMEREN, Stijn; WEYTJENS, Sebastiaan; PEETERS, Liesbet; NEVEN, Frank; HENS, NielDatasetDS
32023Identification of ICD-code misclassifications in cardiac disease using natural language processingFALTER, Maarten; Godderis, D; SCHERRENBERG, Martijn; KIZILKILIC, Sevda; XU, Linqi; Tukanov, E; NEVEN, Frank; DENDALE, PaulJournal ContributionM
42023Population age and household structures shape transmission dynamics of emerging infectious diseases: a longitudinal microsimulation approachMOGELMOSE, Signe; VIJNCK, Laurens; NEVEN, Frank; Neels, Karel; Beutels, Philippe; HENS, NielJournal ContributionA1
52023When is it safe to run a transactional workload under Read Committed?VANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, Frank; Vandevoort, Brecht; Ketsman, Bas; Neven, FrankJournal ContributionA1
62023Topic modelling and text classification models for applications within EFSAVANDEVOORT, Brecht; BEX, Geert Jan; CREVECOEUR, Jonas; NEVEN, FrankJournal ContributionA3
72023Allocating Isolation Levels to Transactions in a Multiversion SettingVANDEVOORT, Brecht; KETSMAN, Bas; NEVEN, FrankProceedings PaperC1
82023The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023Arenas, Marcelo; Fan, Wenfei; NEVEN, FrankProceedings PaperC1
92023Robustness against Read Committed for Transaction Templates with Functional ConstraintsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankJournal ContributionA1
102023Detecting Robustness against MVRC for Transaction Programs with Predicate ReadsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
112023CM-EXPLORER: Dissecting Data Ingestion ProblemsBYLOIS, Niels; NEVEN, Frank; VANSUMMEREN, StijnJournal ContributionA1
122023Data Ingestion Validation through Stable Conditional Metrics with Ranking and FilteringBYLOIS, Niels; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
132022Robustness Against Read Committed: A Free Transactional LunchVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
142022Robustness Against Read Committed for Transaction Templates with Functional ConstraintsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
152022Concurrency control for database theoristsKETSMAN, Bas; Koch, Christoph; NEVEN, Frank; VANDEVOORT, BrechtJournal ContributionA1
162022Deciding Robustness for Lower SQL Isolation LevelsKETSMAN, Bas; Koch, Christoph; NEVEN, Frank; VANDEVOORT, BrechtJournal ContributionA1
172021Robustness against read committed for transaction templatesVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankJournal ContributionA1
182021Introducing a prototype tool to speed-up data cleaning and enhancement for improving the use of real-world MSPARCIAK, Tina; Bekkers, L.; DE BROUWER, Edward; NEVEN, Frank; PEETERS, LiesbetJournal ContributionM
192020Distribution Constraints: The Chase for Distributed DataGECK, Gaetano; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
202020Deciding Robustness for Lower SQL Isolation LevelsKETSMAN, Bas; Koch, Christoph; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
212019Parallel-Correctness and Parallel-Boundedness for Datalog ProgramsNEVEN, Frank; Schwentick, Thomas; Spinrath, Christopher; VANDEVOORT, BrechtProceedings PaperC1
222019Split-Correctness in Information Extraction.DOLESCHAL, Johannes; Kimelfeld, Benny; MARTENS, Wim; Nahshon, Yoav; NEVEN, FrankProceedings PaperC1
232019Parallel-Correctness and Containment for Conjunctive Queries with Union and NegationGaetano Geck; KETSMAN, Bas; NEVEN, Frank; Thomas SchwentickJournal ContributionA1
242018Satisfiability for SCULPT-Schemas for CSV-Like Data.DOLESCHAL, Johannes; MARTENS, Wim; NEVEN, Frank; Witkowski, AdamProceedings PaperC1
252018Parallel-Correctness and Transferability for Conjunctive Queries under Bag SemanticsKETSMAN, Bas; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
262018Finite-State Map-Reduce Computation and Relational Algebra QueriesNEVEN, Frank; Schweikardt, Nicole; SERVAIS, Frederic; TAN, TonyJournal ContributionA1
272018Chisel: Sculpting Tabular and Non-Tabular Data on the Web.DOLESCHAL, Johannes; Höllerich, Nico; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
282017Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
292017Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielJournal ContributionA1
302017BonXai: Combining the Simplicity of DTD with the Expressiveness of XML SchemaMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasJournal ContributionA1
312017Optimal Broadcasting Strategies for Conjunctive Queries over Distributed DataKETSMAN, Bas; NEVEN, FrankJournal ContributionA1
322017Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systemsAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
332017INFORMATICAWETENSCHAPPEN, COMPUTATIONEEL DENKEN EN PROGRAMMERENNEVEN, FrankBook SectionB3
342016Parallel-Correctness and Containment for Conjunctive Queries with Union and NegationGECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
352016Logical Aspects of Massively Parallel and Distributed SystemsNEVEN, FrankProceedings PaperC1
362016Parallel Evaluation of Multi-Semi-JoinsDAENEN, Jonny; NEVEN, Frank; TAN, Tony; VANSUMMEREN, StijnJournal ContributionA1
372016Data partitioning for single-round multi-join evaluation in massively parallel systemsAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
382016Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-ConjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielJournal ContributionA1
392015Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
402015Optimal Broadcasting Strategies for Conjunctive Queries over Distributed DataKETSMAN, Bas; NEVEN, FrankProceedings PaperC1
412015BonXai: Combining the simplicity of DTD with the expressiveness of XML SchemaMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasProceedings PaperC1
422015SCULPT: A Schema Language for Tabular Data on the WebMARTENS, Wim; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
432015Distributed streaming with finite memoryNEVEN, Frank; Schweikardt, Nicole; SERVAIS, Frederic; TAN, TonyConference MaterialC2
442015Gumbo: Guarded Fragment Queries over Big DataDAENEN, Jonny; NEVEN, Frank; TAN, TonyConference MaterialC2
452015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
462015Deciding Twig-definability of Node Selecting Tree AutomataANTONOPOULOS, Timos; HOVLAND, Dag; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
472014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
482014Discovering XSD Keys from XML DataArenas, Marcelo; DAENEN, Jonny; NEVEN, Frank; UGARTE, Martin; VAN DEN BUSSCHE, Jan; VANSUMMEREN, StijnJournal ContributionA1
492013Discovering XSD keys from XML dataArenas, Marcelo; DAENEN, Jonny; NEVEN, Frank; UGARTE, Martin; VAN DEN BUSSCHE, Jan; VANSUMMEREN, StijnProceedings PaperC1
502013Relational transducers for declarative networkingAMELOOT, Tom; NEVEN, Frank; VAN DEN BUSSCHE, JanResearch ReportR2
512013Definability problems for graph query languagesNEVEN, Frank; ANTONOPOULOS, Timos; SERVAIS, FredericProceedings PaperC1
522013Making Queries Tractable on Big Data with PreprocessingFan, Wenfei; GEERTS, Floris; NEVEN, FrankJournal ContributionA2
532013Simplifying XML Schema: Single-type approximations of regular tree languagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, Frank; Paredaens, JanJournal ContributionA1
542013Mining Minimal Motif Pair Sets Maximally Covering Interactions in a Protein-Protein Interaction NetworkBOYEN, Peter; NEVEN, Frank; VAN DYCK, Dries; Valentim, Felipe L.; van Dijk, Aalt D. J.Journal ContributionA1
552013Relational Transducers for Declarative NetworkingAMELOOT, Tom; NEVEN, Frank; VAN DEN BUSSCHE, JanJournal ContributionA1
562013Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
572012Deciding twig-definability of node selecting tree automataANTONOPOULOS, Timos; HOVLAND, Dag; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
582012Developing and Analyzing XSDs through BonXaiMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasJournal ContributionA1
592012Interactome-Wide Prediction of Protein-Protein Binding Sites Reveals Effects of Protein Sequence Variation in Arabidopsis thalianaLeal Valentim, Felipe; NEVEN, Frank; BOYEN, Peter; van Dijk, Aalt D. J.Journal ContributionA1
602012Succinctness of the Complement and Intersection of Regular ExpressionsGELADE, Wouter; NEVEN, FrankJournal ContributionA1
612011The complexity of text-preserving XML transformationsANTONOPOULOS, Timos; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
622011Relational transducers for declarative networkingAMELOOT, Tom; VAN DEN BUSSCHE, Jan; NEVEN, FrankProceedings PaperC1
632011Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
64201130 Years of PODS in Facts and FiguresAMELOOT, Tom; Marx, Maarten; MARTENS, Wim; NEVEN, Frank; Van Wees, JustinJournal ContributionA1
652011Succinctness of pattern-based schema languages for XMLGELADE, Wouter; NEVEN, FrankJournal ContributionA1
662011SLIDER: A Generic Metaheuristic for the Discovery of Correlated Motifs in Protein-Protein Interaction NetworksBOYEN, Peter; VAN DYCK, Dries; NEVEN, Frank; van Ham, Roeland C. H. J.; van Dijk, Aalt D. J.Journal ContributionA1
672010Simplifying XML Schema: Single-Type Approximations of Regular Tree LanguagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
682010Optimizing the Region Algebra is PSPACE-completeGELADE, Wouter; NEVEN, FrankJournal ContributionA1
692010Learning Deterministic Regular Expressions for the Inference of Schemas from XML DataBEX, Geert Jan; GELADE, Wouter; NEVEN, Frank; VANSUMMEREN, StijnJournal ContributionA1
702010Inference of Concise Regular Expressions and DTDsBEX, Geert Jan; NEVEN, Frank; Schwentick, Thomas; VANSUMMEREN, StijnJournal ContributionA1
712009SLIDER: Mining correlated motifs in protein-protein interaction networksBOYEN, Peter; NEVEN, Frank; VAN DYCK, Dries; van Dijk, Aalt D.J.; Van Ham, Roeland C.J.H.Proceedings PaperC1
722009SLIDER: Mining correlated motifs in protein-protein interaction networksBOYEN, Peter; NEVEN, Frank; VAN DYCK, Dries; van Dijk, Aalt D.J.; van Ham, Roeland C.H.J.Research ReportR2
732009XML TypesNEVEN, FrankBook SectionB2
742009Complexity of Decision Problems for XML Schemas and Chain Regular ExpressionsMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
752009Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
762009Simplifying XML schema: effortless handling of nondeterministic regular expressionsBEX, Geert Jan; GELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
772008BioScout: a life-science query monitoring systemNEVEN, Frank; VAN DE CRAEN, Dieter; KEMENTSIETSIDIS, AnastasiosProceedings PaperC1
782008Complexity and composition of synthesized web servicesFan, Wenfei; GEERTS, Floris; GELADE, Wouter; NEVEN, Frank; Poggi, AntonellaProceedings PaperC1
792008Scalable Multi-Query Optimization for Exploratory Queries over Federated Scientific DatabasesVAN DE CRAEN, Dieter; NEVEN, Frank; VANSUMMEREN, Stijn; KEMENTSIETSIDIS, AnastasiosProceedings PaperC2
802008Learning deterministic regular expressions for the inference of schemas from XML dataBEX, Geert Jan; GELADE, Wouter; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
812008Succinctness of the complement and intersection of regular expressionsGELADE, Wouter; NEVEN, FrankProceedings PaperC1
822008SchemaScope: a System for Inferring and Cleaning XML SchemasBEX, Geert Jan; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC2
832008Expressiveness and complexity of XML publishing transducersFan, Wenfei; GEERTS, Floris; NEVEN, FrankJournal ContributionA1
842008Typechecking top-down XML transformations: Fixed input or output schemasMARTENS, Wim; NEVEN, Frank; GYSSENS, MarcJournal ContributionA1
852007Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
862007Deterministic top-down tree automata: past, present, futureMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasBook SectionB2
872007Succinctness of Pattern-Based Schema Languages for XMLGELADE, Wouter; NEVEN, FrankProceedings PaperA1
882007Expressiveness and complexity of XML publishing transducersWenfei, Fan; GEERTS, Floris; NEVEN, FrankProceedings PaperC1
892007Inferring XML Schema Definitions from XML DataBEX, Geert Jan; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
902007Simple off the shelf abstractions for XML schemaMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
912007Frontiers of tractability for typechecking simple XML transformationsMARTENS, Wim; NEVEN, FrankJournal ContributionA1
922007Logical definability and query languages over ranked and unranked treesBenedikt, Michael; Libkin, Leonid; NEVEN, FrankJournal ContributionA1
932006Inference of Concise DTDs from XML DataBEX, Geert Jan; NEVEN, Frank; Schwentick, T; TUYLS, KarlProceedings PaperC2
942006On The Complexity Of Xpath Containment In The Presence Of Disjunction, Dtds, And VariablesNEVEN, Frank; Schwentick, TJournal ContributionA2
952006Optimizing monitoring queries over distributed dataNEVEN, Frank; VAN DE CRAEN, DieterJournal ContributionA1
962006An extensible light-weight XML-based monitoring system for sequence databasesVAN DE CRAEN, Dieter; NEVEN, Frank; KOCH, KerstinJournal ContributionA1
972006Expressiveness and complexity of XML SchemaMARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert JanJournal ContributionA1
982005Which XML Schemas Admit 1-Pass Preorder Typing?MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
992005Expressiveness of XSDs: from practice to theory, there and back againBEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
100200505061 Abstracts Collection - Foundations of Semistructured DataNEVEN, Frank; Schwentick, Thomas; Suciu, D.Proceedings PaperC2
1012005Attribute grammars for unranked trees as a query language for structured documentsNEVEN, FrankJournal ContributionA1
102200505061 Summary -- Foundations of Semi-structured DataNEVEN, Frank; Schwentick, T.; Suciu, D.Proceedings PaperC1
1032005Proceedings of the Eight International Workshop on the Web and DatabasesDoan, A.; NEVEN, Frank; McCann, R.; BEX, Geert JanBookB3
1042005On the complexity of typechecking top-down XML transformations.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
1052004Complexity of Decision Problems for Simple Regular Expressions.MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
1062004Finite state machines for strings over infinite alphabetsNEVEN, Frank; Schwentick, Thomas; Vianu, VictorJournal ContributionA2
1072004Frontiers of Tractability for Typechecking Simple XML Transformations.MARTENS, Wim; NEVEN, FrankProceedings PaperC1
1082004DTDs versus XML Schema: A Practical Study.NEVEN, Frank; BEX, Geert Jan; VAN DEN BUSSCHE, JanProceedings PaperC2
1092003Logical Definability and Query Languages over Unranked Trees.Libkin, Leonid; NEVEN, FrankProceedings PaperC1
1102003XPath containment in the presence of disjunction, DTDs, and variables.NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
1112003Automata- and Logic-Based Pattern Languages for Tree-Structured DataNEVEN, Frank; Schwentick, ThomasJournal ContributionA1
1122003Typechecking Top-Down Uniform Unranked Tree Transducers.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
1132003Reminiscences on Influential PapersRoss, Kenneth; NEVEN, Frank; Ooi, Beng ChinJournal ContributionA2
1142003XML with data values: typechecking revisitedAlon, Noga; Milo, Tova; NEVEN, FrankJournal ContributionA1
1152003On the power of tree-walking automata.NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
1162003Typechecking XML views of relational databasesAlon, Noga; Milo, Tova; NEVEN, Frank; Suciu, Dan; Vianu, VictorJournal ContributionA2
1172002Automata, Logic, and XMLNEVEN, FrankJournal ContributionA1
1182002On the power of walking for querying tree-structured dataNEVEN, FrankProceedings PaperC1
1192002An overview of web miningKosala, R.; Blockeel, H.; NEVEN, FrankBook SectionB3
1202002Expressiveness of structured document query languages based on attribute grammarsNEVEN, Frank; VAN DEN BUSSCHE, JanJournal ContributionA1
1212002Automata Theory for XML Researchers.NEVEN, FrankJournal ContributionA1
1222002Query automata over finite treesNEVEN, Frank; Schwentick, ThomasJournal ContributionA1
1232002A formal model for an expressive fragment of XSLTBEX, Geert Jan; Maneth, Sebastian; NEVEN, FrankJournal ContributionA1
1242001Towards Regular Languages over Infinite AlphabetsNEVEN, Frank; Schwentick, Thomas; Vianu, VictorJournal ContributionA1
1252001XML with Data Values: Typechecking RevisitedAlon, Noga; Milo, Tova; NEVEN, Frank; Suciu, Dan; Vianu, VictorProceedings PaperC2
1262001Adding For-Loops to First-Order LogicNEVEN, Frank; Otto, M; Tyszkiewicz, J.; VAN DEN BUSSCHE, JanJournal ContributionA1
1272000A Formal Model for an Expressive Fragment of XSLTBEX, Geert Jan; Maneth, Sebastian; NEVEN, FrankJournal ContributionA1
1282000Structured Document Transformations Based on XSLManeth, Sebastian; NEVEN, FrankJournal ContributionA1
1292000Expressive and Efficient Pattern Languages for Tree-Structured Data.NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
1302000A formal model for an excessive fragment of XSLTBEX, Geert Jan; NEVEN, Frank; Maneth, SebastianProceedings PaperC1
1312000On the Power of Tree-Walking AutomataNEVEN, Frank; Schwentick, ThomasJournal ContributionA1
1321999Automata for Unary Queries on TreesNEVEN, Frank; Schwentick, ThomasProceedings Paper
1331999Query AutomataNEVEN, Frank; Schwentick, ThomasProceedings Paper
1341999Typed query languages for databases containing queriesNEVEN, Frank; VAN DEN BUSSCHE, Jan; Van Gucht, Dirk; Vossen, GottfriedJournal Contribution
1351999Design and analysis of query languages for structured documents. A formal and logical approachNEVEN, FrankTheses and DissertationsT1
1361999Extensions of Attribute Grammars for Structured Document QueriesNEVEN, FrankJournal Contribution
1371999Adding For-Loops to First-Order LogicNEVEN, Frank; Otto, M; Tyszkiewicz, J.; VAN DEN BUSSCHE, JanJournal Contribution
1381998Structured Document Query Languages Based on Attribute Grammars: Locality and Non-DeterminismNEVEN, FrankProceedings Paper
1391998Expressiveness of Structured Document Query Languages Based on Attribute GrammarsNEVEN, Frank; VAN DEN BUSSCHE, JanProceedings Paper
1401998Typed query languages for databases containing queriesNEVEN, Frank; Van Gucht, Dirk; VAN DEN BUSSCHE, Jan; Vossen, GottfriedProceedings Paper