Barry K. Rosen

58 papers A* 14A 9B 3C 1Journal 27Unranked 3

Year	Rank	Type	Title / Venue / Authors
1999	J	`jnl`	Probabilistic estimation-based data mining for discovering insurance risks. IEEE Intell. Syst. Chidanand Apté, Edna Grossman, Edwin P. D. Pednault, Barry K. Rosen, Fateh Tipu, Brian F. White
1998	J	`jnl`	Decomposition of Heterogeneous Classification Problems. Intell. Data Anal. Chidanand Apté, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen
1997	B	`conf`	Decomposition of Heterogeneous Classification Problems. IDA Chidanand Apté, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen
1995	J	`jnl`	AVPGEN-A test generator for architecture verification. IEEE Trans. Very Large Scale Integr. Syst. 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
1994	C	`conf`	Architectural Verification of Processors Using Symbolic Instruction Graphs. ICCD Ashok K. Chandra, Vijay S. Iyengar, R. V. Jawalekar, Michael P. Mullen, Indira Nair, Barry K. Rosen
1992	A	`conf`	AC Test Quality: Beyond Transition Fault Coverage. ITC Yaron Aizenbud, Paul Chang, Moshe Leibowitz, Dave Smith, Bernd Könemann, Vijay S. Iyengar, Barry K. Rosen
1992	A	`conf`	Delay Test: The Next Frontier for LSSD Test Systems. ITC 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
1992	A*	`conf`	How to Analyze Large Programs Efficiently and Informatively. PLDI Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck
1991	J	`jnl`	Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Trans. Program. Lang. Syst. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1990	A*	`conf`	Incremental Evaluation of Computational Circuits. SODA Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
1990	J	`jnl`	On computing the sizes of detected delay faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Vijay S. Iyengar, Barry K. Rosen, John A. Waicukauski
1989	A*	`conf`	An Efficient Method of Computing Static Single Assignment Form. POPL Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1989	A	`conf`	Restricted symbolic evaluation is fast and useful. ICCAD J. Lawrence Carter, Barry K. Rosen, Gordon L. Smith, Vijay Pitchumani
1988	A	`conf`	Delay Test Generation 1: Concepts and Coverage Metrics. ITC Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger
1988	A	`conf`	Delay Test Generation 2: Algebra and Algorithms. ITC Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger
1988	A*	`conf`	Global Value Numbers and Redundant Computations. POPL Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1988	—	`conf`	Graph Attribution as a Specification Paradigm. Software Development Environments (SDE) Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
1987	J	`jnl`	HSS--A High-Speed Simulator. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zeev Barzilai, J. Lawrence Carter, Barry K. Rosen, Joe D. Rutledge
1987	J	`jnl`	Transition Fault Simulation. IEEE Des. Test John A. Waicukauski, Eric Lindbloom, Barry K. Rosen, Vijay S. Iyengar
1986	A	`conf`	Efficient Fault Simulation of CMOS Circuits with Accurate Models. ITC Zeev Barzilai, J. Lawrence Carter, Vijay S. Iyengar, Indira Nair, Barry K. Rosen, Joe D. Rutledge, Gabriel M. Silberman
1986	A	`conf`	Transition Fault Simulation by Parallel Pattern Single Fault Propagation. ITC John A. Waicukauski, Eric Lindbloom, Vijay S. Iyengar, Barry K. Rosen
1985	A	`conf`	Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits. ITC Zeev Barzilai, Vijay S. Iyengar, Barry K. Rosen, Gabriel M. Silberman
1983	A	`conf`	Comparison of AC Self-Testing Procedures. ITC Zeev Barzilai, Barry K. Rosen
1982	J	`jnl`	A Lubricant for Data Flow Analysis. SIAM J. Comput. Barry K. Rosen
1982	J	`jnl`	Robust Linear Algorithms for Cutsets. J. Algorithms Barry K. Rosen
1981	A*	`conf`	Linear Cost is Sometimes Quadratic. POPL Barry K. Rosen
1981	J	`jnl`	Qualified Data Flow Problems. IEEE Trans. Software Eng. L. Howard Holley, Barry K. Rosen
1981	J	`jnl`	Transformations of Structures: an Algebraic Approach. Math. Syst. Theory Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1980	J	`jnl`	How practical is POPL? ACM SIGPLAN Notices Barry K. Rosen
1980	J	`jnl`	Monoids for Rapid Data Flow Analysis. SIAM J. Comput. Barry K. Rosen
1980	J	`jnl`	Parallelism and Concurrency of Graph Manipulations. Theor. Comput. Sci. Hartmut Ehrig, Barry K. Rosen
1980	A*	`conf`	Qualified Data Flow Problems. POPL L. Howard Holley, Barry K. Rosen
1980	J	`jnl`	The Mathematics of Record Handling. SIAM J. Comput. Hartmut Ehrig, Barry K. Rosen
1979	A*	`ed.`	Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979 POPL Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen
1979	J	`jnl`	Data Flow Analysis for Procedural Languages. J. ACM Barry K. Rosen
1979	J	`jnl`	Stickiness and liveness. ACM SIGPLAN Notices Barry K. Rosen
1978	B	`conf`	Concurrency of Manipulations in Multidimensional Information Structures. MFCS Hartmut Ehrig, Barry K. Rosen
1978	—	`conf`	Decomposition of Graph Grammar Productions and Derivations. Graph-Grammars and Their Application to Computer Science and Biology Hartmut Ehrig, Barry K. Rosen
1978	B	`conf`	Deriving Structures from Structures. MFCS Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1978	A*	`conf`	Monoids for Rapid Data Flow Analysis. POPL Barry K. Rosen
1978	J	`jnl`	The Toy Language Syndrome. IEEE Trans. Software Eng. Barry K. Rosen
1977	A*	`conf`	Applications of High-Level Control Flow. POPL Barry K. Rosen
1977	J	`jnl`	Arcs in graphs are NOT pairs of nodes. SIGACT News Barry K. Rosen
1977	J	`jnl`	High-Level Data Flow Analysis. Commun. ACM Barry K. Rosen
1977	A*	`conf`	The Mathematics of Record Handling. ICALP Hartmut Ehrig, Barry K. Rosen
1976	J	`jnl`	Correctness of Parallel Programs: The Church-Rosser Approach. Theor. Comput. Sci. Barry K. Rosen
1975	J	`jnl`	A Church-Rosser theorem for graph grammars. SIGACT News Barry K. Rosen
1975	A*	`conf`	Bases for Chain-Complete Posets FOCS George Markowsky, Barry K. Rosen
1975	J	`jnl`	Program Equivalence and Context-Free Grammars. J. Comput. Syst. Sci. Barry K. Rosen
1974	J	`jnl`	Deriving Graphs from Graphs by Applying a Production. Acta Informatica Barry K. Rosen
1974	J	`jnl`	Note on semantics and optimization. ACM SIGPLAN Notices Barry K. Rosen
1974	J	`jnl`	Syntactic Complexity Inf. Control. Barry K. Rosen
1973	A*	`conf`	Procedure Linkage Optimization. POPL Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong
1973	A*	`conf`	Recursively Defined Data Types. POPL Clayton H. Lewis, Barry K. Rosen
1973	J	`jnl`	Tree-Manipulating Systems and Church-Rosser Theorems. J. ACM Barry K. Rosen
1972	—	`conf`	Program Equivalence and Context-Free Grammars SWAT Barry K. Rosen
1971	—	`—`	Subtree replacement systems. Barry K. Rosen
1970	A*	`conf`	Tree-Manipulating Systems and Church-Rosser Theorems STOC Barry K. Rosen