| A Taxonomy of Model Transformation | 2006/03/01 | English | 200 |
| Automated Security Protocol Analysis With the AVISPA Tool | 2006/05/01 | English | 182 |
| Emotion Recognition from Physiological Signal Analysis: A Review | 2019/05/01 | English | 176 |
| LEMON – an Open Source C++ Graph Template Library | 2011/07/01 | English | 142 |
| Dagger Compact Closed Categories and Completely Positive Maps | 2007/03/01 | English | 123 |
| A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach | 2013/03/01 | English | 112 |
| Modelling Opacity Using Petri Nets | 2005/02/01 | English | 79 |
| Information Processing in Convex Operational Theories | 2011/02/01 | English | 77 |
| Formalizing Web Service Choreographies | 2004/12/01 | English | 46 |
| The Gaston Tool for Frequent Subgraph Mining | 2005/03/01 | English | 44 |
| Quasicontinuous Domains and the Smyth Powerdomain | 2013/11/01 | English | 44 |
| Graph Transformation in a Nutshell | 2006/02/01 | English | 44 |
| Protocol Composition Logic (PCL) | 2007/04/01 | English | 43 |
| Double-spend Attack Models with Time Advantange for Bitcoin | 2016/12/01 | English | 41 |
| Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance | 2005/02/01 | English | 40 |
| Modular Architectural Representation and Analysis of Fault Propagation and Transformation | 2005/12/01 | English | 38 |
| Stochastic Bigraphs | 2008/10/01 | English | 38 |
| Computational Effects and Operations: An Overview | 2004/10/01 | English | 38 |
| PMaude: Rewrite-based Specification Language for Probabilistic Object Systems | 2006/05/01 | English | 37 |
| Monitoring Algorithms for Metric Temporal Logic Specifications | 2005/01/01 | English | 37 |
| The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation | 2005/03/01 | English | 37 |
| Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication | 2007/07/01 | English | 37 |
| Adaptive Detection of Design Flaws | 2005/12/01 | English | 37 |
| Multiobjective Harmony Search Algorithm Proposals | 2011/12/01 | English | 36 |
| Multi-objective Variable Neighborhood Search Algorithms for a Single Machine Scheduling Problem with Distinct due Windows | 2011/12/01 | English | 34 |
| Time-dependent Networks as Models to Achieve Fast Exact Time-table Queries | 2004/02/01 | English | 34 |
| Affective Information Processing and Recognizing Human Emotion | 2009/01/01 | English | 34 |
| Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision | 2006/11/01 | English | 33 |
| The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads | 2007/04/01 | English | 33 |
| Specify, Compile, Run: Hardware from PSL | 2007/11/01 | English | 32 |