Concepedia

Alejandro Serrano

AS

3

Publications

78

Citations

3

H-Index

2014

Active since

Affiliations

Utrecht University(Current)

Microsoft Research (United Kingdom)

Alejandro Serrano is an author at Utrecht University specializing in automated reasoning, formal verification, and engineering.

Top concepts

BiasCompilersPersuasionEngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationBehavioral Decision Making

Publications per year

2014–2020

3

Publications

3

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo · Theory and Practice of Logic Programming · 2014 · 37 citations · Full text

Guarded impredicative polymorphism

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis et al. · 2018 · 22 citations

A quick look at impredicativity

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones et al. · Proceedings of the ACM on Programming Languages · 2020 · 19 citations · Full text

Engineering, Behavioral Decision Making, Type Theory +17

Rows per page

1–3 of 3