I agree that this site is using cookies. You can find further informations here.
X
Tsampas, Stelios
29  results:
Search for persons X
?
1

Bialgebraic Reasoning on Higher-order Program Equivalence:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Goncharov, Sergey ; Milius, Stefan ; Tsampas, Stelios. - p. 1-15 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Logical Predicates in Higher-Order Mathematical Operational..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Goncharov, Sergey ; Santamaria, Alessio ; Schröder, Lutz.. - p. 47-69 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Weak Similarity in Higher-Order Mathematical Operational Se..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Urbat, Henning ; Tsampas, Stelios ; Goncharov, Sergey.. - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Towards a Higher-Order Mathematical Operational Semantics:

Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz..
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 632-658 , 2023
Link: https://doi.org/10.1145/..
 
?
5

A Study on Indoor Noise Levels in a Set of School Buildings..:

, In: 2023 IEEE International Smart Cities Conference (ISC2),
Mylonas, Georgios ; Fraile, Lidia Pocero ; Tsampas, Stelios. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Fully Abstract and Robust Compilation: And How to Reconcile..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abate, Carmine ; Busi, Matteo ; Tsampas, Stelios - p. 83-101 , 2021
Link: https://doi.org/10.1007/..
 
?
7

CapablePtrs: Securely Compiling Partial Programs Using the ..:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
El-Korashy, Akram ; Tsampas, Stelios ; Patrignani, Marco... - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
?
8

A Categorical Approach to Secure Compilation:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Tsampas, Stelios ; Nuyts, Andreas ; Devriese, Dominique. - p. 155-179 , 2020
Link: https://doi.org/10.1007/..
 
?
9

A Comparative Study of LoRa and IEEE 802.15.4-Based IoT Dep..:

Fraile, Lidia Pocero ; Tsampas, Stelios ; Mylonas, Georgios.
IEEE Access.  8 (2020)  - p. 160957-160981 , 2020
Link: https://doi.org/10.1109/..
 
?
10

A Methodology for Saving Energy in Educational Buildings Us..:

, In: 2019 10th International Conference on Information, Intelligence, Systems and Applications (IISA),
Mylonas, Georgios ; Amaxilatis, Dimitrios ; Tsampas, Stelios.. - p. 1-7 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Experiences from Using LoRa and IEEE 802.15.4 for IoT-Enabl..:

, In: Lecture Notes in Computer Science; Ambient Intelligence,
Pocero, Lidia ; Tsampas, Stelios ; Mylonas, Georgios. - p. 186-202 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Logical Predicates in Higher-Order Mathematical Operational..:

Goncharov, Sergey ; Santamaria, Alessio ; Schröder, Lutz..
http://arxiv.org/abs/2401.05872.  , 2024
Link: http://arxiv.org/abs/240..
 
?
13

Bialgebraic Reasoning on Higher-Order Program Equivalence:

Goncharov, Sergey ; Milius, Stefan ; Tsampas, Stelios.
http://arxiv.org/abs/2402.00625.  , 2024
Link: http://arxiv.org/abs/240..
 
?
14

Higher-Order Mathematical Operational Semantics (Early Idea..:

Goncharov, Sergey ; Milius, Stefan ; Tsampas, Stelios.
doi:10.4230/LIPIcs.CALCO.2023.24.  , 2023
Link: https://doi.org/10.4230/..
 
?
15

Weak Similarity in Higher-Order Mathematical Operational Se..:

Urbat, Henning ; Tsampas, Stelios ; Goncharov, Sergey..
http://arxiv.org/abs/2302.08200.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15