Costas Halatsis
Costas Halatsis
Unknown affiliation
Verified email at nup.ac.cy
TitleCited byYear
Ontology visualization methods—a survey
A Katifori, C Halatsis, G Lepouras, C Vassilakis, E Giannopoulou
ACM Computing Surveys (CSUR) 39 (4), 10, 2007
5242007
Creating an ontology for the user profile: Method and applications
G Maria, K Akrivi, V Costas, L George, H Constantin
Proceedings AI* AI Workshop RCIS, 2007
2112007
Text line and word segmentation of handwritten documents
G Louloudis, B Gatos, I Pratikakis, C Halatsis
Pattern Recognition 42 (12), 3169-3183, 2009
2062009
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
174*2011
Text line detection in handwritten documents
G Louloudis, B Gatos, I Pratikakis, C Halatsis
Pattern Recognition 41 (12), 3758-3772, 2008
1262008
A comparative study of four ontology visualization techniques in protege: Experiment setup and preliminary results
K Akrivi, T Elena, H Constantin, L Georgios, V Costas
Tenth International Conference on Information Visualisation (IV'06), 417-423, 2006
802006
A knowledge-based approach for developing multi-channel e-government services
C Vassilakis, G Lepouras, C Halatsis
Electronic Commerce Research and Applications 6 (1), 113-124, 2007
592007
A concurrent built-in self-test architecture based on a self-testing RAM
I Voyiatzis, A Paschalis, D Gizopoulos, N Kranitis, C Halatsis
IEEE Transactions on Reliability 54 (1), 69-78, 2005
592005
Irredundant normal forms and minimal dependence sets of a Boolean function
C Halatsis, N Gaitanis
IEEE Transactions on Computers, 1064-1068, 1978
491978
Efficient modular design of TSC checkers for m-out-of-2m codes
AM Paschalis, D Nikolos, C Halatsis
IEEE Transactions on Computers 37 (3), 301-309, 1988
471988
e-GRIDS: Computationally Efficient Gramatical Inference from Positive Examples.
G Petasis, G Paliouras, V Karkaletsis, C Halatsis, CD Spyropoulos
Grammars 7, 69-110, 2004
462004
A new design method for m-out-of-n TSC checkers
N Gaitanis, C Halatsis
IEEE Transactions on Computers, 273-283, 1983
461983
Text line detection in unconstrained handwritten documents using a block-based hough transform approach
G Louloudis, B Gatos, C Halatsis
Ninth International Conference on Document Analysis and Recognition (ICDAR …, 2007
432007
An efficient built-in self test method for robust path delay fault testing
I Voyiatzis, A Paschalis, D Nikolos, C Halatsis
Journal of Electronic Testing 8 (2), 219-222, 1996
431996
A low-cost concurrent BIST scheme for increased dependability
I Voyiatzis, C Halatsis
IEEE Transactions on Dependable and Secure Computing 2 (2), 150-156, 2005
392005
Optimal periodic testing of intermittent faults in embedded pipelined processor applications
N Kranitis, A Merentitis, N Laoutaris, G Theodorou, A Paschalis, ...
Proceedings of the conference on Design, automation and test in Europe …, 2006
322006
An input vector monitoring concurrent BIST architecture based on a precomputed test set
I Voyiatzis, A Paschalis, D Gizopoulos, C Halatsis, FS Makri, ...
IEEE Transactions on Computers 57 (8), 1012-1022, 2008
312008
eg-GRIDS: Context-free grammatical inference from positive examples using genetic search
G Petasis, G Paliouras, CD Spyropoulos, C Halatsis
International Colloquium on Grammatical Inference, 223-234, 2004
312004
Historical research in archives: user methodology and supporting tools
T Elena, A Katifori, C Vassilakis, G Lepouras, C Halatsis
International Journal on Digital Libraries 11 (1), 25-36, 2010
302010
An efficient TSC 1-out-of-3 code checker
AM Paschalis, C Efstathiou, C Halatsis
IEEE transactions on computers 39 (3), 407-411, 1990
291990
The system can't perform the operation now. Try again later.
Articles 1–20