?
Lecture Notes in Computer Science; Advances in Cryptology – EUROCRYPT 2024 ,
1
Provable Dual Attacks on Learning with Errors:
, In:
?
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ,
4
On the Computation of the Zariski Closure of Finitely Gener..:
, In:
?
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ,
5
The Membership Problem for Hypergeometric Sequences with Ra..:
, In:
?
Theory and Applications of Computability; Handbook of Computability and Complexity in Analysis ,
6
A Survey on Analog Models of Computation:
, In:
?
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ,
7
On the decidability of reachability in continuous time line..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
10
On the Monniaux Problem in Abstract Interpretation:
, In:
?
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control ,
11
On the decidability of reachability in linear time-invarian..:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
13