Publications

  1. Conference article › Research › Peer-reviewed
  2. Published

    Instantiation and pretending to be an SMT solver with VAMPIRE

    Reger, G., Suda, M. & Voronkov, A., 1 Jan 2017, In : CEUR Workshop Proceedings. 1889

    Research output: Contribution to journalConference article

  3. Commissioned report › Research › Not peer-reviewed
  4. Published

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

    Koopmann, P. & Schmidt, R. A., 20 Nov 2014, No publisher name.

    Research output: Book/ReportCommissioned report

  5. Other contribution › Research › Peer-reviewed
  6. Published

    A Car Racing Based Strategy for the Dynamic Voltage and Frequency Scaling Technique

    Cohen, D., Valentin, E., Barreto, R., Oliveira, H. & Cordeiro, L., 2012

    Research output: Other contribution

  7. Published

    A Secondary Screen Architecture to Accurately Capture Viewers' Interactions in an iTV Environment

    Rosa, R. E. V. D. S., Cordeiro, L. C. & de Lucena Junior, V. F., 2014, 2 p.

    Research output: Other contribution

  8. Published
  9. 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

  10. Published

    Bounded Model Checking of C plus plus Programs Based on the Qt Framework

    Sousa, F. R. M., Cordeiro, L. C. & de Lima Filho, E. B., 2015

    Research output: Other contribution

  11. Published

    Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning

    Araujo, R. F., Ribeiro, A., Bessa, I. V., Cordeiro, L. C. & Filho, J. E. C., 2017

    Research output: Other contribution

  12. Published

    SMT-Based Bounded Model Checking of C plus plus Programs

    Ramalho, M., Freitas, M., Sousa, F., Marques, H., Cordeiro, L. & Fischer, B., 2013

    Research output: Other contribution

  13. Published
Previous 1 2 3 4 5 6 7 8 ...14 Next
Return to faculty and school overview