Search for persons
X
?
Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice ,
1
Multisets and Distributions:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
2
A Cyclic Proof System for Guarded Kleene Algebra with Tests:
, In:
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
3
A Completeness Theorem for Probabilistic Regular Expression:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
4
Symbolic Semantics for Probabilistic Programs:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
5
A Complete Inference System for Skip-free Guarded Kleene Al..:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
6
Deterministic stream-sampling for probabilistic programming..:
, In:
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
7
Minimisation in Logical Form:
, In:
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
8
A Categorical Framework for Learning Generalised Tree Autom..:
, In:
?
Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning ,
9
Tree-Based Adaptive Model Learning:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
10
Concurrent NetKAT: Modeling and analyzing stateful, concurr..:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
A bunched logic for conditional independence:
, In:
?
Proceedings of the 2021 ACM SIGCOMM 2021 Conference ,
12
Prognosis : closed-box analysis of network protocol impl..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
13
Learning Pomset Automata:
, In:
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
14
Learning Automata with Side-Effects:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
15