Search for persons
X
?
Proceedings of the conference on Visualization '01 ,
3
Smooth approximation and rendering of large scattered data ..:
, In:
?
Foundations of Security, Protocols, and Equational Reasoning; Lecture Notes in Computer Science ,
5
Privacy Protocols:
, In:
?
2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV) ,
6
Modeling and Analysis of Secure Processor Extensions Based ..:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
7
Quotients in monadic programming : projective algebras a..:
, In:
?
ACM SIGGRAPH 2024 Conference Papers ,
15