Matthew S. Hecht

11 papers A* 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
1987 J jnl
Design and Implementation of Secure Xenix.
IEEE Trans. Software Eng.
Virgil D. Gligor, C. Sekar Chandersekaran, Robert S. Chapman, Leslie J. Dotterer, Matthew S. Hecht, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, N. Vasudevan
1986 — conf
On the Design and the Implementation of Secure Xenix Workstations.
S&P
Virgil D. Gligor, E. L. Burch, C. Sekar Chandersekaran, Robert S. Chapman, Leslie J. Dotterer, Matthew S. Hecht, Wen-Der Jiang, Gary L. Luckenbaugh, N. Vasudevan
1983 J jnl
Shadowed Management of Free Disk Pages with a Linked List.
ACM Trans. Database Syst.
Matthew S. Hecht, John D. Gabbe
1978 J jnl
Approximation Algorithms for Some Routing Problems.
SIAM J. Comput.
Greg N. Frederickson, Matthew S. Hecht, Chul E. Kim
1976 A* conf
Approximation Algorithms for some Routing Problems
FOCS
Greg N. Frederickson, Matthew S. Hecht, Chul E. Kim
1975 J jnl
A Simple Algorithm for Global Data Flow Analysis Problems.
SIAM J. Comput.
Matthew S. Hecht, Jeffrey D. Ullman
1974 J jnl
Characterizations of Reducible Flow Graphs.
J. ACM
Matthew S. Hecht, Jeffrey D. Ullman
1974 — conf
Topological Sorting and Flow Graphs.
IFIP Congress
Matthew S. Hecht
1973 A* conf
Analysis of a Simple Algorithm for Global Flow Problems.
POPL
Matthew S. Hecht, Jeffrey D. Ullman
1972 A* conf
Flow Graph Reducibility
STOC
Matthew S. Hecht, Jeffrey D. Ullman
1972 J jnl
Flow Graph Reducibility.
SIAM J. Comput.
Matthew S. Hecht, Jeffrey D. Ullman