| Distribution Bisimilarity Via The Power Of Convex Algebras | 0 | 0.34 | 2021 |
| Preface for the special issue of Proof, Structure, and Computation 2014 | 0 | 0.34 | 2019 |
| Helmut Veith memorial workshop 2019 report | 0 | 0.34 | 2019 |
| Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. | 0 | 0.34 | 2018 |
| Proper Semirings and Proper Convex Functors. | 0 | 0.34 | 2018 |
| The Power of Convex Algebras. | 1 | 0.36 | 2017 |
| Dynamic Reductions For Model Checking Concurrent Software | 0 | 0.34 | 2017 |
| Sea-Param: Exploring Schedulers In Parametric Mdps | 0 | 0.34 | 2017 |
| Termination in Convex Sets of Distributions. | 2 | 0.42 | 2017 |
| Preface for the special issue on Interaction and Concurrency Experience 2014 | 0 | 0.34 | 2016 |
| Local Linearizability for Concurrent Container-Type Data Structures. | 1 | 0.36 | 2016 |
| Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures. | 9 | 0.53 | 2015 |
| Local Linearizability. | 0 | 0.34 | 2015 |
| Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. | 0 | 0.34 | 2014 |
| Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation | 25 | 0.85 | 2013 |
| Temporal isolation in real-time systems: the VBS approach. | 1 | 0.35 | 2013 |
| Quantitative relaxation of concurrent data structures | 35 | 1.28 | 2013 |
| Performance, scalability, and semantics of concurrent FIFO queues | 14 | 0.69 | 2012 |
| Trace semantics via determinization. | 14 | 0.78 | 2012 |
| The Logical Execution Time Paradigm. | 14 | 1.07 | 2012 |
| Short-term memory for self-collecting mutators | 0 | 0.34 | 2011 |
| Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems | 4 | 0.43 | 2011 |
| Scalability versus semantics of concurrent FIFO queues | 9 | 0.61 | 2011 |
| Information-acquisition-as-a-service for cyber-physical cloud computing | 17 | 0.71 | 2010 |
| Runtime Programming through Model-Preserving, Scalable Runtime Patches | 1 | 0.36 | 2010 |
| Power-aware temporal isolation with variable-bandwidth servers | 5 | 0.43 | 2010 |
| Programmable temporal isolation through variable-bandwidth servers | 8 | 0.51 | 2009 |
| Coalgebraic components in a many-sorted microcosm | 6 | 0.46 | 2009 |
| Traces, Executions and Schedulers, Coalgebraically | 3 | 0.46 | 2009 |
| Programmable temporal isolation in real-time and embedded execution environments | 5 | 0.65 | 2009 |
| Coalgebraic Weak Bisimulation For Action-Type Systems | 7 | 0.48 | 2009 |
| A compacting real-time memory management system | 9 | 0.51 | 2008 |
| The microcosm principle and concurrency in coalgebra | 13 | 0.71 | 2008 |
| Generic Trace Semantics via Coinduction | 49 | 1.79 | 2007 |
| Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract) | 2 | 0.36 | 2005 |
