Harald Woracek

According to our database, Harald Woracek authored at least 7 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively.

Ana Sokolova, Harald Woracek

CoRR, 2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).

Ana Sokolova, Harald Woracek

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2018

Termination in Convex Sets of Distributions.

Ana Sokolova, Harald Woracek

Log. Methods Comput. Sci., 2018

Proper Semirings and Proper Convex Functors.

Ana Sokolova, Harald Woracek

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2011

Eigenvalue asymptotics for a star-graph damped vibrations problem.

Vyacheslav Pivovarchik, Harald Woracek

Asymptot. Anal., 2011

2009

Coalgebraic Weak Bisimulation for Action-Type Systems.

Ana Sokolova, Erik P. de Vink, Harald Woracek

Sci. Ann. Comput. Sci., 2009

2004

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).

Ana Sokolova, Erik P. de Vink, Harald Woracek

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004