CONCURRENT PROGRAMS
Experts
- Jan A. Bergstra
- Richard H. Carver
- Jos C. M. Baeten
- Kuo-Chung Tai
- Yu Lei
- Shaz Qadeer
- Cornelis A. Middelburg
- Baowen Xu
- Ahmed Bouajjani
- Maurizio Gabbrielli
- Yong Wang
- Azadeh Farzan
- Frank S. de Boer
- Gwen Salaün
- Catuscia Palamidessi
- Alban Ponse
- Amir Pnueli
- Michel A. Reniers
- Constantin Enea
- Paul C. Attie
- Xiaofang Qi
- Akinori Yonezawa
- Maria Chiara Meo
- Koushik Sen
- Jane Hillston
- Luca Aceto
- Yang Liu
- Rance Cleaveland
- Jeff Offutt
- Mario Bravetti
- Mirco Tribastone
- Roberto Gorrieri
- Joost-Pieter Katoen
- Aleksandar Nanevski
- Zengo Furukawa
- David Chenho Kung
- Fernando Cuartero
- Leslie Lamport
- Anindya Banerjee
Venues
- CoRR
- Theor. Comput. Sci.
- IEEE Trans. Software Eng.
- CONCUR
- Electron. Notes Theor. Comput. Sci.
- ASE
- ICSE
- Softw. Pract. Exp.
- Inf. Process. Lett.
- PLDI
- ICST
- COMPSAC
- POPL
- J. Log. Algebraic Methods Program.
- ISSTA
- CAV
- Commun. ACM
- ACM Trans. Program. Lang. Syst.
- APSEC
- ACM SIGPLAN Notices
- Sci. Comput. Program.
- Proc. ACM Program. Lang.
- Formal Aspects Comput.
- SEKE
- SIGCSE
- Acta Informatica
- OOPSLA
- Softw. Test. Verification Reliab.
- ESEC/SIGSOFT FSE
- Inf. Softw. Technol.
- Fundam. Informaticae
- PODC
- Comput. J.
- Concurr. Comput. Pract. Exp.
- IPDPS Workshops
- ICALP
- TACAS
- ITC
- J. Syst. Softw.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend