M. Griebl

From MaRDI portal
Person:1978396



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Quantifier elimination in automatic loop parallelization
Journal of Symbolic Computation
2007-10-23Paper
scientific article; zbMATH DE number 2090591 (Why is no real title available?)2004-08-12Paper
scientific article; zbMATH DE number 1940317 (Why is no real title available?)2003-06-26Paper
scientific article; zbMATH DE number 1863274 (Why is no real title available?)2003-02-04Paper
Termination detection in parallel loop nests with while loops
Parallel Computing
2000-06-04Paper
scientific article; zbMATH DE number 1023675 (Why is no real title available?)1997-06-17Paper


Research outcomes over time


This page was built for person: M. Griebl