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 |