Parsing Algorithms with Backtrack - Alexander Birman; Jeffrey D. Ullman (SWAT, 1970)

Some Techniques for Microprogram Validation. - George B. Leeman Jr.; William C. Carter; Alexander Birman (IFIP Congress, 1974)

On Proving Correctness of Microprograms. - Alexander Birman (IBM J. Res. Dev., 1974)

A Problem-Reduction Approach to Proving Simulation Between Programs. - Alexander Birman; William H. Joyner Jr. (IEEE Trans. Software Eng., 1976)

A High-Performance Switch with Applications to Frame Relay Networks. - Alexander Birman (INFOCOM, 1990)

Asymptotic analysis of closed queueing networks with bottlenecks. - Yaakov Kogan; Alexander Birman (Performance of Distributed Systems and Integrated Communication Networks, 1991)

Computing Approximate Blocking Probabilities for a Class of All-Optical Networks. - Alexander Birman (INFOCOM, 1995)

Routing and Wavelength Assignment Methods in Single-Hop All-Optical Networks with Blocking. - Alexander Birman; Aaron Kershenbaum (INFOCOM, 1995)

An Optimal Service Policy for Buffer Systems. - Alexander Birman; H. Richard Gail; Sidney L. Hantler; Zvi Rosberg; Moshe Sidi (J. ACM, 1995)

Error Bounds for Asymptotic Approximations of the Partition Function. - Alexander Birman; Yaakov Kogan (Queueing Syst. Theory Appl., 1996)

Design and implementation of a QoS capable switch-router. - Erol Basturk; Alexander Birman; G. Delp; Roch Guérin; R. Haas; Sanjay Kamat; Dilip D. Kandlur; P. Pan; Dimitrios E. Pendarakis; Vinod G. J. Peris; Raju Rajan; Debanjan Saha; et al. (ICCCN, 1997)

Preface. - Se June Hong; John J. Ritsko; Alexander Birman (IBM Syst. J., 2002)

Preface. - John J. Ritsko; Alexander Birman (IBM Syst. J., 2004)

Preface. - Irene Greif; Alexander Birman; John J. Ritsko (IBM Syst. J., 2006)