Search dblp for Publications

export results for "Stelios Tsampas"

 download as .bib file

@inproceedings{DBLP:conf/fossacs/GoncharovSSTU24,
  author       = {Sergey Goncharov and
                  Alessio Santamaria and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Logical Predicates in Higher-Order Mathematical Operational Semantics},
  booktitle    = {FoSSaCS {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14575},
  pages        = {47--69},
  publisher    = {Springer},
  year         = {2024}
}

@inproceedings{DBLP:conf/lics/0001M0U24,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Bialgebraic Reasoning on Higher-order Program Equivalence},
  booktitle    = {{LICS}},
  pages        = {39:1--39:15},
  publisher    = {{ACM}},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2401-05872,
  author       = {Sergey Goncharov and
                  Alessio Santamaria and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Logical Predicates in Higher-Order Mathematical Operational Semantics},
  journal      = {CoRR},
  volume       = {abs/2401.05872},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2402-00625,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Bialgebraic Reasoning on Higher-Order Program Equivalence},
  journal      = {CoRR},
  volume       = {abs/2402.00625},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2405-16708,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Higher-Order Mathematical Operational Semantics},
  journal      = {CoRR},
  volume       = {abs/2405.16708},
  year         = {2024}
}

@article{DBLP:journals/pacmpl/GoncharovMSTU23,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Towards a Higher-Order Mathematical Operational Semantics},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{POPL}},
  pages        = {632--658},
  year         = {2023}
}

@inproceedings{DBLP:conf/calco/0001MS0U23,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Higher-Order Mathematical Operational Semantics (Early Ideas)},
  booktitle    = {{CALCO}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {24:1--24:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023}
}

@inproceedings{DBLP:conf/calco/Liittschwager0C23,
  author       = {Nathan Liittschwager and
                  Stelios Tsampas and
                  Jonathan Castello and
                  Lindsey Kuper},
  title        = {CRDTs, Coalgebraically (Early Ideas)},
  booktitle    = {{CALCO}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {22:1--22:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023}
}

@inproceedings{DBLP:conf/isc2/MylonasFTK23,
  author       = {Georgios Mylonas and
                  Lidia Pocero Fraile and
                  Stelios Tsampas and
                  Athanasios P. Kalogeras},
  title        = {A Study on Indoor Noise Levels in a Set of School Buildings in Greece
                  utilizing an IoT infrastructure},
  booktitle    = {{ISC2}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023}
}

@inproceedings{DBLP:conf/lics/Urbat00MS23,
  author       = {Henning Urbat and
                  Stelios Tsampas and
                  Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der},
  title        = {Weak Similarity in Higher-Order Mathematical Operational Semantics},
  booktitle    = {{LICS}},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2302-08200,
  author       = {Henning Urbat and
                  Stelios Tsampas and
                  Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der},
  title        = {Weak Similarity in Higher-Order Mathematical Operational Semantics},
  journal      = {CoRR},
  volume       = {abs/2302.08200},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2309-02797,
  author       = {Georgios Mylonas and
                  Lidia Pocero Fraile and
                  Stelios Tsampas and
                  Athanasios P. Kalogeras},
  title        = {A Study on Indoor Noise Levels in a Set of School Buildings in Greece
                  utilizing an IoT infrastructure},
  journal      = {CoRR},
  volume       = {abs/2309.02797},
  year         = {2023}
}

@inproceedings{DBLP:conf/fscd/0001MS0U22,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Stateful Structural Operational Semantics},
  booktitle    = {{FSCD}},
  series       = {LIPIcs},
  volume       = {228},
  pages        = {30:1--30:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2202-10866,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Stateful Structural Operational Semantics},
  journal      = {CoRR},
  volume       = {abs/2202.10866},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2210-13387,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Stelios Tsampas and
                  Henning Urbat},
  title        = {Towards a Higher-Order Mathematical Operational Semantics},
  journal      = {CoRR},
  volume       = {abs/2210.13387},
  year         = {2022}
}

@inproceedings{DBLP:conf/aplas/AbateBT21,
  author       = {Carmine Abate and
                  Matteo Busi and
                  Stelios Tsampas},
  title        = {Fully Abstract and Robust Compilation: And How to Reconcile the Two,
                  Abstractly},
  booktitle    = {{APLAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13008},
  pages        = {83--101},
  publisher    = {Springer},
  year         = {2021}
}

@inproceedings{DBLP:conf/csfw/El-Korashy0PD0P21,
  author       = {Akram El{-}Korashy and
                  Stelios Tsampas and
                  Marco Patrignani and
                  Dominique Devriese and
                  Deepak Garg and
                  Frank Piessens},
  title        = {CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities
                  Principle},
  booktitle    = {{CSF}},
  pages        = {1--16},
  publisher    = {{IEEE}},
  year         = {2021}
}

@inproceedings{DBLP:conf/mfcs/0001WNDP21,
  author       = {Stelios Tsampas and
                  Christian Williams and
                  Andreas Nuyts and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {Abstract Congruence Criteria for Weak Bisimilarity},
  booktitle    = {{MFCS}},
  series       = {LIPIcs},
  volume       = {202},
  pages        = {88:1--88:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2102-08675,
  author       = {Lidia Pocero and
                  Stelios Tsampas and
                  Georgios Mylonas and
                  Dimitrios Amaxilatis},
  title        = {Experiences from Using LoRa and {IEEE} 802.15.4 for IoT-enabled Classrooms},
  journal      = {CoRR},
  volume       = {abs/2102.08675},
  year         = {2021}
}

@article{DBLP:journals/access/FraileTMA20,
  author       = {Lidia Pocero Fraile and
                  Stelios Tsampas and
                  Georgios Mylonas and
                  Dimitrios Amaxilatis},
  title        = {A Comparative Study of LoRa and {IEEE} 802.15.4-Based IoT Deployments
                  Inside School Buildings},
  journal      = {{IEEE} Access},
  volume       = {8},
  pages        = {160957--160981},
  year         = {2020}
}

@inproceedings{DBLP:conf/cmcs/0001NDP20,
  author       = {Stelios Tsampas and
                  Andreas Nuyts and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {A Categorical Approach to Secure Compilation},
  booktitle    = {{CMCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {155--179},
  publisher    = {Springer},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2004-03557,
  author       = {Stelios Tsampas and
                  Andreas Nuyts and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {A categorical approach to secure compilation},
  journal      = {CoRR},
  volume       = {abs/2004.03557},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2005-05944,
  author       = {Akram El{-}Korashy and
                  Stelios Tsampas and
                  Marco Patrignani and
                  Dominique Devriese and
                  Deepak Garg and
                  Frank Piessens},
  title        = {CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities
                  Principle},
  journal      = {CoRR},
  volume       = {abs/2005.05944},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2010-07899,
  author       = {Stelios Tsampas and
                  Christian Williams and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {Abstract Congruence Criteria for Weak Bisimilarity},
  journal      = {CoRR},
  volume       = {abs/2010.07899},
  year         = {2020}
}

@inproceedings{DBLP:conf/ami/Pocero0MA19,
  author       = {Lidia Pocero and
                  Stelios Tsampas and
                  Georgios Mylonas and
                  Dimitrios Amaxilatis},
  title        = {Experiences from Using LoRa and {IEEE} 802.15.4 for IoT-Enabled Classrooms},
  booktitle    = {AmI},
  series       = {Lecture Notes in Computer Science},
  volume       = {11912},
  pages        = {186--202},
  publisher    = {Springer},
  year         = {2019}
}

@inproceedings{DBLP:conf/csfw/TsampasDP19,
  author       = {Stelios Tsampas and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {Temporal Safety for Stack Allocated Memory on Capability Machines},
  booktitle    = {{CSF}},
  pages        = {243--255},
  publisher    = {{IEEE}},
  year         = {2019}
}

@inproceedings{DBLP:conf/iisa/MylonasA0PG19,
  author       = {Georgios Mylonas and
                  Dimitrios Amaxilatis and
                  Stelios Tsampas and
                  Lidia Pocero and
                  Joakim Gunneriusson},
  title        = {A Methodology for Saving Energy in Educational Buildings Using an
                  IoT Infrastructure},
  booktitle    = {{IISA}},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1907-07760,
  author       = {Georgios Mylonas and
                  Dimitrios Amaxilatis and
                  Stelios Tsampas and
                  Lidia Pocero and
                  Joakim Gunneriusson},
  title        = {A Methodology for Saving Energy in Educational Buildings Using an
                  IoT Infrastructure},
  journal      = {CoRR},
  volume       = {abs/1907.07760},
  year         = {2019}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.