PRECISELY DEFINED
Experts
- Rocco De Nicola
- Fairouz Kamareddine
- Andrew M. Pitts
- M. Ronan Sleep
- Edward Gibson
- Nuno J. Mamede
- Djamal Benslimane
- Roel Bloo
- Richard Kennaway
- Christian Chiarcos
- Philippe Balbiani
- Bharat Jayaraman
- Yuwei Wu
- Armando Solar-Lezama
- Jonas Haldimann
- Benedikt Ahrens
- Alfred V. Aho
- Tijs van der Storm
- Elizabeth Polgreen
- Rui Wang
- Magnus Nyström
- Çigdem Gencer
- Sergio Greco
- Yuhan Zhang
- Samuele Buro
- Sufeng Duan
- Martin Bravenboer
- Dmitrij Szamozvancev
- Forrest Davis
- Robert C. Berwick
- Daria Stetsenko
- Ahmed Arara
- Johannes Bjerva
- Charu C. Aggarwal
- Julianna Zsido
- Natasha Alechina
- Kevin Gimpel
- Zhiqiang Hu
- Jeffrey D. Ullman
Venues
- CoRR
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- SAC
- PACLIC
- Notre Dame J. Formal Log.
- RFC
- ICECCS
- LREC
- COLING
- AAAI
- IEEE Trans. Software Eng.
- Proc. ACM Program. Lang.
- ACM National Conference
- AFIPS Fall Joint Computing Conference
- Comput. Lang.
- J. Lang. Model.
- VL
- ICTCS
- LMAC
- J. Log. Program.
- ACM Southeast Regional Conference
- CAV (2)
- IJCAI
- Minds Mach.
- PLDI
- TYPES
- Comput. Intell.
- Int. J. Man Mach. Stud.
- Softw. Syst. Model.
- Comput. J.
- ASE
- J. Log. Lang. Inf.
- TbiLLC
- Commun. ACM
- CoNLL
- MERLIN
- Comput. Linguistics
- APL
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend