Personensuche
X
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
1
Drawing from an Urn is Isometric:
, In:
?
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs ,
5
Verifying C++ Dynamic Binding:
, In:
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
7
Multisets and Distributions, in Drawing and Learning:
, In:
?
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ,
8
Completeness Thresholds for Memory Safety of Array Traversi..:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
13
A Principled Approach to Expectation Maximisation and Laten..:
, In:
?
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems ,
15