Lintao Zhang publications per year

The chart shows the history of publications by Lintao Zhang between 2001 and 2025, highlighting the no. of papers published in each year and offering an overview of the publication velocity of this scholar. Lintao Zhang published across 25 years, from 2001 to 2025, averaging 3.6 papers a year. Output peaked at 10 publications in 2002. 7 of the 91 publications appeared in the last two years.

No. of publications

2 4 6 8 10

2001 2025

91 publications in total across all disciplines

View publications per year as a table

Lintao Zhang: publications per year, 2001 to 2025
Year	Publications
2001	2
2002	10
2003	5
2004	2
2005	6
2006	5
2007	3
2008	4
2009	2
2010	0
2011	2
2012	1
2013	2
2014	0
2015	2
2016	0
2017	3
2018	6
2019	9
2020	5
2021	6
2022	2
2023	7
2024	5
2025	2
Total	91

Download as CSV

Lintao Zhang 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 Lintao Zhang sits on this spectrum.

No. of scientists

200 400 600

32–41 publications 991+

This scientist: 81 publications — 3rd percentile

3% 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	81
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
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

Lintao Zhang 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 Lintao Zhang sits on this spectrum.

No. of scientists

200 400 600 800

30–31 D-Index 131+

This scientist: 34 D-Index — 16th percentile

16% 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
32–33	983
34–35	918	34
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

Chaff: engineering an efficient SAT solver

Matthew W. Moskewicz;Conor F. Madigan;Ying Zhao;Lintao Zhang

4899
Citations
Vigilante: end-to-end containment of internet worms

Manuel Costa;Jon Crowcroft;Miguel Castro;Antony Rowstron

931
Citations
The Quest for Efficient Boolean Satisfiability Solvers

Lintao Zhang;Sharad Malik

485
Citations
Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications

Lintao Zhang;Sharad Malik

388
Citations
MODIST: transparent model checking of unmodified distributed systems

Junfeng Yang;Tisheng Chen;Ming Wu;Zhilei Xu

297
Citations
Vigilante

Unknown

272
Citations
Conflict driven learning in a quantified Boolean satisfiability solver

Lintao Zhang;Sharad Malik

261
Citations
Applications of SAT solvers to cryptanalysis of hash functions

Ilya Mironov;Lintao Zhang

245
Citations
KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC

Bojie Li;Zhenyuan Ruan;Wencong Xiao;Yuanwei Lu

243
Citations
Boolean satisfiability from theoretical hardness to practical success

Sharad Malik;Lintao Zhang

243
Citations
Bouncer: securing software by blocking bad input

Manuel Costa;Miguel Castro;Lidong Zhou;Lintao Zhang

221
Citations
A first look at peer-to-peer worms: threats and defenses

Lidong Zhou;Lintao Zhang;Frank McSherry;Nicole Immorlica

219
Citations
Efficient conflict driven learning in a Boolean satisfiability solver

Unknown

195
Citations
Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity

Unknown

185
Citations
Propositional Satisfiability and Constraint Programming: A comparative survey

Unknown

176
Citations
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

M.K. Ganai;Lintao Zhang;P. Ashar;A. Gupta

169
Citations
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation

Lintao Zhang;Sharad Malik

155
Citations
Practical software model checking via dynamic interface reduction

Huayang Guo;Ming Wu;Lidong Zhou;Gang Hu

129
Citations
Cutting the Cord: Designing a High-quality Untethered VR System with Low Latency Remote Rendering

Luyang Liu;Ruiguang Zhong;Wuyang Zhang;Yunxin Liu

126
Citations
Occlumency: Privacy-preserving Remote Deep-learning Inference Using SGX

Taegyeong Lee;Zhiqi Lin;Saumay Pushp;Caihua Li

111
Citations