Publications

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

  2. Accepted/In press

    A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

    Razavi, J. & Schalk, A., 1 Feb 2019, (Accepted/In press) Electronic Proceedings in Theoretical Computer Science.

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

  3. Published

    A CDCL-Style Calculus for Solving Non-linear Constraints

    Franz Brausse, Korovin, K., Margarita Korovina & Norbert Mueller, Sep 2019, Frontiers of Combining Systems, 12th International Symposium: FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer Nature, Vol. 11715. p. 131-148 18 p. (LNCS; vol. 11715).

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

  4. Published

    A method to localize faults in concurrent C programs

    S. Alves, E. H. D., Cordeiro, L. C. & L. Filho, E. B. D., 1 Oct 2017, In : The Journal of Systems and Software. 132, p. 336-352

    Research output: Contribution to journalArticle

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

  6. Published

    A pattern-based approach to parametric specification mining

    Reger, G., Barringer, H. & Rydeheard, D., 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. IEEE, p. 658-663 5 p.

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

  7. Published

    A platform-based software design methodology for embedded control systems: An agile toolkit

    Cordeiro, L., Mar, C., Valentin, E., Cruz, F., Patrick, D., Barreto, R. & Lucena, V., 2008, FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. p. 408-417 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  9. Accepted/In press

    A Simple Hybrid Event-B Model of an Active Control System for Earthquake Protection

    Banach, R. & Baugh, J., 16 Oct 2018, (Accepted/In press) Astrophysics to Unconventional Computing : Essays presented to Susan Stepney on the occasion of her 60th birthday. (Emergence, Complexity and Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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