- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j13 |      | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Temporal isolation in real-time systems: the VBS approach. STTT 15(3): 189-209 (2013) |
| c20 | | Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin: Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers 2013: 17 |
| c19 | | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova: Quantitative relaxation of concurrent data structures. POPL 2013: 317-328 |
| 2012 | ||
| c18 | | Christoph M. Kirsch, Ana Sokolova: The Logical Execution Time Paradigm. Advances in Real-Time Systems 2012: 103-120 |
| c17 | | |
| c16 | | Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) 2012: 273-287 |
| e1 | | Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. EPTCS 104, 2012 |
| 2011 | ||
| j12 | | Alexandra Silva, Ana Sokolova: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 276: 291-311 (2011) |
| j11 | | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova: Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412(28): 3072-3089 (2011) |
| j10 | | Ana Sokolova: Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci. 412(38): 5095-5110 (2011) |
| c15 | | Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD 2011: 77-86 |
| c14 | | Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger: Short-term memory for self-collecting mutators. ISMM 2011: 99-108 |
| c13 | | Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova: Scalability versus semantics of concurrent FIFO queues. PODC 2011: 331-332 |
| 2010 | ||
| j9 | | Bart Jacobs, Ana Sokolova: Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010) |
| c12 | | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova: Power-aware temporal isolation with variable-bandwidth servers. EMSOFT 2010: 259-268 |
| c11 | | Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS 2010: 290-294 |
| c10 | | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova: Information Hiding in Probabilistic Concurrent Systems. QEST 2010: 17-26 |
| c9 | | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova: Response Time versus Utilization in Scheduler Overhead Accounting. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 291-300 |
| 2009 | ||
| j8 | | Ana Sokolova, Erik P. de Vink, Harald Woracek: Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comp. Sci. 19: 93-144 (2009) |
| j7 | | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov reward chains with fast and silent transitions. Perform. Eval. 66(8): 435-452 (2009) |
| c8 | | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80 |
| c7 | | |
| c6 | | Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova: Distributed, Modular HTL. RTSS 2009: 171-180 |
| c5 | | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180 |
| 2008 | ||
| j6 | | Jos C. M. Baeten, Ana Sokolova: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. J. Log. Algebr. Program. 78(1): 52 (2008) |
| c4 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260 |
| c3 | | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger: A Compacting Real-Time Memory Management System. USENIX Annual Technical Conference 2008: 349-362 |
| 2007 | ||
| j5 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4) (2007) |
| c2 | | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 |
| i2 | | Flavio D. Garcia, Peter van Rossum, Ana Sokolova: Probabilistic Anonymity and Admissible Schedulers. CoRR abs/0706.1019 (2007) |
| i1 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. CoRR abs/0710.2505 (2007) |
| 2006 | ||
| j4 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006) |
| 2005 | ||
| j3 | | Ana Sokolova, Erik P. de Vink, Harald Woracek: Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005) |
| 2004 | ||
| j2 | | Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004) |
| c1 | | Ana Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43 |
| 2003 | ||
| j1 | | Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): 57-75 (2003) |
Colors in the list of coauthors
Last update Sat May 25 15:58:17 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page