CerCo: Certified Complexity

Project Details

StatusFinished
Effective start/end date1/02/1031/03/13

Funding

  • EU government bodies: £11,527.00
  • EU government bodies: £371,334.00
  • Certified Complexity (CerCo)

    Amadio, R., Ayache, N., Bobot, F., Boender, J., Campbell, B., Garnier, I., Madet, A., McKinna, J., Mulligan, D., Piccolo, M., Pollack, R., Régis-Giannas, Y., Sacerdoti Coen, C., Stark, I. & Tranquilli, P., 2014, Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013. Springer International Publishing, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).

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

    Open Access
    File
  • A Web Interface for Matita

    Asperti, A. & Ricciotti, W., 2012, Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer Berlin Heidelberg, p. 417-421 5 p. (Lecture Notes in Computer Science; vol. 7362).

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

  • Certified Complexity

    Armadio, R., Asperti, A., Ayache, N., Campbell, B., Mulligan, D., Pollack, R., Regis-Gianas, Y., Coen, C. S. & Stark, I., 2011, In: Procedia Computer Science. 7, p. 175-177 3 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File