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

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

  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. Model-Driven Web Engineering (MDWE 2008)

    Houben, GJPM., Koch, N. & Vallecillo, A., 2009, In : Lecture Notes in Computer Science. 5421, p. 151-152 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Monitoring-aware IDEs

    Winter, J., Aniche, M., Cito, J. & van Deursen, A., 2019, ESEC/FSE 2019 : Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Association for Computing Machinery (ACM), p. 420-431 12 p.

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

  6. Natural Language Interfaces: What is the Problem? - A data-driven quantitative analysis

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

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

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

  8. On Interlinking, Integrating, and Enriching User Data in the GRAPPLE User Modeling Framework

    Leonardi, E. & Houben, GJPM., 2010, Poster proceedings of 7th Extended Semantic Web Conference. p. 41-42 2 p.

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

  9. On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets

    Roy, S., van Deursen, A. & Hermans, F., Jul 2018, Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security. Piscataway, NJ: IEEE, p. 199-206 8 p.

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

  10. On the relationship between workflow models and document types

    van Hee, K., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, In : Information Systems: databases: their creation, management and utilization. 34, 1, p. 178-208 31 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...13 Next

ID: 18282