Publications

  1. Published

    Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios

    Gomes, C., Karalis, P., Navarro Lopez, E. & Vangheluwe, H., 2018. 15 p.

    Research output: Contribution to conferencePaper

  2. Published

    Selecting the selection

    Hoder, K., Reger, G., Suda, M. & Voronkov, A., 1 Jan 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Nature, p. 313-329 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    DSVerifier: A Bounded Model Checking Tool for Digital Systems

    Ismail, H. I., Bessa, I. V., Cordeiro, L. C., de Lima Filho, E. B. & Chaves Filho, J. E., 2015, MODEL CHECKING SOFTWARE, SPIN 2015. Vol. 9232. p. 126-131 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    BMCLua: Verification of Lua Programs in Digital TV Interactive Applications

    Januario, F. A. P., Cordeiro, L. C., de Lucena, V. F. . J. & de Lima Filho, E. B., 2014, 2 p.

    Research output: Other contribution

  5. Published

    Uniform interpolation of ALC-ontologies using fixpoints

    Koopmann, P. & Schmidt, R. A., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Springer Nature, Vol. 8152. p. 87-102 15 p. (Lecture Notes in Artificial Intelligence).

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

  6. Published

    Uniform Interpolation of ALC-Ontologies Using Fixpoints

    Koopmann, P., Fontaine, P. (ed.), Ringeissen, C. (ed.) & Schmidt, R. A. (ed.), 2013, Frontiers of Combining Systems. Fontaine, P., Ringeissen, C. & Schmidt, R. A. (eds.). Springer Nature, p. 87-102 16 p.

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

  7. Published

    Forgetting concept and role symbols in ALCH-ontologies

    Koopmann, P. & Schmidt, R. A., Dec 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer Nature, Vol. 8312. p. 552-567 15 p.

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

  8. Published

    Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes - Long Version

    Koopmann, P. & Schmidt, R. A., 20 Nov 2014, AAAI Press.

    Research output: Book/ReportCommissioned report

  9. Published

    First-Order Interpolation and Interpolating Proofs Systems

    Kovacs, L. & Voronkov, A., 4 May 2017, LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning . Vol. 46.

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

  10. Published

    An abstraction-refinement framework for reasoning with large theories.

    Lopez Hernandez, J. C. & Korovin, K., 30 Jun 2018, p. 663-679. 17 p.

    Research output: Contribution to conferencePaper

Previous 1...4 5 6 7 8 9 10 11 ...14 Next
Return to faculty and school overview