Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. - Saeed Salehi (Reports Math. Log., 2002)

A Completeness Property of Wilke's Tree Algebras. - Saeed Salehi (MFCS, 2003)

Intuitionistic axiomatizations for bounded extension Kripke models. - Mohammad Ardeshir; Wim Ruitenburg; Saeed Salehi (Ann. Pure Appl. Log., 2003)

Provably total functions of Basic Arithmetic. - Saeed Salehi (Math. Log. Q., 2003)

Varieties of Tree Languages Definable by Syntactic Monoids. - Saeed Salehi (Acta Cybern., 2005)

Polynomially Bounded Recursive Realizability. - Saeed Salehi (Notre Dame J. Formal Log., 2005)

Positive varieties of tree languages. - Tatjana Petkovic; Saeed Salehi (Theor. Comput. Sci., 2005)

A new evolution based training method for dynamic synapse neural networks. - Svein Saebo; Mohammad Bagher Menhaj; S. Ali; Saeed Salehi (Computational Intelligence, 2006)

Tree algebras and varieties of tree languages. - Saeed Salehi; Magnus Steinby (Theor. Comput. Sci., 2007)

Separating Bounded Arithmetics by Herbrand Consistency - Saeed Salehi (CoRR, 2010)

Alignment of cubic-panorama image datasets using epipolar geometry. - Saeed Salehi; Eric Dubois 002 (ICASSP, 2011)

Cubic-panorama image dataset compression. - Saeed Salehi; Eric Dubois 002 (Visual Information Processing and Communication, 2012)

Godel's Incompleteness Phenomenon - Computationally. - Saeed Salehi (CoRR, 2012)

Herbrand consistency of some arithmetical theories. - Saeed Salehi (J. Symb. Log., 2012)

Separating bounded arithmetical theories by Herbrand consistency. - Saeed Salehi (J. Log. Comput., 2012)

Cubic-panorama image dataset analysis for storage and transmission. - Saeed Salehi; Eric Dubois 002 (Visual Information Processing and Communication, 2013)

Herbrand consistency of some finite fragments of bounded arithmetical theories. - Saeed Salehi (Arch. Math. Log., 2013)

Diagonalizing by Fixed-Points - Ahmad Karimi; Saeed Salehi (CoRR, 2013)

Theoremizing Yablo's Paradox. - Ahmad Karimi; Saeed Salehi (CoRR, 2014)

Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally. - Saeed Salehi (CoRR, 2015)

Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories. - Saeed Salehi; Payam Seraji (CoRR, 2015)

Axiomatizing Mathematical Theories: Multiplication. - Saeed Salehi (CoRR, 2016)

Computation in Logic and Logic in Computation. - Saeed Salehi (CoRR, 2016)

Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem. - Saeed Salehi; Payam Seraji (CoRR, 2016)

On the Multiplicative Theory of Numbers. - Saeed Salehi (CoRR, 2017)

On the Decidability of the Ordered Structures of Numbers. - Ziba Assadi; Saeed Salehi (CoRR, 2017)

Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories. - Saeed Salehi; Payam Seraji (J. Log. Comput., 2017)

On constructivity and the Rosser property: a closer look at some Gödelean proofs. - Saeed Salehi; Payam Seraji (Ann. Pure Appl. Log., 2018)

On Axiomatizability of the Multiplicative Theory of Numbers. - Saeed Salehi (Fundam. Informaticae, 2018)

Kripke semantics for fuzzy logics. - Parvin Safari; Saeed Salehi (Soft Comput., 2018)

On decidability and axiomatizability of some ordered structures. - Ziba Assadi; Saeed Salehi (Soft Comput., 2019)

On the diagonal Lemma of Gödel and Carnap. - Saeed Salehi (Bull. Symb. Log., 2020)

Gödel's second Incompleteness Theorem: How IT is derived and What IT Delivers. - Saeed Salehi (Bull. Symb. Log., 2020)

Axiomatic (and Non-Axiomatic) Mathematics. - Saeed Salehi (CoRR, 2020)

From Intuitionism to Many-Valued Logics through Kripke Models. - Saeed Salehi (CoRR, 2020)

On Rudimentarity, Primitive Recursivity and Representability. - Saeed Salehi (Reports Math. Log., 2020)

'Sometime a paradox', now proof: Yablo is not first order. - Saeed Salehi (Log. J. IGPL, 2022)

Tarski's Undefinability Theorem and the Diagonal Lemma. - Saeed Salehi (Log. J. IGPL, 2022)

Gödelian sentences, Rosserian sentences and truth. - Ziba Assadi; Saeed Salehi (J. Log. Comput., 2022)

Weighing Theories: On Chaitin's Heuristic Principle. - Saeed Salehi (CoRR, 2023)

A semi-implicit slip algorithm for mesh deformation in complex geometries, implemented in OpenFOAM. - Saeed Salehi; Håkan Nilsson (Comput. Phys. Commun., 2023)

A reunion of Gödel, Tarski, Carnap and Rosser. - Saeed Salehi (J. Log. Comput., 2024)

Fostering the Adoption and Use of Super App Technology. - Saeed Salehi; Iman Miremadi; Mobin Ghasempour Nejati; Hosein Ghafouri (IEEE Trans. Engineering Management, 2024)

Pre-trained Transformer-models using chronic invasive electrophysiology for symptom decoding without patient-individual training. - Timon Merk; Saeed Salehi; Richard M. Köhler; Qiming Cui; Maria Olaru; Amelia Hahn; Nicole R. Provenza; Simon Little; Reza Abbasi-Asl; Philip A. Starr; Wolf-Julian Neumann (CoRR, 2025)