THEORETICALLY SOUND
Experts
- Michael J. Maher
- Alfredo Cuzzocrea
- Julian Shun
- Laxman Dhulipala
- Tibor Jager
- David Billington
- Guido Governatori
- Guy E. Blelloch
- Johan Dovland
- Thanh-Toan Do
- Denis Diemert
- Martin Steffen
- Gustavo Carneiro
- Craig Boutilier
- Ting-Zhu Huang
- Olaf Owe
- Tuan Hoang
- Bruno Carpentieri
- Toan Tran
- Ian D. Reid
- Einar Broch Johnsen
- Grigoris Antoniou
- B. G. Vijay Kumar
- Jiantao Jiao
- Joost C. F. de Winter
- Eric P. Xing
- Ekawit Nantajeewarawat
- Domenico Amato
- Peter Richtárik
- Zhi-Gang Ren
- Yuhui Shi
- John L. Pollock
- Alexander Russell
- Oscar Castillo-Felisola
- Carl Vogel
- Alex Young
- Yaodong Yu
- María Amparo Gilabert
- Sandro Ridella
Venues
- CoRR
- IJCAI
- IACR Cryptol. ePrint Arch.
- J. Appl. Non Class. Logics
- Comput. Intell.
- LA-NMR
- ICSR
- KR
- Int. J. Intell. Syst.
- Notre Dame J. Formal Log.
- ACM SIGLOG News
- SAC
- CHI
- AAAI
- DOOD
- IEA/AIE
- LVA/ICA
- ICCABS
- ECSQARU
- Remote. Sens.
- J. Exp. Theor. Artif. Intell.
- ANNES
- OTM Conferences (2)
- SPAA
- AAAI/IAAI
- CEC
- Scientometrics
- INFORMS J. Comput.
- IFM
- ASP-DAC
- CIS
- ICE/ITMC
- SIAM J. Matrix Anal. Appl.
- ACM Trans. Program. Lang. Syst.
- ICML
- Cogn. Sci.
- ITiCSE
- AutomotiveUI
- Neurocomputing
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend