Research output per year
Research output per year
Personal profile
Keywords
- Online privacy
- Privacy in data analytics
- Privacy in social networks
- Probabilistic programming
- Formal methods
Fingerprint
Dive into the research topics where Raúl Pardo Jimenez is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Free open source communities sustainability: Does it make a difference in software quality?
Alami, A., Pardo, R. & Linåker, J., 23 Jul 2024, In: Empirical Software Engineering. 29, 114.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Model-Checking the Implementation of Consent
Pardo, R. & Métayer, D. L., 2024, Model-Checking the Implementation of Consent. Springer, Cham, Vol. 15280. p. 253-271Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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, Vol. 15260. p. 128-154Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › 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, Vol. 15260. p. 322-338Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
Rønneberg, R. C., Pardo, R. & Wasowski, A., 31 Oct 2023, Proceedings of Software Engineering and Formal Methods (SEFM'23). Springer, Cham, Vol. 14323. p. 263-281 18 p. (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File
Datasets
-
Model-Checking the Implementation of Consent (Accompanying Artifact)
Pardo, R. (Creator) & Métayer, D. L. (Creator), ZENODO, 26 Jun 2024
DOI: 10.5281/zenodo.12550375, https://zenodo.org/records/12550375
Dataset: Software
-
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
Adam, A. (Creator), Raul, P. (Data Collector) & Johan, L. (Contributor), ZENODO, 26 Apr 2024
DOI: 10.5281/zenodo.11069770, https://zenodo.org11069770 and one more link, https://zenodo.org/records/10625578 (show fewer)
Dataset
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)
Rønneberg, R. C. (Creator), Pardo, R. (Creator) & Wąsowski, A. (Creator), ZENODO, 22 Jul 2023
DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905
Dataset: Software
Projects
- 1 Finished
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Project: Research