ask others

Álvaro García-Pérez

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/Garcia-PerezGMS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/Garcia-PerezGMS18
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey:
Paxos Consensus, Deconstructed and Abstracted. ESOP 2018: 912-939
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-05969
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-05969
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey:
Paxos Consensus, Deconstructed and Abstracted (Extended Version). CoRR abs/1802.05969 (2018)
2017
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/AcetoFGI17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/AcetoFGI17
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir:
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebr. Meth. Program. 92: 64-86 (2017)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/AcetoFGIO17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/AcetoFGIO17
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CONCUR 2017: 10:1-10:16
2016
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Garcia-PerezN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Garcia-PerezN16
Álvaro García-Pérez, Pablo Nogueira:
No solvable lambda-value term left behind. Logical Methods in Computer Science 12(2) (2016)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AcetoGI16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AcetoGI16
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir:
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi 2016: 313-343
2014
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Garcia-PerezN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Garcia-PerezN14
Álvaro García-Pérez, Pablo Nogueira:
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Sci. Comput. Program. 95: 176-199 (2014)
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/Garcia-PerezNS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/Garcia-PerezNS14
Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey:
Deriving interpretations of the gradually-typed lambda calculus. PEPM 2014: 157-168
2013
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/Garcia-PerezN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/Garcia-PerezN13
Álvaro García-Pérez, Pablo Nogueira:
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. PEPM 2013: 107-116
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/Garcia-PerezNM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/Garcia-PerezNM13
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro:
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP 2013: 85-96

Coauthor Index

see FAQ

maintained by

at