1. 2009
  2. Towards Linguistically Grounded Ontologies

    Buitelaar, P., Cimiano, P., Haase, P. & Sintek, M., 2009, The Semantic Web: Research and Applications. 6th European Semantic Web Conference, ESWC 2009. Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvonen, E., Mizoguchi, R. & Oren, E. (eds.). Berlin: Springer, p. 111-125 15 p. (Lecture Notes in Computer Science; vol. 5554).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. User model elicitation and enrichment for context-sensitive personalization in a multiplatform tv environment

    Bellekens, P., Houben, GJPM., Aroyo, L., Schaap, K. & Kaptein, A., 2009, EuroITV '09: Proceedings of the seventh european conference on European interactive television conference. Geerts, D., Cesar, P. & de Grooff, D. (eds.). New York: Association for Computing Machinery (ACM), p. 119-128 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. 2008
  5. A survey on web modeling approaches for ubiquitous web applications

    Houben, GJPM., 2008, In : International Journal of Web Information Systems. 4, 3, p. 234-305 72 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. 2007
  7. Simple crosscutting concerns are not so simple: Analysing variability in large-scale idioms-based implementations

    Bruntink, M., van Deursen, A., d'Hondt, M. & Tourwé, T., 2007, AOSD'07: Proceedings of the 6th International Conference on Aspect-Oriented Software Development. Barry, B. & de Moor, O. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 199-211 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. 2006
  9. Generation of classes of robust periodic railway timetables

    Odijk, MA., Romeijn, H. E. & van Maaren, H., 2006, In : Computers & Operations Research. 33, p. 2283-2299 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  10. March_dl: Adding adaptive heuristics and a new branding strategy

    Heule, MJH. & van Maaren, H., 2006, In : Journal on Satisfiability, Boolean Modeling and Computation. 2, 1-4, p. 47-59 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Whose side are you on? Finding solutions in a biased search-tree

    Heule, MJH. & van Maaren, H., 2006, Proceedings of Guangzhou Symposium on Satisfiability in Logic Based Modeling. s.n. (ed.). Guangzhou, China: Sun-Yat-sen University, p. 82-90 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  12. 2005
  13. Aligning CNF- and equivalence-reasoning

    Heule, MJH. & van Maaren, H., 2005, Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004. Hoos, HH. & Mitchell, DG. (eds.). Berlin: Springer, p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 3542).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  14. Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

    van Maaren, H. & van Norden, L., 2005, In : Annals of Mathematics and Artificial Intelligence. 44, 1-2, p. 157-177 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. Design, optimization, and evaluation of a path query system

    Szanto, IP., 2005, s.l.: s.n.. 270 p.

    Research output: ThesisDissertation (TU Delft)Scientific

ID: 18282