Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 206
Number of items: 206
  • Marx, M. J. (2007). Queries determined by views: pack your views. In PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (pp. 23-30). ACM.
  • Marx, M. J., & Venema, Y. (2007). Local variations on a loose theme: modal logic and decidability. In E. Grädel, P. Kolaitis, L. Libkin, M. J. Marx, J. Spencer, M. Vardi, Y. Venema, & S. Weinstein (Eds.), Finite Model Theory and its Applications (pp. 371-430). Springer Verlag.
  • ten Cate, B. D., & Marx, M. J. (2007). Navigational XPath: calculus and algebra. SIGMOD Record, 36, 19-26.
  • Afanasiev, L., ten Cate, B. D., & Marx, M. J. (2007). Lekker bomen. Nieuwsbrief van de NVTI, 11, 38-52.
  • ten Cate, B. D., & Marx, M. J. (2007). Axiomatizing the logical core of XPath 2.0. In Proceedings of ICDT 2007 (pp. 134-148)
  • Grädel, E., Kolaitis, P., Libkin, L., Marx, M. J., Spencer, J., Vardi, M., Venema, Y., & Weinstein, S. (2007). Finite model theory and its applications. (Texts in theoretical computer science; No. 13). Springer.
  • Open Access
    Schuth, A., Marx, M., & de Rijke, M. (2007). Extracting the Discussion Structure in Comments on News-Articles. In WIDM '07: proceedings of the 9th annual ACM international workshop on Web information and data management (pp. 97-104). ACM. https://doi.org/10.1145/1316902.1316919
  • ten Cate, B. D., Conradie, W., Marx, M. J., & Venema, Y. (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of KR 2006 (pp. 79-89). AAAI Press.
  • Afanasiev, L., & Marx, M. J. (2006). An analysis of the current XQuery benchmarks. In In proceedings of the First International Workshop on Performance and Evaluation of Data Management Systems (ExpDB 2006) ACM Press.
  • Afanasiev, L., Franceschet, M., Marx, M. J., & Zimuel, E. (2006). XCheck: a Platform for Benchmarking XQuery Engines. In Proceedings of VLDB, Demo ACM Press.
Page 13 of 21