Hans Wolfgang Loidl

From MaRDI portal
Person:2463559

Available identifiers

zbMath Open loidl.hans-wolfgangMaRDI QIDQ2463559

List of research outcomes





PublicationDate of PublicationType
Reasoning About Resources in the Embedded Systems Language Hume2016-01-07Paper
Static determination of quantitative resource usage for higher-order programs2015-06-11Paper
Parallel and symbolic model checking for fixpoint logic with chop2013-09-25Paper
Improvements to a resource analysis for Hume2010-09-14Paper
Characterising effective resource analyses for parallel and distributed coordination2010-09-14Paper
Semi-explicit parallel programming in a purely functional style: GpH2009-03-09Paper
A program logic for resources2007-12-14Paper
Theorem Proving in Higher Order Logics2005-08-18Paper
Comparing parallel functional languages: Programming and performance2004-03-15Paper
https://portal.mardi4nfdi.de/entity/Q44339992003-11-03Paper
Parallel and Distributed Haskells2002-11-13Paper
https://portal.mardi4nfdi.de/entity/Q27633782002-01-15Paper
Algorithm + strategy = parallelism1999-05-18Paper

Research outcomes over time

This page was built for person: Hans Wolfgang Loidl

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