Subtree replacement systems. - Barry K. Rosen (1971)

Recursively Defined Data Types. - Clayton H. Lewis; Barry K. Rosen (POPL, 1973)

Procedure Linkage Optimization. - Andrea Maggiolo-Schettini; Barry K. Rosen; H. Raymond Strong (POPL, 1973)

Tree-Manipulating Systems and Church-Rosser Theorems. - Barry K. Rosen (J. ACM, 1973)

Deriving Graphs from Graphs by Applying a Production. - Barry K. Rosen (Acta Informatica, 1974)

Note on semantics and optimization. - Barry K. Rosen (ACM SIGPLAN Notices, 1974)

Syntactic Complexity - Barry K. Rosen (Inf. Control., 1974)

Bases for Chain-Complete Posets - George Markowsky; Barry K. Rosen (FOCS, 1975)

Program Equivalence and Context-Free Grammars. - Barry K. Rosen (J. Comput. Syst. Sci., 1975)

A Church-Rosser theorem for graph grammars. - Barry K. Rosen (SIGACT News, 1975)

Correctness of Parallel Programs: The Church-Rosser Approach. - Barry K. Rosen (Theor. Comput. Sci., 1976)

Applications of High-Level Control Flow. - Barry K. Rosen (POPL, 1977)

High-Level Data Flow Analysis. - Barry K. Rosen (Commun. ACM, 1977)

Arcs in graphs are NOT pairs of nodes. - Barry K. Rosen (SIGACT News, 1977)

Decomposition of Graph Grammar Productions and Derivations. - Hartmut Ehrig; Barry K. Rosen (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Deriving Structures from Structures. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (MFCS, 1978)

Concurrency of Manipulations in Multidimensional Information Structures. - Hartmut Ehrig; Barry K. Rosen (MFCS, 1978)

The Toy Language Syndrome. - Barry K. Rosen (IEEE Trans. Software Eng., 1978)

Data Flow Analysis for Procedural Languages. - Barry K. Rosen (J. ACM, 1979)

Stickiness and liveness. - Barry K. Rosen (ACM SIGPLAN Notices, 1979)

The Mathematics of Record Handling. - Hartmut Ehrig; Barry K. Rosen (SIAM J. Comput., 1980)

Monoids for Rapid Data Flow Analysis. - Barry K. Rosen (SIAM J. Comput., 1980)

How practical is POPL? - Barry K. Rosen (ACM SIGPLAN Notices, 1980)

Parallelism and Concurrency of Graph Manipulations. - Hartmut Ehrig; Barry K. Rosen (Theor. Comput. Sci., 1980)

Linear Cost is Sometimes Quadratic. - Barry K. Rosen (POPL, 1981)

Transformations of Structures: an Algebraic Approach. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (Math. Syst. Theory, 1981)

Qualified Data Flow Problems. - L. Howard Holley; Barry K. Rosen (IEEE Trans. Software Eng., 1981)

Robust Linear Algorithms for Cutsets. - Barry K. Rosen (J. Algorithms, 1982)

A Lubricant for Data Flow Analysis. - Barry K. Rosen (SIAM J. Comput., 1982)

Comparison of AC Self-Testing Procedures. - Zeev Barzilai; Barry K. Rosen (ITC, 1983)

Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits. - Zeev Barzilai; Vijay S. Iyengar; Barry K. Rosen; Gabriel M. Silberman (ITC, 1985)

Efficient Fault Simulation of CMOS Circuits with Accurate Models. - Zeev Barzilai; J. Lawrence Carter; Vijay S. Iyengar; Indira Nair; Barry K. Rosen; Joe D. Rutledge; Gabriel M. Silberman (ITC, 1986)

Transition Fault Simulation by Parallel Pattern Single Fault Propagation. - John A. Waicukauski; Eric Lindbloom; Vijay S. Iyengar; Barry K. Rosen (ITC, 1986)

Transition Fault Simulation. - John A. Waicukauski; Eric Lindbloom; Barry K. Rosen; Vijay S. Iyengar (IEEE Des. Test, 1987)

HSS–A High-Speed Simulator. - Zeev Barzilai; J. Lawrence Carter; Barry K. Rosen; Joe D. Rutledge (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Delay Test Generation 1: Concepts and Coverage Metrics. - Vijay S. Iyengar; Barry K. Rosen; Ilan Y. Spillinger (ITC, 1988)

Delay Test Generation 2: Algebra and Algorithms. - Vijay S. Iyengar; Barry K. Rosen; Ilan Y. Spillinger (ITC, 1988)

Global Value Numbers and Redundant Computations. - Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1988)

Graph Attribution as a Specification Paradigm. - Bowen Alpern; Alan Carle; Barry K. Rosen; Peter F. Sweeney; F. Kenneth Zadeck (Software Development Environments (SDE), 1988)

Restricted symbolic evaluation is fast and useful. - J. Lawrence Carter; Barry K. Rosen; Gordon L. Smith; Vijay Pitchumani (ICCAD, 1989)

An Efficient Method of Computing Static Single Assignment Form. - Ron Cytron; Jeanne Ferrante; Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1989)

Incremental Evaluation of Computational Circuits. - Bowen Alpern; Roger Hoover; Barry K. Rosen; Peter F. Sweeney; F. Kenneth Zadeck (SODA, 1990)

On computing the sizes of detected delay faults. - Vijay S. Iyengar; Barry K. Rosen; John A. Waicukauski (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. - Ron Cytron; Jeanne Ferrante; Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (ACM Trans. Program. Lang. Syst., 1991)

AC Test Quality: Beyond Transition Fault Coverage. - Yaron Aizenbud; Paul Chang; Moshe Leibowitz; Dave Smith; Bernd Könemann; Vijay S. Iyengar; Barry K. Rosen (ITC, 1992)

Delay Test: The Next Frontier for LSSD Test Systems. - Bernd Könemann; J. Barlow; Paul Chang; R. Gabrielson; C. Goertz; Brion L. Keller; Kevin McCauley; J. Tischer; Vijay S. Iyengar; Barry K. Rosen; T. Williams (ITC, 1992)

How to Analyze Large Programs Efficiently and Informatively. - Dhananjay M. Dhamdhere; Barry K. Rosen; F. Kenneth Zadeck (PLDI, 1992)

Architectural Verification of Processors Using Symbolic Instruction Graphs. - Ashok K. Chandra; Vijay S. Iyengar; R. V. Jawalekar; Michael P. Mullen; Indira Nair; Barry K. Rosen (ICCD, 1994)

AVPGEN-A test generator for architecture verification. - Ashok K. Chandra; Vijay S. Iyengar; D. Jameson; R. V. Jawalekar; Indira Nair; Barry K. Rosen; Michael P. Mullen; J. Yoon; R. Armoni; Daniel Geist; Yaron Wolfsthal (IEEE Trans. Very Large Scale Integr. Syst., 1995)

Decomposition of Heterogeneous Classification Problems. - Chidanand Apté; Se June Hong; Jonathan R. M. Hosking; Jorge Lepre; Edwin P. D. Pednault; Barry K. Rosen (Intell. Data Anal., 1998)

Probabilistic estimation-based data mining for discovering insurance risks. - Chidanand Apté; Edna Grossman; Edwin P. D. Pednault; Barry K. Rosen; Fateh Tipu; Brian F. White (IEEE Intell. Syst., 1999)