R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sacerdoti Coen; I. Stark, Certified Complexity, «PROCEDIA COMPUTER SCIENCE», 2011, 7, pp. 175 - 177 [Scientific article]
Asperti, Andrea; Maietti, M. E.; SACERDOTI COEN, Claudio; Sambin, G.; Valentini, S., Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita., in: Lecture Notes in Computer Science, Springer-Verlag, 2011, 6824, pp. 278 - 280 (atti di: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011., Bertinoro, Italy,, 18-23 Luglio 2011) [Contribution to conference proceedings]
A. Asperti; E.Tassi, Superposition as a logical glue, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2011, 53, pp. 1 - 15 [Scientific article]
Asperti, Andrea; Ricciotti, Wilmer; SACERDOTI COEN, Claudio; Tassi, E., The Matita Interactive Theorem Prover, in: Lecture Notes in Computer Science, Springer-Verlag, 2011, 6803, pp. 64 - 69 (atti di: 23rd International Conference on Automated Deduction - CADE 23, Wroclaw, Poland, July 31 - August 5, 2011.) [Contribution to conference proceedings]
A. Asperti; J.Avigad, Zen and the art of formalisation., «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2011, 21(4), pp. 679 - 682 [Scientific article]
A.Asperti; E.Tassi, Smart Matching, in: , 2010, 6167, pp. 263 - 277 (atti di: 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010) [Contribution to conference proceedings]
A., Asperti; C., Sacerdoti Coen, Some Considerations on the Usability of Interactive Provers., in: Intelligent Computer Mathematics, 2010, 6167, pp. 147 - 156 (atti di: 17th Symposium, Calculemus 2010, Paris, France, July 5-10, 2010) [Contribution to conference proceedings]
A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi, A compact kernel for the calculus of inductive constructions, «SADHANA (BANGALORE)», 2009, 34, pp. 71 - 144 [Scientific article]
A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen, A new type for tactics, in: PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems, s.l, s.n, 2009, pp. 22 - 29 (atti di: International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS09), Munich, Germany, August, 21, 2009) [Contribution to conference proceedings]
A. Asperti; W. Ricciotti, About the Formalization of some Results by Chebyshev in Number Theory, in: , 2009, 5497, pp. 19 - 31 (atti di: TYPES, Torino, Italy, March 26-29 2008) [Contribution to conference proceedings]
A.Asperti; E.Tassi, An Interactive Driver for Goal-directed Proof Strategies., in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2009, 226, pp. 89 - 105 (atti di: User Interfaces for Theorem Provers (UITP 2008), Montréal, Québec, Canada, August 2008) [Contribution to conference proceedings]
A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi, Hints in Unification, in: Theorem Proving in Higher Order Logics, 2009, 5674, pp. 84 - 98 (atti di: Theorem Proving in Higher Order Logics (TPHOLs 2009), Munich, Germany, August 17-20, 2009) [Contribution to conference proceedings]
A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Matita 0.5.8, 2009. [Software]
A.Asperti; N.Busi, Mobile Petri nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, V.19, n.6, pp. 1265 - 1278 [Scientific article]
R.Amadio; A.Asperti; G.Castagna, Preface, «INFORMATION AND COMPUTATION», 2009, 207(5), pp. 543 - 544 [Comment or similar]
