1 | -- | 11 | Reinaldo A. Vallejos C., José M. Martínez V.. A Fast Transformation of Markov Chains and Their Respective Steady-State Probability Distributions |
12 | -- | 35 | Artem Polyvyanyy, Luciano García-Bañuelos, Dirk Fahland, Mathias Weske. Maximal Structuring of Acyclic Process Models |
36 | -- | 58 | Juan de Lara, Esther Guerra, Ruth Cobos, Jaime Moreno-Llorena. Extending Deep Meta-Modelling for Practical Model-Driven Engineering |
59 | -- | 72 | Arnold L. Rosenberg. Region Management by Finite-State Robots |
73 | -- | 92 | Michel A. Reniers, Rob Schoren, Tim A. C. Willemse. Results on Embeddings Between State-Based and Event-Based Systems |
93 | -- | 99 | Jinn-Shyong Yang, Jou-Ming Chang. Optimal Independent Spanning Trees on Cartesian Product of Hybrid Graphs |
100 | -- | 114 | Iván Cores, Gabriel Rodríguez, Patricia González, María J. Martín. Failure Avoidance in MPI Applications Using an Application-Level Approach |
115 | -- | 128 | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation |
129 | -- | 137 | K. Subramani, James Worthington. On Certifying Instances of Zero-Clairvoyant Scheduling |
138 | -- | 153 | Alev Mutlu, Pinar Senkul. Improving Hit Ratio of ILP-based Concept Discovery System with Memoization |
154 | -- | 164 | Kewen Liao, Hong Shen. LP-Based Approximation Algorithms for Reliable Resource Allocation |
165 | -- | 179 | Oana Agrigoroaiei, Gabriel Ciobanu. Rewriting Systems Over Indexed Multisets |