Computer Laboratory - Matej Urbas

Publications

  • M. Urbas and M. Jamnik. Diabelli: A heterogeneous reasoning framework. In IJCAR 2012, LNCS. Springer, 2012.
  • M. Urbas, M. Jamnik, G. Stapleton and J. Flower. Speedith: a diagrammatic reasoner for spider diagrams. In Diagrams 2012, LNCS. Springer, 2012.
  • M. Urbas and M. Jamnik. Heterogeneous Proofs: Spider Diagrams meet Higher-Order Provers. In ITP 2011, LNCS. Springer, 2011.
  • M. Urbas and M. Jamnik. Heterogeneous Reasoning in Real Arithmetic. In Diagrams 2010, LNCS. Springer, 2010.
  • M. Urbas. Ensuring confidentiality of personal information in a distributed environment through secure identifiers. University Diploma Thesis. FERI, University of Maribor, Slovenia. 2009.
  • M. Kokol and M. Urbas. Pantheon™ PLASMA – ERP platform on mobile devices. In OTS 2007. FERI, University of Maribor, Slovenia. 2007.
  • M. Kokol, P. Kokol, M. Urbas, P. Kokol and S. Vesenjak. SVONAR: simulation of asynchronous educational processes. Druga gimnazija Maribor, Slovenia. 2002.