Harald Woracek

13 papers B 4Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Convex algebras on an interval with semicontinuous monotone operations.
CoRR
Ana Sokolova, Harald Woracek
2025 B conf
Cancellative Convex Semilattices.
CALCO
Ana Sokolova, Harald Woracek
2025 J jnl
Cancellative Convex Semilattices.
CoRR
Ana Sokolova, Harald Woracek
2021 B conf
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).
CALCO
Ana Sokolova, Harald Woracek
2021 J jnl
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively.
CoRR
Ana Sokolova, Harald Woracek
2018 B conf
Proper Semirings and Proper Convex Functors.
FoSSaCS
Ana Sokolova, Harald Woracek
2018 J jnl
Proper Semirings and Proper Convex Functors.
CoRR
Ana Sokolova, Harald Woracek
2018 J jnl
Termination in Convex Sets of Distributions.
Log. Methods Comput. Sci.
Ana Sokolova, Harald Woracek
2017 B conf
Termination in Convex Sets of Distributions.
CALCO
Ana Sokolova, Harald Woracek
2017 J jnl
Termination in Convex Sets of Distributions.
CoRR
Ana Sokolova, Harald Woracek
2011 J jnl
Eigenvalue asymptotics for a star-graph damped vibrations problem.
Asymptot. Anal.
Vyacheslav Pivovarchik, Harald Woracek
2009 J jnl
Coalgebraic Weak Bisimulation for Action-Type Systems.
Sci. Ann. Comput. Sci.
Ana Sokolova, Erik P. de Vink, Harald Woracek
2004 — conf
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).
CTCS
Ana Sokolova, Erik P. de Vink, Harald Woracek