Bodo Igler

According to our database, Bodo Igler authored at least 9 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq.

Bodo Igler, Andreas Mayer

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2020

Modelling of Interaction in Interweaving Systems as Ontology Mapping Adaption.

Matthias Jurisch, Bodo Igler

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

2019

Graph-Convolution-Based Classification for Ontology Alignment Change Prediction.

Matthias Jurisch, Bodo Igler

Proceedings of the Workshop on Deep Learning for Knowledge Graphs (DL4KG2019) Co-located with the 16th Extended Semantic Web Conference 2019 (ESWC 2019), 2019

2018

RDF2Vec-based Classification of Ontology Alignment Changes.

Matthias Jurisch, Bodo Igler

Proceedings of the First Workshop on Deep Learning for Knowledge Graphs and Semantic Technologies (DL4KGS) co-located with the 15th Extended Semantic Web Conerence (ESWC 2018), 2018

2017

FAIR: Fuzzy Alarming Index Rule for Privacy Analysis in Smartphone Apps.

Majid Hatamian, Jetzabel M. Serna, Kai Rannenberg, Bodo Igler

Proceedings of the Trust, Privacy and Security in Digital Business, 2017

Knowledge-Based Self-Organization of Traffic Control Systems.

Matthias Jurisch, Bodo Igler

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2015

Sauberes wiesbaden app: introducing mobile e-participation for a clean city project in Germany.

Stephan Böhm, Bodo Igler, Roberto Morales, Frank Sand, Attila Ertan

Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, Linz, Austria, November 30, 2015

Context-Aware Mobile Language Learning.

Roberto Morales, Bodo Igler, Stephan Böhm, Pichaya Chitchaipoka

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

2013

Feature Evaluation for Mobile Applications: A Design Science Approach Based on Evolutionary Software Prototypes.

Bodo Igler

Proceedings of the Design, User Experience, and Usability. Web, Mobile, and Product Design, 2013