Jeanne Ferrante

From MaRDI portal
Person:1244339

Available identifiers

zbMath Open ferrante.jeanneMaRDI QIDQ1244339

List of research outcomes





PublicationDate of PublicationType
Folklore confirmed2015-09-11Paper
Languages and Compilers for Parallel Computing2005-12-27Paper
https://portal.mardi4nfdi.de/entity/Q27830012002-07-02Paper
https://portal.mardi4nfdi.de/entity/Q27792932002-04-15Paper
COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*1997-11-25Paper
https://portal.mardi4nfdi.de/entity/Q48602321996-03-05Paper
The program dependence graph and its use in optimization1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33418651984-01-01Paper
The computational complexity of logical theories1979-01-01Paper
An efficient decision procedure for the theory of rational order1977-01-01Paper
A Decision Procedure for the First Order Theory of Real Addition with Order1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44019281974-01-01Paper

Research outcomes over time

This page was built for person: Jeanne Ferrante

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