CONCURRENT PROGRAMS
Experts
- Jan A. Bergstra
- Richard H. Carver
- Jos C. M. Baeten
- Kuo-Chung Tai
- Cornelis A. Middelburg
- Shaz Qadeer
- Yu Lei
- Maurizio Gabbrielli
- Ahmed Bouajjani
- Baowen Xu
- Yong Wang
- Azadeh Farzan
- Frank S. de Boer
- Gwen Salaün
- Amir Pnueli
- Alban Ponse
- Constantin Enea
- Catuscia Palamidessi
- Michel A. Reniers
- Akinori Yonezawa
- Maria Chiara Meo
- Paul C. Attie
- Xiaofang Qi
- Rance Cleaveland
- Mirco Tribastone
- Luca Aceto
- Yang Liu
- Mario Bravetti
- Koushik Sen
- Jane Hillston
- Jeff Offutt
- Konstantinos Sagonas
- Zuohua Ding
- Sreedevi Sampath
- Zengo Furukawa
- John Derrick
- Zhendong Su
- Roberto Gorrieri
- Rob van Glabbeek
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
- CAV
- J. Log. Algebraic Methods Program.
- ISSTA
- Commun. ACM
- ACM Trans. Program. Lang. Syst.
- APSEC
- ACM SIGPLAN Notices
- SEKE
- Sci. Comput. Program.
- Proc. ACM Program. Lang.
- Formal Aspects Comput.
- SIGCSE
- OOPSLA
- Inf. Softw. Technol.
- ESEC/SIGSOFT FSE
- Softw. Test. Verification Reliab.
- Fundam. Informaticae
- Acta Informatica
- IPDPS Workshops
- ICALP
- Concurr. Comput. Pract. Exp.
- Comput. J.
- PODC
- IPDPS
- Int. J. Softw. Eng. Knowl. Eng.
- TACAS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend