Thomas Arts 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2863	541
h 指数	24	9
i10 指数	47	8

180

135

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 7 28 36 61 57 106 85 123 99 118 94 174 131 132 118 118 85 116 111 135 106 108 122 129 108 86 101 78 39

开放获取的出版物数量

查看全部

7 篇文章

4 篇文章

可查看的文章

无法查看的文章

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

合著作者

John HughesProfessor of Computer Science and Engineering, Chalmers University在 chalmers.se 的电子邮件经过验证
Jürgen GieslProfessor of Computer Science, RWTH Aachen University在 informatik.rwth-aachen.de 的电子邮件经过验证
Hans SvenssonQuviq AB在 quviq.com 的电子邮件经过验证
Ulf NorellUniversity of Gothenburg在 chalmers.se 的电子邮件经过验证
Clara Benac EarleUniversidad Politécnica de Madrid在 fi.upm.es 的电子邮件经过验证
Lars-Åke FredlundUniversidad Politécnica de Madrid在 fi.upm.es 的电子邮件经过验证
Ulf WigerWiger Pilotti Unlimited AB在 wiger.net 的电子邮件经过验证
Nicholas SmallboneChalmers University of Technology在 chalmers.se 的电子邮件经过验证
Koen ClaessenChalmers University of Technology在 chalmers.se 的电子邮件经过验证
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of Technology在 kth.se 的电子邮件经过验证
Laura M. CastroProfessor of Computer Science, Universidade da Coruña在 udc.es 的电子邮件经过验证
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO Global在 kent.ac.uk 的电子邮件经过验证
John DerrickUniversity of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Dilian GurovProfessor in Computer Science, KTH Royal Institute of Technology在 kth.se 的电子邮件经过验证
hans zantemaEindhoven university of technology在 tue.nl 的电子邮件经过验证
Rolf JohanssonResearcher, SP在 sp.se 的电子邮件经过验证
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of Gothenburg在 chalmers.se 的电子邮件经过验证
Anna Börjesson SandbergGothenburg University在 ericsson.com 的电子邮件经过验证
Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Enno OhlebuschProfessor for Theoretical Bioinformatics, University of Ulm在 uni-ulm.de 的电子邮件经过验证

关注

Thomas Arts

Professor of Software Engineering, Chalmers

在 quviq.com 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Termination of term rewriting using dependency pairs T Arts, J Giesl Theoretical computer science 236 (1-2), 133-178, 2000	767	2000
Testing telecoms software with Quviq QuickCheck T Arts, J Hughes, J Johansson, U Wiger Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2-10, 2006	267	2006
Agile collaborative research: Action principles for industry-academia collaboration A Sandberg, L Pareto, T Arts IEEE software 28 (4), 74-83, 2011	155	2011
Modular termination proofs for rewriting using dependency pairs J Giesl, T Arts, E Ohlebusch Journal of symbolic computation 34 (1), 21-58, 2002	102	2002
Finding race conditions in Erlang with QuickCheck and PULSE K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ... ACM Sigplan Notices 44 (9), 149-160, 2009	92	2009
Automatically proving termination where simplification orderings fail T Arts, J Giesl Colloquium on Trees in Algebra and Programming, 261-272, 1997	85	1997
Verification of Erlang processes by dependency pairs J Giesl, T Arts Applicable Algebra in Engineering, Communication and Computing 12, 39-72, 2001	84	2001
Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015	76	2015
Proving innermost normalisation automatically T Arts, J Giesl Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 1997	73	1997
A collection of examples for termination of term rewriting using dependency pairs T Arts, J Giesl RWTH, Department of Computer Science, 2001	61	2001
Testing erlang data types with quviq quickcheck T Arts, LM Castro, J Hughes Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, 1-8, 2008	57	2008
Automatically proving termination and innermost normalization of term rewriting systems T Arts Ph. D. Thesis, Univ. of Utrecht, 1997	57	1997
Termination of logic programs using semantic unification T Arts, H Zantema International Workshop on Logic Programming Synthesis and Transformation …, 1995	52	1995
A verification tool for Erlang LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov International Journal on Software Tools for Technology Transfer 4, 405-420, 2003	48	2003
Mysteries of dropbox: property-based testing of a distributed synchronization service J Hughes, BC Pierce, T Arts, U Norell 2016 IEEE International Conference on Software Testing, Verification and …, 2016	47	2016
Development of a verified Erlang program for resource locking T Arts, C Benac Earle, J Derrick International Journal on Software Tools for Technology Transfer 5, 205-220, 2004	45	2004
Trace analysis of Erlang programs T Arts, LÅ Fredlund Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002	40	2002
Verifying a distributed database lookup manager written in Erlang T Arts, M Dam FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999	40	1999
Property-based testing-the protest project J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ... Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010	37	2010
Verifying Erlang code: a resource locker case-study T Arts, CB Earle, J Derrick FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002	37	2002

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用