Search for persons
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
3
Minimization of Dynamical Systems over Monoids:
, In:
?
Computational Methods in Systems Biology; Lecture Notes in Computer Science ,
5
An Extension of ERODE to Reduce Boolean Networks By Backwar..:
, In:
?
Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops ,
6
SoK: Lending Pools in Decentralized Finance:
, In:
?
Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops ,
7
Towards a Theory of Decentralized Finance:
, In:
?
Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems ,
8
Variability meets security : qantitative security modeli..:
, In:
?
2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) ,
12
Improving Availability in Distributed Tuple Spaces Via Shar..:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
15