Using WordNet to measure semantic orientations of adjectives. J Kamps, M Marx, RJ Mokken, M De Rijke Lrec 4, 1115-1118, 2004 | 1049 | 2004 |
Multi-dimensional modal logic M Marx, Y Venema, M Marx, Y Venema Multi-Dimensional Modal Logic, 1-9, 1997 | 319 | 1997 |
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx The Journal of Symbolic Logic 66 (3), 977-1010, 2001 | 296 | 2001 |
Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007 | 278 | 2007 |
Effective headlines of newspaper articles in a digital environment J Kuiken, A Schuth, M Spitters, M Marx Digital Journalism 5 (10), 1300-1314, 2017 | 229 | 2017 |
Words with attitude J Kamps, M Marx | 213 | 2001 |
A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999 | 189 | 1999 |
Specifying access control policies for XML documents with XPath I Fundulaki, M Marx Proceedings of the ninth ACM symposium on Access control models and …, 2004 | 154 | 2004 |
Conditional xpath M Marx ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005 | 145 | 2005 |
XPath with conditional axis relations M Marx Advances in Database Technology-EDBT 2004: 9th International Conference on …, 2004 | 144 | 2004 |
The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000 | 143 | 2000 |
Semantic characterizations of navigational XPath M Marx, M de Rijke ACM SIGMOD Record 34 (2), 41-46, 2005 | 122 | 2005 |
Finite model theory and descriptive complexity E Graedel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Finite model theory and its applications, 125-230, 2007 | 109 | 2007 |
Conditional XPath, the first order complete XPath dialect M Marx Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004 | 109 | 2004 |
Algebraic relativization and arrow logic M Marx University of Amsterdam, 1995 | 94 | 1995 |
Extracting the discussion structure in comments on news-articles A Schuth, M Marx, M De Rijke Proceedings of the 9th annual ACM international workshop on Web information …, 2007 | 92 | 2007 |
Complexity of products of modal logics M Marx Journal of Logic and Computation 9 (2), 197-214, 1999 | 89 | 1999 |
The quality of the XML web S Grijzenhout, M Marx Proceedings of the 20th ACM international conference on Information and …, 2011 | 86 | 2011 |
Tableaux for quantified hybrid logic P Blackburn, M Marx Automated Reasoning with Analytic Tableaux and Related Methods …, 2002 | 78 | 2002 |
Undecidability of compass logic M Marx, M Reynolds Journal of Logic and Computation 9 (6), 897-914, 1999 | 78 | 1999 |