The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Barry K. Rosen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. George Markowsky, Barry K. Rosen
    Bases for Chain-Complete Posets [Citation Graph (0, 0)][DBLP]
    FOCS, 1975, pp:34-47 [Conf]
  4. Barry K. Rosen
    Program Equivalence and Context-Free Grammars [Citation Graph (0, 0)][DBLP]
    FOCS, 1972, pp:7-18 [Conf]
  5. 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]
  6. Hartmut Ehrig, Barry K. Rosen
    The Mathematics of Record Handling. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:206-220 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Zeev Barzilai, Barry K. Rosen
    Comparison of AC Self-Testing Procedures. [Citation Graph (0, 0)][DBLP]
    ITC, 1983, pp:89-94 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Hartmut Ehrig, Barry K. Rosen
    Concurrency of Manipulations in Multidimensional Information Structures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:165-176 [Conf]
  19. 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]
  20. 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]
  21. L. Howard Holley, Barry K. Rosen
    Qualified Data Flow Problems. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:68-82 [Conf]
  22. Clayton H. Lewis, Barry K. Rosen
    Recursively Defined Data Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1973, pp:125-138 [Conf]
  23. Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong
    Procedure Linkage Optimization. [Citation Graph (0, 0)][DBLP]
    POPL, 1973, pp:183-193 [Conf]
  24. Barry K. Rosen
    Applications of High-Level Control Flow. [Citation Graph (0, 0)][DBLP]
    POPL, 1977, pp:38-47 [Conf]
  25. Barry K. Rosen
    Monoids for Rapid Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:47-59 [Conf]
  26. Barry K. Rosen
    Linear Cost is Sometimes Quadratic. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:117-124 [Conf]
  27. 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]
  28. 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]
  29. Barry K. Rosen
    Tree-Manipulating Systems and Church-Rosser Theorems [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:117-127 [Conf]
  30. 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]
  31. Barry K. Rosen
    High-Level Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:10, pp:712-724 [Journal]
  32. Barry K. Rosen
    Syntactic Complexity [Citation Graph (0, 0)][DBLP]
    Information and Control, 1974, v:24, n:4, pp:305-335 [Journal]
  33. 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]
  34. 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]
  35. Barry K. Rosen
    Robust Linear Algorithms for Cutsets. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1982, v:3, n:3, pp:205-217 [Journal]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002