The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Josef Urban: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Grzegorz Bancerek, Josef Urban
    Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:44-57 [Conf]
  2. Josef Urban
    Translating Mizar for First Order Theorem Provers. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:203-215 [Conf]
  3. Josef Urban
    XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:346-360 [Conf]
  4. Josef Urban
    MPTP 0.1: System Description. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  5. Josef Urban, Grzegorz Bancerek
    Presenting and Explaining Mizar. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:63-74 [Journal]
  6. Josef Urban
    Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:109-130 [Journal]
  7. Josef Urban
    MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:414-427 [Journal]
  8. Josef Urban
    MPTP - Motivation, Implementation, First Experiments. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:3-4, pp:319-339 [Journal]
  9. Josef Urban
    MPTP 0.2: Design, Implementation, and Initial Experiments. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:21-43 [Journal]
  10. Josef Urban, Dave Wisely, Edgar Bolinth, Georg Neureiter, Mika Liljeberg, Tomás Robles Valladares
    BRAIN - an architecture for a broadband radio access network of the next generation. [Citation Graph (0, 0)][DBLP]
    Wireless Communications and Mobile Computing, 2001, v:1, n:1, pp:55-75 [Journal]
  11. Josef Urban, Geoff Sutcliffe
    ATP Cross-Verification of the Mizar MPTP Challenge Problems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:546-560 [Conf]

  12. Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. [Citation Graph (, )][DBLP]


  13. A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. [Citation Graph (, )][DBLP]


  14. MaLARea: a Metasystem for Automated Reasoning in Large Theories. [Citation Graph (, )][DBLP]


  15. MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. [Citation Graph (, )][DBLP]


  16. Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. [Citation Graph (, )][DBLP]


  17. Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. [Citation Graph (, )][DBLP]


  18. A Wiki for Mizar: Motivation, Considerations, and Initial Prototype [Citation Graph (, )][DBLP]


  19. Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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