Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Online privacy
- Privacy in data analytics
- Privacy in social networks
- Probabilistic programming
- Formal methods
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Raúl Pardo Jimenez er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 5 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
Free open source communities sustainability: Does it make a difference in software quality?
Alami, A., Pardo, R. & Linåker, J., 23 jul. 2024, I: Empirical Software Engineering. 29, 114.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Model-Checking the Implementation of Consent
Pardo, R. & Métayer, D. L., 2024, Model-Checking the Implementation of Consent. Springer, Cham, Bind 15280. s. 253-271Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Symbolic Quantitative Information Flow for Probabilistic Programs
Schröer, P., Randone, F., Pardo, R. & Wa̧sowski, A., 2024, Symbolic Quantitative Information Flow for Probabilistic Programs. Springer Nature Switzerland, Bind 15260. s. 128-154Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Towards a Proof System for Probabilistic Dynamic Logic
Johnsen, E. B., Kamburjan, E., Pardo, R., Voogd, E. & Wąsowski, A., 2024, Towards a Proof System for Probabilistic Dynamic Logic. Springer Nature Switzerland, Bind 15260. s. 322-338Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
Rønneberg, R. C., Pardo, R. & Wasowski, A., 31 okt. 2023, Proceedings of Software Engineering and Formal Methods (SEFM'23). Springer, Cham, Bind 14323. s. 263-281 18 s. (Lecture Notes in Computer Science).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil
Forskningsdatasæt
-
Model-Checking the Implementation of Consent (Accompanying Artifact)
Pardo, R. (Ophavsmand) & Métayer, D. L. (Ophavsmand), ZENODO, 26 jun. 2024
DOI: 10.5281/zenodo.12550375, https://zenodo.org/records/12550375
Datasæt: Software
-
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
Adam, A. (Ophavsmand), Raul, P. (Dataindsamler) & Johan, L. (Bidrager), ZENODO, 26 apr. 2024
DOI: 10.5281/zenodo.11069770, https://zenodo.org11069770 og et link mere, https://zenodo.org/records/10625578 (vis færre)
Datasæt
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)
Rønneberg, R. C. (Ophavsmand), Pardo, R. (Ophavsmand) & Wąsowski, A. (Ophavsmand), ZENODO, 22 jul. 2023
DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905
Datasæt: Software
Projekter
- 1 Afsluttet
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Projekter: Projekt › Forskning