THEORETICALLY SOUND
Experts
- Alfredo Cuzzocrea
- Laxman Dhulipala
- Tibor Jager
- Michael J. Maher
- Julian Shun
- David Billington
- Denis Diemert
- Grigoris Antoniou
- Thanh-Toan Do
- Tuan Hoang
- Ian D. Reid
- Toan Tran
- Guy E. Blelloch
- Craig Boutilier
- Guido Governatori
- Ting-Zhu Huang
- Einar Broch Johnsen
- Gustavo Carneiro
- B. G. Vijay Kumar
- Olaf Owe
- Bruno Carpentieri
- Johan Dovland
- Martin Steffen
- Christian Holmboe
- Gary T. Leavens
- David S. Reiner
- Ke Shen
- Daniel G. Brown
- Umberto Straccia
- Shirley Booth
- Henrique Santos
- Steven Kutsch
- Liang Li
- Peter van den Besselaar
- Richmond H. Thomason
- Ilyas Fatkhullin
- Wilbert Tabone
- Abdul Sattar
- Domenico Amato
Venues
- CoRR
- IJCAI
- IACR Cryptol. ePrint Arch.
- Comput. Intell.
- J. Appl. Non Class. Logics
- SODA
- ICCABS
- OTM Conferences (2)
- ICML
- CEC
- J. Exp. Theor. Artif. Intell.
- J. Comput. Syst. Sci.
- ASP-DAC
- J. Comput. Phys.
- Sci. Comput. Program.
- Neurocomputing
- AutomotiveUI
- CHI
- ICE/ITMC
- CIS
- IEA/AIE
- J. Manag. Inf. Syst.
- ACM Trans. Parallel Comput.
- ECSQARU
- ACM Trans. Program. Lang. Syst.
- SPAA
- Scientometrics
- J. Cryptol.
- LPNMR
- DOOD
- ICSR
- Synth.
- ITiCSE
- Notre Dame J. Formal Log.
- IPMU (2)
- NeurIPS
- SAC
- AAAI/IAAI
- ANNES
Related Topics
Related Keywords
Popularity