Showing 1 - 5 results of 5 for search 'Ana Sokolova', query time: 0.02s
Refine Results
-
1
Termination in Convex Sets of Distributions by Ana Sokolova, Harald Woracek
Published 2018-11-01
Article -
2
Generic Trace Semantics via Coinduction by Ichiro Hasuo, Bart Jacobs, Ana Sokolova
Published 2007-11-01
Article -
3
Distribution Bisimilarity via the Power of Convex Algebras by Filippo Bonchi, Alexandra Silva, Ana Sokolova
Published 2021-07-01
Article -
4
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination by Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Published 2022-06-01
Article -
5
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT) by Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, Pelin Yüksel-Arslan
Published 2023-04-01
Article