Saeed Salehi - RankMe

51 papers B 1Misc 1Journal 46Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Does Object Binding Naturally Emerge in Large Pretrained Vision Transformers? CoRR Yihao Li, Saeed Salehi, Lyle H. Ungar, Konrad P. Kording
2025	J	`jnl`	Pre-trained Transformer-models using chronic invasive electrophysiology for symptom decoding without patient-individual training. CoRR 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
2025	J	`jnl`	Transfer learning strategies for accelerating reinforcement-learning-based flow control. CoRR Saeed Salehi
2024	J	`jnl`	A reunion of Gödel, Tarski, Carnap and Rosser. J. Log. Comput. Saeed Salehi
2024	J	`jnl`	Fostering the Adoption and Use of Super App Technology. IEEE Trans. Engineering Management Saeed Salehi, Iman Miremadi, Mobin Ghasempour Nejati, Hosein Ghafouri
2023	J	`jnl`	A semi-implicit slip algorithm for mesh deformation in complex geometries, implemented in OpenFOAM. Comput. Phys. Commun. Saeed Salehi, Håkan Nilsson
2023	J	`jnl`	Weighing Theories: On Chaitin's Heuristic Principle. CoRR Saeed Salehi
2022	J	`jnl`	'Sometime a paradox', now proof: Yablo is not first order. Log. J. IGPL Saeed Salehi
2022	J	`jnl`	A Reunion of Godel, Tarski, Carnap, and Rosser. CoRR Saeed Salehi
2022	J	`jnl`	Gödelian sentences, Rosserian sentences and truth. J. Log. Comput. Ziba Assadi, Saeed Salehi
2022	J	`jnl`	Tarski's Undefinability Theorem and the Diagonal Lemma. Log. J. IGPL Saeed Salehi
2020	J	`jnl`	Axiomatic (and Non-Axiomatic) Mathematics. CoRR Saeed Salehi
2020	J	`jnl`	From Intuitionism to Many-Valued Logics through Kripke Models. CoRR Saeed Salehi
2020	J	`jnl`	Gödel's second Incompleteness Theorem: How IT is derived and What IT Delivers. Bull. Symb. Log. Saeed Salehi
2020	J	`jnl`	On Rudimentarity, Primitive Recursivity and Representability. Reports Math. Log. Saeed Salehi
2020	J	`jnl`	On the diagonal Lemma of Gödel and Carnap. Bull. Symb. Log. Saeed Salehi
2019	J	`jnl`	On Rudimentarity, Primitive Recursivity and Representability. CoRR Saeed Salehi
2019	J	`jnl`	On decidability and axiomatizability of some ordered structures. Soft Comput. Ziba Assadi, Saeed Salehi
2018	J	`jnl`	Kripke semantics for fuzzy logics. Soft Comput. Parvin Safari, Saeed Salehi
2018	J	`jnl`	On Axiomatizability of the Multiplicative Theory of Numbers. Fundam. Informaticae Saeed Salehi
2018	J	`jnl`	On constructivity and the Rosser property: a closer look at some Gödelean proofs. Ann. Pure Appl. Log. Saeed Salehi, Payam Seraji
2017	J	`jnl`	Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories. J. Log. Comput. Saeed Salehi, Payam Seraji
2017	J	`jnl`	On the Decidability of the Ordered Structures of Numbers. CoRR Ziba Assadi, Saeed Salehi
2017	J	`jnl`	On the Multiplicative Theory of Numbers. CoRR Saeed Salehi
2016	J	`jnl`	Axiomatizing Mathematical Theories: Multiplication. CoRR Saeed Salehi
2016	J	`jnl`	Computation in Logic and Logic in Computation. CoRR Saeed Salehi
2016	J	`jnl`	Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem. CoRR Saeed Salehi, Payam Seraji
2016	J	`jnl`	Kripke Semantics for Fuzzy Logics. CoRR Parvin Safari, Saeed Salehi
2015	J	`jnl`	Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories. CoRR Saeed Salehi, Payam Seraji
2015	J	`jnl`	Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally. CoRR Saeed Salehi
2014	J	`jnl`	Theoremizing Yablo's Paradox. CoRR Ahmad Karimi, Saeed Salehi
2013	—	`conf`	Cubic-panorama image dataset analysis for storage and transmission. Visual Information Processing and Communication Saeed Salehi, Eric Dubois
2013	J	`jnl`	Diagonalizing by Fixed-Points CoRR Ahmad Karimi, Saeed Salehi
2013	J	`jnl`	Herbrand consistency of some finite fragments of bounded arithmetical theories. Arch. Math. Log. Saeed Salehi
2012	—	`conf`	Cubic-panorama image dataset compression. Visual Information Processing and Communication Saeed Salehi, Eric Dubois
2012	J	`jnl`	Godel's Incompleteness Phenomenon - Computationally. CoRR Saeed Salehi
2012	J	`jnl`	Herbrand consistency of some arithmetical theories. J. Symb. Log. Saeed Salehi
2012	J	`jnl`	Separating bounded arithmetical theories by Herbrand consistency. J. Log. Comput. Saeed Salehi
2011	Misc	`conf`	Alignment of cubic-panorama image datasets using epipolar geometry. ICASSP Saeed Salehi, Eric Dubois
2011	J	`jnl`	Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories CoRR Saeed Salehi
2010	J	`jnl`	Herbrand Consistency of Some Arithmetical Theories CoRR Saeed Salehi
2010	J	`jnl`	Separating Bounded Arithmetics by Herbrand Consistency CoRR Saeed Salehi
2007	J	`jnl`	Tree algebras and varieties of tree languages. Theor. Comput. Sci. Saeed Salehi, Magnus Steinby
2006	—	`conf`	A new evolution based training method for dynamic synapse neural networks. Computational Intelligence Svein Saebo, Mohammad Bagher Menhaj, S. Ali, Saeed Salehi
2005	J	`jnl`	Polynomially Bounded Recursive Realizability. Notre Dame J. Formal Log. Saeed Salehi
2005	J	`jnl`	Positive varieties of tree languages. Theor. Comput. Sci. Tatjana Petkovic, Saeed Salehi
2005	J	`jnl`	Varieties of Tree Languages Definable by Syntactic Monoids. Acta Cybern. Saeed Salehi
2003	B	`conf`	A Completeness Property of Wilke's Tree Algebras. MFCS Saeed Salehi
2003	J	`jnl`	Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Log. Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
2003	J	`jnl`	Provably total functions of Basic Arithmetic. Math. Log. Q. Saeed Salehi
2002	J	`jnl`	Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. Reports Math. Log. Saeed Salehi