Publications

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

    Planning and Evaluation of UAV Mission Planner for Intralogistics Problems

    Cavalcante, T. R. F., Bessa, I. V. D. & Cordeiro, L. C., 2017, 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC). p. 9-16 7 p.

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

  3. Published

    Playing with AVATAR

    Reger, G., Suda, M. & Voronkov, A., 1 Aug 2015, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Felty, A. & Middeldorp, A. (eds.). Springer Nature, p. 399-415 17 p.

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

  4. E-pub ahead of print

    Punishment not Reward: Disincentivising Blockchain Application Misbehaviour

    Banach, R., 1 Jul 2019, IEEE International Conference on Blockchain and Cryptocurrency.

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

  5. Published

    Quantified event automata: Towards expressive and efficient runtime monitors

    Barringer, H., Falcone, Y., Havelund, K., Reger, G. & Rydeheard, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 7436. p. 68-84 16 p.

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

  6. Accepted/In press

    Restricted Combinatory Unification

    Bhayat, A. & Reger, G., 19 Apr 2019, (Accepted/In press) Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

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

  7. Published

    Role Forgetting for ALCOQH(O)-Ontologies Using an Ackermann-Based Approach

    Zhao, Y. & Schmidt, R., 2017, The 26th International Joint Conference on Artificial Intelligence . Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1354-1361 8 p.

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

  8. Published

    Rule Refinement for Semantic Tableau Calculi

    Tishkovsky, D. & Schmidt, R., 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017 : proceedings . Schmidt, R. A. & Nalon, C. (eds.). Springer Nature, Vol. 10501. p. 228-244 (Lecture Notes in Artificial Intelligence Series ; vol. 10501).

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

  9. Published

    Set of Support for Theory Reasoning

    Reger, G. & Suda, M., 4 Jun 2017, 12th International Workshop on the Implementation of Logics .

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

  10. Published

    SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

    Gadelha, M. Y. R., Steffinlongo, E., Cordeiro, L., Fischer, B. & Nicole, D. A., 25 May 2019, 41st ACM/IEEE International Conference on Software Engineering .

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

  11. Published

    Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P. & Kroening, D., 2017, 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). p. 197-206

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

Return to faculty and school overview