The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Claudio Sacerdoti Coen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
    XML, Stylesheets and the Re-mathematization of Formal Content. [Citation Graph (0, 0)][DBLP]
    Extreme Markup Languages®, 2001, pp:- [Conf]
  2. Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli
    A Generative Approach to the Implementation of Language Bindings for the Document Object Model. [Citation Graph (0, 0)][DBLP]
    GPCE, 2004, pp:469-487 [Conf]
  3. Claudio Sacerdoti Coen
    A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:37-57 [Conf]
  4. Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
    An Interactive Algebra Course with Formalised Proofs and Definitions. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:315-329 [Conf]
  5. Serge Autexier, Claudio Sacerdoti Coen
    A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:67-81 [Conf]
  6. Claudio Sacerdoti Coen
    From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:30-44 [Conf]
  7. Claudio Sacerdoti Coen
    Mathematical Libraries as Proof Assistant Environments. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:332-346 [Conf]
  8. Claudio Sacerdoti Coen
    Explanation in Natural Language of lamda-µµ-Terms. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:234-249 [Conf]
  9. Claudio Sacerdoti Coen, Stefano Zacchiroli
    Efficient Ambiguous Parsing of Mathematical Formulae. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:347-362 [Conf]
  10. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
    HELM and the Semantic Math-Web. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:59-74 [Conf]
  11. Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    A Content Based Mathematical Search Engine: Whelp. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:17-32 [Conf]
  12. Claudio Sacerdoti Coen
    A Semi-reflexive Tactic for (Sub-)Equational Reasoning. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:98-114 [Conf]
  13. Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali
    Schemapath, a minimal extension to xml schema for conditional constraints. [Citation Graph (0, 0)][DBLP]
    WWW, 2004, pp:164-174 [Conf]
  14. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
    Mathematical Knowledge Management in HELM. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:27-46 [Journal]
  15. Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    Tinycals: Step by Step Tacticals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:125-142 [Journal]
  16. Claudio Sacerdoti Coen, Stefano Zacchiroli
    Spurious Disambiguation Error Detection. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:381-392 [Conf]
  17. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    Crafting a Proof Assistant. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:18-32 [Conf]
  18. Claudio Sacerdoti Coen
    Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:97-118 [Journal]
  19. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
    User Interaction with the Matita Proof Assistant. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:2, pp:109-139 [Journal]

  20. Some Considerations on the Usability of Interactive Provers. [Citation Graph (, )][DBLP]


  21. Natural Deduction Environment for Matita. [Citation Graph (, )][DBLP]


  22. Hints in Unification. [Citation Graph (, )][DBLP]


  23. Working with Mathematical Structures in Type Theory. [Citation Graph (, )][DBLP]


  24. A User Interface for a Mathematical System that Allows Ambiguous Formulae. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.055secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002