Thomas Reps

引用次数

	总计	2019 年至今
引用	28185	5020
h 指数	85	37
i10 指数	211	105

1300

650

325

975

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024126 165 167 249 289 290 310 363 334 338 321 408 332 415 397 433 539 584 643 808 1069 1056 1191 1176 1133 1209 1004 1023 1195 1059 1026 998 961 876 898 846 934 781 861 695

开放获取的出版物数量

查看全部

39 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Mooly SagivTel Aviv University在 acm.org 的电子邮件经过验证
Susan HorwitzProfessor Emerita of Computer Science, University of Wisconsin (deceased)在 cs.wisc.edu 的电子邮件经过验证
Somesh JhaLubar Chair of Computer Science, University of Wisconsin在 cs.wisc.edu 的电子邮件经过验证
Akash LalMicrosoft Research, India在 microsoft.com 的电子邮件经过验证
Gogul BalakrishnanGoogle Inc在 google.com 的电子邮件经过验证
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)在 cs.uni-saarland.de 的电子邮件经过验证
Junghee LimSoftware Engineer, GrammaTech在 grammatech.com 的电子邮件经过验证
Aditya ThakurDepartment of Computer Science, University of California, Davis在 ucdavis.edu 的电子邮件经过验证
Ganesan RamalingamMicrosoft Research India在 microsoft.com 的电子邮件经过验证
Dave BinkleyLoyola University Maryland在 cs.loyola.edu 的电子邮件经过验证
Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of London在 qmul.ac.uk 的电子邮件经过验证
Ben LiblitAmazon Web Services在 amazon.com 的电子邮件经过验证
John CyphertUniversity of Wisconsin-Madison在 wisc.edu 的电子邮件经过验证
Eran YahavTechnion, Israel在 cs.technion.ac.il 的电子邮件经过验证
Loris D'AntoniUniversity of California-San Diego在 ucsd.edu 的电子邮件经过验证
Zachary KincaidPrinceton University在 cs.princeton.edu 的电子邮件经过验证
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Thomas BallMicrosoft Research在 microsoft.com 的电子邮件经过验证
Tayssir TouiliSenior researcher, CNRS在 lipn.fr 的电子邮件经过验证
Jordan HenkelSenior Scientist, Microsoft在 cs.wisc.edu 的电子邮件经过验证

关注

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin

在 cs.wisc.edu 的电子邮件经过验证 - 首页

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	2109	1988
Precise interprocedural dataflow analysis via graph reachability T Reps, S Horwitz, M Sagiv Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	1548	1995
Parametric shape analysis via 3-valued logic M Sagiv, T Reps, R Wilhelm ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (3), 217-298, 2002	1447	2002
The Cornell program synthesizer: a syntax-directed programming environment T Teitelbaum, T Reps Communications of the ACM 24 (9), 563-573, 1981	982	1981
Interprocedural slicing using dependence graphs S Horwitz, T Reps, D Binkley Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988	739	1988
Integrating noninterfering versions of programs S Horwitz, J Prins, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 345-387, 1989	650	1989
Analyzing memory accesses in x86 executables G Balakrishnan, T Reps Compiler Construction, 5-23, 2004	585	2004
Solving shape-analysis problems in languages with destructive updating M Sagiv, T Reps, R Wilhelm ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 1-50, 1996	558	1996
An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996	533	1996
Program analysis via graph reachability T Reps Information and Software Technology 40 (11-12), 701-726, 1998	522	1998
The synthesizer generator: a system for constructing language-based editors TW Reps, T Teitelbaum Springer-Verlag, New York, NY, 1988	514*	1988
The synthesizer generator T Reps, T Teitelbaum SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software …, 1984	485	1984
The use of program dependence graphs in software engineering S Horwitz, T Reps Proceedings of the 14th international conference on Software engineering …, 1992	438	1992
Generating language-based environments T Reps The MIT Press, Cambridge, MA, 1984	429	1984
The use of program profiling for software maintenance with applications to the year 2000 problem T Reps, T Ball, M Das, J Larus Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997	423	1997
Incremental context-dependent analysis for language-based editors T Reps, T Teitelbaum, A Demers ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (3), 449-477, 1983	403	1983
Identifying modules via concept analysis M Siff, T Reps Int. Conf. on Sofware Maintenance, 1997	397	1997
WYSINWYX: What You See Is Not What You eXecute G Balakrishnan, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (6), 23, 2010	382	2010
Precise interprocedural dataflow analysis with applications to constant propagation M Sagiv, T Reps, S Horwitz Theoretical Computer Science 167 (1-2), 131-170, 1996	364	1996
Dependence analysis for pointer variables S Horwitz, P Pfeiffer, T Reps Programming Language Design and Implementation 24 (7), 28-40, 1989	353	1989

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者