pith. sign in

Ana Sokolova

Identifiers

  • name variant Ana Sokolova 0.60 · backfill

Papers (10)

  1. Convex algebras on an interval with semicontinuous monotone operations cs.LO · 2026 · author #1
  2. Parameter-Independent Strategies for pMDPs via POMDPs cs.LO · 2018 · author #5
  3. Proper Semirings and Proper Convex Functors cs.LO · 2018 · author #1
  4. Dynamic Reductions for Model Checking Concurrent Software cs.LO · 2016 · author #3
  5. Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures cs.PL · 2015 · author #4
  6. Local Linearizability cs.PL · 2015 · author #8
  7. Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit cs.PL · 2014 · author #5
  8. Proceedings Fifth Interaction and Concurrency Experience cs.PL · 2012 · author #4
  9. Generic Trace Semantics via Coinduction cs.LO · 2007 · author #3
  10. Probabilistic Anonymity and Admissible Schedulers cs.CR · 2007 · author #3

Mentions

  • 2603.14955 #1 · arxiv_oai · confidence 0.70 Ana Sokolova
  • 1503.09006 #4 · backfill · confidence 0.70 Ana Sokolova
  • 1502.07118 #8 · backfill · confidence 0.70 Ana Sokolova
  • 1404.1830 #5 · backfill · confidence 0.70 Ana Sokolova
  • 1212.3458 #4 · backfill · confidence 0.70 Ana Sokolova
  • 0710.2505 #3 · backfill · confidence 0.70 Ana Sokolova
  • 0706.1019 #3 · backfill · confidence 0.70 Ana Sokolova

Frequent Coauthors