Search for persons
X
?
Proceedings of the 2024 Applied Networking Research Workshop ,
1
Low-Carb BGP: A Carbon-Aware Inter-Domain Routing Extension..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
3
Towards a Taxonomy for Reversible Computation Approaches:
, In:
?
Proceedings of the 22nd ACM Internet Measurement Conference ,
4
Mitigating cyber threats at the network edge:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
5
Forward-Reverse Observational Equivalences in CCSK:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
6
Towards a Formal Account for Software Transactional Memory:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
7
Reversible Occurrence Nets and Causal Reversible Prime Even..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
8
Event Structures for the Reversible Early Internal $$\pi $$..:
, In:
?
Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science ,
9
Foundations of Reversible Computation:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
10
An Axiomatic Approach to Reversible Computation:
, In:
?
2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA) ,
11
On the Design, Development and Implementation of Trust Eval..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
12
Event Structure Semantics of (controlled) Reversible CCS:
, In:
?
Proceedings of the ninth ACM conference on Emerging networking experiments and technologies ,
13
An automated system for emulated network experimentation:
, In:
?
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication ,
14
AutoNetkit : simplifying large scale, open-source networ..:
, In:
?
Proceedings of the Third International Workshop on the Web of Things ,
15