PRECISELY DEFINED
Experts
- Rocco De Nicola
- Fairouz Kamareddine
- Jeffrey D. Ullman
- Samuele Buro
- Armando Solar-Lezama
- Yuwei Wu
- Wolfgang Bibel
- Çigdem Gencer
- Daria Stetsenko
- Jonas Haldimann
- Chia-Chu Chiang
- Roy Ka-Wei Lee
- Sanjit A. Seshia
- Roel Bloo
- Tijs van der Storm
- Christoph Beierle
- Bharat Jayaraman
- Julianna Zsido
- Elizabeth Polgreen
- Zhiqiang Hu
- Zhuosheng Zhang
- Hai Zhao
- Djamal Benslimane
- Philippe Balbiani
- Edward Gibson
- Christian Chiarcos
- Yuhan Zhang
- Robert C. Berwick
- Martin Bravenboer
- Johannes Bjerva
- Dmitrij Szamozvancev
- Sufeng Duan
- Forrest Davis
- Kevin Gimpel
- Alfred V. Aho
- Richard Kennaway
- Sergio Greco
- Isabelle Augenstein
- Eelco Visser
Venues
- CoRR
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- PACLIC
- RFC
- SAC
- Notre Dame J. Formal Log.
- ICECCS
- COLING
- AAAI
- LREC
- IEEE Trans. Software Eng.
- CoNLL
- TYPES
- TbiLLC
- ACM Southeast Regional Conference
- Commun. ACM
- APL
- Comput. Lang.
- ACM National Conference
- Proc. ACM Program. Lang.
- VL
- Am. Math. Mon.
- PLDI
- Comput. Intell.
- MERLIN
- IJCAI
- Comput. Linguistics
- J. Comput. Syst. Sci.
- ICTCS
- J. Log. Lang. Inf.
- J. Log. Program.
- AFIPS Fall Joint Computing Conference
- Minds Mach.
- Synth.
- Int. J. Man Mach. Stud.
- CAV (2)
- ASE
- Softw. Syst. Model.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend