Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces. - Iraj Kalantari; Allen Retzlaff (J. Symb. Log., 1977)

Major Subspaces of Recursively Enumerable Vector Spaces. - Iraj Kalantari (J. Symb. Log., 1978)

Recursive Constructions in Topological Spaces. - Iraj Kalantari; Allen Retzlaff (J. Symb. Log., 1979)

Automorphisms of the Lattice of Recursively Enumerable Vector Spaces. - Iraj Kalantari (Math. Log. Q., 1979)

Simplicity in Effective Topology. - Iraj Kalantari; Anne Leggett (J. Symb. Log., 1982)

Maximality in Effective Topology. - Iraj Kalantari; Anne Leggett (J. Symb. Log., 1983)

Degrees of Recursively Enumerable Topological Spaces. - Iraj Kalantari; Jeffrey B. Remmel (J. Symb. Log., 1983)

A Data Structure and an Algorithm for the Nearest Point Problem. - Iraj Kalantari; Gerard McDonald (IEEE Trans. Software Eng., 1983)

Effective topological spaces I: a definability theory. - Iraj Kalantari; Galen Weitkamp (Ann. Pure Appl. Log., 1985)

Effective topological spaces II: A hierarchy. - Iraj Kalantari; Galen Weitkamp (Ann. Pure Appl. Log., 1985)

Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field. - Rodney G. Downey; Iraj Kalantari (Math. Log. Q., 1985)

Effective topological spaces III: Forcing and definability. - Iraj Kalantari; Galen Weitkamp (Ann. Pure Appl. Log., 1987)

Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I. - Iraj Kalantari; Lawrence Welch (Ann. Pure Appl. Log., 1998)

Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. - Iraj Kalantari; Lawrence Welch (Ann. Pure Appl. Log., 1999)

Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis. - Iraj Kalantari; Larry Welch (CCA, 2002)

A blend of methods of recursion theory and topology. - Iraj Kalantari; Larry Welch (Ann. Pure Appl. Log., 2003)

Animation of mathematical concepts using polynomiography. - Bahman Kalantari; Iraj Kalantari; Fedor Andreev (SIGGRAPH Educators Program, 2004)

A blend of methods of recursion theory and topology: A Pi10 tree of shadow points. - Iraj Kalantari; Larry Welch (Arch. Math. Log., 2004)

Density and Baire category in recursive topology. - Iraj Kalantari; Larry Welch (Math. Log. Q., 2004)

Induction over the Continuum. - Iraj Kalantari (Induction, Algorithmic Learning Theory, and Philosophy, 2007)

On degree-preserving homeomorphisms between trees in computable topology. - Iraj Kalantari; Larry Welch (Arch. Math. Log., 2008)

On Turing degrees of points in computable topology. - Iraj Kalantari; Larry Welch (Math. Log. Q., 2008)

Maximal Zone Diagrams and their Computation. - Sergio Coutinho de Biasi; Bahman Kalantari; Iraj Kalantari (ISVD, 2010)

Preface. - Ali Enayat; Iraj Kalantari (Ann. Pure Appl. Log., 2010)

Mollified Zone Diagrams and Their Computation. - Sergio Coutinho de Biasi; Bahman Kalantari; Iraj Kalantari (Trans. Comput. Sci., 2011)

Collinearity of Iterations and Real Plane Algebraic Curves. - Fedor Andreev; Iraj Kalantari (ISVD, 2012)

When series of computable functions with varying domains are computable. - Iraj Kalantari; Larry Welch (Math. Log. Q., 2013)

On Properties of Forbidden Zones of Polygons and Polytopes. - Ross Berkowitz; Bahman Kalantari; Iraj Kalantari; David Menendez (Trans. Comput. Sci., 2013)