Transitive Primal Infon Logic. - Carlos Cotrini; Yuri Gurevich (Rev. Symb. Log., 2013)

Transitive Primal Infon Logic-ERRATUM. - Carlos Cotrini; Yuri Gurevich (Rev. Symb. Log., 2013)

Primal Infon Logic with Conjunctions as Sets. - Carlos Cotrini; Yuri Gurevich; Ori Lahav 001; Artem Melentyev (IFIP TCS, 2014)

Deciding safety and liveness in TPTL. - David A. Basin; Carlos Cotrini Jiménez; Felix Klaedtke; Eugen Zalinescu (Inf. Process. Lett., 2014)

Analyzing First-Order Role Based Access Control. - Carlos Cotrini Jiménez; Thilo Weghorn; David A. Basin; Manuel Clavel (CSF, 2015)

Basic primal infon logic. - Carlos Cotrini; Yuri Gurevich (J. Log. Comput., 2016)

Mining ABAC Rules from Sparse Logs. - Carlos Cotrini; Thilo Weghorn; David A. Basin (EuroS&P, 2018)

The Next 700 Policy Miners: A Universal Method for Building Policy Miners. - Carlos Cotrini; Luca Corinzia; Thilo Weghorn; David A. Basin (CCS, 2019)

Holistic Modeling In Medical Image Segmentation Using Spatial Recurrence. - João B. S. Carvalho; João A. Santinha; Djordje Miladinovic; Carlos Cotrini; Joachim M. Buhmann (MIDL, 2022)

Automating Cookie Consent and GDPR Violation Detection. - Dino Bollinger; Karel Kubicek 001; Carlos Cotrini; David A. Basin (USENIX Security Symposium, 2022)

Checking Websites' GDPR Consent Compliance for Marketing Emails. - Karel Kubicek 001; Jakob Merane; Carlos Cotrini; Alexander Stremitzer; Stefan Bechtold; David A. Basin (Proc. Priv. Enhancing Technol., 2022)

Domain Generalization for Diagnosis of Pulmonary Fibrosis Using Dose-Invariant Feature Selection. - João B. S. Carvalho; Carlos Cotrini; Fabian Laumer; André Euler; Katharina Martini; Thomas Frauenfelder; Joachim M. Buhmann (ISBI, 2023)

Invariant Anomaly Detection under Distribution Shifts: A Causal Perspective. - João B. S. Carvalho; Mengtao Zhang; Robin Geyer 002; Carlos Cotrini; Joachim M. Buhmann (NeurIPS, 2023)

S-GBDT: Frugal Differentially Private Gradient Boosting Decision Trees. - Moritz Kirschte; Thorsten Peinemann; Joshua Stock; Carlos Cotrini; Esfandiar Mohammadi (CoRR, 2023)

Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. - Florian Turati; Karel Kubicek 001; Carlos Cotrini; David A. Basin (Proc. Priv. Enhancing Technol., 2023)

S-BDT: Distributed Differentially Private Boosted Decision Trees. - Thorsten Peinemann; Moritz Kirschte; Joshua Stock; Carlos Cotrini; Esfandiar Mohammadi (CCS, 2024)

Automated Large-Scale Analysis of Cookie Notice Compliance. - Ahmed Bouhoula; Karel Kubicek 001; Amit Zac; Carlos Cotrini; David A. Basin (USENIX Security Symposium, 2024)

Rethinking Robustness in Machine Learning: A Posterior Agreement Approach. - João B. S. Carvalho; Alessandro Torcinovich; Victor Jimenez Rodriguez; Antonio Emanuele Cinà; Carlos Cotrini; Lea Schönherr; Joachim M. Buhmann (CoRR, 2025)