COMPUTER PROGRAMS
Experts
- Gilles Barthe
- Abhik Roychoudhury
- Alberto Pettorossi
- Peter Müller
- Robert Glück
- Bertrand Meyer
- David Harel
- Mingsheng Ying
- Margaret M. Burnett
- Zohar Manna
- Ali Mili
- Niklaus Wirth
- Claire Le Goues
- Shriram Krishnamurthi
- Laurie J. Hendren
- Maurizio Proietti
- Jonathan Aldrich
- Zhenjiang Hu
- Jan A. Bergstra
- Sumit Gulwani
- Martin Monperrus
- Carlo A. Furia
- Brad A. Myers
- Joost-Pieter Katoen
- K. Rustan M. Leino
- Cara Tang
- Maurizio Gabbrielli
- Marieke Huisman
- Martin C. Rinard
- Matthias Felleisen
- James R. Larus
- Ronald A. Olsson
- Jean E. Sammet
- James Noble
- Lingming Zhang
- Andreas Stefik
- Gary T. Leavens
- Ulrich Berger
- Steven P. Reiss
Venues
- CoRR
- Commun. ACM
- SIGCSE
- ACM SIGPLAN Notices
- FIE
- Comput. J.
- IEEE Trans. Software Eng.
- Softw. Pract. Exp.
- ACM SIGCSE Bull.
- ICSE
- Comput. Phys. Commun.
- Theor. Comput. Sci.
- Computer
- ITiCSE
- IJCAI
- PLDI
- POPL
- Sci. Comput. Program.
- Electron. Notes Theor. Comput. Sci.
- Proc. ACM Program. Lang.
- ICALP
- ESOP
- J. Int. Comput. Games Assoc.
- COMPSAC
- Comput. Appl. Biosci.
- IACR Cryptol. ePrint Arch.
- J. Syst. Softw.
- ACM Trans. Program. Lang. Syst.
- Comput. Chem.
- Comput. Geosci.
- IEEE Ann. Hist. Comput.
- IEEE Trans. Computers
- ACM Annual Conference
- AFIPS National Computer Conference
- ACM SIGSOFT Softw. Eng. Notes
- ICMC
- CHI
- IFIP Congress
- Comput. Law Secur. Rev.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend