Quantitative: numbers are not great. Qualitatively the editor and
publisher are good. The area is not that popular (program analysis and
design)
		
Qualitatively: the editor and publisher are good. 			

WPP of the Board members does not show a very high involvement with
this journal.
													
Editorial Board	Area	h-index	citations	Google Scholar																						
Christel Baier, Technische UniversitŠt Dresden, Germany	Model Chceking	47	11695	https://scholar.google.com/citations?user=p8sX7r0AAAAJ&hl=en&oi=ao																						
Alessandro Abate, University of Oxford, UK	Formal Verification/ Control Theory	29	3306	https://scholar.google.com/citations?user=yskbfM4AAAAJ&hl=en&oi=ao																						
Ahmed Bouajjani, UniversitŽ Paris Diderot, France	Verification	46	7365	https://scholar.google.com/citations?user=ia9cRMwAAAAJ&hl=en&oi=ao																						
Patricia Bouyer-Decitre, CNRS Cachan, France	Verification	40	4175	https://scholar.google.com/citations?user=sgKO-H4AAAAJ&hl=en&oi=sra																						
Manfred Broy, Technische UniversitŠt MŸnchen, Germany	??																									
JŽrŽmie Chalopin, LIF, CNRS et Aix-Marseille UniversitŽ, France	Graph theory	20	1125	https://scholar.google.com/citations?user=ZnCw8egAAAAJ&hl=en&oi=ao																						
Ugo Dal Lago, Universitˆ di Bologna, Italy	Programming Languages	25	1905	https://scholar.google.com/citations?user=AeUL3vwAAAAJ&hl=en&oi=ao																						
Giuseppe De Giacomo, Sapienza Universitˆ di Roma, Italy	AI (description logics)/Databases/Verification	71	19217	https://scholar.google.com/citations?user=Sfo4K0oAAAAJ&hl=en&oi=ao																						
Martin Dietzfelbinger, Technische UniversitŠt Ilmenau, Germany		25	2802	https://scholar.google.com/citations?user=jabdPAwAAAAJ&hl=en&oi=ao																						
Leah Epstein, University of Haifa, Israel	Discrete Algorithms	32	3464	https://scholar.google.com/citations?user=7nzhn9MAAAAJ&hl=en&oi=ao																						
Javier Esparza, Technische UniversitŠt MŸnchen, Germany	Verification/Automata Theory	48	10234	https://scholar.google.com/citations?user=c9qgPSYAAAAJ&hl=en&oi=ao																						
Henning Fernau, UniversitŠt Trier, Germany	Algorithms (Graph)	34	4375	https://scholar.google.com/citations?user=cgCCJp8AAAAJ&hl=en&oi=ao																						
Bernd Finkbeiner, UniversitŠt des Saarlandes, Germany	Reactive Systems/Verification	26	2503	https://scholar.google.com/citations?user=mSwHrYMAAAAJ&hl=en&oi=ao																						
Erol Gelenbe, Imperial College London, UK	Queuing Networks??	84	22310	https://scholar.google.com/citations?user=TShlArwAAAAJ&hl=en&oi=ao																						
Monika Henzinger, University of Vienna, Austria	information retrieval/combinatorial	64	18690	https://scholar.google.com/citations?user=NXbggxYAAAAJ&hl=en&oi=ao																						
Gerwin Klein, NICTA, UNSW Australia	formal methods	26	4969	https://scholar.google.com/citations?user=XV9ZVncAAAAJ&hl=en&oi=ao																						
Anton’n Ku?era, Masaryk University, Czech Republic	Model checking	27	2388	https://scholar.google.com/citations?user=HxIvytQAAAAJ&hl=en&oi=ao																						
Leonid Libkin, University of Edinburgh, UK	Databases	52	9716	https://scholar.google.com/citations?user=4q-MIB0AAAAJ&hl=en&oi=ao																						
Madhavan Mukund, Chennai Mathematical Institute, India	??																									
Ernst-RŸdiger Olderog, UniversitŠt Oldenburg, Germany	formal methods	32	4282	https://scholar.google.com/citations?user=G57CATkAAAAJ&hl=en&oi=ao																						
Luke Ong, University of Oxford, UK	Semantics of Computation	31	4413	https://scholar.google.com/citations?user=gNFel3QAAAAJ&hl=en&oi=ao																						
Catuscia Palamidessi, INRIA Saclay, and LIX, Ecole Polytechnique, France	Concurrency/Differential Provacy	42	6766	https://scholar.google.com/citations?user=OOgAyqgAAAAJ&hl=en&oi=ao																						
Prakash Panangaden, McGill University, Canada	Semantics/probabilitstics	44	9041	https://scholar.google.com/citations?user=IROzEKQAAAAJ&hl=en&oi=ao																						
Nir Piterman, University of Leicester, UK	Verification/Automata	33	4135	https://scholar.google.com/citations?user=I8vnLTgAAAAJ&hl=en&oi=ao																						
AndrŽ Platzer, Carnegie Mellon University, USA	Logic/Hybrid Systems	38	4906	https://scholar.google.com/citations?user=Y80iWtgAAAAJ&hl=en&oi=ao																						
Arto Salomaa, University of Turku, Finland	??																									
Davide Sangiorgi, Universitˆ di Bologna, Italy	Concurrency/Prog Lang	47	10323	https://scholar.google.com/citations?user=Xd4KSLcAAAAJ&hl=en&oi=ao																						
Uli Sattler, University of Manchester, UK	Description Logics	61	17860	https://scholar.google.com/citations?user=uMI-tgsAAAAJ&hl=en&oi=ao																						
Nicole Schweikardt, Humboldt-UniversitŠt zu Berlin, Germany	Logic in CS/Database Theory	20	2144	https://scholar.google.com/citations?user=Ghy_9r8AAAAJ&hl=en&oi=ao																						
Paul Spirakis, University of Liverpool, UK	Algorithms/complexity	44	9013	https://scholar.google.com/citations?user=vnSMoW4AAAAJ&hl=en&oi=ao																						
Ofer Strichman, Technion, Israel	Formal verification	36	5545	https://scholar.google.com/citations?user=h0R3z64AAAAJ&hl=en&oi=ao																						
Geoff Sutcliffe, University of Miami, USA	Automated Theorem Proving	33	4208	https://scholar.google.com/citations?user=lzMFBvQAAAAJ&hl=en&oi=ao																						
Luca Vigan˜, KingÕs College London, UK	Cybersecurity	24	3862	https://scholar.google.com/citations?user=LFcIRfAAAAAJ&hl=en&oi=ao																						
Nobuko Yoshida, Imperial College London, UK	Programming Languages	51	9995	https://scholar.google.com/citations?user=4T-p76AAAAAJ&hl=en&oi=ao																						
	Median	36	4906																							
WPP (Editorial Board - 31 people)	Average	40	7314																							
Christel Baier																										
Alessandro Abate																										
Ahmed Bouajjani																										
Patricia Bouyer-Decitre																										
Manfred Broy																										
JŽrŽmie Chalopin																										
Ugo Dal Lago																										
Giuseppe De Giacomo																										
Martin Dietzfelbinger																										
Leah Epstein																										
Javier Esparza																										
Henning Fernau																										
Bernd Finkbeiner																										
Erol Gelenbe																										
Monika Henzinger																										
Gerwin Klein																										
Anton’n Kucera	Problematic in DBLP (2 peop)																									
Leonid Libkin																										
Madhavan Mukund																										
Ernst-RŸdiger Olderog																										
Luke Ong																										
Catuscia Palamidessi																										
Prakash Panangaden																										
Nir Piterman																										
AndrŽ Platzer																										
Arto Salomaa																										
Davide Sangiorgi																										
Uli Sattler																										
Nicole Schweikardt																										
Paul G. Spirakis																										
Ofer Strichman																										
Geoff Sutcliffe																										
Luca Vigan˜	Problematic in DBLP (3)																									
Nobuko Yoshida																										
																										
Download a copy of this report.																										
																										
WARNING: nothing found for the following experts: Anton’n Kucera, Luca Vigan˜																										
																										
They have been ignored. If you expect them to have published at journals since 2000, please ensure their names match exactly those in DBLP.																										
																										
1. CoRR (corr)																										
______________																										
This journal was published at 559 times by 31 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Ahmed Bouajjani(19), Giuseppe De Giacomo(12), Manfred Broy(8), JŽrŽmie Chalopin(22), Erol Gelenbe(20), Ugo Dal Lago(51), Catuscia Palamidessi(23), Nir Piterman(10), Javier Esparza(36), Luke Ong(3), Ernst-RŸdiger Olderog(7), Madhavan Mukund(1), Prakash Panangaden(12), Leonid Libkin(9), Bernd Finkbeiner(32), Uli Sattler(4), AndrŽ Platzer(22), Leah Epstein(26), Nicole Schweikardt(20), Alessandro Abate(37), Henning Fernau(16), Nobuko Yoshida(17), Paul G. Spirakis(53), Patricia Bouyer-Decitre(1), Martin Dietzfelbinger(16), Gerwin Klein(2), Ofer Strichman(2), Christel Baier(12), Geoff Sutcliffe(5), Monika Henzinger(58), Davide Sangiorgi(5)																										
2. Inf. Comput. (iandc)																										
_______________________																										
This journal was published at 68 times by 24 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Ahmed Bouajjani(2), Giuseppe De Giacomo(2), Manfred Broy(1), Alessandro Abate(1), Ugo Dal Lago(5), Catuscia Palamidessi(3), Javier Esparza(2), Luke Ong(1), Ernst-RŸdiger Olderog(1), Madhavan Mukund(1), Prakash Panangaden(7), Bernd Finkbeiner(1), Leonid Libkin(2), Leah Epstein(8), Nicole Schweikardt(2), Nir Piterman(3), Henning Fernau(5), Nobuko Yoshida(4), Ofer Strichman(4), Martin Dietzfelbinger(1), Christel Baier(3), Arto Salomaa(3), Monika Henzinger(2), Davide Sangiorgi(6)																										
3. Theor. Comput. Sci. (tcs)																										
____________________________																										
This journal was published at 174 times by 23 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Ahmed Bouajjani(2), Giuseppe De Giacomo(2), Manfred Broy(3), JŽrŽmie Chalopin(3), Ugo Dal Lago(6), Catuscia Palamidessi(15), Nir Piterman(1), Javier Esparza(1), Madhavan Mukund(2), Prakash Panangaden(7), Leonid Libkin(5), Leah Epstein(24), Nicole Schweikardt(3), Alessandro Abate(1), Henning Fernau(19), Nobuko Yoshida(6), Paul G. Spirakis(34), Martin Dietzfelbinger(2), Gerwin Klein(1), Christel Baier(3), Arto Salomaa(25), Monika Henzinger(4), Davide Sangiorgi(5)																										
4. Electr. Notes Theor. Comput. Sci. (entcs)																										
____________________________________________																										
This journal was published at 88 times by 19 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Catuscia Palamidessi(13), Paul G. Spirakis(1), Nobuko Yoshida(11), Bernd Finkbeiner(8), Ahmed Bouajjani(4), Ofer Strichman(6), AndrŽ Platzer(3), Leonid Libkin(1), Manfred Broy(2), Javier Esparza(1), Ernst-RŸdiger Olderog(2), Gerwin Klein(2), Christel Baier(12), Alessandro Abate(1), Nir Piterman(2), Geoff Sutcliffe(1), Prakash Panangaden(15), Davide Sangiorgi(3), Ugo Dal Lago(1)																										
5. J. Comput. Syst. Sci. (jcss)																										
_______________________________																										
This journal was published at 39 times by 14 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Giuseppe De Giacomo(3), Catuscia Palamidessi(1), Paul G. Spirakis(3), Ofer Strichman(1), Leonid Libkin(6), Ahmed Bouajjani(1), Manfred Broy(1), Ernst-RŸdiger Olderog(1), Nicole Schweikardt(2), Leah Epstein(7), Christel Baier(2), Arto Salomaa(3), Nir Piterman(1), Henning Fernau(7)																										
6. Bulletin of the EATCS (eatcs)																										
________________________________																										
This journal was published at 35 times by 13 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Leonid Libkin(1), Nobuko Yoshida(1), Bernd Finkbeiner(1), Paul G. Spirakis(17), AndrŽ Platzer(1), Martin Dietzfelbinger(1), Javier Esparza(2), Monika Henzinger(2), Catuscia Palamidessi(4), Arto Salomaa(4), JŽrŽmie Chalopin(1), Prakash Panangaden(1), Henning Fernau(1)																										
7. Acta Inf. (acta)																										
___________________																										
This journal was published at 31 times by 12 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Nobuko Yoshida(4), Bernd Finkbeiner(2), Ofer Strichman(1), Manfred Broy(3), Javier Esparza(3), Ernst-RŸdiger Olderog(4), Leah Epstein(6), Davide Sangiorgi(1), Christel Baier(3), Arto Salomaa(1), Alessandro Abate(1), Henning Fernau(2)																										
8. Logical Methods in Computer Science (lmcs)																										
_____________________________________________																										
This journal was published at 17 times by 11 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Catuscia Palamidessi(1), Nobuko Yoshida(2), Ahmed Bouajjani(1), Leonid Libkin(2), Javier Esparza(2), Prakash Panangaden(2), Nicole Schweikardt(1), Nir Piterman(1), Monika Henzinger(1), Davide Sangiorgi(3), Ugo Dal Lago(1)																										
9. Formal Methods in System Design (fmsd)																										
_________________________________________																										
This journal was published at 33 times by 10 of 32 experts in the last 19 years.																										
The experts that publish at this journal are: Nobuko Yoshida(1), Bernd Finkbeiner(3), Ahmed Bouajjani(5), Ofer Strichman(10), AndrŽ Platzer(3), Manfred Broy(1), Javier Esparza(5), Christel Baier(3), Nir Piterman(1), Monika Henzinger(1)																										
																										
																										
WPP (16 Selected best across diverse areas from Editorial Board)																										
Christel Baier																										
Ahmed Bouajjani																										
Giuseppe De Giacomo																										
Javier Esparza																										
Erol Gelenbe																										
Monika Henzinger																										
Gerwin Klein																										
Leonid Libkin																										
Catuscia Palamidessi																										
Prakash Panangaden																										
AndrŽ Platzer																										
Davide Sangiorgi																										
Uli Sattler																										
Paul G. Spirakis																										
Ofer Strichman																										
Nobuko Yoshida																										
																										
Download a copy of this report.																										
																										
Journals that published the following experts: Prakash Panangaden, AndrŽ Platzer, Catuscia Palamidessi, Nobuko Yoshida, Leonid Libkin, Paul G. Spirakis, Ofer Strichman, Uli Sattler, Giuseppe De Giacomo, Ahmed Bouajjani, Javier Esparza, Gerwin Klein, Erol Gelenbe, Christel Baier, Monika Henzinger, Davide Sangiorgi																										
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 306 times by 16 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Uli Sattler(4), Catuscia Palamidessi(23), Nobuko Yoshida(17), Paul G. Spirakis(53), Giuseppe De Giacomo(12), Ofer Strichman(2), AndrŽ Platzer(22), Leonid Libkin(9), Ahmed Bouajjani(19), Javier Esparza(36), Prakash Panangaden(12), Erol Gelenbe(20), Christel Baier(12), Gerwin Klein(2), Monika Henzinger(58), Davide Sangiorgi(5)																										
2. Theor. Comput. Sci. (tcs)																										
____________________________																										
This journal was published at 85 times by 12 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Catuscia Palamidessi(15), Nobuko Yoshida(6), Paul G. Spirakis(34), Giuseppe De Giacomo(2), Leonid Libkin(5), Ahmed Bouajjani(2), Javier Esparza(1), Monika Henzinger(4), Christel Baier(3), Gerwin Klein(1), Prakash Panangaden(7), Davide Sangiorgi(5)																										
3. Electr. Notes Theor. Comput. Sci. (entcs)																										
____________________________________________																										
This journal was published at 71 times by 12 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Catuscia Palamidessi(13), Paul G. Spirakis(1), Nobuko Yoshida(11), Ahmed Bouajjani(4), Ofer Strichman(6), AndrŽ Platzer(3), Leonid Libkin(1), Javier Esparza(1), Gerwin Klein(2), Christel Baier(12), Prakash Panangaden(15), Davide Sangiorgi(3)																										
4. Inf. Comput. (iandc)																										
_______________________																										
This journal was published at 36 times by 11 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Catuscia Palamidessi(3), Nobuko Yoshida(4), Leonid Libkin(2), Ahmed Bouajjani(2), Ofer Strichman(4), Giuseppe De Giacomo(2), Javier Esparza(2), Monika Henzinger(2), Christel Baier(3), Prakash Panangaden(7), Davide Sangiorgi(6)																										
5. Bulletin of the EATCS (eatcs)																										
________________________________																										
This journal was published at 27 times by 8 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Leonid Libkin(1), Nobuko Yoshida(1), Paul G. Spirakis(17), AndrŽ Platzer(1), Javier Esparza(2), Prakash Panangaden(1), Catuscia Palamidessi(4), Monika Henzinger(2)																										
6. Logical Methods in Computer Science (lmcs)																										
_____________________________________________																										
This journal was published at 14 times by 8 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Catuscia Palamidessi(1), Nobuko Yoshida(2), Ahmed Bouajjani(1), Leonid Libkin(2), Javier Esparza(2), Prakash Panangaden(2), Monika Henzinger(1), Davide Sangiorgi(3)																										
7. Formal Methods in System Design (fmsd)																										
_________________________________________																										
This journal was published at 28 times by 7 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Nobuko Yoshida(1), Ahmed Bouajjani(5), Ofer Strichman(10), AndrŽ Platzer(3), Javier Esparza(5), Christel Baier(3), Monika Henzinger(1)																										
8. J. ACM (jacm)																										
________________																										
This journal was published at 20 times by 7 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Nobuko Yoshida(1), Leonid Libkin(11), Javier Esparza(2), Prakash Panangaden(2), Christel Baier(1), Monika Henzinger(2), Davide Sangiorgi(1)																										
9. J. Comput. Syst. Sci. (jcss)																										
_______________________________																										
This journal was published at 17 times by 7 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Leonid Libkin(6), Paul G. Spirakis(3), Ofer Strichman(1), Giuseppe De Giacomo(3), Ahmed Bouajjani(1), Catuscia Palamidessi(1), Christel Baier(2)																										
10. ACM Trans. Comput. Log. (tocl)																										
__________________________________																										
This journal was published at 13 times by 7 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: AndrŽ Platzer(2), Leonid Libkin(5), Giuseppe De Giacomo(2), Catuscia Palamidessi(1), Christel Baier(1), Prakash Panangaden(2), Davide Sangiorgi(1)																										
11. Inf. Process. Lett. (ipl)																										
_____________________________																										
This journal was published at 13 times by 6 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Ahmed Bouajjani(1), Paul G. Spirakis(1), Leonid Libkin(3), Javier Esparza(4), Christel Baier(3), Monika Henzinger(2)																										
12. STTT (sttt)																										
_______________																										
This journal was published at 15 times by 5 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Ofer Strichman(5), AndrŽ Platzer(3), Javier Esparza(1), Christel Baier(3), Ahmed Bouajjani(3)																										
13. Mathematical Structures in Computer Science (mscs)																										
______________________________________________________																										
This journal was published at 15 times by 5 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Christel Baier(2), Catuscia Palamidessi(3), Prakash Panangaden(3), Davide Sangiorgi(4), Nobuko Yoshida(3)																										
14. J. Log. Algebr. Program. (jlp)																										
__________________________________																										
This journal was published at 13 times by 5 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Nobuko Yoshida(7), Ahmed Bouajjani(1), Prakash Panangaden(2), Davide Sangiorgi(2), Gerwin Klein(1)																										
15. Acta Inf. (acta)																										
____________________																										
This journal was published at 12 times by 5 of 16 experts in the last 19 years.																										
The experts that publish at this journal are: Javier Esparza(3), Ofer Strichman(1), Nobuko Yoshida(4), Davide Sangiorgi(1), Christel Baier(3)