Silvio Valentini

691 total citations
38 papers, 355 citations indexed

About

Silvio Valentini is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Silvio Valentini has authored 38 papers receiving a total of 355 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. Recurrent topics in Silvio Valentini's work include Logic, Reasoning, and Knowledge (24 papers), Logic, programming, and type systems (24 papers) and Advanced Algebra and Logic (12 papers). Silvio Valentini is often cited by papers focused on Logic, Reasoning, and Knowledge (24 papers), Logic, programming, and type systems (24 papers) and Advanced Algebra and Logic (12 papers). Silvio Valentini collaborates with scholars based in Italy and Sweden. Silvio Valentini's co-authors include Giovanni Sambin, Thierry Coquand, Jan M. Smith, Maria Emilia Maietti, Sara Negri, Giovanni Boniolo, Venanzio Capretta, Stefano Berardi, Dina D’Ayala and Claudio Sacerdoti Coen and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Journal of Symbolic Logic.

In The Last Decade

Silvio Valentini

35 papers receiving 309 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Silvio Valentini Italy	10	275	197	86	48	36	38	355
Maria Emilia Maietti Italy	10	204 0.7×	141 0.7×	76 0.9×	53 1.1×	36 1.0×	28	254
Paul-André Melliès France	11	377 1.4×	269 1.4×	40 0.5×	28 0.6×	17 0.5×	35	416
Jiřı́ Velebil Czechia	10	283 1.0×	171 0.9×	137 1.6×	54 1.1×	39 1.1×	43	326
Claudio Hermida Canada	10	217 0.8×	163 0.8×	179 2.1×	129 2.7×	95 2.6×	21	365
Robert Bonnet France	6	57 0.2×	201 1.0×	68 0.8×	147 3.1×	109 3.0×	23	291
Kenneth McAloon United States	8	52 0.2×	152 0.8×	40 0.5×	89 1.9×	17 0.5×	13	179
Stanley S. Wainer United Kingdom	9	132 0.5×	207 1.1×	29 0.3×	57 1.2×	8 0.2×	21	242
Nick Bezhanishvili Netherlands	11	389 1.4×	387 2.0×	25 0.3×	21 0.4×	27 0.8×	78	443
S. K. Thomason Canada	13	240 0.9×	220 1.1×	9 0.1×	27 0.6×	14 0.4×	24	338
Jaap van Oosten Netherlands	9	178 0.6×	182 0.9×	39 0.5×	26 0.5×	9 0.3×	34	223

Countries citing papers authored by Silvio Valentini

Since Specialization

Citations

This map shows the geographic impact of Silvio Valentini'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 Silvio Valentini with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Silvio Valentini more than expected).

Fields of papers citing papers by Silvio Valentini

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Silvio Valentini. 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 Silvio Valentini. The network helps show where Silvio Valentini may publish in the future.

Co-authorship network of co-authors of Silvio Valentini

This figure shows the co-authorship network connecting the top 25 collaborators of Silvio Valentini. A scholar is included among the top collaborators of Silvio Valentini 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 Silvio Valentini. Silvio Valentini 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

Valentini, Silvio. (2012). Cantor theorem and friends, in logical form. Annals of Pure and Applied Logic. 164(4). 502–508. 3 indexed citations

Boniolo, Giovanni & Silvio Valentini. (2012). Objects: A Study in Kantian Formal Epistemology. Notre Dame Journal of Formal Logic. 53(4). 2 indexed citations

Valentini, Silvio. (2006). Constructive characterizations of bar subsets. Annals of Pure and Applied Logic. 145(3). 368–378. 6 indexed citations

Berardi, Stefano & Silvio Valentini. (2004). Krivine's intuitionistic proof of classical completeness (for countable languages). Annals of Pure and Applied Logic. 129(1-3). 93–106. 5 indexed citations

Maietti, Maria Emilia & Silvio Valentini. (2004). Exponentiation of Scott Formal Topologies. Electronic Notes in Theoretical Computer Science. 73. 111–131. 3 indexed citations

Coquand, Thierry, Giovanni Sambin, Jan M. Smith, & Silvio Valentini. (2003). Inductively generated formal topologies. Annals of Pure and Applied Logic. 124(1-3). 71–106. 78 indexed citations

Valentini, Silvio, et al.. (2003). A binary modal logic for the intersection types of lambda-calculus. Information and Computation. 185(2). 211–232. 1 indexed citations

D’Ayala, Dina, et al.. (2003). Use of FRP fabric for strengthening of Reinforced concrete beam-column joints. 10 indexed citations

Valentini, Silvio. (2002). A cartesian closed category in Martin-Löf's intuitionistic type theory. Theoretical Computer Science. 290(1). 189–219. 4 indexed citations

10.

Valentini, Silvio. (2002). Extensionality Versus Constructivity. Mathematical logic quarterly. 48(2). 179–187. 1 indexed citations

11.

Valentini, Silvio. (2002). On the formal points of the formal topology of the binary tree. Archive for Mathematical Logic. 41(7). 603–618. 2 indexed citations

12.

Maietti, Maria Emilia & Silvio Valentini. (1999). Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?. Mathematical logic quarterly. 45(4). 521–532. 13 indexed citations

13.

Negri, Sara & Silvio Valentini. (1997). Tychonoff's theorem in the framework of formal topologies. Journal of Symbolic Logic. 62(4). 1315–1332. 9 indexed citations

14.

Sambin, Giovanni, et al.. (1996). Constructive domain theory as a branch of intuitionistic pointfree topology. Theoretical Computer Science. 159(2). 319–341. 26 indexed citations

15.

Valentini, Silvio, et al.. (1996). An Intuitionistic Version of Cantor's Theorem. Mathematical logic quarterly. 42(1). 446–448. 1 indexed citations

16.

Valentini, Silvio, et al.. (1993). Local computation in linear logic. Mathematical logic quarterly. 39(1). 201–212.

17.

Bossi, Annalisa & Silvio Valentini. (1992). An intuitionistic theory of types with assumptions of high-arity variables. Annals of Pure and Applied Logic. 57(2). 93–149. 3 indexed citations

18.

Valentini, Silvio. (1986). A Syntactic Proof of Cut‐Elimination For GL_lin. Mathematical logic quarterly. 32(7-9). 137–144. 4 indexed citations

19.

Valentini, Silvio. (1983). THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC. Mathematical logic quarterly. 29(1). 25–32. 3 indexed citations

20.

Sambin, Giovanni & Silvio Valentini. (1980). Post Completeness and Free Algebras. Mathematical logic quarterly. 26(22-24). 343–347. 5 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