default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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},
editor = {Naoki Kobayashi and
James Worrell},
title = {Logical Predicates in Higher-Order Mathematical Operational Semantics},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14575},
pages = {47--69},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57231-9\_3},
doi = {10.1007/978-3-031-57231-9\_3},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GoncharovSSTU24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001M0U24,
author = {Sergey Goncharov and
Stefan Milius and
Stelios Tsampas and
Henning Urbat},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Bialgebraic Reasoning on Higher-order Program Equivalence},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {39:1--39:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662099},
doi = {10.1145/3661814.3662099},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0001M0U24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2401.05872},
doi = {10.48550/ARXIV.2401.05872},
eprinttype = {arXiv},
eprint = {2401.05872},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-05872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2402.00625},
doi = {10.48550/ARXIV.2402.00625},
eprinttype = {arXiv},
eprint = {2402.00625},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2405.16708},
doi = {10.48550/ARXIV.2405.16708},
eprinttype = {arXiv},
eprint = {2405.16708},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-16708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1145/3571215},
doi = {10.1145/3571215},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GoncharovMSTU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/0001MS0U23,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {Higher-Order Mathematical Operational Semantics (Early Ideas)},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {24:1--24:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.24},
doi = {10.4230/LIPICS.CALCO.2023.24},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/0001MS0U23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Liittschwager0C23,
author = {Nathan Liittschwager and
Stelios Tsampas and
Jonathan Castello and
Lindsey Kuper},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {CRDTs, Coalgebraically (Early Ideas)},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {22:1--22:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.22},
doi = {10.4230/LIPICS.CALCO.2023.22},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Liittschwager0C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {{IEEE} International Smart Cities Conference, {ISC2} 2023, Bucharest,
Romania, September 24-27, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISC257844.2023.10293576},
doi = {10.1109/ISC257844.2023.10293576},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isc2/MylonasFTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2023, Boston, MA, USA, June 26-29, 2023},
pages = {1--13},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175706},
doi = {10.1109/LICS56636.2023.10175706},
timestamp = {Wed, 29 May 2024 16:05:22 +0200},
biburl = {https://dblp.org/rec/conf/lics/Urbat00MS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2302.08200},
doi = {10.48550/ARXIV.2302.08200},
eprinttype = {arXiv},
eprint = {2302.08200},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-08200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2309.02797},
doi = {10.48550/ARXIV.2309.02797},
eprinttype = {arXiv},
eprint = {2309.02797},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-02797.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/0001MS0U22,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
editor = {Amy P. Felty},
title = {Stateful Structural Operational Semantics},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {30:1--30:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.30},
doi = {10.4230/LIPICS.FSCD.2022.30},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/0001MS0U22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2202.10866},
eprinttype = {arXiv},
eprint = {2202.10866},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2210.13387},
doi = {10.48550/ARXIV.2210.13387},
eprinttype = {arXiv},
eprint = {2210.13387},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AbateBT21,
author = {Carmine Abate and
Matteo Busi and
Stelios Tsampas},
editor = {Hakjoo Oh},
title = {Fully Abstract and Robust Compilation: And How to Reconcile the Two,
Abstractly},
booktitle = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13008},
pages = {83--101},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89051-3\_6},
doi = {10.1007/978-3-030-89051-3\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AbateBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00036},
doi = {10.1109/CSF51468.2021.00036},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/El-Korashy0PD0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/0001WNDP21,
author = {Stelios Tsampas and
Christian Williams and
Andreas Nuyts and
Dominique Devriese and
Frank Piessens},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {Abstract Congruence Criteria for Weak Bisimilarity},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {88:1--88:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.88},
doi = {10.4230/LIPICS.MFCS.2021.88},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/0001WNDP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2102.08675},
eprinttype = {arXiv},
eprint = {2102.08675},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/ACCESS.2020.3020685},
doi = {10.1109/ACCESS.2020.3020685},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/FraileTMA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/0001NDP20,
author = {Stelios Tsampas and
Andreas Nuyts and
Dominique Devriese and
Frank Piessens},
editor = {Daniela Petrisan and
Jurriaan Rot},
title = {A Categorical Approach to Secure Compilation},
booktitle = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
April 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12094},
pages = {155--179},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57201-3\_9},
doi = {10.1007/978-3-030-57201-3\_9},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/0001NDP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2004.03557},
eprinttype = {arXiv},
eprint = {2004.03557},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-03557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2005.05944},
eprinttype = {arXiv},
eprint = {2005.05944},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05944.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2010.07899},
eprinttype = {arXiv},
eprint = {2010.07899},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07899.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/Pocero0MA19,
author = {Lidia Pocero and
Stelios Tsampas and
Georgios Mylonas and
Dimitrios Amaxilatis},
editor = {Ioannis Chatzigiannakis and
Boris E. R. de Ruyter and
Irene Mavrommati},
title = {Experiences from Using LoRa and {IEEE} 802.15.4 for IoT-Enabled Classrooms},
booktitle = {Ambient Intelligence - 15th European Conference, AmI 2019, Rome, Italy,
November 13-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11912},
pages = {186--202},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34255-5\_13},
doi = {10.1007/978-3-030-34255-5\_13},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ami/Pocero0MA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
NJ, USA, June 25-28, 2019},
pages = {243--255},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSF.2019.00024},
doi = {10.1109/CSF.2019.00024},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/csfw/TsampasDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iisa/MylonasA0PG19,
author = {Georgios Mylonas and
Dimitrios Amaxilatis and
Stelios Tsampas and
Lidia Pocero and
Joakim Gunneriusson},
editor = {Nikolaos G. Bourbakis and
George A. Tsihrintzis and
Maria Virvou},
title = {A Methodology for Saving Energy in Educational Buildings Using an
IoT Infrastructure},
booktitle = {10th International Conference on Information, Intelligence, Systems
and Applications, {IISA} 2019, Patras, Greece, July 15-17, 2019},
pages = {1--7},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IISA.2019.8900707},
doi = {10.1109/IISA.2019.8900707},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iisa/MylonasA0PG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1907.07760},
eprinttype = {arXiv},
eprint = {1907.07760},
timestamp = {Fri, 13 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-07760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-10 13:47 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
