Concepedia

Stefan Milius

SM

32

Publications

847

Citations

16

H-Index

2003

Active since

Affiliations

Technische Universität Braunschweig(Current)

Friedrich-Alexander-Universität Erlangen-Nürnberg

Indiana University Bloomington

Information Technology University

Stefan Milius is an author at Technische Universität Braunschweig specializing in automated reasoning, formal methods, and computer science.

Top concepts

Automated ReasoningFormal MethodsEngineeringComputer ScienceLanguageLinguisticsSemanticsFormal VerificationMultilingualismLanguage Diversity

Publications per year

2003–2023

32

Publications

32

Infinite trees and completely iterative theories: a coalgebraic view

Peter Aczel, Jiřı́ Adámek, Stefan Milius et al. · Theoretical Computer Science · 2003 · 114 citations

Tree Language, Tree Automaton, Infinite Trees +1

Completely iterative algebras and completely iterative monads

Stefan Milius · Information and Computation · 2004 · 78 citations

Algebraic Logic, Iterative Algebras, Automated Reasoning +2

Iterative algebras at work

Stefan Milius · Mathematical Structures in Computer Science · 2006 · 71 citations

A Sound and Complete Calculus for Finite Stream Circuits

Stefan Milius · 2010 · 61 citations

Circuit Complexity, Algebraic Logic, Complete Expression Calculus +12

Elgot Algebras

Stefan Milius · Logical Methods in Computer Science · 2006 · 46 citations · Full text

Algebraic Logic, Engineering, Operational Semantics +12

Rows per page

1–5 of 32