• P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

  • Groene Loper 5, MetaForum

    5612 AP Eindhoven

    Netherlands

Research Output

Filter
Report
2015

Structural characterizations of the navigational expressiveness of relation algebras on a tree

Fletcher, G. H. L., Gyssens, M., Paredaens, J., Van Gucht, D. & Wu, Y., 2015, s.n. 58 p. (arXiv; vol. 1502.03258 [cs.DB])

Research output: Book/ReportReportAcademic

2014

Relative expressive power of navigational querying on graphs

Fletcher, G. H. L., Gyssens, M., Leinders, D., Surinx, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S. & Wu, Y., 2014, s.n. 29 p. (arXiv; vol. 1401.8201 [cs.DB])

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)
2012

I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs

Luo, Y., Fletcher, G. H. L., Hidders, A. J. H., Wu, Y. & Bra, De, P. M. E., 2012, s.n. 15 p. (arXiv.org; vol. 1210.0748 [cs.DB])

Research output: Book/ReportReportAcademic

Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations

Fletcher, G. H. L., Gyssens, M., Leinders, D., Van den Bussche, J., Van Gucht, D. & Vansummeren, S., 2012, s.n. 33 p. (arXiv.org; vol. 1210.2688 [cs.LO])

Research output: Book/ReportReportAcademic

1 Downloads (Pure)
2011

I/O efficient bisimulation partitioning on very large directed acyclic graphs

Hellings, J., Fletcher, G. H. L. & Haverkort, H. J., 2011, (arXiv.org (cs.DS); vol. 1112.0857)

Research output: Book/ReportReportAcademic