Personensuche
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
1
Noninterference Analysis ofReversible Probabilistic Systems:
, In:
?
Proceedings of the 23rd Annual ACM Interaction Design and Children Conference ,
10
Child-Centered AI for Empowering Creative and Inclusive Lea..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
13
Branching Bisimulation Semantics Enables Noninterference An..:
, In:
?
Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter ,
15