Barry K. Rosen

1998
48	EE	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)
1997
47	EE	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
1995
46	EE	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)
1994
45		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
1992
44		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
43		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
42		Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck: How to Analyze Large Programs Efficiently and Informatively. PLDI 1992: 212-223
1991
41	EE	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)
1990
40		Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck: Incremental Evaluation of Computational Circuits. SODA 1990: 32-42
39	EE	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)
1989
38		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
1988
37		Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger: Delay Test Generation 1: Concepts and Coverage Metrics. ITC 1988: 857-866
36		Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger: Delay Test Generation 2: Algebra and Algorithms. ITC 1988: 867-876
35		Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck: Global Value Numbers and Redundant Computations. POPL 1988: 12-27
34		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
1987
33	EE	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)
1986
32		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
31		John A. Waicukauski, Eric Lindbloom, Vijay S. Iyengar, Barry K. Rosen: Transition Fault Simulation by Parallel Pattern Single Fault Propagation. ITC 1986: 542-551
1985
30		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
1983
29		Zeev Barzilai, Barry K. Rosen: Comparison of AC Self-Testing Procedures. ITC 1983: 89-94
1982
28		Barry K. Rosen: Robust Linear Algorithms for Cutsets. J. Algorithms 3(3): 205-217 (1982)
27		Barry K. Rosen: A Lubricant for Data Flow Analysis. SIAM J. Comput. 11(3): 493-511 (1982)
1981
26		Barry K. Rosen: Linear Cost is Sometimes Quadratic. POPL 1981: 117-124
25		L. Howard Holley, Barry K. Rosen: Qualified Data Flow Problems. IEEE Trans. Software Eng. 7(1): 60-78 (1981)
24		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)
1980
23		L. Howard Holley, Barry K. Rosen: Qualified Data Flow Problems. POPL 1980: 68-82
22		Barry K. Rosen: Monoids for Rapid Data Flow Analysis. SIAM J. Comput. 9(1): 159-196 (1980)
21		Hartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. SIAM J. Comput. 9(3): 441-469 (1980)
20		Hartmut Ehrig, Barry K. Rosen: Parallelism and Concurrency of Graph Manipulations. Theor. Comput. Sci. 11: 247-275 (1980)
1979
19	EE	Barry K. Rosen: Data Flow Analysis for Procedural Languages. J. ACM 26(2): 322-344 (1979)
1978
18		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
17		Hartmut Ehrig, Barry K. Rosen: Concurrency of Manipulations in Multidimensional Information Structures. MFCS 1978: 165-176
16		Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Deriving Structures from Structures. MFCS 1978: 177-190
15		Barry K. Rosen: Monoids for Rapid Data Flow Analysis. POPL 1978: 47-59
14		Barry K. Rosen: The Toy Language Syndrome. IEEE Trans. Software Eng. 4(1): 76-77 (1978)
1977
13		Hartmut Ehrig, Barry K. Rosen: The Mathematics of Record Handling. ICALP 1977: 206-220
12		Barry K. Rosen: Applications of High-Level Control Flow. POPL 1977: 38-47
11		Barry K. Rosen: High-Level Data Flow Analysis. Commun. ACM 20(10): 712-724 (1977)
1976
10		Barry K. Rosen: Correctness of Parallel Programs: The Church-Rosser Approach. Theor. Comput. Sci. 2(2): 183-207 (1976)
1975
9		George Markowsky, Barry K. Rosen: Bases for Chain-Complete Posets FOCS 1975: 34-47
8		Barry K. Rosen: Program Equivalence and Context-Free Grammars. J. Comput. Syst. Sci. 11(3): 358-374 (1975)
1974
7		Barry K. Rosen: Deriving Graphs from Graphs by Applying a Production Acta Inf. 4: 337-357 (1974)
6		Barry K. Rosen: Syntactic Complexity Information and Control 24(4): 305-335 (1974)
1973
5		Clayton H. Lewis, Barry K. Rosen: Recursively Defined Data Types. POPL 1973: 125-138
4		Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong: Procedure Linkage Optimization. POPL 1973: 183-193
3	EE	Barry K. Rosen: Tree-Manipulating Systems and Church-Rosser Theorems. J. ACM 20(1): 160-187 (1973)
1972
2		Barry K. Rosen: Program Equivalence and Context-Free Grammars FOCS 1972: 7-18
1970
1		Barry K. Rosen: Tree-Manipulating Systems and Church-Rosser Theorems STOC 1970: 117-127

Coauthor Index

1	Yaron Aizenbud	[44]
2	Bowen Alpern	[34] [40]
3	Chidanand Apté	[47] [48]
4	R. Armoni	[46]
5	J. Barlow	[43]
6	Zeev Barzilai	[29] [30] [32] [33]
7	Alan Carle	[34]
8	J. Lawrence Carter	[32] [33]
9	Ashok K. Chandra	[45] [46]
10	Paul Chang	[43] [44]
11	Ron Cytron (Ron K. Cytron)	[38] [41]
12	Dhananjay M. Dhamdhere	[42]
13	Hartmut Ehrig	[13] [16] [17] [18] [20] [21] [24]
14	Jeanne Ferrante	[38] [41]
15	R. Gabrielson	[43]
16	Daniel Geist	[46]
17	C. Goertz	[43]
18	L. Howard Holley	[23] [25]
19	Se June Hong	[47] [48]
20	Roger Hoover	[40]
21	Jonathan R. M. Hosking	[47] [48]
22	Vijay S. Iyengar	[30] [31] [32] [36] [37] [39] [43] [44] [45] [46]
23	D. Jameson	[46]
24	R. V. Jawalekar	[45] [46]
25	Brion L. Keller	[43]
26	Bernd Könemann	[43] [44]
27	Hans-Jörg Kreowski	[16] [24]
28	Moshe Leibowitz	[44]
29	Jorge Lepre	[47] [48]
30	Clayton H. Lewis	[5]
31	Eric Lindbloom	[31]
32	Andrea Maggiolo-Schettini	[4] [16] [24]
33	George Markowsky	[9]
34	Kevin McCauley	[43]
35	Michael P. Mullen	[45] [46]
36	Indira Nair	[32] [45] [46]
37	Edwin P. D. Pednault	[47] [48]
38	Joe D. Rutledge	[32] [33]
39	Gabriel M. Silberman	[30] [32]
40	Dave Smith	[44]
41	Ilan Y. Spillinger	[36] [37]
42	H. Raymond Strong	[4]
43	Peter F. Sweeney	[34] [40]
44	J. Tischer	[43]
45	John A. Waicukauski	[31] [39]
46	Mark N. Wegman	[35] [38] [41]
47	T. Williams	[43]
48	Józef Winkowski	[16] [24]
49	Yaron Wolfsthal (Yaron Wolfstahl)	[46]
50	J. Yoon	[46]
51	F. Kenneth Zadeck	[34] [35] [38] [40] [41] [42]

Colors in the list of coauthors