A Completeness Technique for D-Axiomatizable Semantics - Francine Berman (STOC, 1979)

Nonstandard model in propositional dynamic logic. - Francine Berman (Logic of Programs, 1980)

Propositional Dynamic Logic is Weaker without Tests. - Francine Berman; Mike Paterson (Theor. Comput. Sci., 1981)

Semantics of Looping Programs in Propositional Dynamic Logic. - Francine Berman (Math. Syst. Theory, 1982)

Prep-P: A Mapping Preprocessor for CHiP Architectures. - Francine Berman; Michael A. Goodrich; Charles Koelbel; W. J. Robison III; Karen Showell (ICPP, 1985)

Collections of Functions for Perfect Hashing. - Francine Berman; Mary Ellen Bock; Eric Dittert; Michael J. O'Donnell; Darrell Plank (SIAM J. Comput., 1986)

Removing Useless Tokens from a Dataflow Computation. - Mark Anderson; Francine Berman (ICPP, 1987)

Mapping with External I/O : A Case Study. - Daniel Rose; Francine Berman (ICPP, 1987)

On Mapping Parallel Algorithms into Parallel Architectures. - Francine Berman; Lawrence Snyder 001 (J. Parallel Distributed Comput., 1987)

Communication-Sensitive Heuristics and Algorithms for Mapping Compilers. - Bernd Stramm; Francine Berman (PPOPP/PPEALS, 1988)

Architectural Support for the Efficient Data-Driven Evaluation Scheme. - Harrick M. Vin; Francine Berman (SPAA, 1990)

Generalized Planar Matching. - Francine Berman; David S. Johnson 001; Frank Thomson Leighton; Peter W. Shor; Larry Snyder (J. Algorithms, 1990)

Efficient Data-Driven Evaluation: Theory and Implementation. - Harrick M. Vin; Francine Berman; James S. Mattson Jr. (J. Parallel Distributed Comput., 1990)

CRA status of women column. - Francine Berman (SIGACT News, 1992)

Panorama: A Portable, Extensible Parallel Debugger. - John May; Francine Berman (Workshop on Parallel and Distributed Debugging, 1993)

The heterogeneous computing challenge (Mini symposium). - Francine Berman; Tom Kitchens (SC, 1993)

Assessing partitioning/ scheduling/storage trade-offs for regular iterative algorithms. - Mark Anderson; Francine Berman (Integr., 1993)

Representing graph families with edge grammars. - Francine Berman; Gregory E. Shannon (Inf. Sci., 1993)

Performance of the Efficient Data-Driven Evaluation Scheme. - David S. Johnson 001; Francine Berman (J. Parallel Distributed Comput., 1993)

Designing a Parallel Debugger for Portability. - John May; Francine Berman (IPPS, 1994)

Program Speedup in a Heterogeneous Computing Network. - Val Donaldson; Francine Berman; Ramamohan Paturi (J. Parallel Distributed Comput., 1994)

Scheduling from the Perspective of the Application. - Francine Berman; Richard Wolski (HPDC, 1996)

Modeling the Effects of Contention on the Performance of Heterogeneous Applications. - Silvia M. Figueira; Francine Berman (HPDC, 1996)

Application-Level Scheduling on Distributed Heterogeneous Networks. - Fran Berman; Richard Wolski; Silvia M. Figueira; Jennifer M. Schopf; Gary Shao (SC, 1996)

Debugging heterogeneous applications with Pangaea. - Leesa Hicks; Francine Berman (SPDT, 1996)

Retargetability and Extensibility in a Parallel Debugger. - John May; Francine Berman (J. Parallel Distributed Comput., 1996)

Predicting Slowdown for Networked Workstations. - Silvia M. Figueira; Francine Berman (HPDC, 1997)

Modeling the Cost of Redistribution in Scheduling. - Gary Shao; Richard Wolski; Francine Berman (PP, 1997)

Modeling the Slowdown of Data-Parallel Applications in Homogeneous and Heterogeneous Clusters of Workstations. - Silvia M. Figueira; Francine Berman (Heterogeneous Computing Workshop, 1998)

Performance Prediction in Production Environments. - Jennifer M. Schopf; Francine Berman (IPPS/SPDP, 1998)

Using Stochastic Intervals to Predict Application Behavior on Contended Resources. - Jennifer M. Schopf; Francine Berman (ISPAN, 1999)

Using Effective Network Views to Promote Distributed Application Performance. - Gary Shao; Francine Berman; Richard Wolski (PDPTA, 1999)

Adaptive Performance Prediction for Distributed Data-Intensive Applications. - Marcio Faerman; Alan Su 001; Richard Wolski; Francine Berman (SC, 1999)

Stochastic Scheduling. - Jennifer M. Schopf; Francine Berman (SC, 1999)

Logistical quality of service in NetSolve. - Micah Beck; Henri Casanova; Jack J. Dongarra; Terry Moore; James S. Plank; Francine Berman; Richard Wolski (Comput. Commun., 1999)

Using Apples to Schedule Simple SARA on the Computational Grid. - Alan Su 001; Francine Berman; Richard Wolski; Michelle Mills Strout (Int. J. High Perform. Comput. Appl., 1999)

Heuristics for Scheduling Parameter Sweep Applications in Grid Environments. - Henri Casanova; Arnaud Legrand; Dmitrii Zagorodnov; Francine Berman (Heterogeneous Computing Workshop, 2000)

Application-Aware Scheduling of a Magnetohydrodynamics Application in the Legion Metasystem. - Holly Dail; Graziano Obertelli; Francine Berman; Richard Wolski; Andrew S. Grimshaw (Heterogeneous Computing Workshop, 2000)

Master/Slave Computing on the Grid. - Gary Shao; Francine Berman; Richard Wolski (Heterogeneous Computing Workshop, 2000)

Combining Workstations and Supercomputers to Support Grid Applications: The Parallel Tomography Experience. - Shava Smallen; Walfredo Cirne; Jaime Frey; Francine Berman; Richard Wolski; Mei-Hui Su; Carl Kesselman; Stephen J. Young; Mark H. Ellisman (Heterogeneous Computing Workshop, 2000)

Adaptive Selection of Partition Size for Supercomputer Requests. - Walfredo Cirne; Francine Berman (JSSPP, 2000)

The AppLeS Parameter Sweep Template: User-Level Middleware for the Grid. - Henri Casanova; Graziano Obertelli; Francine Berman; Richard Wolski (SC, 2000)

A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid. - Atsuko Takefusa; Satoshi Matsuoka; Henri Casanova; Francine Berman (HPDC, 2001)

Logistical Computing and Internetworking: Middleware for the Use of Storage in Communication. - Micah Beck; Dorian C. Arnold; Alessandro Bassi; Jack J. Dongarra; Terry Moore; James S. Plank; D. Martin Swany; Sathish S. Vadhiyar; Richard Wolski; Francine Berman; Henri Casanova; Graziano Obertelli (Active Middleware Services, 2001)

A Model for Moldable Supercomputer Jobs. - Walfredo Cirne; Francine Berman (IPDPS, 2001)

From TeraGrid to Knowledge Grid. - Francine Berman (Commun. ACM, 2001)

Using Stochastic Information to Predict Application Behavior on Contended Resources. - Jennifer M. Schopf; Francine Berman (Int. J. Found. Comput. Sci., 2001)

The GrADS Project: Software Support for High-Level Grid Application Development. - Francine Berman; Andrew A. Chien; Keith D. Cooper; Jack J. Dongarra; Ian T. Foster; Dennis Gannon; S. Lennart Johnsson; Ken Kennedy; Carl Kesselman; John M. Mellor-Crummey; Daniel A. Reed; Linda Torczon; et al. (Int. J. High Perform. Comput. Appl., 2001)

Distributing MCell Simulations on the Grid. - Henri Casanova; Thomas M. Bartol; Joel R. Stiles; Francine Berman (Int. J. High Perform. Comput. Appl., 2001)

A Slowdown Model for Applications Executing on Time-Shared Clusters of Workstations. - Silvia M. Figueira; Francine Berman (IEEE Trans. Parallel Distributed Syst., 2001)

Resource Allocation for Steerable Parallel Parameter Searches. - Marcio Faerman; Adam Birnbaum; Henri Casanova; Francine Berman (GRID, 2002)

Toward a Framework for Preparing and Executing Adaptive Grid Programs. - Ken Kennedy; Mark Mazina; John M. Mellor-Crummey; Keith D. Cooper; Linda Torczon; Francine Berman; Andrew A. Chien; Holly Dail; Otto Sievert; Dave Angulo; Ian T. Foster; Ruth A. Aydt; et al. (IPDPS, 2002)

Models and Scheduling Mechanisms for Global Computing Applications. - Derrick Kondo; Henri Casanova; Eric Wing; Francine Berman (IPDPS, 2002)

A decoupled scheduling approach for the GrADS program development environment. - Holly Dail; Henri Casanova; Francine Berman (SC, 2002)

Using Moldability to Improve the Performance of Supercomputer Jobs. - Walfredo Cirne; Francine Berman (J. Parallel Distributed Comput., 2002)

Middleware for the use of storage in communication. - Micah Beck; Dorian C. Arnold; Alessandro Bassi; Francine Berman; Henri Casanova; Jack J. Dongarra; Terry Moore; Graziano Obertelli; James S. Plank; D. Martin Swany; Sathish S. Vadhiyar; Richard Wolski (Parallel Comput., 2002)

Applying scheduling and tuning to on-line parallel tomography. - Shava Smallen; Henri Casanova; Francine Berman (Sci. Program., 2002)

Performance Modeling for Entity-Level Simulations. - Alan Su 001; Francine Berman; Henri Casanova (IPDPS, 2003)

Resource Allocation Strategies for Guided Parameter Space Searches. - Marcio Faerman; Adam Birnbaum; Francine Berman; Henri Casanova (Int. J. High Perform. Comput. Appl., 2003)

A decoupled scheduling approach for Grid application development environments. - Holly Dail; Francine Berman; Henri Casanova (J. Parallel Distributed Comput., 2003)

Adaptive Computing on the Grid Using AppLeS. - Francine Berman; Richard Wolski; Henri Casanova; Walfredo Cirne; Holly Dail; Marcio Faerman; Silvia M. Figueira; Jim Hayes; Graziano Obertelli; Jennifer M. Schopf; Gary Shao; Shava Smallen; et al. (IEEE Trans. Parallel Distributed Syst., 2003)

When the Herd Is Smart: Aggregate Behavior in the Selection of Job Request. - Walfredo Cirne; Francine Berman (IEEE Trans. Parallel Distributed Syst., 2003)

The Scientific Imperative. - Fran Berman; Tony Hey (The Grid 2, 2nd Edition, 2004)

On The Feasibility of Running Entity-Level Simulations on Grid Platforms. - Alan Su 001; Francine Berman; Henri Casanova (GRID, 2004)

The Virtual Instrument: Support for Grid-Enabled Mcell Simulations. - Henri Casanova; Francine Berman; Thomas M. Bartol; Erhan Gokcay; Terrence J. Sejnowski; Adam Birnbaum; Jack J. Dongarra; Michelle Miller 003; Mark H. Ellisman; Marcio Faerman; Graziano Obertelli; Richard Wolski; et al. (Int. J. High Perform. Comput. Appl., 2004)

The Encyclopedia of Life Project: Grid Software and Deployment. - Wilfred W. Li; Robert W. Byrnes; Jim Hayes; Adam Birnbaum; Vicente M. Reyes; Atif Shahab; Coleman Mosley; Dmitry Pekurovsky; Greg B. Quinn; Ilya N. Shindyalov; Henri Casanova; Larry Ang; et al. (New Gener. Comput., 2004)

Digital Preservation Lifecycle Management for Multi-media Collections. - Arcot Rajasekar; Reagan W. Moore; Fran Berman; Brian Schottlaender (ICADL, 2005)

New Grid Scheduling and Rescheduling Methods in the GrADS Project. - Francine Berman; Henri Casanova; Andrew A. Chien; Keith D. Cooper; Holly Dail; Anshuman Dasgupta; W. Deng; Jack J. Dongarra; S. Lennart Johnsson; Ken Kennedy; Charles Koelbel; Bo Liu; et al. (Int. J. Parallel Program., 2005)

One hundred years of data. - Fran Berman (DG.O, 2006)

Building a demonstration prototype for the preservation of large-scale multimedia collections. - Arcot Rajasekar; Richard Marciano; Reagan W. Moore; Chien-Yi Hou; Francine Berman; Lynn Burstan; Steve Anderson; Mellisa McEwen; Bee Bornheimer; Harry Kreisler; Brian Schottlaender; Luc DeClerck; et al. (DG.O, 2006)

TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications. - Charlie Catlett; William E. Allcock; Phil Andrews; Ruth A. Aydt; Ray Bair; Natasha Balac; Bryan Banister; Trish Barker; Mark Bartelt; Peter H. Beckman; Francine Berman; Gary R. Bertoline; et al. (High Performance Computing Workshop, 2006)

Long term storage - 100 years of digital data. - Francine Berman; Robert Chadduck; William G. LeFurgy; Daniel E. Atkins; Tony Hey (SC, 2006)

Pathway to petascale - The pathway to petascale science. - Thom H. Dunning; Francine Berman; John R. Boisseau (SC, 2006)

Got data?: a guide to data preservation in the information age. - Francine Berman (Commun. ACM, 2008)

Kennedy award: Laying the groundwork for success in the information age. - Francine Berman (SC, 2009)

We need a research data census. - Francine Berman (Commun. ACM, 2010)

Building Global Infrastructure for Data Sharing and Exchange Through the Research Data Alliance. - Fran Berman; Ross Wilkinson; John Wood (D Lib Mag., 2014)

Will Today's Data Be Here Tomorrow? Measuring The Stewardship Gap. - Jeremy York; Francine Berman; Myron P. Gutmann (iPRES, 2016)

Social and ethical behavior in the internet of things. - Francine Berman; Vinton G. Cerf (Commun. ACM, 2017)

Realizing the potential of data science. - Francine Berman; Rob A. Rutenbar; Brent Hailpern; Henrik I. Christensen; Susan B. Davidson; Deborah Estrin; Michael J. Franklin; Margaret Martonosi; Padma Raghavan; Victoria Stodden; Alexander S. Szalay (Commun. ACM, 2018)

What Do We Know about the Stewardship Gap. - Jeremy York; Myron P. Gutmann; Francine Berman (Data Sci. J., 2018)

The impact universe - a framework for prioritizing the public interest in the Internet of Things. - Francine Berman; Emilia Cabrera; Ali Jebari; Wassim Marrakchi (Patterns, 2022)