CerCo: Certified Complexity

Project Details

StatusFinished
Effective start/end date1/02/10 → 31/03/13

Funding

  • EU government bodies: £11,527.00
  • EU government bodies: £371,334.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference contribution
  • 1 Article

  • 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, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 417-421 5 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 journal › Article › peer-review

    Open Access
    File