Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: George Eleftherakis
@article{DBLP:journals/simpra/LytosLSAE22,
author = {Anastasios Lytos and
Thomas Lagkas and
Panagiotis G. Sarigiannidis and
Vasileios Argyriou and
George Eleftherakis},
title = {Modelling argumentation in short text: {A} case of social media debate},
journal = {Simul. Model. Pract. Theory},
volume = {115},
pages = {102446},
year = {2022},
url = {https://doi.org/10.1016/j.simpat.2021.102446},
doi = {10.1016/J.SIMPAT.2021.102446},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simpra/LytosLSAE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pci/EleftherakisBV22,
author = {George Eleftherakis and
Fesal Baxhaku and
Anca Vasilescu},
editor = {Nikitas N. Karanikolas and
Christos Troussas and
Michael Vassilakopoulos and
Stefanos D. Kollias and
Christos Douligeris and
Ioannis Voyiatzis},
title = {Bio-inspired Adaptive Architecture for Wireless Sensor Networks},
booktitle = {Proceedings of the 26th Pan-Hellenic Conference on Informatics, {PCI}
2022, Athens, Greece, November 25-27, 2022},
pages = {116--122},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3575879.3575976},
doi = {10.1145/3575879.3575976},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pci/EleftherakisBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hij/BasholliLBE21,
author = {Adelina Basholli and
Thomas Lagkas and
Peter A. Bath and
George Eleftherakis},
title = {Sensor-based platforms for remote management of chronic diseases in
developing regions: {A} qualitative approach examining the perspectives
of healthcare professionals},
journal = {Health Informatics J.},
volume = {27},
number = {1},
pages = {146045822097935},
year = {2021},
url = {https://doi.org/10.1177/1460458220979350},
doi = {10.1177/1460458220979350},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hij/BasholliLBE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/SpyridisLSASEZ21,
author = {Yannis Spyridis and
Thomas Lagkas and
Panagiotis G. Sarigiannidis and
Vasileios Argyriou and
Antonios Sarigiannidis and
George Eleftherakis and
Jie Zhang},
title = {Towards 6G IoT: Tracing Mobile Sensor Nodes with Deep Learning Clustering
in {UAV} Networks},
journal = {Sensors},
volume = {21},
number = {11},
pages = {3936},
year = {2021},
url = {https://doi.org/10.3390/s21113936},
doi = {10.3390/S21113936},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/SpyridisLSASEZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/LagkasEDZ20,
author = {Thomas Lagkas and
George Eleftherakis and
Konstantinos Dimopoulos and
Jie Zhang},
title = {Signal strength based scheme for following mobile IoT devices in dynamic
environments},
journal = {Pervasive Mob. Comput.},
volume = {65},
pages = {101165},
year = {2020},
url = {https://doi.org/10.1016/j.pmcj.2020.101165},
doi = {10.1016/J.PMCJ.2020.101165},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/percom/LagkasEDZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bci/2019,
editor = {George Eleftherakis and
Milena Lazarova and
Adelina Aleksieva{-}Petrova and
Antoniya Tasheva},
title = {Proceedings of the 9th Balkan Conference on Informatics, {BCI} 2019,
Sofia, Bulgaria, September 26-28, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3351556},
doi = {10.1145/3351556},
isbn = {978-1-4503-7193-3},
timestamp = {Sun, 29 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bci/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthcom/BasholliLBE18,
author = {Adelina Basholli and
Thomas Lagkas and
Peter A. Bath and
George Eleftherakis},
title = {Healthcare professionals' attitudes towards remote patient monitoring
through sensor networks},
booktitle = {20th {IEEE} International Conference on e-Health Networking, Applications
and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20,
2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/HealthCom.2018.8531090},
doi = {10.1109/HEALTHCOM.2018.8531090},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/healthcom/BasholliLBE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08661,
author = {Adelina Basholli and
Thomas Lagkas and
Peter A. Bath and
George Eleftherakis},
title = {Feasibility of sensor-based technology for monitoring health in developing
countries - cost analysis and user perception aspects},
journal = {CoRR},
volume = {abs/1804.08661},
year = {2018},
url = {http://arxiv.org/abs/1804.08661},
eprinttype = {arXiv},
eprint = {1804.08661},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10439,
author = {Thomas Lagkas and
George Eleftherakis and
Konstantinos Dimopoulos and
Jie Zhang},
title = {Signal Strength based Scheme for Following Mobile IoT Devices in Dynamic
Environments},
journal = {CoRR},
volume = {abs/1811.10439},
year = {2018},
url = {http://arxiv.org/abs/1811.10439},
eprinttype = {arXiv},
eprint = {1811.10439},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bci/2017,
editor = {Katerina Zdravkova and
George Eleftherakis and
Petros Kefalas},
title = {Proceedings of the 8th Balkan Conference in Informatics, {BCI} 2017,
Skopje, Macedonia, September 20 - 23, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136273},
doi = {10.1145/3136273},
isbn = {978-1-4503-5285-7},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bci/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psats/2016,
editor = {Ifiok E. Otung and
Prashant Pillai and
George Eleftherakis and
Giovanni Giambene},
title = {Wireless and Satellite Systems - 8th International Conference, WiSATS
2016, Cardiff, UK, September 19-20, 2016, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {186},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-53850-1},
doi = {10.1007/978-3-319-53850-1},
isbn = {978-3-319-53849-5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/psats/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/EleftherakisBH15,
author = {George Eleftherakis and
Michael J. Butler and
Mike Hinchey},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {473},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0335-1},
doi = {10.1007/S00165-015-0335-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/EleftherakisBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/EleftherakisPLR15,
author = {George Eleftherakis and
Dimitrios Pappas and
Thomas Lagkas and
Konstantinos Rousis and
Ognen Paunovski},
title = {Architecting the IoT Paradigm: {A} Middleware for Autonomous Distributed
Sensor Networks},
journal = {Int. J. Distributed Sens. Networks},
volume = {11},
pages = {139735:1--139735:17},
year = {2015},
url = {https://doi.org/10.1155/2015/139735},
doi = {10.1155/2015/139735},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdsn/EleftherakisPLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bci/EleftherakisKRV15,
author = {George Eleftherakis and
Milos Kostic and
Konstantinos Rousis and
Anca Vasilescu},
editor = {Costin Badica and
Yannis Manolopoulos and
Mirel Cosulschi and
George Eleftherakis and
Florin Leon},
title = {Stigmergy Inspired Approach to Enable Agent Communication in Emergency
Scenarios},
booktitle = {Proceedings of the 7th Balkan Conference on Informatics Conference,
{BCI} '15, Craiova, Romania, September 2-4, 2015},
pages = {22:1--22:8},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2801081.2801119},
doi = {10.1145/2801081.2801119},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bci/EleftherakisKRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psats/LagkasIE15,
author = {Thomas D. Lagkas and
Arbnor Imeri and
George Eleftherakis},
editor = {Prashant Pillai and
Yim{-}Fun Hu and
Ifiok E. Otung and
Giovanni Giambene},
title = {A Pragmatic Evaluation of Distance Vector Proactive Routing in MANETs
via Open Space Real-World Experiments},
booktitle = {Wireless and Satellite Systems - 7th International Conference, WiSATS
2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {154},
pages = {345--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25479-1\_26},
doi = {10.1007/978-3-319-25479-1\_26},
timestamp = {Tue, 21 May 2019 16:48:54 +0200},
biburl = {https://dblp.org/rec/conf/psats/LagkasIE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bci/2015,
editor = {Costin Badica and
Yannis Manolopoulos and
Mirel Cosulschi and
George Eleftherakis and
Florin Leon},
title = {Proceedings of the 7th Balkan Conference on Informatics Conference,
{BCI} '15, Craiova, Romania, September 2-4, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2801081},
doi = {10.1145/2801081},
isbn = {978-1-4503-3335-1},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bci/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/BasholliLEB14,
author = {Adelina Basholli and
Thomas Lagkas and
George Eleftherakis and
Peter A. Bath},
editor = {Marta Bienkiewicz and
Christine Verdier and
Guy Plantier and
Tanja Schultz and
Ana L. N. Fred and
Hugo Gamboa},
title = {Wireless Monitoring Systems for Enhancing National Health Services
in Developing Regions},
booktitle = {{HEALTHINF} 2014 - Proceedings of the International Conference on
Health Informatics, ESEO, Angers, Loire Valley, France, 3-6 March,
2014},
pages = {511--516},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004913905110516},
doi = {10.5220/0004913905110516},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/BasholliLEB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/camad/SkafasLE14,
author = {Kyriakos K. Skafas and
Thomas Lagkas and
George Eleftherakis},
title = {The hunter: Tracking randomly moving {WBAN} targets},
booktitle = {19th {IEEE} International Workshop on Computer Aided Modeling and
Design of Communication Links and Networks, {CAMAD} 2014, Athens,
Greece, December 1-3, 2014},
pages = {139--143},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CAMAD.2014.7033222},
doi = {10.1109/CAMAD.2014.7033222},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/camad/SkafasLE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pci/2013,
editor = {Panayiotis H. Ketikidis and
Konstantinos G. Margaritis and
Ioannis P. Vlahavas and
Alexander Chatzigeorgiou and
George Eleftherakis and
Ioannis Stamelos},
title = {17th Panhellenic Conference on Informatics, {PCI} 2013, Thessaloniki,
Greece - September 19 - 21, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2491845},
isbn = {978-1-4503-1969-0},
timestamp = {Fri, 30 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pci/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bci/RousisEPC12,
author = {Konstantinos Rousis and
George Eleftherakis and
Ognen Paunovski and
Anthony J. Cowling},
editor = {Mirjana Ivanovic and
Zoran Budimac and
Milos Radovanovic},
title = {Formal modelling of a bio-inspired paradigm capable of exhibiting
emergence},
booktitle = {Balkan Conference in Informatics, 2012, {BCI} '12, Novi Sad, Serbia,
September 16-20, 2012},
pages = {223--228},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371316.2371360},
doi = {10.1145/2371316.2371360},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/bci/RousisEPC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/EleftherakisPRC12,
author = {George Eleftherakis and
Ognen Paunovski and
Konstantinos Rousis and
Anthony J. Cowling},
editor = {Giancarlo Fortino and
Costin Badica and
Michele Malgeri and
Rainer Unland},
title = {Emergent Distributed Bio-organization: {A} Framework for Achieving
Emergent Properties in Unstructured Distributed Systems},
booktitle = {Intelligent Distributed Computing {VI} - Proceedings of the 6th International
Symposium on Intelligent Distributed Computing - {IDC} 2012, Calabria,
Italy, September 2012},
series = {Studies in Computational Intelligence},
volume = {446},
pages = {23--28},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32524-3\_5},
doi = {10.1007/978-3-642-32524-3\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/EleftherakisPRC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2012,
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7},
doi = {10.1007/978-3-642-33826-7},
isbn = {978-3-642-33825-0},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/EleftherakisKK11,
author = {George Eleftherakis and
Petros Kefalas and
Evangelos Kehris},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {A methodology for developing component-based agent systems focusing
on component quality},
booktitle = {Federated Conference on Computer Science and Information Systems,
FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
pages = {561--568},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6078271/},
timestamp = {Mon, 09 Aug 2021 14:54:05 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/EleftherakisKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/PaunovskiEDC10,
author = {Ognen Paunovski and
George Eleftherakis and
Konstantinos Dimopoulos and
Tony Cowling},
title = {Evaluation of a selective distributed discovery strategy in a fully
decentralized biologically inspired environment},
journal = {Inf. Sci.},
volume = {180},
number = {10},
pages = {1865--1875},
year = {2010},
url = {https://doi.org/10.1016/j.ins.2009.07.017},
doi = {10.1016/J.INS.2009.07.017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/PaunovskiEDC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ict4justice/2009,
editor = {George Eleftherakis and
Tom M. van Engers},
title = {Proceedings of the 2\({}^{\mbox{nd}}\) International Conference on
{ICT} Solutions for Justice, Skopje, {FYR} Macedonia, September 24,
2009},
series = {{CEUR} Workshop Proceedings},
volume = {582},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-582},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ict4justice/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/PaunovskiEC09,
author = {Ognen Paunovski and
George Eleftherakis and
Tony Cowling},
title = {Disciplined Exploration of Emergence Using Multi-Agent Simulation
Framework},
journal = {Comput. Informatics},
volume = {28},
number = {3},
pages = {369--391},
year = {2009},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/43},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/PaunovskiEC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/KefalasSSE09,
author = {Petros Kefalas and
Ioanna Stamatopoulou and
Ilias Sakellariou and
George Eleftherakis},
title = {Transforming communicating X-machines into {P} systems},
journal = {Nat. Comput.},
volume = {8},
number = {4},
pages = {817--832},
year = {2009},
url = {https://doi.org/10.1007/s11047-008-9103-y},
doi = {10.1007/S11047-008-9103-Y},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/KefalasSSE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis-spain/CislaghiEMMFGN08,
author = {Mauro Cislaghi and
George Eleftherakis and
Roberto Mazzilli and
Francois Mohier and
Sara Ferri and
Valerio Giuffrida and
Elisa Negroni},
editor = {Emilio Corchado and
Rodolfo Zunino and
Paolo Gastaldo and
{\'{A}}lvaro Herrero},
title = {Secure Judicial Communication Exchange Using Soft-computing Methods
and Biometric Authentication},
booktitle = {Proceedings of the International Workshop on Computational Intelligence
in Security for Information Systems, CISIS'08, Genova, Italy, October
23-24, 2008},
series = {Advances in Soft Computing},
volume = {53},
pages = {11--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88181-0\_2},
doi = {10.1007/978-3-540-88181-0\_2},
timestamp = {Fri, 12 Aug 2022 13:44:54 +0200},
biburl = {https://dblp.org/rec/conf/cisis-spain/CislaghiEMMFGN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ict4justice/CislaghiEPR08,
author = {Mauro Cislaghi and
George Eleftherakis and
Domenico Pellegrini and
Konstantinos Rousis},
editor = {Tom M. van Engers and
George Eleftherakis},
title = {A New Approach to International Judicial Cooperation through Secure
{ICT} Platforms},
booktitle = {Proceedings of the 1\({}^{\mbox{st}}\) International Conference on
{ICT} Solutions for Justice, Thessaloniki, Greece, October 24, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {463},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-463/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/ict4justice/CislaghiEPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ict4justice/EleftherakisRCS08,
author = {George Eleftherakis and
Konstantinos Rousis and
Mauro Cislaghi and
Stefano Somaschini},
editor = {Tom M. van Engers and
George Eleftherakis},
title = {A View on the Role of Information Security on ICT-enabled Judicial
Systems},
booktitle = {Proceedings of the 1\({}^{\mbox{st}}\) International Conference on
{ICT} Solutions for Justice, Thessaloniki, Greece, October 24, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {463},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-463/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ict4justice/EleftherakisRCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/PaunovskiEDC08,
author = {Ognen Paunovski and
George Eleftherakis and
Konstantinos Dimopoulos and
Tony Cowling},
editor = {Costin Badica and
Giuseppe Mangioni and
Vincenza Carchiolo and
Dumitru Dan Burdescu},
title = {Evaluation of Selective Distributed Discovery within Distributed Bio-active
Agent Community},
booktitle = {Intelligent Distributed Computing, Systems and Applications, Proceedings
of the 2nd International Symposium on Intelligent Distributed Computing
- {IDC} 2008, Catania, Italy, 2008},
series = {Studies in Computational Intelligence},
volume = {162},
pages = {157--166},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85257-5\_16},
doi = {10.1007/978-3-540-85257-5\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/PaunovskiEDC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/NegroniDCEF08,
author = {Elisa Negroni and
Katherine Davies and
Mauro Cislaghi and
George Eleftherakis and
Sara Ferri},
editor = {Enrico Francesconi and
Giovanni Sartor and
Daniela Tiscornia},
title = {European Judicial Collaboration Platform {(JCP)} for Secure International
Judicial Collaboration},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2008: The Twenty-First
Annual Conference on Legal Knowledge and Information Systems, Florence,
Italy, 10-13 December 2008},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {189},
pages = {33--42},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-952-3-33},
doi = {10.3233/978-1-58603-952-3-33},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jurix/NegroniDCEF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/KefalasSEG08,
author = {Petros Kefalas and
Ioanna Stamatopoulou and
George Eleftherakis and
Marian Gheorghe},
editor = {David W. Corne and
Pierluigi Frisco and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Transforming State-Based Models to {P} Systems Models in Practice},
booktitle = {Membrane Computing - 9th International Workshop, {WMC} 2008, Edinburgh,
UK, July 28-31, 2008, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5391},
pages = {260--273},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95885-7\_19},
doi = {10.1007/978-3-540-95885-7\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/KefalasSEG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pci/EleftherakisK08,
author = {George Eleftherakis and
Petros Kefalas},
title = {Formal Verification of Generalised State Machines},
booktitle = {Panhellenic Conference on Informatics, {PCI} 2008, August 28-30, 2008,
Samos Island, Greece, Proceedings},
pages = {227--231},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PCI.2008.22},
doi = {10.1109/PCI.2008.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pci/EleftherakisK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/EleftherakisP08,
author = {George Eleftherakis and
Ognen Paunovski},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Integrating Formal Approaches and Simulation to Improve Reliability
and Correctness of Web Services},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {180--189},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 15:10:09 +0200},
biburl = {https://dblp.org/rec/conf/vveis/EleftherakisP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ict4justice/2008,
editor = {Tom M. van Engers and
George Eleftherakis},
title = {Proceedings of the 1\({}^{\mbox{st}}\) International Conference on
{ICT} Solutions for Justice, Thessaloniki, Greece, October 24, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {463},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-463},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ict4justice/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/membrane/2007,
editor = {George Eleftherakis and
Petros Kefalas and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Membrane Computing, 8th International Workshop, {WMC} 2007, Thessaloniki,
Greece, June 25-28, 2007 Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4860},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77312-2},
doi = {10.1007/978-3-540-77312-2},
isbn = {978-3-540-77311-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/idea/encyclopedia2005/KefalasHEG05,
author = {Petros Kefalas and
Mike Holcombe and
George Eleftherakis and
Marian Gheorghe},
editor = {Mehdi Khosrow{-}Pour},
title = {Formal Development of Reactive Agent-Based Systems},
booktitle = {Encyclopedia of Information Science and Technology {(5} Volumes)},
pages = {1201--1204},
publisher = {Idea Group},
year = {2005},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=14411},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/idea/encyclopedia2005/KefalasHEG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijit/EleftherakisKSK04,
author = {George Eleftherakis and
Petros Kefalas and
Anna Sotiriadou and
Evangelos Kehris},
editor = {Ali Okatan},
title = {Modeling Biology Inspired Reactive Agents Using X-machines},
booktitle = {International Conference on Computational Intelligence, {ICCI} 2004,
December 17-19, 2004, Istanbul, Turkey, Proceedings},
pages = {93--96},
publisher = {International Computational Intelligence Society},
year = {2004},
timestamp = {Tue, 01 Feb 2005 08:38:09 +0100},
biburl = {https://dblp.org/rec/conf/ijit/EleftherakisKSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Eleftherakis03,
author = {George Eleftherakis},
title = {Formal verification of X-machine models : towards formal development
of computer-based systems},
school = {University of Sheffield, {UK}},
year = {2003},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400012},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Eleftherakis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KefalasEK03,
author = {Petros Kefalas and
George Eleftherakis and
Evangelos Kehris},
title = {Communicating X-machines: a practical approach for formal and modular
specification of large systems},
journal = {Inf. Softw. Technol.},
volume = {45},
number = {5},
pages = {269--280},
year = {2003},
url = {https://doi.org/10.1016/S0950-5849(03)00018-1},
doi = {10.1016/S0950-5849(03)00018-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KefalasEK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/Eleftherakis01,
author = {George Eleftherakis},
editor = {Vimla L. Patel and
Ray Rogers and
Reinhold Haux},
title = {A Formal Framework for Modelling and Validating Medical Systems},
booktitle = {{MEDINFO} 2001 - Proceedings of the 10th World Congress on Medical
Informatics, September 2-5, 2001, London, {UK}},
series = {Studies in Health Technology and Informatics},
volume = {84},
pages = {13--17},
publisher = {{IOS} Press},
year = {2001},
url = {https://doi.org/10.3233/978-1-60750-928-8-13},
doi = {10.3233/978-1-60750-928-8-13},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/Eleftherakis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pci/KefalasEK01,
author = {Petros Kefalas and
George Eleftherakis and
Evangelos Kehris},
editor = {Yannis Manolopoulos and
Skevos Evripidou and
Antonis C. Kakas},
title = {Communicating X-Machines: From Theory to Practice},
booktitle = {Advances in Informatics, 8th Panhellenic Conference on Informatics,
{PCI} 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2563},
pages = {316--335},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-38076-0\_21},
doi = {10.1007/3-540-38076-0\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pci/KefalasEK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-10-01 22:25 CEST 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:
