Iraj Kalantari

29 papers C 1Journal 23Unranked 4

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	On Properties of Forbidden Zones of Polygons and Polytopes. Trans. Comput. Sci. Ross Berkowitz, Bahman Kalantari, Iraj Kalantari, David Menendez
2013	J	`jnl`	When series of computable functions with varying domains are computable. Math. Log. Q. Iraj Kalantari, Larry Welch
2012	—	`conf`	Collinearity of Iterations and Real Plane Algebraic Curves. ISVD Fedor Andreev, Iraj Kalantari
2012	—	`conf`	On Properties of Forbidden Zones of Polygons and Polytopes. ISVD Ross Berkowitz, Bahman Kalantari, David Menendez, Iraj Kalantari
2011	J	`jnl`	Mollified Zone Diagrams and Their Computation. Trans. Comput. Sci. Sergio Coutinho de Biasi, Bahman Kalantari, Iraj Kalantari
2010	—	`conf`	Maximal Zone Diagrams and their Computation. ISVD Sergio Coutinho de Biasi, Bahman Kalantari, Iraj Kalantari
2010	J	`jnl`	Preface. Ann. Pure Appl. Log. Ali Enayat, Iraj Kalantari
2008	J	`jnl`	On Turing degrees of points in computable topology. Math. Log. Q. Iraj Kalantari, Larry Welch
2008	J	`jnl`	On degree-preserving homeomorphisms between trees in computable topology. Arch. Math. Log. Iraj Kalantari, Larry Welch
2007	—	`ch.`	Induction over the Continuum. Induction, Algorithmic Learning Theory, and Philosophy Iraj Kalantari
2004	J	`jnl`	A blend of methods of recursion theory and topology: A Pi Arch. Math. Log. Iraj Kalantari, Larry Welch
2004	—	`conf`	Animation of mathematical concepts using polynomiography. SIGGRAPH Educators Program Bahman Kalantari, Iraj Kalantari, Fedor Andreev
2004	J	`jnl`	Density and Baire category in recursive topology. Math. Log. Q. Iraj Kalantari, Larry Welch
2003	J	`jnl`	A blend of methods of recursion theory and topology. Ann. Pure Appl. Log. Iraj Kalantari, Larry Welch
2002	C	`conf`	Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis. CCA Iraj Kalantari, Larry Welch
1999	J	`jnl`	Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. Ann. Pure Appl. Log. Iraj Kalantari, Lawrence Welch
1998	J	`jnl`	Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I. Ann. Pure Appl. Log. Iraj Kalantari, Lawrence Welch
1987	J	`jnl`	Effective topological spaces III: Forcing and definability. Ann. Pure Appl. Log. Iraj Kalantari, Galen Weitkamp
1985	J	`jnl`	Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field. Math. Log. Q. Rodney G. Downey, Iraj Kalantari
1985	J	`jnl`	Effective topological spaces I: a definability theory. Ann. Pure Appl. Log. Iraj Kalantari, Galen Weitkamp
1985	J	`jnl`	Effective topological spaces II: A hierarchy. Ann. Pure Appl. Log. Iraj Kalantari, Galen Weitkamp
1983	J	`jnl`	A Data Structure and an Algorithm for the Nearest Point Problem. IEEE Trans. Software Eng. Iraj Kalantari, Gerard McDonald
1983	J	`jnl`	Degrees of Recursively Enumerable Topological Spaces. J. Symb. Log. Iraj Kalantari, Jeffrey B. Remmel
1983	J	`jnl`	Maximality in Effective Topology. J. Symb. Log. Iraj Kalantari, Anne Leggett
1982	J	`jnl`	Simplicity in Effective Topology. J. Symb. Log. Iraj Kalantari, Anne Leggett
1979	J	`jnl`	Automorphisms of the Lattice of Recursively Enumerable Vector Spaces. Math. Log. Q. Iraj Kalantari
1979	J	`jnl`	Recursive Constructions in Topological Spaces. J. Symb. Log. Iraj Kalantari, Allen Retzlaff
1978	J	`jnl`	Major Subspaces of Recursively Enumerable Vector Spaces. J. Symb. Log. Iraj Kalantari
1977	J	`jnl`	Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces. J. Symb. Log. Iraj Kalantari, Allen Retzlaff