THEORETICALLY SOUND
Experts
- Tibor Jager
- Laxman Dhulipala
- Julian Shun
- Michael J. Maher
- David Billington
- Alfredo Cuzzocrea
- Grigoris Antoniou
- Ian D. Reid
- Ting-Zhu Huang
- Olaf Owe
- Guy E. Blelloch
- Toan Tran
- Guido Governatori
- Bruno Carpentieri
- Johan Dovland
- Thanh-Toan Do
- Tuan Hoang
- Denis Diemert
- Einar Broch Johnsen
- B. G. Vijay Kumar
- Gustavo Carneiro
- Martin Steffen
- Craig Boutilier
- Antoine Leudière
- Rodrigo de Melo Souza Veras
- Katriel Cohn-Gordon
- Bei Wang
- Yaodong Yu
- Stephen Fridella
- Cristopher Moore
- Elisa Bertino
- Laurent El Ghaoui
- Yi Ouyang
- Christoph Beierle
- Deborah L. McGuinness
- Peter van den Besselaar
- Matthew Anderson
- Marcelino C. Pequeno
- Gary T. Leavens
Venues
- CoRR
- IJCAI
- IACR Cryptol. ePrint Arch.
- J. Appl. Non Class. Logics
- Comput. Intell.
- LVA/ICA
- Cogn. Sci.
- J. Comput. Phys.
- AAAI/IAAI
- IFM
- ITiCSE
- J. Manag. Inf. Syst.
- ICCABS
- ENUMATH
- AutomotiveUI
- ER
- ACM Trans. Parallel Comput.
- ICE/ITMC
- J. Cryptol.
- KR
- Notre Dame J. Formal Log.
- Scientometrics
- CVPR
- OTM Conferences (2)
- SIAM J. Matrix Anal. Appl.
- INFORMS J. Comput.
- J. Exp. Theor. Artif. Intell.
- LA-NMR
- SODA
- CIS
- NeurIPS
- ECSQARU
- AAAI
- Synth.
- Sci. Comput. Program.
- ACM Trans. Program. Lang. Syst.
- ACM SIGLOG News
- Remote. Sens.
- ANNES
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend