Journal name: Journal has been continued as the "Journal of Logical and Algebraic Methods in Programming" See: https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming and https://dblp.org/db/journals/jlap/index.html Links: Scimago https://www.scimagojr.com/journalsearch.php?q=28359&tip=sid&clean=0 (Old name) https://www.scimagojr.com/journalsearch.php?q=21100403130&tip=sid&clean=0 (new name) For the new journal scimago has a rather diverse mix of categories (including e.g. Cultural Studies, Political Science and International Relations, and Sociology and Political Science) EB: https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/editorial-board Gul Agha (H=59) Jan A. Bergstra (H=51) Patricia Bouyer (H=41) Luís Caires (H=29) Agata Ciabattoni (H=21) Rance Cleaveland (H=46) Pedro D'Argenio (H=28) Jane Hillston (H=39) Peter Höfner (H=20) Naoki Kobayashi (H=36) Michele Loreti (H=24) Flemming Nielson (H=43) Prakash Panangaden (H=45) Enrico Pontelli (H=34) Grigore Rosu (H=57) John V. Tucker (?) Luca Viganò 0001 (H=24) Nobuko Yoshida (H=52) Naijun Zhan (H=21) Jeffery I. Zucker (?) WPP Results: 2. J. Log. Algebr. Meth. Program. (jlp) This journal was published at 21 times by 10 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(6), Jan A. Bergstra(1), Nobuko Yoshida(6), Grigore Rosu(1), John V. Tucker(1), Patricia Bouyer(1), Flemming Nielson(2), Jeffery I. Zucker(2), Michele Loreti(1), Prakash Panangaden(1) === FULL WPP RESULTS === Journals that published the following experts: Jan A. Bergstra, Nobuko Yoshida, Grigore Rosu, Gul Agha, Enrico Pontelli, John V. Tucker, Pedro D'Argenio, Agata Ciabattoni, Peter Höfner, Patricia Bouyer, Flemming Nielson, Rance Cleaveland, Luís Caires, Naijun Zhan, Naoki Kobayashi, Luca Viganò 0001, Michele Loreti, Prakash Panangaden, Jane Hillston, Jeffery I. Zucker Ranking order is first by number of the above people publishing in the venue, then by number of their publications 1. CoRR (corr) ______________ This journal was published at 166 times by 20 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(15), John V. Tucker(6), Nobuko Yoshida(14), Grigore Rosu(4), Enrico Pontelli(9), Rance Cleaveland(4), Jan A. Bergstra(28), Luís Caires(3), Agata Ciabattoni(5), Pedro D'Argenio(2), Gul Agha(1), Patricia Bouyer(17), Flemming Nielson(4), Naoki Kobayashi(1), Luca Viganò 0001(16), Naijun Zhan(16), Michele Loreti(9), Prakash Panangaden(7), Jane Hillston(4), Jeffery I. Zucker(1) 2. J. Log. Algebr. Meth. Program. (jlp) _______________________________________ This journal was published at 21 times by 10 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(6), Jan A. Bergstra(1), Nobuko Yoshida(6), Grigore Rosu(1), John V. Tucker(1), Patricia Bouyer(1), Flemming Nielson(2), Jeffery I. Zucker(2), Michele Loreti(1), Prakash Panangaden(1) 3. Theor. Comput. Sci. (tcs) ____________________________ This journal was published at 9 times by 8 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(2), Grigore Rosu(1), Agata Ciabattoni(1), Patricia Bouyer(1), Luca Viganò 0001(1), Michele Loreti(1), Prakash Panangaden(1), Rance Cleaveland(1) 4. Inf. Comput. (iandc) _______________________ This journal was published at 8 times by 6 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1), Luís Caires(1), Patricia Bouyer(2), Luca Viganò 0001(1), Prakash Panangaden(2), Jane Hillston(1) 5. Electr. Notes Theor. Comput. Sci. (entcs) ____________________________________________ This journal was published at 10 times by 5 of 20 experts in the last 5 years. The experts that publish at this journal are: Grigore Rosu(3), Agata Ciabattoni(1), Michele Loreti(1), Prakash Panangaden(2), Jane Hillston(3) 6. STTT (sttt) ______________ This journal was published at 5 times by 5 of 20 experts in the last 5 years. The experts that publish at this journal are: Gul Agha(1), Flemming Nielson(1), Michele Loreti(1), Pedro D'Argenio(1), Grigore Rosu(1) 7. ACM Trans. Model. Comput. Simul. (tomacs) ____________________________________________ This journal was published at 7 times by 4 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1), Gul Agha(1), Michele Loreti(2), Jane Hillston(3) 8. Mathematical Structures in Computer Science (mscs) _____________________________________________________ This journal was published at 6 times by 4 of 20 experts in the last 5 years. The experts that publish at this journal are: John V. Tucker(1), Michele Loreti(1), Nobuko Yoshida(3), Luís Caires(1) 9. Acta Inf. (acta) ___________________ This journal was published at 5 times by 4 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(1), Patricia Bouyer(1), Michele Loreti(1), Nobuko Yoshida(2) 10. Logical Methods in Computer Science (lmcs) ______________________________________________ This journal was published at 5 times by 4 of 20 experts in the last 5 years. The experts that publish at this journal are: Michele Loreti(1), Nobuko Yoshida(1), Grigore Rosu(2), Prakash Panangaden(1) 11. Sci. Comput. Program. (scp) _______________________________ This journal was published at 4 times by 4 of 20 experts in the last 5 years. The experts that publish at this journal are: Flemming Nielson(1), Michele Loreti(1), Nobuko Yoshida(1), Rance Cleaveland(1) 12. SIGLOG News (siglog) ________________________ This journal was published at 8 times by 3 of 20 experts in the last 5 years. The experts that publish at this journal are: Jane Hillston(1), Prakash Panangaden(5), Agata Ciabattoni(2) 13. ACM Trans. Comput. Log. (tocl) __________________________________ This journal was published at 5 times by 3 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1), Prakash Panangaden(1), Agata Ciabattoni(3) 14. Formal Asp. Comput. (fac) _____________________________ This journal was published at 4 times by 3 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(2), Nobuko Yoshida(1), Grigore Rosu(1) 15. PACMPL (pacmpl) ___________________ This journal was published at 4 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Flemming Nielson(1), Nobuko Yoshida(3) 16. Fundam. Inform. (fuin) __________________________ This journal was published at 4 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1), Jan A. Bergstra(3) 17. Archive of Formal Proofs (afp) __________________________________ This journal was published at 3 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(2), Naijun Zhan(1) 18. ACM Comput. Surv. (csur) ____________________________ This journal was published at 3 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Luís Caires(1), Rance Cleaveland(2) 19. Perform. Eval. (pe) _______________________ This journal was published at 3 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Patricia Bouyer(1), Jane Hillston(2) 20. Computability (computability) _________________________________ This journal was published at 3 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: John V. Tucker(1), Jeffery I. Zucker(3) 21. J. Artif. Intell. Res. (jair) _________________________________ This journal was published at 2 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1), Luca Viganò 0001(1) 22. Dagstuhl Reports (dagstuhl-reports) _______________________________________ This journal was published at 2 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1), Jane Hillston(1) 23. Formal Methods in System Design (fmsd) __________________________________________ This journal was published at 2 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1), Grigore Rosu(1) 24. J. ACM (jacm) _________________ This journal was published at 2 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1), Prakash Panangaden(1) 25. ERCIM News (ercim) ______________________ This journal was published at 2 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1), Jane Hillston(1) 26. Comput. J. (cj) ___________________ This journal was published at 1 times by 2 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(1), Flemming Nielson(1) 27. Sci. Ann. Comp. Sci. (cuza) _______________________________ This journal was published at 7 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jan A. Bergstra(7) 28. Journal of Computer Security (jcs) ______________________________________ This journal was published at 4 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(4) 29. TPLP (tplp) _______________ This journal was published at 3 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(3) 30. J. Applied Logic (japll) ____________________________ This journal was published at 3 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jan A. Bergstra(3) 31. J. Exp. Theor. Artif. Intell. (jetai) _________________________________________ This journal was published at 3 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(3) 32. DARTS (darts) _________________ This journal was published at 2 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(2) 33. J. Systems Science & Complexity (jossac) ____________________________________________ This journal was published at 2 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(2) 34. J. Log. Comput. (logcom) ____________________________ This journal was published at 2 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Agata Ciabattoni(2) 35. IJUC (ijuc) _______________ This journal was published at 2 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: John V. Tucker(2) 36. AI Magazine (aim) _____________________ This journal was published at 2 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(2) 37. ACM Trans. Program. Lang. Syst. (toplas) ____________________________________________ This journal was published at 2 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(2) 38. IEEE Software (software) ____________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Grigore Rosu(1) 39. Fuzzy Sets and Systems (fss) ________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Agata Ciabattoni(1) 40. SIGBED Review (sigbed) __________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Gul Agha(1) 41. ACM Trans. Embedded Comput. Syst. (tecs) ____________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Rance Cleaveland(1) 42. IEICE Transactions (ieicet) _______________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Naoki Kobayashi(1) 43. J. Symb. Comput. (jsc) __________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(1) 44. ACM Trans. Priv. Secur. (tissec) ____________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(1) 45. Intelligenza Artificiale (ia) _________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1) 46. IEEE Trans. Automat. Contr. (tac) _____________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(1) 47. AI Matters (aimatters) __________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jane Hillston(1) 48. Statistics and Computing (sac) __________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jane Hillston(1) 49. The Computer Science Journal of Moldova (csjm) __________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jan A. Bergstra(1) 50. KI (ki) ___________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1) 51. CIT (cit) _____________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(1) 52. Front. ICT (fiict) ______________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(1) 53. Rev. Symb. Log. (rsl) _________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: John V. Tucker(1) 54. IEEE Trans. on CAD of Integrated Circuits and Systems (tcad) ________________________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(1) 55. Artif. Intell. (ai) _______________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1) 56. Theory Comput. Syst. (mst) ______________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jan A. Bergstra(1) 57. Service Oriented Computing and Applications (soca) ______________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1) 58. Ann. Pure Appl. Logic (apal) ________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Agata Ciabattoni(1) 59. TIIS (itiis) ________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Gul Agha(1) 60. Inf. Process. Lett. (ipl) _____________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Patricia Bouyer(1) 61. Computer Languages, Systems & Structures (cl) _________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Flemming Nielson(1) 62. J. Funct. Program. (jfp) ____________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Grigore Rosu(1) 63. Softw. Test., Verif. Reliab. (stvr) _______________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(1) 64. SCIENCE CHINA Information Sciences (chinaf) _______________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Naijun Zhan(1) 65. Int. J. Comput. Assist. Radiol. Surg. (cars) ________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Rance Cleaveland(1) 66. IEEE Wireless Commun. (wc) ______________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Michele Loreti(1) 67. J. Ambient Intelligence and Humanized Computing (jaihc) ___________________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(1) 68. Int. J. Found. Comput. Sci. (ijfcs) _______________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: John V. Tucker(1) 69. ECEASST (eceasst) _____________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Patricia Bouyer(1) 70. J. Cybersecurity (cybersecurity) ____________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: John V. Tucker(1) 71. Constraints (constraints) _____________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1) 72. Bulletin of the EATCS (eatcs) _________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Michele Loreti(1) 73. IEEE Design & Test (dt) ___________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Rance Cleaveland(1) 74. Studia Logica (sLogica) ___________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Agata Ciabattoni(1) 75. Distributed Computing (dc) ______________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(1) 76. Journal of Applied Non-Classical Logics (jancl) ___________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jan A. Bergstra(1) 77. Discrete Mathematics (dm) _____________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(1) 78. IEEE Trans. Education (te) ______________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Enrico Pontelli(1) 79. TAAS (taas) _______________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Michele Loreti(1) 80. Logica Universalis (lu) ___________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Luca Viganò 0001(1) 81. J. Autom. Reasoning (jar) _____________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Peter Höfner(1) 82. New Generation Comput. (ngc) ________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Prakash Panangaden(1) 83. Real-Time Systems (rts) ___________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Patricia Bouyer(1) 84. Foundations and Trends in Programming Languages (ftpl) __________________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Nobuko Yoshida(1) 85. Rel. Eng. & Sys. Safety (ress) __________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jane Hillston(1) 86. IEEE Trans. Systems, Man, and Cybernetics: Systems (tsmc) _____________________________________________________________ This journal was published at 1 times by 1 of 20 experts in the last 5 years. The experts that publish at this journal are: Jane Hillston(1)