Follow
maarten marx
maarten marx
Assistant Professor of Computer Science, University of Amsterdam
Verified email at uva.nl
Title
Cited by
Cited by
Year
Using WordNet to measure semantic orientations of adjectives.
J Kamps, M Marx, RJ Mokken, M De Rijke
Lrec 4, 1115-1118, 2004
10412004
Multi-dimensional modal logic
M Marx, Y Venema
Springer Science & Business Media, 2012
3172012
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2942001
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
2722007
Effective headlines of newspaper articles in a digital environment
J Kuiken, A Schuth, M Spitters, M Marx
Digital Journalism 5 (10), 1300-1314, 2017
2112017
Words with attitude
J Kamps, M Marx
2082001
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
1871999
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
1542004
Conditional xpath
M Marx
ACM Transactions on Database Systems (TODS) 30 (4), 929-959, 2005
1442005
XPath with conditional axis relations
M Marx
Advances in Database Technology-EDBT 2004: 9th International Conference on …, 2004
1432004
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1432000
Semantic characterizations of navigational XPath
M Marx, M de Rijke
ACM SIGMOD Record 34 (2), 41-46, 2005
1212005
Conditional XPath, the first order complete XPath dialect
M Marx
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
1092004
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
1082007
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
912007
Algebraic relativization and arrow logic
M Marx
University of Amsterdam, 1995
901995
Complexity of products of modal logics
M Marx
Journal of Logic and Computation 9 (2), 197-214, 1999
881999
The quality of the XML web
S Grijzenhout, M Marx
Proceedings of the 20th ACM international conference on Information and …, 2011
862011
Tableaux for quantified hybrid logic
P Blackburn, M Marx
Automated Reasoning with Analytic Tableaux and Related Methods …, 2002
772002
Undecidability of compass logic
M Marx, M Reynolds
Journal of Logic and Computation 9 (6), 897-914, 1999
771999
The system can't perform the operation now. Try again later.
Articles 1–20