1. 2003
  2. Experiences in teaching software evolution and program comprehension

    van Deursen, A., Favre, J-M., Koschke, R. & Rilling, J., 2003, Proceedings - IWPC 2003. New York: IEEE Computer Society, p. 283-284 2 p. 1199214

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

  3. Message from the Program Chairs

    Stroulia, E. & Van Deursen, A., 2003, Reverse Engineering - Working Conference Proceedings. van Deursen, A., Stroulia, E. & Storey, M. A. (eds.). IEEE/CS, p. IX- IX

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  4. 2005
  5. 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

  6. 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

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

  8. March-eq - Implementing additional reasoning into efficient look-ahead SAT solver

    Heule, MJH., Dufour, M., van Zwieten, JE. & van Maaren, H., 2005, In : Lecture Notes in Computer Science. 3542, p. 345-359 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Observed lower bounds for random 3-sat phase transition density using linear programming

    Heule, MJH. & van Maaren, H., 2005, Theory and applications of satisfiability testing. Bacchus, F. & Walsh, T. (eds.). Berlin: Springer, p. 122-134 13 p. (Lecture Notes in Computer Science; vol. 3569).

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

  10. Sums of squares, satisfiability and maximum satisfiability

    van Maaren, H. & van Norden, L., 2005, Theory and applications of satisfiability testing. Bacchus, F. & Walsh, T. (eds.). Berlin: Springer, p. 294-308 15 p. (Lecture Notes in Computer Science; vol. 3569).

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

  11. 2006
  12. 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

  13. 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

  14. 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

  15. 2007
  16. 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

  17. 2008
  18. 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

  19. 2009
  20. A Framework for Flexible User Profile Mashups

    Abel, F., Heckmann, D., Herder, E., Hidders, AJH., Houben, GJPM., Krause, D., Leonardi, E. & van der Sluijs, KAM., 2009, Proceedings of International Workshop on Adaptation and Personalization for Web 2.0 (AP-WEB 2.0 2009). Dattolo, A., Tasso, C., Farzan, R., Kleanthous, S., Bueno Vallejo, D. & Vassileva, J. (eds.). Tilburg, Aachen: CEUR, p. 1-10 10 p. (Ceur Workshop Proceedings; vol. 485).

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

  21. A Model-Based Approach Providing Context-Sensitive Television Interaction

    Bellekens, P., Aroyo, L., Houben, GJPM. & Kaptein, A., 2009, ICWE '9: Proceedings of the 9th International Conference on Web Engineering. Gaedke, M., Grossniklaus, M. & Diaz, O. (eds.). Berlin: Springer, p. 509-512 4 p. (Lecture Notes in Computer Science; vol. 5648).

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

  22. Abstracting Common Business Rules to Petri Nets

    van Hee, KM., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. Sidorova, N. & Serebrenik, A. (eds.). s.l.: s.n., p. 37-49 13 p.

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

  23. An Experimental Comparison of Explicit Semantic Analysis Implementations for Cross-Language Retrieval

    Sorg, P. & Cimiano, P., 2009, Proceedings of the 14th International Conference on Applications of Natural Language to Information Systems (NLDB'09). Berlin: Springer, p. -

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

  24. Aspect-oriented adaptation specification in web information systems: a semantics-based approach

    Casteleyn, S., van Woensel, W., van der Sluijs, KAM. & Houben, GJPM., 2009, In : New Review of Hypermedia and Multimedia. 15, 1, p. 39-71 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. Automatic Generation of Semantic Metadata as Basis for User Modeling and Adaptation

    van der Sluijs, KAM. & Houben, GJPM., 2009, Advances in Ubiquitous User Modelling. Berlin: Springer, p. 73-93 159 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  26. Explicit vs. Latent Concept Models for Cross-Language Information Retrieval

    Cimiano, P., Schultz, A., Sizov, S. & Sorg, P., 2009, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'09). Boutilier, C. (ed.). s.l.: s.n., p. 1513-1518 6 p.

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

Previous 1 2 3 4 5 6 7 Next

ID: 18282