FORMAL EVALUATION
Experts
- Nian-Ze Lee
- Birte Glimm
- Rafael S. Gonçalves
- Grigoris Kaltsas
- Bijan Parsia
- Uri J. Schild
- Jie-Hong R. Jiang
- Ruth Kannai
- Nicolas Matentzoglu
- Séamus Lawless
- Linkan Bian
- Caroline Ernestine Oehlhorn
- Gareth J. F. Jones
- Jing Cui
- Wu-Yuin Hwang
- Shuyi Liang
- John Long
- Natasha Malveira Costa Valentim
- Risman Adnan
- Allan Hanbury
- Dave Everitt
- Abigail Cohen
- Gianluca Zaccagnino
- Pakorn Yodprom
- Raman Sharykin
- Zhiyong Li
- Anastasios Petropoulos
- Su Hui
- Marc A. Viredaz
- Jun Huang
- Kazuhiro Yamaguchi
- Marco Luce
- Javier Aracil
- Qiaoqiao Tong
- Katsuhiko Inagaki
- Radu Tudor Ionescu
- Daniel Scain Farenzena
- Andri Ioannou
- Jorge Tulio Rodríguez
Venues
- CoRR
- IEEE Trans. Computers
- Comput. Humanit.
- SIGIR Forum
- Sensors
- SMC
- J. Am. Medical Informatics Assoc.
- ICMC
- Int. J. Hum. Comput. Interact.
- Int. J. Medical Informatics
- Int. J. Comput. Assist. Lang. Learn. Teach.
- SIGCSE
- ACM SIGCHI Bull.
- HCI (11)
- Comput. Law Secur. Rev.
- Vis. Comput.
- Br. J. Educ. Technol.
- AIED
- Complex.
- SOSE
- Int. J. Sociotechnology Knowl. Dev.
- Nursing Informatics
- Aslib Proc.
- Brain Informatics
- IACR Cryptol. ePrint Arch.
- AIMS
- ISM
- TRUST
- Languages: From Formal to Natural
- Expert Syst. Appl.
- ICPC
- AI Mag.
- INTERACT
- PCS
- Visualization and Data Analysis
- IPCCC
- ICASSP (5)
- IEEE Micro
- EC-TEL
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend