Personensuche
X
?
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 ,
2
On the Computation of the Zariski Closure of Finitely Gener..:
, In:
?
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ,
3
The Membership Problem for Hypergeometric Sequences with Ra..:
, In:
?
Theory and Applications of Computability; Handbook of Computability and Complexity in Analysis ,
4
A Survey on Analog Models of Computation:
, In:
?
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ,
5
On the decidability of reachability in continuous time line..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
6
On the Monniaux Problem in Abstract Interpretation:
, In:
?
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control ,
7
On the decidability of reachability in linear time-invarian..:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
Polynomial Invariants for Affine Programs:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Solvability of Matrix-Exponential Equations:
, In:
?
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation ,
10