THEORETICALLY SOUND
Experts
- Laxman Dhulipala
- David Billington
- Michael J. Maher
- Alfredo Cuzzocrea
- Tibor Jager
- Julian Shun
- Grigoris Antoniou
- Craig Boutilier
- B. G. Vijay Kumar
- Johan Dovland
- Toan Tran
- Guido Governatori
- Bruno Carpentieri
- Tuan Hoang
- Denis Diemert
- Martin Steffen
- Ian D. Reid
- Olaf Owe
- Ting-Zhu Huang
- Thanh-Toan Do
- Guy E. Blelloch
- Gustavo Carneiro
- Einar Broch Johnsen
- Yi Ouyang
- Sarah Nichols
- Liang Qu
- Qing Liao
- Marcelino C. Pequeno
- Donald Nute
- Anders Berglund
- Liang Li
- Vilas Wuwongse
- Giosuè Lo Bosco
- Domenico Amato
- Mordechai Ben-Ari
- Yuejiao Sun
- Luuk J. Spreeuwers
- Álvaro Moreno
- Riccardo Nicolicchia
Venues
- CoRR
- IJCAI
- IACR Cryptol. ePrint Arch.
- J. Appl. Non Class. Logics
- Comput. Intell.
- IPMU (2)
- J. Cryptol.
- ICE/ITMC
- SODA
- ICSR
- CDC
- Synth.
- Cogn. Sci.
- KR
- J. Manag. Inf. Syst.
- J. Comput. Syst. Sci.
- AutomotiveUI
- ANNES
- ACM Trans. Parallel Comput.
- NeurIPS
- Remote. Sens.
- CVPR
- DOOD
- Scientometrics
- ASP-DAC
- ITiCSE
- CHI
- ACM Trans. Program. Lang. Syst.
- OTM Conferences (2)
- SPAA
- Neurocomputing
- IFM
- IEA/AIE
- ICML
- ER
- CEC
- Notre Dame J. Formal Log.
- ENUMATH
- ACM SIGLOG News
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend