Search for persons
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
1
Expressive Completeness of Two-Variable First-Order Logic w..:
, In:
?
Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems ,
3
Optimizing Multiset Relational Algebra Queries Using Weak-E..:
, In:
?
Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems ,
4
The Fault-Tolerant Cluster-Sending Problem:
, In:
?
Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems ,
7
Blockchain consensus unraveled : virtues and limitations:
, In:
?
Communications in Computer and Information Science; Software Foundations for Data Interoperability and Large Scale Graph Data Analytics ,
8