Matej Urbas

According to our database, Matej Urbas authored at least 8 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Speedith: A Reasoner for Spider Diagrams.

Matej Urbas, Mateja Jamnik, Gem Stapleton

J. Log. Lang. Inf., 2015

2014

Mechanising heterogeneous reasoning in theorem provers.

Matej Urbas

PhD thesis, 2014

A Framework for Heterogeneous Reasoning in Formal and Informal Domains.

Matej Urbas, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Designing inference rules for spider diagrams.

Gem Stapleton, Mateja Jamnik, Matej Urbas

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

2012

Speedith: A Diagrammatic Reasoner for Spider Diagrams.

Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower

Proceedings of the Diagrammatic Representation and Inference, 2012

Diabelli: A Heterogeneous Proof System.

Matej Urbas, Mateja Jamnik

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers.

Matej Urbas, Mateja Jamnik

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Heterogeneous Reasoning in Real Arithmetic.

Matej Urbas, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010