Reiner Hähnle 个人学术档案

引用次数

	总计	2019 年至今
引用	8343	2330
h 指数	43	23
i10 指数	125	50

500

250

125

375

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 97 35 66 124 107 120 113 170 116 168 155 256 215 304 240 253 244 262 360 328 360 371 476 399 490 472 440 383 437 407 188

开放获取的出版物数量

查看全部

33 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
Richard BubelDepartment of Computer Science, TU Darmstadt在 cs.tu-darmstadt.de 的电子邮件经过验证
Einar Broch JohnsenProfessor, University of Oslo在 ifi.uio.no 的电子邮件经过验证
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of Technology在 chalmers.se 的电子邮件经过验证
Martin GieseProf., Dept. of Informatics, University of Oslo在 ifi.uio.no 的电子邮件经过验证
Eduard KamburjanSenior Researcher, University of Oslo在 ifi.uio.no 的电子邮件经过验证
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
Thomas BaarHTW Berlin在 acm.org 的电子邮件经过验证
Ina SchaeferKarlsruhe Institute of Technology (KIT)在 kit.edu 的电子邮件经过验证
Steffen SchlagerUniversity of Applies Sciences Offenburg在 hs-offenburg.de 的电子邮件经过验证
Crystal Chang DinDepartment of Informatics, University of Bergen, Norway在 uib.no 的电子邮件经过验证
Mattias UlbrichResearcher, Karlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
Wojciech MostowskiHalmstad University在 hh.se 的电子邮件经过验证
Martin Hentschelitemis AG, Germany在 itemis.de 的电子邮件经过验证
Andreas RothSAP SE在 sap.com 的电子邮件经过验证
Peter Y. H. WongPrenetics在 wolfson.oxon.org 的电子邮件经过验证
Elvira AlbertComplutense University of Spain在 sip.ucm.es 的电子邮件经过验证
Dominic SteinhöfelCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Neil V. MurrayDepartment of Computer Science, Univ. at Albany - SUNY在 cs.albany.edu 的电子邮件经过验证
Ferruccio DamianiFull Professor of Compurer Science, University of Torino在 di.unito.it 的电子邮件经过验证

关注

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt

在 cs.tu-darmstadt.de 的电子邮件经过验证 - 首页

Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Verification of object-oriented software: The KeY approach B Beckert, R Hähnle, PH Schmitt Springer-Verlag, 2007	804*	2007
ABS: A core language for abstract behavioral specification EB Johnsen, R Hähnle, J Schäfer, R Schlatte, M Steffen International Symposium on Formal Methods for Components and Objects, 142-164, 2010	468	2010
Handbook of tableau methods M D'Agostino, D Gabbay, R Hähnle, J Posegga Kluwer Academic Publishers, 1999	421*	1999
The key tool W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software & Systems Modeling 4 (1), 32-54, 2005	416	2005
Deductive Software Verification–The KeY Book: From Theory to Practice W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Springer, 2016	407*	2016
Automated deduction in multiple-valued logics R Hähnle Oxford University Press, Inc., 1993	296*	1993
A theorem proving approach to analysis of secure information flow Á Darvas, R Hähnle, D Sands Security in Pervasive Computing: Second International Conference, SPC 2005 …, 2005	286	2005
Tableaux and related methods R Hahnle Handbook of automated reasoning 1, 101-176, 2001	242	2001
A Survey of Active Object Languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 76, 2017	151	2017
Resource analysis of complex programs with cost equations A Flores-Montoya, R Hähnle Asian Symposium on Programming Languages and Systems, 275-295, 2014	124	2014
Advanced many-valued logics R Hähnle Handbook of philosophical logic, 297-395, 2001	106	2001
Many-valued logic and mixed integer programming R Hähnle Annals of mathematics and Artificial Intelligence 12 (3-4), 231-263, 1994	106	1994
OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst case S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	104	2015
Deductive software verification: from pen-and-paper proofs to industrial tools R Hähnle, M Huisman Computing and Software Science: State of the Art and Perspectives, 345-373, 2019	103	2019
The liberalized δ-rule in free variable semantic tableaux R Hähnle, PH Schmitt Journal of Automated Reasoning 13, 211-221, 1994	102	1994
Short conjunctive normal forms in finitely valued logics R Hähnle Journal of Logic and Computation 4 (6), 905-927, 1994	100	1994
The even more liberalized δ-rule in free variable semantic tableaux B Beckert, R Hähnle, PH Schmitt Kurt Gödel Colloquium on Computational Logic and Proof Theory, 108-119, 1993	100	1993
Uniform notation of tableau rules for multiple-valued logics R Hähnle Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International …, 1991	100	1991
The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Verified Software: Theories, Tools and Experiments: 6th International …, 2014	93	2014
The KeY Approach: Integrating Object Oriented Design and Formal Verification W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ... Logics in Artificial Intelligence, 21-36, 2000	90*	2000

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用