Barry K. Rosen

According to our database1, Barry K. Rosen authored at least 51 papers between 1971 and 1999.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Probabilistic estimation-based data mining for discovering insurance risks.
IEEE Intell. Syst., 1999

1998
Decomposition of Heterogeneous Classification Problems.
Intell. Data Anal., 1998

1995
AVPGEN-A test generator for architecture verification.
IEEE Trans. Very Large Scale Integr. Syst., 1995

1994
Architectural Verification of Processors Using Symbolic Instruction Graphs.
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1992
How to Analyze Large Programs Efficiently and Informatively.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Delay Test: The Next Frontier for LSSD Test Systems.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

AC Test Quality: Beyond Transition Fault Coverage.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

1991
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph.
ACM Trans. Program. Lang. Syst., 1991

1990
On computing the sizes of detected delay faults.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Incremental Evaluation of Computational Circuits.
Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

1989
An Efficient Method of Computing Static Single Assignment Form.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Restricted symbolic evaluation is fast and useful.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988
Graph Attribution as a Specification Paradigm.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Global Value Numbers and Redundant Computations.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Delay Test Generation 2: Algebra and Algorithms.
Proceedings of the Proceedings International Test Conference 1988, 1988

Delay Test Generation 1: Concepts and Coverage Metrics.
Proceedings of the Proceedings International Test Conference 1988, 1988

1987
HSS--A High-Speed Simulator.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

Transition Fault Simulation.
IEEE Des. Test, 1987

1986
Transition Fault Simulation by Parallel Pattern Single Fault Propagation.
Proceedings of the Proceedings International Test Conference 1986, 1986

Efficient Fault Simulation of CMOS Circuits with Accurate Models.
Proceedings of the Proceedings International Test Conference 1986, 1986

1985
Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits.
Proceedings of the Proceedings International Test Conference 1985, 1985

1983
Comparison of AC Self-Testing Procedures.
Proceedings of the Proceedings International Test Conference 1983, 1983

1982
A Lubricant for Data Flow Analysis.
SIAM J. Comput., 1982

Robust Linear Algorithms for Cutsets.
J. Algorithms, 1982

1981
Qualified Data Flow Problems.
IEEE Trans. Software Eng., 1981

Transformations of Structures: an Algebraic Approach.
Math. Syst. Theory, 1981

Linear Cost is Sometimes Quadratic.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1980
Parallelism and Concurrency of Graph Manipulations.
Theor. Comput. Sci., 1980

How practical is POPL?
ACM SIGPLAN Notices, 1980

Monoids for Rapid Data Flow Analysis.
SIAM J. Comput., 1980

The Mathematics of Record Handling.
SIAM J. Comput., 1980

1979
Stickiness and liveness.
ACM SIGPLAN Notices, 1979

Data Flow Analysis for Procedural Languages.
J. ACM, 1979

1978
The Toy Language Syndrome.
IEEE Trans. Software Eng., 1978

Concurrency of Manipulations in Multidimensional Information Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Deriving Structures from Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Decomposition of Graph Grammar Productions and Derivations.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1977
Arcs in graphs are NOT pairs of nodes.
SIGACT News, 1977

High-Level Data Flow Analysis.
Commun. ACM, 1977

Applications of High-Level Control Flow.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

1976
Correctness of Parallel Programs: The Church-Rosser Approach.
Theor. Comput. Sci., 1976

1975
A Church-Rosser theorem for graph grammars.
SIGACT News, 1975

Program Equivalence and Context-Free Grammars.
J. Comput. Syst. Sci., 1975

Bases for Chain-Complete Posets
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974
Syntactic Complexity
Inf. Control., April, 1974

Note on semantics and optimization.
ACM SIGPLAN Notices, 1974

Deriving Graphs from Graphs by Applying a Production.
Acta Informatica, 1974

1973
Tree-Manipulating Systems and Church-Rosser Theorems.
J. ACM, 1973

Procedure Linkage Optimization.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

Recursively Defined Data Types.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

1971
Subtree replacement systems.
PhD thesis, 1971


  Loading...