Serge Autexier

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2019
Позовавания	1609	398
h-индекс	23	10
i10-индекс	50	10

120

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 6 13 26 42 64 49 58 75 88 105 119 108 67 81 59 34 36 33 53 31 42 74 47 81 80 73

Публичен достъп

Преглед на всички

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	80	2000
The development graph manager MAYA S Autexier, D Hutter, T Mossakowski, A Schairer International Conference on Algebraic Methodology and Software Technology …, 2002	73	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
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	46	2019
Extending development graphs with hiding T Mossakowski, S Autexier, D Hutter International Conference on Fundamental Approaches to Software Engineering …, 2001	41	2001
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	38	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
Hierarchical contextual reasoning S Autexier	37	2003
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	36	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
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	32	2017
The CoRe Calculus S Autexier International Conference on Automated Deduction, 84-98, 2005	30	2005
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	29	2018
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

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори