Victor M. Gulias

From MaRDI portal
Person:1012150

Available identifiers

zbMath Open gulias.victor-mMaRDI QIDQ1012150

List of research outcomes





PublicationDate of PublicationType
Certifying properties of an efficient functional program for computing Gröbner bases2009-04-14Paper
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server2009-01-27Paper
Computer Aided Systems Theory – EUROCAST 20052006-11-01Paper
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming2005-11-21Paper
https://portal.mardi4nfdi.de/entity/Q44339872003-11-03Paper
https://portal.mardi4nfdi.de/entity/Q44151232003-07-28Paper

Research outcomes over time

This page was built for person: Victor M. Gulias

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1012150&oldid=5820215"
Powered by MediaWiki