Ana Sokolova
Publication Activity (10 Years)
Years Active: 2003-2023
Publications (10 Years): 28
Publications (10 Years): 28
Top Topics
Publications
- Alfons Laarman, Ana Sokolova
- Sandra Alves, Sandra Kiefer, Ana Sokolova
- Filippo Bonchi, Alexandra Silva, Ana Sokolova
- Michael Morak, Anna Prianichnikova, Ana Sokolova
- Dirk Pattinson, Peter Schuster, Ana Sokolova
- Ana Sokolova, Harald Woracek
- Ana Sokolova, Harald Woracek
- Ana Sokolova, Harald Woracek
- Sebastian Arming, Ezio Bartocci, Ana Sokolova
- Ana Sokolova, Harald Woracek
- Filippo Bonchi, Alexandra Silva, Ana Sokolova
- Filippo Bonchi, Alexandra Silva, Ana Sokolova
- Ana Sokolova, Harald Woracek
- Bart Jacobs, Alexandra Silva, Ana Sokolova
- Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut VeithLocal Linearizability. CoRR (2015)
- Bart Jacobs, Alexandra Silva, Ana Sokolova
- Christoph M. Kirsch, Ana Sokolova
- Ana Sokolova
- Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
- Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova
- Bart Jacobs, Ana Sokolova
- Ana Sokolova, Erik P. de Vink, Harald Woracek
- Bart Jacobs, Ana Sokolova
- Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
- Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova
- Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- Flavio D. Garcia, Peter van Rossum, Ana Sokolova
- Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- Falk Bartels, Ana Sokolova, Erik P. de Vink
- Falk Bartels, Ana Sokolova, Erik P. de Vink