A Comparative Study of LoRa and IEEE 802.15.4-based IoT Deployments inside School Buildings von Pocero, Lidia, Tsampas, Stelios, Mylonas, Georgios, Amaxilatis, Dimitrios

Volltext

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly von Abate, Carmine, Busi, Matteo, Tsampas, Stelios

Volltext

Towards a Higher-Order Mathematical Operational Semantics von Goncharov, Sergey, Milius, Stefan, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

Volltext

A Categorical Approach to Secure Compilation von Tsampas, Stelios, Nuyts, Andreas, Devriese, Dominique, Piessens, Frank

Volltext

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle von El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank

Volltext

Abstract Operational Methods for Call-by-Push-Value von Goncharov, Sergey, Tsampas, Stelios, Urbat, Henning

Volltext bestellen

Experiences from Using LoRa and IEEE 802.15.4 for IoT-Enabled Classrooms von Pocero, Lidia, Tsampas, Stelios, Mylonas, Georgios, Amaxilatis, Dimitrios

Volltext

Higher-Order Mathematical Operational Semantics von Goncharov, Sergey, Milius, Stefan, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

Volltext bestellen

Bialgebraic Reasoning on Higher-Order Program Equivalence von Goncharov, Sergey, Milius, Stefan, Tsampas, Stelios, Urbat, Henning

Volltext

Logical Predicates in Higher-Order Mathematical Operational Semantics von Goncharov, Sergey, Santamaria, Alessio, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

Volltext bestellen

A Study on Indoor Noise Levels in a Set of School Buildings in Greece utilizing an IoT infrastructure von Mylonas, Georgios, Fraile, Lidia Pocero, Tsampas, Stelios, Kalogeras, Athanasios

Volltext bestellen

Weak Similarity in Higher-Order Mathematical Operational Semantics von Urbat, Henning, Tsampas, Stelios, Goncharov, Sergey, Milius, Stefan, Schröder, Lutz

Volltext bestellen

Towards a Higher-Order Mathematical Operational Semantics von Goncharov, Sergey, Milius, Stefan, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

Volltext bestellen

Abstract Operational Methods for Call-by-Push-Value von Goncharov, Sergey, Tsampas, Stelios, Urbat, Henning

Volltext

Stateful Structural Operational Semantics von Goncharov, Sergey, Milius, Stefan, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

Volltext bestellen

Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly von Abate, Carmine, Busi, Matteo, Tsampas, Stelios

Volltext bestellen

Abstract Congruence Criteria for Weak Bisimilarity von Tsampas, Stelios, Williams, Christian, Nuyts, Andreas, Devriese, Dominique, Piessens, Frank

Volltext

Experiences from Using LoRa and IEEE 802.15.4 for IoT-enabled Classrooms von Pocero, Lidia, Tsampas, Stelios, Mylonas, Georgios, Amaxilatis, Dimitrios

Volltext

A categorical approach to secure compilation von Tsampas, Stelios, Nuyts, Andreas, Devriese, Dominique, Piessens, Frank

Volltext bestellen

Logical Predicates in Higher-Order Mathematical Operational Semantics von Goncharov, Sergey, Santamaria, Alessio, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

Volltext