A method for finding Hamilton paths and Knight's tours. - Ira Pohl (Commun. ACM, 1967)

Phas-structure productions in PL/I: Phas-structure productions in PL/I0. - Ira Pohl (Commun. ACM, 1967)

Letters to the editor: Improved Hamiltonian Paths. - Ira Pohl; J. J. Duby (Commun. ACM, 1968)

Bi-directional and heuristic search in path problems. - Ira Pohl (1969)

Heuristic Search Viewed as Path Finding in a Graph. - Ira Pohl (Artif. Intell., 1970)

A Sorting Problem and Its Complexity. - Ira Pohl (Commun. ACM, 1972)

The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. - Ira Pohl (IJCAI, 1973)

Minimean Optimality in Sorting Algorithms - Ira Pohl (FOCS, 1975)

Introducing Computer Science - An Alternative. - Ira Pohl; Alan Shaw (IFIP Congress, 1977)

D-Node Retargeting in Bidirectional Heuristic Search. - George Politowski; Ira Pohl (AAAI, 1984)

Social implications of artificial intelligence. - Ira Pohl (ACM Annual Conference, 1984)

A hierarchy for classifying AI implications. - Ira Pohl (ACM Annual Conference, 1984)

Joint and LPA*: Combination of Approximation and Search. - Daniel Ratner; Ira Pohl (AAAI, 1986)

SDI software: AI is not the answer. - Ira Pohl (ACM SIGSOFT Softw. Eng. Notes, 1986)

Should robots have nuclear arms? AI technology and SDI software. - Ira Pohl (Future Gener. Comput. Syst., 1987)

A To Z: C Language Shortcomings. - Ira Pohl; Daniel R. Edelson (Comput. Lang., 1988)

C++ for C programmers. - Ira Pohl (Benjamin/Cummings, 1989)

C++: Solving C's Shortcomings? - Daniel R. Edelson; Ira Pohl (Comput. Lang., 1989)

A book on C - programming in C (2. ed.). - Al Kelley; Ira Pohl (Addison-Wesley, 1990)

Turbo C++. - Ira Pohl (Benjamin/Cummings, 1991)

A Copying Collector for C++. - Daniel R. Edelson; Ira Pohl (C++ Conference, 1991)

A book on C - programming in C (3. ed.). - Al Kelley; Ira Pohl (Benjamin/Cummings, 1995)

C#: Should CS Switch? - Ira Pohl (Software Engineering Research and Practice, 2004)

GBFHS: A Generalized Breadth-First Heuristic Search Algorithm. - Michael W. Barley; Patricia J. Riddle; Carlos Linares López; Sean Dobson; Ira Pohl (SOCS, 2018)