Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). - Ana Sokolova; Erik P. de Vink; Harald Woracek (CTCS, 2004)

Coalgebraic Weak Bisimulation for Action-Type Systems. - Ana Sokolova; Erik P. de Vink; Harald Woracek (Sci. Ann. Comput. Sci., 2009)

Eigenvalue asymptotics for a star-graph damped vibrations problem. - Vyacheslav Pivovarchik; Harald Woracek (Asymptot. Anal., 2011)

Proper Semirings and Proper Convex Functors. - Ana Sokolova; Harald Woracek (FoSSaCS, 2018)

Termination in Convex Sets of Distributions. - Ana Sokolova; Harald Woracek (Log. Methods Comput. Sci., 2018)

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). - Ana Sokolova; Harald Woracek (CALCO, 2021)

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively. - Ana Sokolova; Harald Woracek (CoRR, 2021)

Cancellative Convex Semilattices. - Ana Sokolova; Harald Woracek (CALCO, 2025)