Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
2
On the Hardness of Analyzing Quantum Programs Quantitativel:
, In:
?
IFIP Advances in Information and Communication Technology; Artificial Intelligence Applications and Innovations ,
6
A Voting Approach for Explainable Classification with Rule ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Automated Expected Amortised Cost Analysis of Probabilistic..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Quantum Expectation Transformers for Cost Analysis:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
10
ATLAS: Automated Amortised Complexity Analysis of Self-adju..:
, In:
?
2021 IEEE Global Engineering Education Conference (EDUCON) ,
11
Teaching Software Quality Assurance with Gamification and C..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
12