Robert L. Constable publications per year

The chart shows the history of publications by Robert L. Constable between 1966 and 2021, highlighting the no. of papers published in each year and offering an overview of the publication velocity of this scholar. Robert L. Constable published across 56 years, from 1966 to 2021, averaging 3.3 papers a year. Output peaked at 11 publications in 2012. 1 of the 187 publications appeared in the last two years.

No. of publications

2 4 6 8 10

1966 2021

187 publications in total across all disciplines

View publications per year as a table

Robert L. Constable: publications per year, 1966 to 2021
Year	Publications
1966	1
1967	1
1968	1
1969	3
1970	5
1971	4
1972	7
1973	4
1974	5
1975	1
1976	6
1977	3
1978	3
1979	2
1980	6
1981	3
1982	5
1983	4
1984	2
1985	6
1986	3
1987	1
1988	2
1989	3
1990	1
1991	4
1992	2
1993	3
1994	3
1995	3
1996	1
1997	3
1998	5
1999	5
2000	3
2001	2
2002	3
2003	6
2004	6
2005	4
2006	5
2007	2
2008	1
2009	4
2010	0
2011	4
2012	11
2013	4
2014	4
2015	7
2016	1
2017	4
2018	1
2019	3
2020	0
2021	1
Total	187

Download as CSV

Robert L. Constable publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Robert L. Constable sits on this spectrum.

No. of scientists

200 400 600

32–41 publications 991+

This scientist: 163 publications — 32nd percentile

32% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

View publications distribution as a table

Number of Computer Science scientists by publication count, Research.com 2026 ranking edition. Based on 14,188 ranked scientists.
Publications	Scientists	This scientist
32–41	7
42–51	22
52–61	82
62–71	134
72–81	249
82–91	324
92–101	421
102–111	420
112–121	497
122–131	544
132–141	555
142–151	609
152–161	559
162–171	534	163
172–181	556
182–191	583
192–201	519
202–211	508
212–221	490
222–231	437
232–241	423
242–251	408
252–261	377
262–271	301
272–281	335
282–291	320
292–301	293
302–311	250
312–321	238
322–331	206
332–341	209
342–351	208
352–361	162
362–371	176
372–381	127
382–391	158
392–401	128
402–411	104
412–421	94
422–431	99
432–441	83
442–451	108
452–461	73
462–471	77
472–481	69
482–491	84
492–501	62
502–511	54
512–521	57
522–531	51
532–541	51
542–551	32
552–561	38
562–571	28
572–581	43
582–591	33
592–601	41
602–611	32
612–621	28
622–631	25
632–641	27
642–651	17
652–661	20
662–671	17
672–681	15
682–691	14
692–701	21
702–711	13
712–721	12
722–731	19
732–741	14
742–751	12
752–761	10
762–771	10
772–781	11
782–791	10
792–801	11
802–811	8
812–821	8
822–831	7
832–841	11
842–851	10
852–861	5
862–871	9
872–881	4
882–891	6
892–901	3
902–911	6
912–921	3
922–931	2
932–941	2
942–951	2
952–961	3
962–971	3
972–981	3
982–990	5
991+	100

Download as CSV

Robert L. Constable D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Robert L. Constable sits on this spectrum.

No. of scientists

200 400 600 800

30–31 D-Index 131+

This scientist: 31 D-Index — 6th percentile

6% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

View D-Index distribution as a table

Number of Computer Science scientists by D-index, Research.com 2026 ranking edition. Based on 14,188 ranked scientists.
D-Index	Scientists	This scientist
30–31	879	31
32–33	983
34–35	918
36–37	990
38–39	968
40–41	907
42–43	821
44–45	763
46–47	689
48–49	543
50–51	543
52–53	518
54–55	500
56–57	458
58–59	400
60–61	337
62–63	308
64–65	292
66–67	249
68–69	213
70–71	192
72–73	189
74–75	165
76–77	139
78–79	119
80–81	121
82–83	113
84–85	88
86–87	87
88–89	75
90–91	69
92–93	57
94–95	46
96–97	38
98–99	34
100–101	36
102–103	27
104–105	37
106–107	18
108–109	31
110–111	19
112–113	16
114–115	12
116–117	20
118–119	15
120–121	5
122–123	20
124–125	8
126–127	5
128–129	7
130	3
131+	98

Download as CSV

Best Publications

Implementing Mathematics with The Nuprl Proof Development System

R. L. Constable;S. F. Allen;H. M. Bromley;W. R. Cleaveland

1324
Citations
Proofs as programs

Unknown

281
Citations
Building reliable, high-performance communication systems from components

Xiaoming Liu;Christoph Kreitz;Robbert van Renesse;Jason Hickey

186
Citations
Innovations in computational type theory using Nuprl

Unknown

124
Citations
On Classes of Program Schemata

Unknown

122
Citations
The semantics of reflected proof

Unknown

121
Citations
Partial Objects In Constructive Type Theory

Unknown

100
Citations
Constructive Mathematics and Automatic Program Writers

Robert L. Constable

94
Citations
Computability concepts for programming language semantics

Unknown

90
Citations
The Nuprl Open Logical Environment

Unknown

87
Citations
Type two computational complexity

Unknown

76
Citations
MetaPRL - A Modular Logical Environment

Unknown

75
Citations
The metaprl logical programming environment

Unknown

66
Citations
On the theory of programming logics

Unknown

64
Citations
The Type Theory of PL/CV3

Unknown

62
Citations
Formalized Metareasoning in Type Theory

Unknown

62
Citations
Recursive Definitions in Type Theory

Unknown

60
Citations
Writing programs that construct proofs

Unknown

60
Citations
Subrecursive Programming Languages, Part I: efficiency and program structure

Robert L. Constable;Allan B. Borodin

56
Citations
Verbalization of high-level formal proofs

Amanda M. Holland-Minkley;Regina Barzilay;Robert L. Constable

53
Citations