Publications

2011

1. Bartocci E., Grosu R., Katsaros P., Ramakrishnan CR, Smolka S.: Model Repair for Probabilistic Systems. In: Proceedings 17th International Conference on Tools & Algorithms for the Construction & Analysis of Systems (TACAS), pp. 326-340, Saarbruecken, Germany, 2011. (Type: Inproceedings | BibTeX | Links: )
2. Basagiannis S., Katsaros P., Pombortsis A.: Synthesis of Attack Actions Using Model Checking for the Verification of Security Protocols. In: Security & Communication Networks, 4 (2), pp. 147-161, 2011. (Type: Journal Article | BibTeX | Links: )
3. Basagiannis S., Petridou S., Alexiou N., Papadimitriou G., Katsaros P.: Quantitative Analysis of a Certified e-mail Protocol in Mobile Environments: a Probabilistic Model Checking Approach. In: Computers & Security, 30 (4), pp. 257-272, 2011. (Type: Journal Article | BibTeX | Links: )
4. Chatzieleftheriou G., Katsaros P.: Test Driving Static Analysis Tools in Search of C Code Vulnerabilities. In: Proceedings 35th IEEE Computer Software & Applications Conference Workshops (COMPSACW), pp. 96-103, Munich, Germany, 2011. (Type: Inproceedings | BibTeX | Links: )
5. Deshpande T., Katsaros P., Basagiannis S., Smolka S.: Formal Analysis of the DNS Bandwidth Amplification Attack and its Countermeasures Using Probabilistic Model Checking. In: Proceedings 13th IEEE International High Assurance Systems Engineering Symposium (HASE), Boca Raton, FL, 2011. (Type: Inproceedings | BibTeX | Links: )
6. Dimokas N., Katsaros D., Tassiulas L., Manolopoulos Y.: High Performance, Low Complexity Cooperative Caching for Wireless Sensor Networks. In: ACM Wireless Networks, 17 (3), pp. 717-737, 2011. (Type: Journal Article | BibTeX | Links: )
7. Doulaverakis C., Paradogiorgaki M., Mezaris V., Mpilis A., Parissi E., Gounaris A., Kompatsiaris I.: IVUS Image Processing and Semantic Analysis for Cardiovascular Diseases Risk Prediction. In: International Journal of Biomedical Engineering & Technology - Special Issue on Decision Support Systems, 3 (3-4), pp. 349-374, 2011. (Type: Journal Article | BibTeX | Links: )
8. Gabriel H.H., Spiliopoulou M., Stachtiari E., Vakali A.: Summarization Meets Visualization on Online Social Networks. In: Proceedings IEEE/WIC/ACM International Conference on Web Intelligence (WI), pp. 475-478, Lyon, France, 2011. (Type: Inproceedings | BibTeX | Links: )
9. Giatsoglou M., Papadopoulos S., Vakali A.: Massive Graph Management for the Web and Web 2.0. In: Vakali A., Jain L. (Ed.): New Directions in Web Data Management, pp. 19-58, Springer, 2011. (Type: Book Chapter | BibTeX | Links: )
10. Islam S., Stamos K., Pierson J.M., Vakali A.: Utilization-aware Redirection Policy in CDN: A Case for Energy Conservation. In: Proceedings 1st International Conference on Information & Communication on Technology for the Fight against Global Warming (ICT-GLOW), pp. 180-187, Toulouse, France, 2011. (Type: Inproceedings | BibTeX | Links: )
11. Katos V., Vrakas D., Katsaros P.: A Framework for Access Control with Inference Constraints. In: Proceedings 35th IEEE Computer Software & Applications Conference (COMPSAC), pp. 289-297, 2011. (Type: Inproceedings | BibTeX | Links: )
12. Kontaki M., Gounaris A., Papadopoulos A.N., Tsichlas K., Manolopoulos Y.: Continuous Monitoring of Distance-Based Outliers over Data Streams. In: Proceedings 27th IEEE International Conference on Data Engineering (ICDE), pp. 135-146, Hannover, Germany, 2011. (Type: Inproceedings | BibTeX | Links: )
13. Koutsonikola V., Vakali A.: A Clustering-driven LDAP Framework. In: ACM Transaction on the WEB, 5 (3), 2011. (Type: Journal Article | BibTeX | Links: )
14. Latsiou G., Papadopoulos A.N.: Incremental Discovery of Top-k Correlative Subgraphs. In: Proceedings 15th Panhellenic Conference on Informatics (PCI), pp. 56-60, Kastoria, Greece, 2011. (Type: Inproceedings | BibTeX)
15. Loizidis A., Almaliotis V., Katsaros P.: Static Program Analysis of Multi-Applet JavaCard Applications. In: Software Engineering for Secure Systems: Industrial & Research Perspectives, pp. 286-304, IGI Global, 2011. (Type: Incollection | BibTeX | Links: )
16. Lyritsis A., Papadopoulos A.N., Manolopoulos Y.: TAGs: Scalable Threshold-Based Algorithms for Proximity Computation in Graphs. In: Proceedings 14th International Conference on Extending Database Technology (EDBT), pp. 295-306, Uppsala, Sweden, 2011. (Type: Inproceedings | BibTeX | Links: )
17. Maaradji A., Hacid H., Skraba R., Vakali A.: Social Web Mashups Full Completion via Frequent Sequence Mining. In: Proceedings World Congress on Services (SERVICES), pp. 9-16, 2011. (Type: Inproceedings | BibTeX | Links: )
18. Marinho L.B., Nanopoulos A., Schmidt-Thieme L., Jaeschke R., Hotho A., Stumme G., Symeonidis P.: Social Tagging Recommender Systems. In: Ricci F., Rokach L., Shapira B., Kantor P. (Ed.): Recommender Systems Handbook, pp. 615-644, Springer, 2011. (Type: Incollection | BibTeX | Links: )
19. Mentis A., Katsaros P.: Model Checking and Code Generation for Transaction Processing Software. In: Concurrency & Computation: Practice & Experience, 2011. (Type: Journal Article | BibTeX | Links: )
20. Nikolopoulos S., Chatzilari E., Giannakidou E., Papadopoulos S., Kompatsiaris Y., Vakali A.: Leveraging Massive User Contributions for Knowledge Extraction. In: Bessis N., Xhafa F. (Ed.): Next Generation Data Technologies for Collective Computational Intelligence, pp. 415-443, Springer, 2011. (Type: Book Chapter | BibTeX)
21. Nikolopoulos S., Giannakidou E., Kompatsiaris Y., Patras I., Vakali A.: Combining Multi-modal Features for Social Media Analysis. In: Hoi S., Luo J., Boll S., Xu D., Jin R. (Ed.): Social Media Modeling & Computing, pp. 71-96, Springer, 2011. (Type: Book Chapter | BibTeX)
22. Papadimitriou A., Symeonidis P., Manolopoulos Y.: Geo-social Recommendations. In: Proceedings RecSys Workshop on Personalization on Mobile Applications (PeMA), Chicago, IL, 2011. (Type: Inproceedings | BibTeX | Links: )
23. Papadimitriou A., Symeonidis P., Manolopoulos Y.: Predicting Links in Social Networks of Trust via Bounded Local Path Traversal. In: Proceedings 3rd Conference on Computational Aspects of Social Networks (CASON), Salamanca, Spain, 2011. (Type: Inproceedings | BibTeX | Links: )
24. Papadopoulos S., Vakali A., Kompatsiaris Y.: Community Detection in Collaborative Tagging Systems. In: Pardede E. (Ed.): Community-Built Databases, pp. 107-131, Springer, 2011. (Type: Incollection | BibTeX | Links: )
25. Papadopoulos S., Zigkolis C., Kapiris S., Kompatsiaris Y., Vakali A.: City Exploration by Use of Spatio-temporal Analysis and Clustering of User Contributed Photos. In: Proceedings 1st International Conference on Multimedia Retrieval (ICMR), Trento, Italy, 2011. (Type: Inproceedings | BibTeX | Links: )
26. Papadopoulos S., Zigkolis C., Kompatsiaris Y., Vakali A.: CERTH @ MediaEval 2011 Social Event Detection Task. In: Working Notes Proceedings of the MediaEval'2012 Workshop, in conjunction with Interspeech'2011, Pisa, Italy, 2011. (Type: Inproceedings | BibTeX | Links: )
27. Papadopoulos S., Zigkolis C., Kompatsiaris Y., Vakali A.: Cluster-Based Landmark and Event Detection for Tagged Photo Collections. In: IEEE MultiMedia, 18 (1), pp. 52-63, 2011. (Type: Journal Article | BibTeX | Links: )
28. Paraskevopoulos P., Gounaris A.: Optimal Tradeoff between Energy Consumption and Response Time in Large-scale MapReduce Clusters. In: Proceedings 15th Panhellenic Conference on Informatics (PCI), pp. 144-148, Kastoria, Greece, 2011. (Type: Inproceedings | BibTeX | Links: )
29. Petridou S., Basagiannis S., Alexiou N., Papadimitriou G., Katsaros P.: Quantitative Model Checking of an RSA-based Email Protocol on Mobile Devices. In: Proceedings 16th IEEE Symposium on Computers & Communications (ISCC), pp. 639-645, Corfu, Greece, 2011. (Type: Inproceedings | BibTeX | Links: )
30. Rafailidis D., Nanopoulos A., Manolopoulos Y.: Nonlinear Dimensionality Reduction for Efficient and Effective Audio Similarity Searching. In: Multimedia Tools & Applications, 51 (3), pp. 881-895, 2011. (Type: Journal Article | BibTeX | Links: )
31. Siddiqui Z.F., Spiliopoulou M., Symeonidis P, Tiakas E.: A Data Generator for Multi-Stream Data. In: Proceedings PKDD Workshop Mining Ubiquitous & Social Environments (MUSE), Athens, Greece, 2011. (Type: Inproceedings | BibTeX | Links: )
32. Soupionis Y., Basagiannis S., Katsaros P., Gritzalis D.: A Formally Verified Mechanism for Countering SPIT. In: Proceedings 5th International Conference on Critical Information Infrastructure Security (CRITIS'10), Athens, Greece, 2011. (Type: Inproceedings | BibTeX | Links: )
33. Symeonidis P., Manolopoulos Y.: Explaining Recommendations of Movies in Web Video Rental Businesses (invited). In: Proceedings 2nd Symposium on Business Informatics in Central & Eastern Europe (CEE), Cluj-Napoca, Romania, 2011. (Type: Inproceedings | BibTeX | Links: )
34. Symeonidis P., Papadimitriou A., Manolopoulos Y., Senkul P., Toroslu I.: Geo-social Recommendations based on Incremental Tensor Reduction and Local Path Traversal. In: Proceedings 3rd ACM SIGSPATIAL International Workshop on Location-Based Social Networks (LBSN), Chicago, IL, 2011. (Type: Inproceedings | BibTeX | Links: )
35. Symeonidis P., Tiakas E., Manolopoulos Y.: Product Recommendation and Rating Prediction based on Multi-modal Social Networks. In: Proceedings 5th International Conference on Recommender Systems (RecSys), pp. 61-68, Chicago, IL, 2011. (Type: Inproceedings | BibTeX | Links: )
36. Tiakas E., Papadopoulos A.N., Manolopoulos Y.: Progressive Processing of Subspace Dominating Queries. In: The VLDB Journal, 20 (6), pp. 921-948, 2011. (Type: Journal Article | BibTeX)
37. Tsagkalidou K., Koutsonikola V., Vakali A., Kafetsios K.: Emotional Aware Clustering on Micro-blogging Sources. In: Proceedings 4th International Conference on Affective Computing & Intelligent Interaction (ACII), pp. 387-396, Memphis, TN, 2011. (Type: Inproceedings | BibTeX | Links: )
38. Tsamoura E., Gounaris A., Manolopoulos Y.: Decentralized Execution of Linear Work-flows over Web Services. In: Future Generation Computer Systems, 27 (3), pp. 341-347, 2011. (Type: Journal Article | BibTeX | Links: )
39. Tsamoura E., Gounaris A., Manolopoulos Y.: Queries over Web Services. In: Vakali A., Jain L.C. (Ed.): New Directions in Web Data Management, pp. 139-169, Springer-Verlag, 2011. (Type: Incollection | BibTeX | Links: )
40. Tsamoura E., Gounaris A., Manolopoulos Y.: Optimal Service Ordering in Decentralized Queries over Web Services. In: International Journal of Knowledge-based Organizations, 1 (2), pp. 1-16, 2011. (Type: Journal Article | BibTeX | Links: )
41. Tsiakis T., Katsaros P., Gritzalis D.: Economic Evaluation of Interactive Audio Media for Securing Internet Services. In: Proceedings 7th International Conference in Global Security, Safety & Sustainability (ICGS3), Thessaloniki, Greece, 2011. (Type: Inproceedings | BibTeX | Links: )
42. Vakali A.: Innovations and Trends in Web Data Management. In: Vakali A., Jain L. (Ed.): New Directions in Web Data Management, pp. 1-18, Springer, 2011. (Type: Book Chapter | BibTeX)
43. Yfoulis A., Gounaris A., Tzolas D.: Minimization of the response time in parallel database queries: An adaptive cost-aware MPC-based solution. In: Proceedings 19th Mediterranean Conference on Control Automation (MED), pp. 813 -818, 2011. (Type: Inproceedings | BibTeX | Links: )
44. Zigkolis C., Koutsonikola V., Chatzakou D., Karagiannidis S., Giatsoglou M., Kosmatopoulos A., Vakali A.: Towards a User-Aware Virtual Museum. In: Proceedings 3rd International Conference on Games & Virtual Worlds for Serious Applications, (VS-GAMES), pp. 228-235, Athens, Greece, 2011. (Type: Inproceedings | BibTeX | Links: )
45. Zigkolis C., Papadopoulos S., Kompatsiaris Y., Vakali A.: Detecting the Long-tail of Points of Interest in Tagged Photo Collections. In: Proceedings 9th International Workshop on Content-based Multimedia Indexing (CBMI), pp. 235-240, Madrid, Spain, 2011. (Type: Inproceedings | BibTeX | Links: )