Technical Reports

Technical Reports 2017

Technical Reports 2016

TR-16-1 George Matheou, Paraskevas Evripidou - FREDDO: an efficient Framework for Runtime Execution of Data-Driven Objects

Technical Reports 2015

TR-15-3 Zacharias Hadjilambrou, Yiannakis Sazeides - Characterization and analysis of a Web Search benchmark

Technical Reports 2014

TR-14-1 Yiannos Mylonas, Marios Lestas, Andreas Pitsillides, Petros Ioannou, Vicky Papadopoulou - Analysis of Probabilistic Flooding in VANETs

Technical Reports 2013

TR-13-1 A. Kamilaris, M. Michael, A. Pitsillides and C. Fidas - A Case Study on the Use of Social Electricity by Cypriot Residents

TR-13-3 A. Kakas, F. Toni, and P. Mancarella - On Reductio Ad Absurdum in Propositional Logic (for a copy of the report please contact Antonis Kakas at This email address is being protected from spambots. You need JavaScript enabled to view it.)

Technical Reports 2012

TR-12-3 A. Kakas, F. Toni, and P. Mancarella - Argumentation Logic (for a copy of the report please contact Antonis Kakas at This email address is being protected from spambots. You need JavaScript enabled to view it.)

Technical Reports 2011

TR-11-1 P.Andreou, P., Germanakos, A., Constantinides, D.Georgiadis, M.Belk, G.Samaras - USN: Multi-Objective User-centric Social Networks with Decision Making

Technical Reports 2010

TR-10-1 D. Kouzapas, A. Philippou - A Process Calculus for Dynamic Networks

TR-10-2 N.Loulloudes, G.Pallis, M.D.Dikaiakos - The Dynamics of Vehicular Networks in Urban Environments

TR-10-3 G.Christodoulou, C.Christodoulou, V.Promponas - Investigation of learning Methods for Bidirectional Recurrent Neural Networks as Applied to Protein Secondary Structure Prediction

Technical Reports 2009

TR-2009-1 M.Agathocleous, C.Christodoulou, V.Promponas - Protein Secondary Structure Prediction with Bidirectional Recurrent Neural Networks

Technical Reports 2008

TR-2008-1 A.F.Anta, C.Georgiou, M.A.Mosteiro - Cost-sensitive Mechanisms for Internet-based Computing

TR-2008-2 G.Televantos, K.Stavrou, P.Trnacoso - Characterization of Private Encryption Algorithms for Embedded Processors

TR-2008-4 M.Jarrar, M.D.Dikaiakos - MashQL: A Query-by-Diagram Language on top of SPARQL

TR-2008-5 J.Antoniou. V.Papadopoulou, A.Pitsillides - A Game Theoretic Approach for Network Selection

TR-2008-6 C.Chrysostomou, A.Pitsillides, A.Sekerciouglu - Fuzzy Explicit Marking. A unified congestion controller for Best Effort and Diff-Serv Networks

TR-2008-7 G.Pallis, D.Katsaros, M.D.Dikaiakos, N.Loulloudes, L.Tassiulas - On the Structure and Evolution of Vehicular Networks

Technical Reports 2007

TR-2007-1 P. Antoniou, A. Pitsillides - Understanding Complex Systems: A Communication Networks Perspective

TR-2007-2 G.Tsouloupas

TR-2007-3 M.Kleanthous, Y.Sazeides - Dynamically Detecting Cache-Content-Duplication in Instruction Caches

TR-2007-4 A.Philippou, M.Gelastou, C.Georgiou - Formal Methods for specifying and verifying distributed algorithms process Algebra VS. I/0 Automata

TR-2007-5 A.Artusi, B.Roch, Y.Chrysanthou, D.Michael, A.Chalmers - Selective Tone Mapper

TR-2007-6 A.Hybrid Fault . Tolerant Algorithm for MPLS Networks

Technical Reports 2006

TR-2006-1 A.Stassopoulou. M.D.Dikaiakos - Human or crawler? A probabilistic Reasoning Approach

TR-2006-3 M.Lestas, A.Pitsillides - Adaptive Congestion Protocol. A New Congestion Protocol. A New Congestion Central Protocol with Learning Cpability (February 2006).

TR-2006-4 – D.Zeinalipour, K.Neocleous, C.Georgiou., M.D.Dikaiakos - Managing Failures in a Grid Systems using FailRank

Technical Reports 2005

TR-2005-2 A.Lahanas - Cooperation Between RED Gateways and AIMD–like Mechanisms in Asynchronous Networks

TR-2005-3 T.Constantinou, Y.Sazeides, P.Michard - Initial Results on the Importance of Warm-up when Migrating a process on Chip Multiprocessors

TR-2005-4 C.Kyriacou, P.Evripidou, P.Trancoso - Data Driven Multithreading Using Conventional Microprocessors

TR-2005-5 C.Kyriacou, P.Evripidou - Cache Optimizations for Data Driven Multitherading

TR-2005-6 P.Neophytou, N.Neophytou, P.Evripidou - Grid-dbx: A Portable adjustable de bugger of MPI Grid based programs, Journal for Grid Computing

TR-2005-7 S.Polyviou, P.Evripidou, G.Samaras - Towards a pervasive query language

TR-2005-8 P.Evripidou, G.Samaras - Metacomputing with Mobile Agents

TR-2005-9 P.Evripidou, P.Trancoso, C.Kyriacou - A Case for Data-Driven Multithreading with Conventional Microprocessors

TR-2005-10 E.Tamani - A State of the art review on web services description, discovery and composition

TR-2005-11 M.D.Dikaiakos - Grid Benchmarking: Vision, Challenges, and Current Status

TR-2005-12 C.Chrysostomou, A.Pitsillides - Fuzzy Logic Based Active Queue Management in TCP/IP Networks

TR-2005-13 V.Papadopoulou

TR-2005-14 E.Stavrou, A.Pitsillides - Securing Mobile Healthcare Systems based on Information Classification DITIS Case Study

TR-2005-15 C.Georgiou, Th. Pavlides, A.Philippou - Network Uncertainty in Selfish Routing

TR-2005-16 K.Stavrou, P.Trancoso - Thermal Aware Scheduling on Chip Multiprocessors

TR-2005-17 M.Gelastou, M.Mavronicolas, V.Papadopoulou, A.Philippou, P.Spirakis - The power of the Defender

Technical Reports 2004

TR-2004-1 P.Evripidou, C.Kyriacou - DDM-SIM: An Execution Driven Simulators for Data Driven Multithreading

TR-2004-2 M. Georgiadou, G. Tsouloupas, M. Dikaiakos, A. Tsapalis, and C. Alexandrou - Running QCD Computations on the Grid

TR-2004-3 S. Polyviou - A Proposed Architecture for a User Interface Management System for Pervasive Computing

TR-2004-4 A.Tzanavari, S.Retalis, P.Pastellis - Giving more Adaptation Flexibility to Authors of Adaptive Assessments: the case of AthenaQTI

TR-20004-5 G.Tsouloupas, M.D.Dikaiakos - Characterization of Computational Grid Resources Using Low-Level Benchmark

TR-2004-6 K. Christou, A. Philippou, O. Sokolsky - Exponential Distributions in a Resource-Based Process Algebra

TR-2004-7 W.Xing, M.D.Dikaiakos, H. Yang, A.Sphyris, G.Eftichidis - Building a Distributed Digital Library for Natural Disasters Metadata with Grid Services & RDF

TR-2004-8 M.D.Dikaiakos, A.Artemiou - Navigating the Grid Information Space: Design and Implementation of the Ovid browser