Jeanne Ferrante

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!

Publication	Date of Publication	Type
Folklore confirmed Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Languages and Compilers for Parallel Computing Lecture Notes in Computer Science	2005-12-27	Paper
scientific article; zbMATH DE number 1729264 (Why is no real title available?)	2002-07-02	Paper
scientific article; zbMATH DE number 1728265 (Why is no real title available?)	2002-04-15	Paper
COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS* Parallel Algorithms and Applications	1997-11-25	Paper
scientific article; zbMATH DE number 833734 (Why is no real title available?)	1996-03-05	Paper
The program dependence graph and its use in optimization ACM Transactions on Programming Languages and Systems	1987-01-01	Paper
scientific article; zbMATH DE number 3876561 (Why is no real title available?)	1984-01-01	Paper
The computational complexity of logical theories Lecture Notes in Mathematics	1979-01-01	Paper
An efficient decision procedure for the theory of rational order Theoretical Computer Science	1977-01-01	Paper
A Decision Procedure for the First Order Theory of Real Addition with Order SIAM Journal on Computing	1975-01-01	Paper
scientific article; zbMATH DE number 3435465 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Jeanne Ferrante