Corrado Böhm

1.4k total citations
25 papers, 636 citations indexed

About

Corrado Böhm is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Corrado Böhm has authored 25 papers receiving a total of 636 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 3 papers in Computer Networks and Communications. Recurrent topics in Corrado Böhm's work include Logic, Reasoning, and Knowledge (8 papers), Logic, programming, and type systems (8 papers) and Advanced Algebra and Logic (5 papers). Corrado Böhm is often cited by papers focused on Logic, Reasoning, and Knowledge (8 papers), Logic, programming, and type systems (8 papers) and Advanced Algebra and Logic (5 papers). Corrado Böhm collaborates with scholars based in Italy. Corrado Böhm's co-authors include G. Jacopini, Alessandro Berarducci, Mariangiola Dezani-Ciancaglini, Enrico Tronci, Simona Ronchi Della Rocca, Benedetto Intrigila, Adolfo Piperno, Silvio Micali, Giorgio Ausiello and Egidio Astesiano and has published in prestigious journals such as Communications of the ACM, Theoretical Computer Science and Journal of Symbolic Logic.

In The Last Decade

Corrado Böhm

18 papers receiving 523 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Corrado Böhm Italy	7	391	250	161	119	117	25	636
G. Jacopini Italy	5	252 0.6×	155 0.6×	147 0.9×	85 0.7×	106 0.9×	7	471
Chaim Katz Brazil	4	549 1.4×	347 1.4×	129 0.8×	134 1.1×	117 1.0×	8	947
D Barstow United States	14	495 1.3×	171 0.7×	336 2.1×	160 1.3×	191 1.6×	40	768
Dines Bjørner Denmark	12	495 1.3×	300 1.2×	279 1.7×	152 1.3×	300 2.6×	84	771
Kathleen Jensen United States	5	342 0.9×	152 0.6×	104 0.6×	105 0.9×	108 0.9×	7	571
John D. Gannon United States	17	413 1.1×	251 1.0×	481 3.0×	134 1.1×	575 4.9×	44	931
Martin Wirsing Germany	17	791 2.0×	560 2.2×	224 1.4×	216 1.8×	259 2.2×	102	1.0k
Frank DeRemer United States	8	541 1.4×	76 0.3×	452 2.8×	234 2.0×	179 1.5×	14	758
Ralph E. Griswold United States	13	535 1.4×	157 0.6×	172 1.1×	222 1.9×	115 1.0×	66	795
Rami Marelly Israel	7	411 1.1×	276 1.1×	226 1.4×	90 0.8×	349 3.0×	20	648

Countries citing papers authored by Corrado Böhm

Since Specialization

Citations

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

Fields of papers citing papers by Corrado Böhm

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Corrado Böhm

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

Böhm, Corrado & Adolfo Piperno. (2003). Characterizing X-separability and one-side invertibility in lambda - beta - Omega -calculus. IRIS Research product catalog (Sapienza University of Rome). 91–101. 1 indexed citations

Böhm, Corrado, Adolfo Piperno, & Stefano Guerrini. (1994). Lambda-Definition of Function(al)s by Normal Forms. 135–149. 4 indexed citations

Böhm, Corrado & Benedetto Intrigila. (1994). The Ant-Lion Paradigm for Strong Normalization. Information and Computation. 114(1). 30–49. 6 indexed citations

Böhm, Corrado & Enrico Tronci. (1991). About systems of equations, X-separability, and left-invertibility in the λ-calculus. Information and Computation. 90(1). 1–32. 6 indexed citations

Böhm, Corrado & Enrico Tronci. (1987). X-Separability and Left-Invertibility in lambda-calculus. 320–328. 6 indexed citations

Böhm, Corrado & Alessandro Berarducci. (1985). Automatic synthesis of typed Λ-programs on term algebras. Theoretical Computer Science. 39. 135–154. 114 indexed citations

Böhm, Corrado. (1982). Combinatory foundation of functional programming. 29–36. 2 indexed citations

Astesiano, Egidio & Corrado Böhm. (1981). Proceedings of the 6th Colloquium on Trees in Algebra and Programming. 1 indexed citations

Böhm, Corrado & Silvio Micali. (1980). Minimal forms inλ-cakulus computations. Journal of Symbolic Logic. 45(1). 165–171. 2 indexed citations

10.

Böhm, Corrado & G. Jacopini. (1979). Flow diagrams, Turing machines and languages with only two formation rules. 11–25. 4 indexed citations

11.

Böhm, Corrado, et al.. (1979). A discrimination algorithm inside λ-β-calculus. Theoretical Computer Science. 8(3). 271–291. 9 indexed citations

12.

Böhm, Corrado, et al.. (1979). A Discrimination Algorithm Inside lambda-beta-Calculus.. Theoretical Computer Science. 8. 265–292. 10 indexed citations

13.

Ausiello, Giorgio & Corrado Böhm. (1978). Proceedings of the Fifth Colloquium on Automata, Languages and Programming. 2 indexed citations

14.

Böhm, Corrado, Mario Coppo, & Mariangiola Dezani-Ciancaglini. (1977). Termination Tests inside lambda-Calculus. International Colloquium on Automata, Languages and Programming. 52(3). 95–110.

15.

Böhm, Corrado, et al.. (1975). [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975. Springer eBooks. 1 indexed citations

16.

Böhm, Corrado & Mariangiola Dezani-Ciancaglini. (1975). Lambda-terms as total or partial functions on normal forms. 96–121. 3 indexed citations

17.

Böhm, Corrado & Mariangiola Dezani-Ciancaglini. (1974). A data structure formalization through generating functions. CALCOLO. 11(1). 47–66.

18.

Böhm, Corrado & Mariangiola Dezani-Ciancaglini. (1972). Can Syntax Be Ignored during Translation. International Colloquium on Automata, Languages and Programming. 197–207.

19.

Böhm, Corrado & G. Jacopini. (1966). Flow diagrams, turing machines and languages with only two formation rules. Communications of the ACM. 9(5). 366–371. 438 indexed citations

20.

Böhm, Corrado. (1953). Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare. Annali di Matematica Pura ed Applicata (1923 -). 35(1). 343–353. 12 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