I agree that this site is using cookies. You can find further informations here.
X
Fábregas, Ignacio
84  results:
Search for persons X
?
1

On algebraic abstractions for concurrent separation logics:

Farka, František ; Nanevski, Aleksandar ; Banerjee, Anindya..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://doi.org/10.1145/..
 
?
2

On algebraic abstractions for concurrent separation logics:

Farka, František ; Nanevski, Aleksandar ; Banerjee, Anindya..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Logical characterisations, rule formats and compositionalit..:

Aceto, Luca ; Fábregas, Ignacio ; Gregorio-Rodríguez, Carlos.
Journal of Logical and Algebraic Methods in Programming.  106 (2019)  - p. 78-106 , 2019
Link: https://doi.org/10.1016/..
 
?
4

Specifying concurrent programs in separation logic: morphis..:

Nanevski, Aleksandar ; Banerjee, Anindya ; Delbianco, Germán Andrés.
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-30 , 2019
Link: https://doi.org/10.1145/..
 
?
5

Specifying concurrent programs in separation logic: morphis..:

Nanevski, Aleksandar ; Banerjee, Anindya ; Delbianco, Germán Andrés.
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-30 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

When are prime formulae characteristic?:

Aceto, Luca ; Della Monica, Dario ; Fábregas, Ignacio.
Theoretical Computer Science.  777 (2019)  - p. 3-31 , 2019
Link: https://doi.org/10.1016/..
 
?
7

On the specification of modal systems: A comparison of thre..:

Aceto, Luca ; Fábregas, Ignacio ; de Frutos-Escrig, David..
Science of Computer Programming.  78 (2013)  12 - p. 2468-2487 , 2013
Link: https://doi.org/10.1016/..
 
?
8

On Algebraic Abstractions for Concurrent Separation Logics ..:

Farka, František ; Nanevski, Aleksandar ; Banerjee, Anindya..
info:eu-repo/grantAgreement/EC/H2020/724464/.  , 2020
Link: https://zenodo.org/recor..
 
?
9

On Algebraic Abstractions for Concurrent Separation Logics ..:

Farka, František ; Nanevski, Aleksandar ; Banerjee, Anindya..
info:eu-repo/grantAgreement/EC/H2020/724464/.  , 2020
Link: https://zenodo.org/recor..
 
?
10

On Algebraic Abstractions for Concurrent Separation Logics ..:

Farka, František ; Nanevski, Aleksandar ; Banerjee, Anindya..
info:eu-repo/grantAgreement/EC/H2020/724464/.  , 2020
Link: https://zenodo.org/recor..
 
?
11

On Algebraic Abstractions for Concurrent Separation Logics:

Farka, František ; Nanevski, Aleksandar ; Banerjee, Anindya..
http://arxiv.org/abs/2010.12686.  , 2020
Link: http://arxiv.org/abs/201..
 
?
12

Rule Formats for Nominal Process Calculi:

Aceto, Luca ; Fabregas, Ignacio ; Garcia-Perez, Alvaro..
info:eu-repo/grantAgreement/EC/H2020/714729.  , 2019
Link: https://hdl.handle.net/2..
 
?
13

Specifying Concurrent Programs in Separation Logic: Morphis..:

Nanevski, Aleksandar ; Banerjee, Anindya ; Delbianco, Germán Andrés.
http://arxiv.org/abs/1904.07136.  , 2019
Link: http://arxiv.org/abs/190..
 
?
14

Specifying Concurrent Programs in Separation Logic: Morphis..:

Nanevski, Aleksandar ; Banerjee, Anindya ; Delbianco, Germán Andrés.
info:eu-repo/grantAgreement/EC/H2020/724464/.  , 2019
Link: https://zenodo.org/recor..
 
?
15

Rule Formats for Nominal Process Calculi:

Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro.
RACCOON (H2020-EU 714729); MATHADOR (COGS 724.464.  , 2019
Link: https://hdl.handle.net/2..
 
1-15