Serge Autexier 个人学术档案

引用次数

	总计	2019 年至今
引用	1559	350
h 指数	22	9
i10 指数	48	8

120

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 6 13 26 42 64 49 58 75 88 105 117 108 67 81 59 34 36 33 53 31 41 73 46 77 80 31

开放获取的出版物数量

查看全部

19 篇文章

5 篇文章

可查看的文章

无法查看的文章

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

合著作者

Dieter HutterGerman Research Center for Artificial Intelligence在 dfki.de 的电子邮件经过验证
Christoph BenzmüllerProfessor for AI Systems Engineering, University of Bamberg在 fu-berlin.de 的电子邮件经过验证
Heiko MantelProfessor, Computer Science, TU Darmstadt在 cs.tu-darmstadt.de 的电子邮件经过验证
Till MossakowskiProfessor of Computer Science, University of Magdeburg在 ovgu.de 的电子邮件经过验证
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, Germany在 uni-bremen.de 的电子邮件经过验证
Mazyar SerajUniversity Lecturer and Researcher, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule Harz在 logic.at 的电子邮件经过验证
Christian MandelDeutsches Forschungszentrum für Künstliche Intelligenz在 uni-bremen.de 的电子邮件经过验证
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität Bremen在 dfki.de 的电子邮件经过验证
Alan P. SextonUniversity of Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Jacques CalmetProfessor在 ira.uka.de 的电子邮件经过验证
David Delahaye在 cnam.fr 的电子邮件经过验证
Patrick D. F. IonEmeritus Associate Editor, Mathematical Reviews在 umich.edu 的电子邮件经过验证
Vizitiu AnamariaTransilvania University of Brasov在 unitbv.ro 的电子邮件经过验证
Marvin SchillerRobert Bosch GmbH在 alumni.uni-ulm.de 的电子邮件经过验证
Cornelia GrosseJohannes Kepler University Linz, Austria在 jku.at 的电子邮件经过验证
Alan BundyProfessor of Automated Reasoning, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Claudio Sacerdoti CoenUniversity of Bologna在 unibo.it 的电子邮件经过验证
Christoph StahlLuxembourg Institute of Science and Technology在 schwartz-stahl.de 的电子邮件经过验证
Jan JanssenDeutsches Forschungszentrum für Künstliche Intelligenz在 dfki.de 的电子邮件经过验证

关注

Serge Autexier

German Research Centre for Artificial Intelligence (DFKI), Bremen, Germany

在 dfki.de 的电子邮件经过验证 - 首页

formal methods especially automated and interactive theorem proving change management intelligent environments especially ambi


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Development graphs—proof management for structured specifications T Mossakowski, S Autexier, D Hutter The Journal of Logic and Algebraic Programming 67 (1-2), 114-145, 2006	87	2006
Towards an evolutionary formal software-development using CASL S Autexier, D Hutter, H Mantel, A Schairer Recent Trends in Algebraic Development Techniques: 14th International …, 2000	79	2000
The development graph manager MAYA S Autexier, D Hutter, T Mossakowski, A Schairer International Conference on Algebraic Methodology and Software Technology …, 2002	72	2002
Computer supported mathematics with ΩMEGA J Siekmann, C Benzmüller, S Autexier Journal of Applied Logic 4 (4), 533-559, 2006	66	2006
System description: Inka 5.0-a logic voyager S Autexier, D Hutter, H Mantel, A Schairer CADE, 207-211, 1999	63	1999
Extending development graphs with hiding T Mossakowski, S Autexier, D Hutter International Conference on Fundamental Approaches to Software Engineering …, 2001	41	2001
Scratch and Google Blockly: How girls' programming skills and attitudes are influenced M Seraj, ES Katterfeldt, K Bub, S Autexier, R Drechsler Proceedings of the 19th Koli Calling International Conference on Computing …, 2019	40	2019
Assertion-level proof representation with under-specification S Autexier, C Benzmüller, A Fiedler, H Horacek, BQ Vo Electronic Notes in Theoretical Computer Science 93, 5-23, 2004	38	2004
Integrating HOL-CASL into the Development Graph Manager MAYA S Autexier, T Mossakowski International Workshop on Frontiers of Combining Systems, 2-17, 2002	38	2002
VSE: Formal methods meet industrial needs S Autexier, D Hutter, B Langenstein, H Mantel, G Rock, A Schairer, ... International journal on software tools for technology transfer 3, 66-77, 2000	38	2000
Automated discovery of inductive theorems R McCasland, A Bundy, A Serge Studies in Logic, Grammar and Rhetoric 10 (23), 2007	37	2007
PlatΩ: A mediator between text-editors and proof assistance systems M Wagner, S Autexier, C Benzmüller Electronic Notes in Theoretical Computer Science 174 (2), 87-107, 2007	35	2007
A generic modular data structure for proof attempts alternating on ideas and granularity S Autexier, C Benzmüller, D Dietrich, A Meier, CP Wirth Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006	35	2006
Hierarchical contextual reasoning S Autexier	35	2003
The CrowdHEALTH project and the hollistic health records: Collective wisdom driving public health policies D Kyriazis, S Autexier, M Boniface, V Engen, R Jimenez-Peris, B Jordan, ... Acta Informatica Medica 27 (5), 369, 2019	32	2019
Crowdhealth: Holistic health records and big data analytics for health policy making and personalized health D Kyriazis, S Autexier, I Brondino, M Boniface, L Donat, V Engen, ... Informatics Empowers Healthcare Transformation, 19-23, 2017	30	2017
The CoRe Calculus S Autexier International Conference on Automated Deduction, 84-98, 2005	30	2005
Semantics-based change impact analysis for heterogeneous collections of documents S Autexier, N Müller Proceedings of the 10th ACM symposium on Document engineering, 97-106, 2010	27	2010
Supporting user-defined notations when integrating scientific text-editors with proof assistance systems S Autexier, A Fiedler, T Neumann, M Wagner International Conference on Mathematical Knowledge Management, 176-190, 2007	27	2007
BEESM, a block-based educational programming tool for end users M Seraj, S Autexier, J Janssen Proceedings of the 10th Nordic Conference on Human-Computer Interaction, 886-891, 2018	25	2018

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用