Barry K. Rosen

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

Chidanand Apté, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen: Decomposition of Heterogeneous Classification Problems. IDA 1997: 17-28

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: AVPGEN-A test generator for architecture verification. IEEE Trans. VLSI Syst. 3(2): 188-200 (1995)

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

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

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: Delay Test: The Next Frontier for LSSD Test Systems. ITC 1992: 578-587

Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck: How to Analyze Large Programs Efficiently and Informatively. PLDI 1992: 212-223

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

Vijay S. Iyengar, Barry K. Rosen, John A. Waicukauski: On computing the sizes of detected delay faults. IEEE Trans. on CAD of Integrated Circuits and Systems 9(3): 299-312 (1990)

Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck: Incremental Evaluation of Computational Circuits. SODA 1990: 32-42

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

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

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

Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck: Global Value Numbers and Redundant Computations. POPL 1988: 12-27

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

Zeev Barzilai, J. Lawrence Carter, Barry K. Rosen, Joe D. Rutledge: HSS--A High-Speed Simulator. IEEE Trans. on CAD of Integrated Circuits and Systems 6(4): 601-617 (1987)

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

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

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

Zeev Barzilai, Barry K. Rosen: Comparison of AC Self-Testing Procedures. ITC 1983: 89-94

Barry K. Rosen: Robust Linear Algorithms for Cutsets. J. Algorithms 3(3): 205-217 (1982)

Barry K. Rosen: A Lubricant for Data Flow Analysis. SIAM J. Comput. 11(3): 493-511 (1982)

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Transformations of Structures: an Algebraic Approach. Mathematical Systems Theory 14: 305-334 (1981)

L. Howard Holley, Barry K. Rosen: Qualified Data Flow Problems. IEEE Trans. Software Eng. 7(1): 60-78 (1981)

Barry K. Rosen: Linear Cost is Sometimes Quadratic. POPL 1981: 117-124

Barry K. Rosen: Monoids for Rapid Data Flow Analysis. SIAM J. Comput. 9(1): 159-196 (1980)

Hartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. SIAM J. Comput. 9(3): 441-469 (1980)

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

L. Howard Holley, Barry K. Rosen: Qualified Data Flow Problems. POPL 1980: 68-82

Barry K. Rosen: Data Flow Analysis for Procedural Languages. J. ACM 26(2): 322-344 (1979)

Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen (Eds.): Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979. ACM Press 1979

Barry K. Rosen: The Toy Language Syndrome. IEEE Trans. Software Eng. 4(1): 76-77 (1978)

Hartmut Ehrig, Barry K. Rosen: Decomposition of Graph Grammar Productions and Derivations. Graph-Grammars and Their Application to Computer Science and Biology 1978: 192-205

Hartmut Ehrig, Barry K. Rosen: Concurrency of Manipulations in Multidimensional Information Structures. MFCS 1978: 165-176

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

Barry K. Rosen: Monoids for Rapid Data Flow Analysis. POPL 1978: 47-59

Barry K. Rosen: High-Level Data Flow Analysis. Commun. ACM 20(10): 712-724 (1977)

Hartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. ICALP 1977: 206-220

Barry K. Rosen: Applications of High-Level Control Flow. POPL 1977: 38-47

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

Barry K. Rosen: Program Equivalence and Context-Free Grammars. J. Comput. Syst. Sci. 11(3): 358-374 (1975)

George Markowsky, Barry K. Rosen: Bases for Chain-Complete Posets. FOCS 1975: 34-47

Barry K. Rosen: Deriving Graphs from Graphs by Applying a Production. Acta Inf. 4: 337-357 (1974)

Barry K. Rosen: Syntactic Complexity. Information and Control 24(4): 305-335 (1974)

Barry K. Rosen: Tree-Manipulating Systems and Church-Rosser Theorems. J. ACM 20(1): 160-187 (1973)

Clayton H. Lewis, Barry K. Rosen: Recursively Defined Data Types. POPL 1973: 125-138

Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong: Procedure Linkage Optimization. POPL 1973: 183-193

Barry K. Rosen: Program Equivalence and Context-Free Grammars. SWAT (FOCS) 1972: 7-18

Barry K. Rosen: Tree-Manipulating Systems and Church-Rosser Theorems. STOC 1970: 117-127