Harald Woracek

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 7

Top Topics

Variational Inequalities

Top Venues

Log. Methods Comput. Sci.

Publications

Ana Sokolova, Harald Woracek
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively. CoRR (2021)
Ana Sokolova, Harald Woracek
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). CALCO (2021)
Ana Sokolova, Harald Woracek
Proper Semirings and Proper Convex Functors. FoSSaCS (2018)
Ana Sokolova, Harald Woracek
Termination in Convex Sets of Distributions. Log. Methods Comput. Sci. 14 (4) (2018)
Ana Sokolova, Harald Woracek
Proper Semirings and Proper Convex Functors. CoRR (2018)
Ana Sokolova, Harald Woracek
Termination in Convex Sets of Distributions. CALCO (2017)
Ana Sokolova, Harald Woracek
Termination in Convex Sets of Distributions. CoRR (2017)
Vyacheslav Pivovarchik, Harald Woracek
Eigenvalue asymptotics for a star-graph damped vibrations problem. Asymptot. Anal. 73 (3) (2011)
Ana Sokolova, Erik P. de Vink, Harald Woracek
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. 19 (2009)
Ana Sokolova, Erik P. de Vink, Harald Woracek
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS (2004)