Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix. VeriFx: Correct Replicated Data Types for the Masses. In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 9:1-9:45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{deporre_et_al:LIPIcs.ECOOP.2023.9, author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, title = {{VeriFx: Correct Replicated Data Types for the Masses}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {9:1--9:45}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.9}, URN = {urn:nbn:de:0030-drops-182028}, doi = {10.4230/LIPIcs.ECOOP.2023.9}, annote = {Keywords: distributed systems, eventual consistency, replicated data types, verification} }
Published in: DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix. VeriFx: Correct Replicated Data Types for the Masses (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 19:1-19:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{deporre_et_al:DARTS.9.2.19, author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, title = {{VeriFx: Correct Replicated Data Types for the Masses (Artifact)}}, pages = {19:1--19:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.19}, URN = {urn:nbn:de:0030-drops-182596}, doi = {10.4230/DARTS.9.2.19}, annote = {Keywords: distributed systems, eventual consistency, replicated data types, verification} }
Published in: Dagstuhl Reports, Volume 9, Issue 10 (2020)
Carla Ferreira, Philipp Haller, and Guido Salvaneschi. Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). In Dagstuhl Reports, Volume 9, Issue 10, pp. 117-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{ferreira_et_al:DagRep.9.10.117, author = {Ferreira, Carla and Haller, Philipp and Salvaneschi, Guido}, title = {{Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)}}, pages = {117--133}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {10}, editor = {Ferreira, Carla and Haller, Philipp and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.117}, URN = {urn:nbn:de:0030-drops-118586}, doi = {10.4230/DagRep.9.10.117}, annote = {Keywords: Programming Languages, Distributed Systems, Data Management} }
Published in: OASIcs, Volume 74, 8th Symposium on Languages, Applications and Technologies (SLATE 2019)
José Devezas, Carla Lopes, and Sérgio Nunes. Graph-of-Entity: A Model for Combined Data Representation and Retrieval. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 1:1-1:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{devezas_et_al:OASIcs.SLATE.2019.1, author = {Devezas, Jos\'{e} and Lopes, Carla and Nunes, S\'{e}rgio}, title = {{Graph-of-Entity: A Model for Combined Data Representation and Retrieval}}, booktitle = {8th Symposium on Languages, Applications and Technologies (SLATE 2019)}, pages = {1:1--1:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-114-6}, ISSN = {2190-6807}, year = {2019}, volume = {74}, editor = {Rodrigues, Ricardo and Janou\v{s}ek, Jan and Ferreira, Lu{\'\i}s and Coheur, Lu{\'\i}sa and Batista, Fernando and Gon\c{c}alo Oliveira, Hugo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2019.1}, URN = {urn:nbn:de:0030-drops-108686}, doi = {10.4230/OASIcs.SLATE.2019.1}, annote = {Keywords: Entity-oriented search, graph-based models, collection-based graph} }
Feedback for Dagstuhl Publishing