Lawrence Yelowitz

According to our database1, Lawrence Yelowitz authored at least 15 papers between 1975 and 1984.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1984
Practical Experience with an Ada-Based Formal Specification/Language on a Large Project.
Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1982
Modeling a Network Protocol in AFFIRM and Ada.
Proceedings of the Protocol Specification, 1982

1981
FACC activities/positions in methodology, verification, and trusted systems.
ACM SIGSOFT Softw. Eng. Notes, 1981

1979
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.
Proceedings of the Automata, 1979

1978
Notes on "A note on the transitive closure of a boolean matrix".
SIGACT News, 1978

Arthur G. Duncan: Data Structures and Program Correctness: Bridging the Gap.
Comput. Lang., 1978

A project approach to structure and correctness in Pitt's second computer science course.
Proceedings of the 9th SIGCSE Technical Symposium on Computer Science Education, 1978

1977
Abstractions, instantiations, and proofs of marking algorithms.
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

1976
An Efficient Algorithm for Constructing Hierarchical Graphs.
IEEE Trans. Syst. Man Cybern., 1976

Control Structure Abstractions of the Backtracking Programming Technique.
IEEE Trans. Software Eng., 1976

Observations of Fallibility in Applications of Modern Programming Methodologies.
IEEE Trans. Software Eng., 1976

New Results and Techniques in Resolution Theory.
IEEE Trans. Computers, 1976

Control Structure Abstractions of the Backtracking Programming Technique (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts.
J. ACM, 1975

Loop Unravelling: A Practical Tool in Proving Program Correctness.
Inf. Process. Lett., 1975


  Loading...