Matej Urbas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2010–2014
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DIAGRAMS | A Framework for Heterogeneous Reasoning in Formal and Informal Domains. | Matej Urbas, Mateja Jamnik |
| 2012 | CADE | Diabelli: A Heterogeneous Proof System. | Matej Urbas, Mateja Jamnik |
| 2012 | DIAGRAMS | Speedith: A Diagrammatic Reasoner for Spider Diagrams. | Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower |
| 2011 | ITP | Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers. | Matej Urbas, Mateja Jamnik |
| 2010 | DIAGRAMS | Heterogeneous Reasoning in Real Arithmetic. | Matej Urbas, Mateja Jamnik |