Search for persons
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
1
Noninterference Analysis ofReversible Probabilistic Systems:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
2
Branching Bisimulation Semantics Enables Noninterference An..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
3
Reverse Bisimilarity vs. Forward Bisimilarity:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
4
Causal Reversibility Implies Time Reversibility:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
5
Causal Reversibility for Timed Process Calculi with Lazy/Ea..:
, In:
?
Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science ,
7
Towards General Axiomatizations for Bisimilarity and Trace ..:
, In:
?
Computer Performance Engineering; Lecture Notes in Computer Science ,
9
Coherent Resolutions of Nondeterminism:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
10
Towards Bridging Time and Causal Reversibility:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
11
Alternative Characterizations of Probabilistic Trace Equiva..:
, In:
?
2019 Eleventh International Conference on Quality of Multimedia Experience (QoMEX) ,
12
Perceptual evaluation of speckle noise reduction techniques..:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
13