Stefan Milius

70 papers and 424 indexed citations i.

Stefan Milius has authored 70 papers that have received a total of 424 indexed citations. This includes 60 papers in Artificial Intelligence, 42 papers in Computational Theory and Mathematics and 26 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (56 papers), Logic, Reasoning, and Knowledge (33 papers) and Homotopy and Cohomology in Algebraic Topology (25 papers). Stefan Milius is often cited by papers focused on Logic, programming, and type systems (56 papers), Logic, Reasoning, and Knowledge (33 papers) and Homotopy and Cohomology in Algebraic Topology (25 papers) and collaborates with scholars based in Germany, Czechia and United States. Stefan Milius's co-authors include Jiřı́ Adámek, Jiřı́ Velebil, Lawrence S. Moss, Lutz Schröder and Marcello Bonsangue and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Information and Computation.