Ildikó Sain

546 total citations
28 papers, 184 citations indexed

About

Ildikó Sain is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Mathematical Physics. According to data from OpenAlex, Ildikó Sain has authored 28 papers receiving a total of 184 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 2 papers in Mathematical Physics. Recurrent topics in Ildikó Sain's work include Logic, Reasoning, and Knowledge (13 papers), Logic, programming, and type systems (13 papers) and Advanced Algebra and Logic (9 papers). Ildikó Sain is often cited by papers focused on Logic, Reasoning, and Knowledge (13 papers), Logic, programming, and type systems (13 papers) and Advanced Algebra and Logic (9 papers). Ildikó Sain collaborates with scholars based in Hungary, Israel and United Kingdom. Ildikó Sain's co-authors include Istvàn Németi, Hajnal Andréka, Johann A. Makowsky, András Simon, María Manzano, Agi Kurucz and M. Marx and has published in prestigious journals such as Theoretical Computer Science, Synthese and Annals of Pure and Applied Logic.

In The Last Decade

Ildikó Sain

23 papers receiving 162 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Ildikó Sain Hungary	9	171	157	8	8	8	28	184
Xavier Caicedo Colombia	8	149 0.9×	170 1.1×	13 1.6×	13 1.6×	2 0.3×	30	188
Yuichi Komori Japan	8	226 1.3×	319 2.0×	11 1.4×	23 2.9×	7 0.9×	17	346
Rosalie Iemhoff Netherlands	10	326 1.9×	297 1.9×	3 0.4×	3 0.4×	5 0.6×	37	344
Richard A. Platek United States	5	161 0.9×	165 1.1×	31 3.9×	2 0.3×	6 0.8×	10	216
Marina Lenisa Italy	7	159 0.9×	124 0.8×	4 0.5×	5 0.6×		30	168
Jaap van Oosten Netherlands	9	178 1.0×	182 1.2×	26 3.3×	9 1.1×	2 0.3×	34	223
Gemma Robles Spain	9	245 1.4×	237 1.5×	3 0.4×	7 0.9×	11 1.4×	70	272
Kazushige Terui Japan	11	318 1.9×	323 2.1×	3 0.4×	3 0.4×	3 0.4×	27	347
Sergei P. Odintsov Russia	12	409 2.4×	409 2.6×	14 1.8×	12 1.5×	14 1.8×	37	468
Jan Johannsen Germany	8	135 0.8×	155 1.0×	11 1.4×		9 1.1×	21	185

Countries citing papers authored by Ildikó Sain

Since Specialization

Citations

This map shows the geographic impact of Ildikó Sain's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ildikó Sain with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ildikó Sain more than expected).

Fields of papers citing papers by Ildikó Sain

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ildikó Sain. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ildikó Sain. The network helps show where Ildikó Sain may publish in the future.

Co-authorship network of co-authors of Ildikó Sain

This figure shows the co-authorship network connecting the top 25 collaborators of Ildikó Sain. A scholar is included among the top collaborators of Ildikó Sain based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Ildikó Sain. Ildikó Sain is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Manzano, María, et al.. (2014). The Life and Work of Leon Henkin. Institutional Research Information System (University of Udine). 5 indexed citations

Sain, Ildikó. (2006). COMPUTER SCIENCE TEMPORAL LOGICS NEED THEIR CLOCKS.

Andréka, Hajnal, Agi Kurucz, Istvàn Németi, Ildikó Sain, & András Simon. (1997). Causes and remedies for undecidability in arrow logics and in multi-modal logics. 63–99. 3 indexed citations

Marx, M., et al.. (1997). Investigations in arrow logic. 35–61. 1 indexed citations

Sain, Ildikó. (1997). Finite schematizable algebraic logic. Logic Journal of IGPL. 5(5). 699–751. 22 indexed citations

Németi, Istvàn, et al.. (1995). Decidable Logics of the Dynamic Trend, and Relativized Relation Algebras. UvA-DARE (University of Amsterdam). 1 indexed citations

Sain, Ildikó, et al.. (1993). Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics. Annals of Pure and Applied Logic. 63(3). 201–225. 1 indexed citations

Kurucz, Agi, Istvàn Németi, Ildikó Sain, & András Simon. (1993). Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus. Logic Journal of IGPL. 1(1). 91–98. 4 indexed citations

Andréka, Hajnal, Istvàn Németi, & Ildikó Sain. (1991). On the strength of temporal proofs. Theoretical Computer Science. 80(2). 125–151. 14 indexed citations

10.

Sain, Ildikó. (1989). An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic.. Notre Dame Journal of Formal Logic. 30(4). 2 indexed citations

11.

Makowsky, Johann A. & Ildikó Sain. (1989). Weak second order characterizations of various program verification systems. Theoretical Computer Science. 66(3). 299–321. 4 indexed citations

12.

Sain, Ildikó. (1987). Total correctness in nonstandard logics of programs. Theoretical Computer Science. 50(3). 285–321. 10 indexed citations

13.

Makowsky, Johann A. & Ildikó Sain. (1986). On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems. 293–300. 6 indexed citations

14.

Sain, Ildikó. (1985). A simple proof for the completeness of Floyd's method. Theoretical Computer Science. 35. 345–348. 8 indexed citations

15.

Sain, Ildikó. (1984). STRUCTURED NONSTANDARD DYNAMIC LOGIC. Mathematical logic quarterly. 30(31). 481–497. 10 indexed citations

16.

Sain, Ildikó, et al.. (1983). In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?. French digital mathematics library (Numdam). 24(2). 215–222. 1 indexed citations

17.

Andréka, Hajnal, Istvàn Németi, & Ildikó Sain. (1982). A complete logic for reasoning about programs via nonstandard model theory I. Theoretical Computer Science. 17(2). 193–212. 31 indexed citations

18.

Sain, Ildikó. (1982). On classes of algebraic systems closed with respect to quotients. Banach Center Publications. 9(1). 127–131. 3 indexed citations

19.

Andréka, Hajnal, Istvàn Németi, & Ildikó Sain. (1982). A complete logic for reasoning about programs via nonstandard model theory II. Theoretical Computer Science. 17(3). 259–278. 17 indexed citations

20.

Andréka, Hajnal, Istvàn Németi, & Ildikó Sain. (1979). Henkin-type semantics for program-schemes to turn negative results to positive.. 18–24. 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact