A. Slobodová
发表
Christoph Meinel,
Anna Slobodová,
C. Meinel,
1994,
MFCS.
Christoph Meinel,
Anna Slobodová,
Christian Stangier,
1998,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
W. Hunt,
S. Swords,
A. Slobodová,
2011
.
Christoph Meinel,
Anna Slobodová,
C. Meinel,
1994,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
C. Meinel,
A. Slobodová,
1997,
Theory of Computing Systems.
Christoph Meinel,
Anna Slobodová,
C. Meinel,
1996,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Christoph Meinel,
Anna Slobodová,
C. Meinel,
1993,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Jochen Bern,
Christoph Meinel,
Anna Slobodová,
1995,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Christoph Meinel,
Anna Slobodová,
Klaus Schwettmann,
1998,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Christoph Meinel,
Anna Slobodová,
Peter Willems,
1997,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Anna Slobodová,
A. Slobodová,
2001,
SOFSEM.
Matt Kaufmann,
J. S. Moore,
J Strother Moore,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Anna Slobodová,
Juraj Hromkovic,
Branislav Rovan,
1994,
Theor. Comput. Sci..
Christoph Meinel,
Anna Slobodová,
C. Meinel,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Jochen Bern,
Christoph Meinel,
Anna Slobodová,
1995,
32nd Design Automation Conference.
A. Slobodová,
Christoph Meinel,
1997,
Formal Methods Syst. Des..
Jochen Bern,
Christoph Meinel,
Anna Slobodová,
1996,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Anna Slobodová,
Vladimir A. Frolov,
Christopher Taylor,
2009,
CAV.