Consistentie à la carte: Een algemeen framework voor schaalbare consistentie-gemengde applicaties

De Porre, Kevin (Mandataris)
Gonzalez Boix, Elisa (Administrative Promotor)

Informatica en Toegepaste Informatica

2 resultaten

2023
VeriFx: Correct Replicated Data Types for the Masses
De Porre, K., Ferreira, C. & Gonzalez Boix, E., 2023, VeriFx: Correct Replicated Data Types for the Masses. Salvaneschi, G. & Ali, K. (uitgave). 37th uitgave Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 263. blz. 1-45 45 blz. 9. (European Conference on Object-Oriented Programming (ECOOP 2023)).
Onderzoeksoutput: Conference paper

Open Access
7 Citaten (Scopus)
2021
ECROs: building global scale systems from sequential code
De Porre, K., Ferreira, C., Preguiça, N. & Gonzalez Boix, E., 15 okt. 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, blz. 1-30 30 blz., 107.
Onderzoeksoutput: Meeting abstract (Journal)

Open Access