Josef Urban Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. LPAR Workshops 2008
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban, Geoff Sutcliffe: ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Mathematics in Computer Science 2(2): 231-251 (2008)
2007
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoff Sutcliffe, Josef Urban, Stephan Schulz: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 CEUR-WS.org 2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: MaLARea: a Metasystem for Automated Reasoning in Large Theories. ESARLT 2007
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban, Grzegorz Bancerek: Presenting and Explaining Mizar. Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007)
2006
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. International Journal on Artificial Intelligence Tools 15(1): 109-130 (2006)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. J. Applied Logic 4(4): 414-427 (2006)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: MPTP 0.2: Design, Implementation, and Initial Experiments. J. Autom. Reasoning 37(1-2): 21-43 (2006)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. MKM 2005: 346-360
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Bancerek, Josef Urban: Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. MKM 2004: 44-57
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: MPTP - Motivation, Implementation, First Experiments. J. Autom. Reasoning 33(3-4): 319-339 (2004)
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: Translating Mizar for First Order Theorem Provers. MKM 2003: 203-215
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef Urban: MPTP 0.1: System Description. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef 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. Wireless Communications and Mobile Computing 1(1): 55-75 (2001)

Coauthor Index

1Grzegorz Bancerek [5] [10]
2Edgar Bolinth [1]
3Mika Liljeberg [1]
4Georg Neureiter [1]
5Petr Pudlák [16]
6Stephan Schulz [13]
7Geoff Sutcliffe [11] [13] [14] [16]
8Tomás Robles Valladares [1]
9Jirí Vyskocil [16]
10Dave Wisely [1]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)