Search the dblp DataBase
Barry K. Rosen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bowen Alpern , Alan Carle , Barry K. Rosen , Peter F. Sweeney , F. Kenneth Zadeck Graph Attribution as a Specification Paradigm. [Citation Graph (1, 0)][DBLP ] Software Development Environments (SDE), 1988, pp:121-129 [Conf ] Barry K. Rosen Tree-Manipulating Systems and Church-Rosser Theorems. [Citation Graph (1, 0)][DBLP ] J. ACM, 1973, v:20, n:1, pp:160-187 [Journal ] George Markowsky , Barry K. Rosen Bases for Chain-Complete Posets [Citation Graph (0, 0)][DBLP ] FOCS, 1975, pp:34-47 [Conf ] Barry K. Rosen Program Equivalence and Context-Free Grammars [Citation Graph (0, 0)][DBLP ] FOCS, 1972, pp:7-18 [Conf ] Hartmut Ehrig , Barry K. Rosen Decomposition of Graph Grammar Productions and Derivations. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:192-205 [Conf ] Hartmut Ehrig , Barry K. Rosen The Mathematics of Record Handling. [Citation Graph (0, 0)][DBLP ] ICALP, 1977, pp:206-220 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICCD, 1994, pp:454-459 [Conf ] Chidanand Apté , Se June Hong , Jonathan R. M. Hosking , Jorge Lepre , Edwin P. D. Pednault , Barry K. Rosen Decomposition of Heterogeneous Classification Problems. [Citation Graph (0, 0)][DBLP ] IDA, 1997, pp:17-28 [Conf ] Yaron Aizenbud , Paul Chang , Moshe Leibowitz , Dave Smith , Bernd Könemann , Vijay S. Iyengar , Barry K. Rosen AC Test Quality: Beyond Transition Fault Coverage. [Citation Graph (0, 0)][DBLP ] ITC, 1992, pp:568-577 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ITC, 1986, pp:520-529 [Conf ] Zeev Barzilai , Vijay S. Iyengar , Barry K. Rosen , Gabriel M. Silberman Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits. [Citation Graph (0, 0)][DBLP ] ITC, 1985, pp:722-731 [Conf ] Zeev Barzilai , Barry K. Rosen Comparison of AC Self-Testing Procedures. [Citation Graph (0, 0)][DBLP ] ITC, 1983, pp:89-94 [Conf ] Vijay S. Iyengar , Barry K. Rosen , Ilan Y. Spillinger Delay Test Generation 1: Concepts and Coverage Metrics. [Citation Graph (0, 0)][DBLP ] ITC, 1988, pp:857-866 [Conf ] Vijay S. Iyengar , Barry K. Rosen , Ilan Y. Spillinger Delay Test Generation 2: Algebra and Algorithms. [Citation Graph (0, 0)][DBLP ] ITC, 1988, pp:867-876 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ITC, 1992, pp:578-587 [Conf ] John A. Waicukauski , Eric Lindbloom , Vijay S. Iyengar , Barry K. Rosen Transition Fault Simulation by Parallel Pattern Single Fault Propagation. [Citation Graph (0, 0)][DBLP ] ITC, 1986, pp:542-551 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Andrea Maggiolo-Schettini , Barry K. Rosen , Józef Winkowski Deriving Structures from Structures. [Citation Graph (0, 0)][DBLP ] MFCS, 1978, pp:177-190 [Conf ] Hartmut Ehrig , Barry K. Rosen Concurrency of Manipulations in Multidimensional Information Structures. [Citation Graph (0, 0)][DBLP ] MFCS, 1978, pp:165-176 [Conf ] Dhananjay M. Dhamdhere , Barry K. Rosen , F. Kenneth Zadeck How to Analyze Large Programs Efficiently and Informatively. [Citation Graph (0, 0)][DBLP ] PLDI, 1992, pp:212-223 [Conf ] Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck An Efficient Method of Computing Static Single Assignment Form. [Citation Graph (0, 0)][DBLP ] POPL, 1989, pp:25-35 [Conf ] L. Howard Holley , Barry K. Rosen Qualified Data Flow Problems. [Citation Graph (0, 0)][DBLP ] POPL, 1980, pp:68-82 [Conf ] Clayton H. Lewis , Barry K. Rosen Recursively Defined Data Types. [Citation Graph (0, 0)][DBLP ] POPL, 1973, pp:125-138 [Conf ] Andrea Maggiolo-Schettini , Barry K. Rosen , H. Raymond Strong Procedure Linkage Optimization. [Citation Graph (0, 0)][DBLP ] POPL, 1973, pp:183-193 [Conf ] Barry K. Rosen Applications of High-Level Control Flow. [Citation Graph (0, 0)][DBLP ] POPL, 1977, pp:38-47 [Conf ] Barry K. Rosen Monoids for Rapid Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] POPL, 1978, pp:47-59 [Conf ] Barry K. Rosen Linear Cost is Sometimes Quadratic. [Citation Graph (0, 0)][DBLP ] POPL, 1981, pp:117-124 [Conf ] Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck Global Value Numbers and Redundant Computations. [Citation Graph (0, 0)][DBLP ] POPL, 1988, pp:12-27 [Conf ] Bowen Alpern , Roger Hoover , Barry K. Rosen , Peter F. Sweeney , F. Kenneth Zadeck Incremental Evaluation of Computational Circuits. [Citation Graph (0, 0)][DBLP ] SODA, 1990, pp:32-42 [Conf ] Barry K. Rosen Tree-Manipulating Systems and Church-Rosser Theorems [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:117-127 [Conf ] Barry K. Rosen Deriving Graphs from Graphs by Applying a Production [Citation Graph (0, 0)][DBLP ] Acta Inf., 1974, v:4, n:, pp:337-357 [Journal ] Barry K. Rosen High-Level Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1977, v:20, n:10, pp:712-724 [Journal ] Barry K. Rosen Syntactic Complexity [Citation Graph (0, 0)][DBLP ] Information and Control, 1974, v:24, n:4, pp:305-335 [Journal ] Chidanand Apté , Se June Hong , Jonathan R. M. Hosking , Jorge Lepre , Edwin P. D. Pednault , Barry K. Rosen Decomposition of Heterogeneous Classification Problems. [Citation Graph (0, 0)][DBLP ] Intell. Data Anal., 1998, v:2, n:1-4, pp:81-96 [Journal ] Barry K. Rosen Data Flow Analysis for Procedural Languages. [Citation Graph (0, 0)][DBLP ] J. ACM, 1979, v:26, n:2, pp:322-344 [Journal ] Barry K. Rosen Robust Linear Algorithms for Cutsets. [Citation Graph (0, 0)][DBLP ] J. Algorithms, 1982, v:3, n:3, pp:205-217 [Journal ] Barry K. Rosen Program Equivalence and Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1975, v:11, n:3, pp:358-374 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski , Andrea Maggiolo-Schettini , Barry K. Rosen , Józef Winkowski Transformations of Structures: an Algebraic Approach. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1981, v:14, n:, pp:305-334 [Journal ] Hartmut Ehrig , Barry K. Rosen The Mathematics of Record Handling. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1980, v:9, n:3, pp:441-469 [Journal ] Barry K. Rosen Monoids for Rapid Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1980, v:9, n:1, pp:159-196 [Journal ] Barry K. Rosen A Lubricant for Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1982, v:11, n:3, pp:493-511 [Journal ] Zeev Barzilai , J. Lawrence Carter , Barry K. Rosen , Joe D. Rutledge HSS--A High-Speed Simulator. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 1987, v:6, n:4, pp:601-617 [Journal ] Vijay S. Iyengar , Barry K. Rosen , John A. Waicukauski On computing the sizes of detected delay faults. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 1990, v:9, n:3, pp:299-312 [Journal ] Hartmut Ehrig , Barry K. Rosen Parallelism and Concurrency of Graph Manipulations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1980, v:11, n:, pp:247-275 [Journal ] Barry K. Rosen Correctness of Parallel Programs: The Church-Rosser Approach. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1976, v:2, n:2, pp:183-207 [Journal ] Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1991, v:13, n:4, pp:451-490 [Journal ] L. Howard Holley , Barry K. Rosen Qualified Data Flow Problems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1981, v:7, n:1, pp:60-78 [Journal ] Barry K. Rosen The Toy Language Syndrome. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1978, v:4, n:1, pp:76-77 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. VLSI Syst., 1995, v:3, n:2, pp:188-200 [Journal ] Search in 0.003secs, Finished in 0.305secs