| Quantitative Notions of Leakage for One-try Attacks | 2009/08/01 | English | 32 |
| Evaluating the Quality of Open Source Software | 2009/03/01 | English | 30 |
| Temporal Assertions using AspectJ | 2006/05/01 | English | 30 |
| Cryptographic Versus Trust-based Methods for MANET Routing Security | 2008/02/01 | English | 30 |
| General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting | 2007/07/01 | English | 30 |
| Bigraphs and Their Algebra | 2008/04/01 | English | 29 |
| Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations | 2004/12/01 | English | 29 |
| Quantitative Analysis With the Probabilistic Model Checker PRISM | 2006/05/01 | English | 28 |
| Hierarchical Design Rewriting with Maude | 2009/06/01 | English | 28 |
| jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology | 2014/07/01 | English | 28 |
| An Introduction to Algebraic Effects and Handlers. Invited tutorial paper | 2015/12/01 | English | 27 |
| GLL Parsing | 2010/09/01 | English | 27 |
| A Comparative Study of Industrial Static Analysis Tools | 2008/07/01 | English | 27 |
| Expressiveness of Process Algebras | 2008/04/01 | English | 27 |
| Metrics for Action-labelled Quantitative Transition Systems | 2006/05/01 | English | 25 |
| Phase Groups and the Origin of Non-locality for Qubits | 2011/02/01 | English | 25 |
| Semantics and Verification of Data Flow in UML 2.0 Activities | 2005/04/01 | English | 24 |
| A Bayesian Model for Event-based Trust | 2007/04/01 | English | 24 |
| Modeling and Model Checking Web Services | 2005/03/01 | English | 23 |
| RETRACTED: Semantic Domains for Combining Probability and Non-Determinism | 2005/04/01 | English | 23 |
| Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks | 2008/01/01 | English | 23 |
| Verifying Industrial Hybrid Systems with MathSAT | 2005/03/01 | English | 22 |
| Idempotents in Dagger Categories | 2008/07/01 | English | 22 |
| Concurrent Separation Logic and Operational Semantics | 2011/09/01 | English | 22 |
| Formalizing UML Models and OCL Constraints in PVS | 2005/01/01 | English | 22 |
| An Augmented Reality Prototype for supporting IoT-based Educational Activities for Energy-efficient School Buildings | 2019/05/01 | English | 21 |
| Comonadic Notions of Computation | 2008/06/01 | English | 21 |
| A Graph Theoretical Approach To The Shunting Problem | 2004/02/01 | English | 21 |
| A Framework to Generate Synthetic Multi-label Datasets | 2014/02/01 | English | 21 |
| Reasoning About Imperative Quantum Programs | 2006/05/01 | English | 20 |