Publications

  1. Published

    Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

    Beyersdorff, O., Blinkhorn, J., Leroy Chew, Schmidt, R. & Suda, M., 2018, In : Journal of Automated Reasoning. 27 p.

    Research output: Contribution to journalArticle

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

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

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

  5. Published

    A Single Pyramidal-Cell and Network Computational Model of the Hippocampal CA3 Region

    Celikok, U., Navarro Lopez, E. & Sengor, N. S., 15 Jul 2017, 26th Annual Computational Neuroscience Meeting, CNS2017, (July 15–20, 2017, Antwerp, Belgium).. 1 ed. Vol. 1. 3 p.

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

  6. Accepted/In press

    Verifying Digital Systems with MATLAB

    Chaves, L., Bessa, I., Cordeiro, L., Kroening, D. & Lima, E., Feb 2017, (Accepted/In press) 26th ACM SIGSOFT International Symposium on Software Testing and Analysis .

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

  7. Published

    DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles

    Chaves, L., Bessa, I., Ismail, H., Frutuoso, A., Cordeiro, L. & de Lima Filho, E. B., 24 Oct 2018, In : IEEE Transactions on Reliability. 67, 4, p. 1420-1441

    Research output: Contribution to journalArticle

  8. Published

    Verifying Fragility in Digital Systems with Uncertainties using DSVerier v2:0

    Chaves, L. C., Ismail, H. I., Bessa, I. V., Cordeiro, L. & de Lima Filho, E. B., 2019, In : The Journal of Systems and Software.

    Research output: Contribution to journalArticle

  9. Accepted/In press

    Ontology Extraction for Large Ontologies via Modularity and Forgetting

    Chen, J., Alghamdi, G., Schmidt, R., Walther, D. & Gao, Y., 21 Sep 2019, (Accepted/In press) International Conference on Knowledge Capture (K-CAP) .

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

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

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