Josef Urban
Orcid: 0000-0002-1384-1613
According to our database1,
Josef Urban
authored at least 155 papers
between 2000 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
2025
0
5
10
15
20
1
1
1
3
3
3
3
5
7
6
2
2
1
1
1
3
1
1
4
7
3
6
9
4
7
9
6
12
5
9
6
9
4
2
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
J. Symb. Comput., 2025
2024
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the Logics and Type Systems in Theory and Practice, 2024
2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
PREVIEW VERSION: Six Insights into 6G: Orientation and Input for Developing Your Strategic 6G Research Plan.
CoRR, 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
2020
The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq.
CoRR, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Exploration of neural machine translation in autoformalization of mathematics in Mizar.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
CoRR, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Proceedings of the GCAI 2017, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving.
CoRR, 2016
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
2015
J. Autom. Reason., 2015
J. Autom. Reason., 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry.
Proceedings of the IWIL@LPAR 2015, 2015
Proceedings of the IWIL@LPAR 2015, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Global Conference on Artificial Intelligence, 2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
2014
J. Autom. Reason., 2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014
Proceedings of the Semantic Web Collaborative Spaces, 2014
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014
2013
J. Autom. Reason., 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
Proceedings of the Automated Reasoning and Mathematics, 2013
2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
Initial Experiments with External Provers and Premise Selection on HOL Light Corpora.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Proceedings of the Eleventh SIAM International Conference on Data Mining, 2011
Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011
Multi-output Ranking for Automated Reasoning.
Proceedings of the KDIR 2011, 2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Mathematical Software, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2008
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.
Math. Comput. Sci., 2008
Proceedings of the LPAR 2008 Workshops, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Proceedings of the Logic for Programming, 2007
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007
2006
MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics.
J. Appl. Log., 2006
Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics.
Int. J. Artif. Intell. Tools, 2006
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
2004
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004
2003
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003
2001
Wirel. Commun. Mob. Comput., 2001
2000
Broadband Radio Access for IP-based networks (BRAIN)-a key enabler for mobile Internet access.
Proceedings of the 11th IEEE International Symposium on Personal, 2000