Frank Neven
Affiliations: | Universiteit Antwerpen (Belgium) |
Area:
Computer Science, MathematicsGoogle:
"Frank Neven"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Geck G, Ketsman B, Neven F, et al. (2019) Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation Acm Transactions On Computational Logic. 20: 1-24 |
| Ameloot TJ, Geck G, Ketsman B, et al. (2017) Parallel-Correctness and Transferability for Conjunctive Queries Journal of the Acm. 64: 36 |
| Ameloot TJ, Geck G, Ketsman B, et al. (2017) Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems Communications of the Acm. 60: 93-100 |
| Ameloot TJ, Ketsman B, Neven F, et al. (2017) Datalog Queries Distributing over Components Acm Transactions On Computational Logic. 18: 5 |
| Ketsman B, Neven F. (2017) Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data Theory of Computing Systems \/ Mathematical Systems Theory. 61: 233-260 |
| Ameloot TJ, Ketsman B, Neven F, et al. (2015) Weaker forms of monotonicity for declarative networking: A more fine-grained answer to the CALM-conjecture Acm Transactions On Database Systems. 40 |
| Antonopoulos T, Hovland D, Martens W, et al. (2015) Deciding Twig-definability of Node Selecting Tree Automata Theory of Computing Systems \/ Mathematical Systems Theory. 57: 967-1007 |
| Boyen P, Neven F, van Dyck D, et al. (2013) Mining minimal motif pair sets maximally covering interactions in a protein-protein interaction network. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 73-86 |
| Ameloot TJ, Neven F, Bussche JVD. (2013) Relational transducers for declarative networking Journal of the Acm. 60: 15 |
| Gelade W, Idziaszek T, Martens W, et al. (2013) Simplifying XML Schema: Single-type approximations of regular tree languages Journal of Computer and System Sciences. 79: 910-936 |