- 2020
- Héctor Cancela, Gabriela Marín, Vladimir Villarreal:
Preface. CLEI Selected Papers 2020: 1-2 - Federico Daumas-Ladouce, Miguel García-Torres, José Luis Vázquez Noguera, Diego P. Pinto-Roa, Horacio Legal Ayala:
Multi-Objective Pareto Histogram Equalization. CLEI Selected Papers 2020: 3-23 - Federico Flaviani, Elias Tahhan-Bittar:
Criteria for Bracket Abstractions Design. CLEI Selected Papers 2020: 25-48 - Jared León, Boris Chullo-Llave, Lauro Enciso-Rodas, José Luis Soncco-Álvarez:
A Multi-Objective Optimization Algorithm for Center-Based Clustering. CLEI Selected Papers 2020: 49-67 - Jesús E. Ramírez, José Paredes, Yudith Cardinale:
Improvements to the Robust Transform Based on the Weighted Median Operator Algorithm. CLEI Selected Papers 2020: 81-102 - Ernesto Rivera-Alvarado, Francisco J. Torres-Rojas:
APU Performance Evaluation for Accelerating Computationally Expensive Workloads. CLEI Selected Papers 2020: 103-118 - Julio César Mello Román, Ricardo Escobar, Fabiola Martínez, José Luis Vázquez Noguera, Horacio Legal Ayala, Diego P. Pinto-Roa:
Medical Image Enhancement With Brightness and Detail Preserving Using Multiscale Top-hat Transform by Reconstruction. CLEI Selected Papers 2020: 69-80 - Aurelio Vivas, John Sanabria:
A Microservice Approach for a Cellular Automata Parallel Programming Environment. CLEI Selected Papers 2020: 119-134 - Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: A Typed Higher-order Functional Language for Events. LSFA 2020: 3-23 - Sepehr Amir-Mohammadian, Chadi Kari:
Correct Audit Logging in Concurrent Systems. LSFA 2020: 115-141 - Linda Brodo, Carlos Olarte:
A Constraint-based Language for Multiparty Interactions. LSFA 2020: 25-50 - Susannah Mansky, Elsa L. Gunter:
Safety of a Smart Classes-Used Regression Test Selection Algorithm. LSFA 2020: 51-73 - Cecilia Manzino, Alberto Pardo:
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. LSFA 2020: 75-94 - Alexis Martin, Alejandro Ríos, Andrés Viso:
Pure Pattern Calculus à la de Bruijn. LSFA 2020: 95-113 - Cláudia Nalon, Giselle Reis:
Preface. LSFA 2020: 1-2 - Carlos Olarte, Elaine Pimentel, Bruno Xavier:
A Fresh View of Linear Logic as a Logical Framework. LSFA 2020: 143-165 - Sandro Preto, Marcelo Finger:
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. LSFA 2020: 167-186 - Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz:
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. LSFA 2020: 187-203 - Alejandro Aguirre, Shin-ya Katsumata:
Weakest Preconditions in Fibrations. MFPS 2020: 5-27 - Nicolas Blanco, Noam Zeilberger:
Bifibrations of Polycategories and Classical Linear Logic. MFPS 2020: 29-52 - Samuele Buro, Roy L. Crole, Isabella Mastroeni:
Equational Logic and Categorical Semantics for Multi-Languages. MFPS 2020: 79-103 - Linan Chen, Florence Clerc, Prakash Panangaden:
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. MFPS 2020: 53-77 - Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson:
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS 2020: 105-128 - Tobias Fritz, Paolo Perrone:
Monads, Partial Evaluations, and Rewriting. MFPS 2020: 129-148 - Tao Gu, Alexandra Silva, Fabio Zanasi:
Hennessy-Milner Results for Probabilistic PDL. MFPS 2020: 283-304 - Patricia Johann:
Preface. MFPS 2020: 1-3 - Ryan Kavanagh:
Parametrized Fixed Points and Their Applications to Session Types. MFPS 2020: 149-172 - Ernie Manes:
Continuous Monads. MFPS 2020: 173-190 - Thomas Paine:
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem. MFPS 2020: 191-209 - Gordon D. Plotkin:
A Complete Equational Axiomatisation of Partial Differentiation. MFPS 2020: 211-232