![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 5
2025
Brinz, Janet 
ORCID: https://orcid.org/0009-0007-1656-1434; Eslamiamirabadi, Negin ORCID: https://orcid.org/0000-0001-9345-7111; Salamati, Ali; Tresp, Volker; Schwendicke, Falk ORCID: https://orcid.org/0000-0003-1223-1669 und Tichy, Antonin ORCID: https://orcid.org/0000-0002-6260-9992
(2025):
Data sharing for responsible artificial intelligence in dentistry: a narrative review of legal frameworks and privacy-preserving techniques.
In: Journal of Dentistry, 106130 [Forthcoming]
ORCID: https://orcid.org/0009-0007-1656-1434; Eslamiamirabadi, Negin ORCID: https://orcid.org/0000-0001-9345-7111; Salamati, Ali; Tresp, Volker; Schwendicke, Falk ORCID: https://orcid.org/0000-0003-1223-1669 und Tichy, Antonin ORCID: https://orcid.org/0000-0002-6260-9992
(2025):
Data sharing for responsible artificial intelligence in dentistry: a narrative review of legal frameworks and privacy-preserving techniques.
In: Journal of Dentistry, 106130 [Forthcoming]
2022
Noroozi, Navid; Salamati, Ali und Zamani, Majid
(2022):
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 2210-2215
2021
Salamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
In: Ifac Papersonline, Bd. 54, Nr. 5: S. 7-12
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
In: Automatica, Bd. 131, 109781
2020
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2020):
Data-Driven Verification under Signal Temporal Logic Constraints.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 76-81