Publications

  1. 2019
  2. Accepted/In press

    Coloured graphlet profiles as a predictor of career length in scientific co-authorship networks

    Blanthorn, O. & Navarro Lopez, E., 14 Jan 2019, (Accepted/In press) 4th World Conference on Complex Systems: Emergence, Self-organization, Nonlinear Dynamics and Complexity. IEEE, p. 1 6 p.

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

  3. Published

    A Neurally-Guided, Parallel Theorem Prover

    Rawson, M. & Reger, G., 2019, FroCoS 2019: Frontiers of Combining Systems. (Lecture Notes in Computer Science ; vol. 11715).

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

  4. Published

    ABox Abduction via Forgetting in ALC

    Del-Pinto, W. & Schmidt, R., 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). AAAI Press

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

  5. Published

    Automated Formal Verification of Stand-alone Solar Photovoltaic Systems

    Trindade, A. B. & Cordeiro, L., 2019, In : Solar Energy.

    Research output: Contribution to journalArticle

  6. Published

    Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools

    Zohar, Y., Tishkovsky, D., Schmidt, R. A. & Zamansky, A., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, p. 610-638 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11560 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)

    Cordeiro, L., Kroening, D. & Schrammel, P., 2019, In : ACM SigSoft Software Engineering Notes .

    Research output: Contribution to journalArticle

  8. Published

    ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference

    Gadelha, M. Y. R., Monteiro, F. R., Cordeiro, L. & Nicole, D., 2019, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

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

  9. Published

    Extending Forgetting-Based Abduction Using Nominals

    Del-Pinto, W. & Schmidt, R., 2019, Frontiers of Combining Systems: FroCoS 2019. Springer Nature, (Lecture Notes in Computer Science; vol. 11715).

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

  10. Published

    FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions

    Zhao, Y. & Schmidt, R., 2019, Automated Deduction: CADE-27. Fontaine, P. (ed.). Springer Nature, Vol. 11716. (Lecture Notes in Computer Science; vol. 11716).

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

  11. Published

    Induction in Saturation-Based Proof Search

    Reger, G. & Voronkov, A., 2019, Automated Deduction – CADE 27 . (Lecture Notes in Computer Science; vol. 11716).

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

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