Dimitrov, Dimitar Stepanov
349  Ergebnisse:
Personensuche X
?
5

Group and Attack: Auditing Differential Privacy:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Lokna, Johan ; Paradis, Anouk ; Dimitrov, Dimitar I.. - p. 1905-1918 , 2023
 
?
6

Shared Certificates for Neural Network Verification:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
?
8

A discrete weighted Markov–Bernstein inequality for sequenc..:

Dimitrov, Dimitar K. ; Nikolov, Geno P.
Journal of Mathematical Analysis and Applications.  493 (2021)  1 - p. 124522 , 2021
 
?
10

Fast and precise certification of transformers:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
 
?
11

An Efficient Algorithm for the Classical Least Squares Appr..:

Dimitrov, Dimitar K. ; Peixoto, Lourenço L.
SIAM Journal on Scientific Computing.  42 (2020)  5 - p. A3233-A3249 , 2020
 
?
13

Starting Regime of an Electronic Startup Regulating Apparat..:

, In: 2020 21st International Symposium on Electrical Apparatus & Technologies (SIELA),
 
?
14

Effect of spacing, parental genotype and harvesting cycle o..:

Stankova, Tatiana ; Gyuleva, Veselka ; Kalmukov, Kancho...
Forestry: An International Journal of Forest Research.  93 (2019)  4 - p. 505-518 , 2019
 
1-15