Periodicals
Journal Articles
- Courcoubetis, C., & Yannakakis, M. (1995). The complexity of probabilistic verification. J.ACM, 42(4), 857-907. New York, NY, USA: ACM.
- R&D DIVISIONS
- Research Laboratories
- Bio-Informatics (BIL)
- Computational Medicine (CML)
- Computer Architecture and VLSI Systems (CARV)
- Computational Vision and Robotics (CVRL)
- Distributed Computing Systems (DCS)
- Human - Computer Interaction (HCI)
- Centre for Universal Access and Assistive Technologies (CUA-AT)
- Information Systems (ISL)
- Centre for Cultural Informatics (CCI)
- Signal Processing Laboratory (SPL)
- Telecommunications and Networks (TNL)
- Programmes
- Ambient Intelligence (AMI)
- Information Security (Infosec)
- Departments
- Center for eHealth Applications and Services
- W3C Office in Greece
- Education and Training (DET)
- Registry of the [.gr] Domain Names
- Systems and Networks (DSN)
- FORTH Cert
- Library
