Afanasiev, L., Manolescu, I., & Michiels, P. (2005). MemBeR: a micro-benchmark repository for XQuery. Lecture Notes in Computer Science, 3671, 144-161.
Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M. J., & de Rijke, M. (2005). PDL for Ordered Trees. Journal of Applied Non-Classical Logics, 15(2), 115-135.
Afanasiev, L. (2004). XML query evaluation via CTL symbolic model checking. In Proceedings of the ESSLLI 2004 Student Session
Afanasiev, L., Franceschet, M., Marx, M. J., & de Rijke, M. (2004). CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning IEEE Computer Society Press.
Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M. J., & de Rijke, M. (2004). PDL for ordered trees. Journal of Applied Non-Classical Logics, 2(15), 115-135.
Afanasiev, L., Franceschet, M., Marx, M. J., & de Rijke, M. (2004). CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning (TIME 2004) IEEE Computer Society Press.
