Tobias Heindel

9 papers and 39 indexed citations i.

About

Tobias Heindel has authored 9 papers that have received a total of 39 indexed citations. This includes 8 papers in Artificial Intelligence, 4 papers in Software and 3 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (7 papers), Model-Driven Software Engineering Techniques (4 papers) and Semantic Web and Ontologies (3 papers). Tobias Heindel is often cited by papers focused on Logic, programming, and type systems (7 papers), Model-Driven Software Engineering Techniques (4 papers) and Semantic Web and Ontologies (3 papers) and collaborates with scholars based in France, Germany and United Kingdom. Tobias Heindel's co-authors include Barbara König, Andrea Corradini, Paweł Sobociński, Éric Goubault and Paolo Baldan and has published in prestigious journals such as Lecture notes in computer science, Journal of Symbolic Computation and Mathematical Structures in Computer Science

In The Last Decade

Rankless by CCL
2025