Periodicals
Journal Articles
- Alur, R., Courcoubetis, C., & Dill, D. (1993). Model-Checking in Dense Real-Time. Inf Comput, 104(1), 2-34.
- 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
