Josef Urban

	2012
37		Jesse Alama, Daniel Kühlwein, Josef Urban: Automated and Human Proofs in General Mathematics: An Initial Comparison. LPAR 2012: 37-45
36		Carst Tankink, Christoph Lange, Josef Urban: Point-and-write --- Documenting Formal Mathematics by Reference CoRR abs/1204.5094: (2012)
	2011
35		Christoph Lange, Josef Urban: Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011 CEUR-WS.org 2011
34		James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings Springer 2011
33		Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban: Large Formal Wikis: Issues and Solutions. Calculemus/MKM 2011: 133-148
32		Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban: Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163
31		Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes: Learning2Reason. Calculemus/MKM 2011: 298-300
30		Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes: Multi-output Ranking for Automated Reasoning. KDIR 2011: 42-51
29		Evgeni Tsivtsivadze, Josef Urban, Herman Geuvers, Tom Heskes: Semantic Graph Kernels for Automated Reasoning. SDM 2011: 795-803
28		Josef Urban, Jirí Vyskocil, Petr Stepánek: MaLeCoP Machine Learning Connection Prover. TABLEAUX 2011: 263-277
27		Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban: Large Formal Wikis: Issues and Solutions CoRR abs/1107.3209: (2011)
26		Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane: Licensing the Mizar Mathematical Library CoRR abs/1107.3212: (2011)
25		Jesse Alama, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban, Tom Heskes: Premise Selection for Mathematics by Corpus Analysis and Kernel Methods CoRR abs/1108.3446: (2011)
24		Josef Urban, Piotr Rudnicki, Geoff Sutcliffe: ATP and Presentation Service for Mizar Formalizations CoRR abs/1109.0616: (2011)
23		Jesse Alama, Lionel Mamane, Josef Urban: Dependencies in Formal Mathematics CoRR abs/1109.3687: (2011)
	2010
22		Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. AISC/MKM/Calculemus 2010: 132-146
21		Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers: A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. AISC/MKM/Calculemus 2010: 455-469
20		Josef Urban, Krystof Hoder, Andrei Voronkov: Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ICMS 2010: 155-166
19		Jirí Vyskocil, David Stanovský, Josef Urban: Automated Proof Compression by Invention of New Definitions. LPAR (Dakar) 2010: 447-462
18		Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers: A Wiki for Mizar: Motivation, Considerations, and Initial Prototype CoRR abs/1005.4552: (2010)
17		Josef Urban, Geoff Sutcliffe: Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar CoRR abs/1005.4592: (2010)
	2008
16		Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456
15		Josef Urban: Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. LPAR Workshops 2008
14		Josef 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
13		Geoff 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
12		Josef Urban: MaLARea: a Metasystem for Automated Reasoning in Large Theories. ESARLT 2007
11		Josef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560
10		Josef Urban, Grzegorz Bancerek: Presenting and Explaining Mizar. Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007)
	2006
9		Josef Urban: Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. International Journal on Artificial Intelligence Tools 15(1): 109-130 (2006)
8		Josef Urban: MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. J. Applied Logic 4(4): 414-427 (2006)
7		Josef Urban: MPTP 0.2: Design, Implementation, and Initial Experiments. J. Autom. Reasoning 37(1-2): 21-43 (2006)
	2005
6		Josef Urban: XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. MKM 2005: 346-360
	2004
5		Grzegorz Bancerek, Josef Urban: Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. MKM 2004: 44-57
4		Josef Urban: MPTP - Motivation, Implementation, First Experiments. J. Autom. Reasoning 33(3-4): 319-339 (2004)
	2003
3		Josef Urban: Translating Mizar for First Order Theorem Provers. MKM 2003: 203-215
2		Josef Urban: MPTP 0.1: System Description. Electr. Notes Theor. Comput. Sci. 86(1): 147-152 (2003)
	2001
1		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. Wireless Communications and Mobile Computing 1(1): 55-75 (2001)

Coauthor Index

1	Jesse Alama	[18] [21] [23] [25] [26] [27] [32] [33] [37]
2	Grzegorz Bancerek	[5] [10]
3	Edgar Bolinth	[1]
4	Kasper Brink	[27] [33]
5	James H. Davenport (James Harold Davenport)	[34]
6	William M. Farmer	[34]
7	Herman Geuvers	[18] [21] [29] [30] [31]
8	Tom Heskes	[25] [29] [30] [31]
9	Krystof Hoder	[20]
10	Michael Kohlhase	[26] [32]
11	Daniel Kühlwein	[25] [30] [31] [37]
12	Christoph Lange	[35] [36]
13	Mika Liljeberg	[1]
14	Lionel Mamane	[23] [26] [27] [32] [33]
15	Adam Naumowicz	[26] [32]
16	Georg Neureiter	[1]
17	Petr Pudlák	[16]
18	Florian Rabe	[34]
19	Piotr Rudnicki	[18] [21] [24] [26] [32]
20	Stephan Schulz	[13]
21	David Stanovský	[19]
22	Petr Stepánek	[28]
23	Geoff Sutcliffe	[11] [13] [14] [16] [17] [22] [24]
24	Carst Tankink	[36]
25	Evgeni Tsivtsivadze	[25] [29] [30] [31]
26	Tomás Robles Valladares	[1]
27	Andrei Voronkov	[20]
28	Jirí Vyskocil	[16] [19] [28]
29	Dave Wisely	[1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page