Michael Kohlhase - Publications, H-index & Citations

Michael Kohlhase

university of erlangen nuremberg

29H指数

347论文数

3.4K被引数

收录论文 8

发表时间

Lightweight Realms 轻量级领域

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF0

2026-01-01

PREAI

Kohlhase, Michael; Rabe, Florian; Schuetz, Marcel

Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations 通过基于GF的AST转换在柔性形式化数学中收获模块化的益处

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF0

2026-01-01

PREAI

Kelber, Josefin; Kohlhase, Michael; Schaefer, Jan Frederik; Schuetz, Marcel

Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents 在灵活形式化语境下的语义作者创作——严格文档的批量标注

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF0

2026-01-01

PREAI

Kohlhase, Michael; Schaefer, Jan Frederik

Leveraging Large Language Models to Generate Course-Specific Semantically Annotated Learning Objects 利用大型语言模型生成课程特定的语义注释学习对象

computer assisted language learning

IF4.6

2024-12-23

OAAI

Lohr, Dominic; Berges, Marc; Chugh, Abhishek; Kohlhase, Michael; Mueller, Dennis

Model pathway diagrams for the representation of mathematical models

OPTICAL AND QUANTUM ELECTRONICS

IF4

2018-01-23

PREAI

Koprucki, Thomas; Kohlhase, Michael; Tabelow, Karsten; Mueller, Dennis; Rabe, Florian

Context-Aware Adaptation: A Case Study On Mathematical Notations

information management

IF3.9

2009-07-22

OAAI

Mueller, Christine; Kohlhase, Michael

Applying Semantic Techniques to Search and Analyze Bug Tracking Data

JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT

IF3.9

2009-05-29

PREAI

Tran, Ha Manh; Lange, Christoph; Chulkov, Georgi; Schoenwaelder, Juergen; Kohlhase, Michael

Semantic knowledge management for education

PROCEEDINGS OF THE IEEE

IF25.9

2008-06-01

PREAI

Kohlhase, Andrea; Kohlhase, Michael

研究方向