Kerstin Hartig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2019
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | REFSQ | Supporting the Development of Cyber-Physical Systems with Natural Language Processing: A Report. | Andreas Vogelsang, Kerstin Hartig, Florian Pudlitz, Aaron Schlutter, Jonas Winkler |
| 2018 | RE | Automatic Glossary Term Extraction from Large-Scale Requirements Specifications. | Tim Gemkow, Miro Conzelmann, Kerstin Hartig, Andreas Vogelsang |
| 2016 | IC3K | Explanation Retrieval in Semantic Networks - Understanding Spreading Activation based Recommendations. | Vanessa N. Michalke, Kerstin Hartig |
| 2013 | INDIN | Formal specification and automated verification of railway software with Frama-C. | Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Vllinger |