Formal Methods in System Design

Springer Nature

ISSN: 09259856, 15728102

Journal publications in Cobalt

SCImago

WOS

Impact factor

0.7

SJR

0.400

CiteScore

2.0

Most cited in 5 years

Found

Publication title from chars

Since

For

Clear filter

By date

By citations

Publications found: 0

Top-100

Citing journals

Citing publishers

	1000 2000 3000 4000 5000 6000 7000
Springer Nature	Springer Nature, 6497, 43.26% Springer Nature 6497 citations, 43.26%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 2631, 17.52% Institute of Electrical and Electronics Engineers (IEEE) 2631 citations, 17.52%
Elsevier	Elsevier, 1619, 10.78% Elsevier 1619 citations, 10.78%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1463, 9.74% Association for Computing Machinery (ACM) 1463 citations, 9.74%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 250, 1.66% electronic proceedings in theoretical computer science, eptcs 250 citations, 1.66%
Wiley	Wiley, 114, 0.76% Wiley 114 citations, 0.76%
MDPI	MDPI, 87, 0.58% MDPI 87 citations, 0.58%
World Scientific	World Scientific, 56, 0.37% World Scientific 56 citations, 0.37%
Hindawi Limited	Hindawi Limited, 51, 0.34% Hindawi Limited 51 citations, 0.34%
Institution of Engineering and Technology (IET)	Institution of Engineering and Technology (IET), 45, 0.3% Institution of Engineering and Technology (IET) 45 citations, 0.3%
Oxford University Press	Oxford University Press, 41, 0.27% Oxford University Press 41 citations, 0.27%
IGI Global	IGI Global, 40, 0.27% IGI Global 40 citations, 0.27%
Cambridge University Press	Cambridge University Press, 39, 0.26% Cambridge University Press 39 citations, 0.26%
Taylor & Francis	Taylor & Francis, 33, 0.22% Taylor & Francis 33 citations, 0.22%
SAGE	SAGE, 22, 0.15% SAGE 22 citations, 0.15%
Pleiades Publishing	Pleiades Publishing, 21, 0.14% Pleiades Publishing 21 citations, 0.14%
	, 20, 0.13% 20 citations, 0.13%
IOS Press	IOS Press, 16, 0.11% IOS Press 16 citations, 0.11%
EDP Sciences	EDP Sciences, 16, 0.11% EDP Sciences 16 citations, 0.11%
American Institute of Aeronautics and Astronautics (AIAA)	American Institute of Aeronautics and Astronautics (AIAA), 16, 0.11% American Institute of Aeronautics and Astronautics (AIAA) 16 citations, 0.11%
Science in China Press	Science in China Press, 15, 0.1% Science in China Press 15 citations, 0.1%
Trans Tech Publications	Trans Tech Publications, 12, 0.08% Trans Tech Publications 12 citations, 0.08%
The Royal Society	The Royal Society, 9, 0.06% The Royal Society 9 citations, 0.06%
Morgan & Claypool Publishers	Morgan & Claypool Publishers, 9, 0.06% Morgan & Claypool Publishers 9 citations, 0.06%
Information Processing Society of Japan	Information Processing Society of Japan, 9, 0.06% Information Processing Society of Japan 9 citations, 0.06%
IOP Publishing	IOP Publishing, 9, 0.06% IOP Publishing 9 citations, 0.06%
Frontiers Media S.A.	Frontiers Media S.A., 8, 0.05% Frontiers Media S.A. 8 citations, 0.05%
Society for Industrial and Applied Mathematics (SIAM)	Society for Industrial and Applied Mathematics (SIAM), 8, 0.05% Society for Industrial and Applied Mathematics (SIAM) 8 citations, 0.05%
Technischen Universitat Braunschweig	Technischen Universitat Braunschweig, 7, 0.05% Technischen Universitat Braunschweig 7 citations, 0.05%
P.G. Demidov Yaroslavl State University	P.G. Demidov Yaroslavl State University, 7, 0.05% P.G. Demidov Yaroslavl State University 7 citations, 0.05%
Emerald	Emerald, 6, 0.04% Emerald 6 citations, 0.04%
proceedings - international conference on software engineering	proceedings - international conference on software engineering, 6, 0.04% proceedings - international conference on software engineering 6 citations, 0.04%
Public Library of Science (PLoS)	Public Library of Science (PLoS), 6, 0.04% Public Library of Science (PLoS) 6 citations, 0.04%
Annual Reviews	Annual Reviews, 6, 0.04% Annual Reviews 6 citations, 0.04%
Walter de Gruyter	Walter de Gruyter, 5, 0.03% Walter de Gruyter 5 citations, 0.03%
PeerJ	PeerJ, 5, 0.03% PeerJ 5 citations, 0.03%
Chinese Academy of Sciences	Chinese Academy of Sciences, 5, 0.03% Chinese Academy of Sciences 5 citations, 0.03%
International Academy Publishing (IAP)	International Academy Publishing (IAP), 5, 0.03% International Academy Publishing (IAP) 5 citations, 0.03%
Institute of Electronics, Information and Communications Engineers (IEICE)	Institute of Electronics, Information and Communications Engineers (IEICE), 5, 0.03% Institute of Electronics, Information and Communications Engineers (IEICE) 5 citations, 0.03%
AIP Publishing	AIP Publishing, 4, 0.03% AIP Publishing 4 citations, 0.03%
China Science Publishing & Media	China Science Publishing & Media, 4, 0.03% China Science Publishing & Media 4 citations, 0.03%
European Control Association	European Control Association, 4, 0.03% European Control Association 4 citations, 0.03%
American Institute of Mathematical Sciences (AIMS)	American Institute of Mathematical Sciences (AIMS), 3, 0.02% American Institute of Mathematical Sciences (AIMS) 3 citations, 0.02%
Science Publications	Science Publications, 3, 0.02% Science Publications 3 citations, 0.02%
midwest symposium on circuits and systems	midwest symposium on circuits and systems, 3, 0.02% midwest symposium on circuits and systems 3 citations, 0.02%
proceedings of the international symposium on multiple-valued logic	proceedings of the international symposium on multiple-valued logic, 3, 0.02% proceedings of the international symposium on multiple-valued logic 3 citations, 0.02%
Scientific Research Publishing	Scientific Research Publishing, 3, 0.02% Scientific Research Publishing 3 citations, 0.02%
Open Publishing Association	Open Publishing Association, 3, 0.02% Open Publishing Association 3 citations, 0.02%
MIT Press	MIT Press, 2, 0.01% MIT Press 2 citations, 0.01%
The Research Council of Norway	The Research Council of Norway, 2, 0.01% The Research Council of Norway 2 citations, 0.01%
proceedings of the vldb endowment	proceedings of the vldb endowment, 2, 0.01% proceedings of the vldb endowment 2 citations, 0.01%
Wuhan University	Wuhan University, 2, 0.01% Wuhan University 2 citations, 0.01%
Science Alert	Science Alert, 2, 0.01% Science Alert 2 citations, 0.01%
SciELO	SciELO, 2, 0.01% SciELO 2 citations, 0.01%
Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften	Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften, 2, 0.01% Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften 2 citations, 0.01%
SAE International	SAE International, 2, 0.01% SAE International 2 citations, 0.01%
Hans Publishers	Hans Publishers, 2, 0.01% Hans Publishers 2 citations, 0.01%
American Society for Microbiology	American Society for Microbiology, 1, 0.01% American Society for Microbiology 1 citation, 0.01%
Proceedings of the National Academy of Sciences (PNAS)	Proceedings of the National Academy of Sciences (PNAS), 1, 0.01% Proceedings of the National Academy of Sciences (PNAS) 1 citation, 0.01%
American Association for the Advancement of Science (AAAS)	American Association for the Advancement of Science (AAAS), 1, 0.01% American Association for the Advancement of Science (AAAS) 1 citation, 0.01%
Mary Ann Liebert	Mary Ann Liebert, 1, 0.01% Mary Ann Liebert 1 citation, 0.01%
Asian Network for Scientific Information	Asian Network for Scientific Information, 1, 0.01% Asian Network for Scientific Information 1 citation, 0.01%
University of Szeged, Institute of Informatics	University of Szeged, Institute of Informatics, 1, 0.01% University of Szeged, Institute of Informatics 1 citation, 0.01%
American Scientific Publishers	American Scientific Publishers, 1, 0.01% American Scientific Publishers 1 citation, 0.01%
Institute for Operations Research and the Management Sciences (INFORMS)	Institute for Operations Research and the Management Sciences (INFORMS), 1, 0.01% Institute for Operations Research and the Management Sciences (INFORMS) 1 citation, 0.01%
Japan Society of Applied Physics	Japan Society of Applied Physics, 1, 0.01% Japan Society of Applied Physics 1 citation, 0.01%
Beijing University of Posts and Telecommunications	Beijing University of Posts and Telecommunications, 1, 0.01% Beijing University of Posts and Telecommunications 1 citation, 0.01%
American Physical Society (APS)	American Physical Society (APS), 1, 0.01% American Physical Society (APS) 1 citation, 0.01%
Rocky Mountain Mathematics Consortium	Rocky Mountain Mathematics Consortium, 1, 0.01% Rocky Mountain Mathematics Consortium 1 citation, 0.01%
Shanghai Jiaotong University Press	Shanghai Jiaotong University Press, 1, 0.01% Shanghai Jiaotong University Press 1 citation, 0.01%
Lviv Polytechnic National University	Lviv Polytechnic National University, 1, 0.01% Lviv Polytechnic National University 1 citation, 0.01%
National Institute of Informatics	National Institute of Informatics, 1, 0.01% National Institute of Informatics 1 citation, 0.01%
proceedings of the american control conference	proceedings of the american control conference, 1, 0.01% proceedings of the american control conference 1 citation, 0.01%
Acta Physica Sinica, Chinese Physical Society and Institute of Physics, Chinese Academy of Sciences	Acta Physica Sinica, Chinese Physical Society and Institute of Physics, Chinese Academy of Sciences, 1, 0.01% Acta Physica Sinica, Chinese Physical Society and Institute of Physics, Chinese Academy of Sciences 1 citation, 0.01%
ComSIS Consortium	ComSIS Consortium, 1, 0.01% ComSIS Consortium 1 citation, 0.01%
Polish Maintenance Society	Polish Maintenance Society, 1, 0.01% Polish Maintenance Society 1 citation, 0.01%
parallel architectures and compilation techniques - conference proceedings, pact	parallel architectures and compilation techniques - conference proceedings, pact, 1, 0.01% parallel architectures and compilation techniques - conference proceedings, pact 1 citation, 0.01%
Cold Spring Harbor Laboratory	Cold Spring Harbor Laboratory, 1, 0.01% Cold Spring Harbor Laboratory 1 citation, 0.01%
ASME International	ASME International, 1, 0.01% ASME International 1 citation, 0.01%
American Psychological Association (APA)	American Psychological Association (APA), 1, 0.01% American Psychological Association (APA) 1 citation, 0.01%
S. Karger AG	S. Karger AG, 1, 0.01% S. Karger AG 1 citation, 0.01%
American Society of Civil Engineers (ASCE)	American Society of Civil Engineers (ASCE), 1, 0.01% American Society of Civil Engineers (ASCE) 1 citation, 0.01%
Inderscience Publishers	Inderscience Publishers, 1, 0.01% Inderscience Publishers 1 citation, 0.01%
F1000 Research	F1000 Research, 1, 0.01% F1000 Research 1 citation, 0.01%
IntechOpen	IntechOpen, 1, 0.01% IntechOpen 1 citation, 0.01%

	1000 2000 3000 4000 5000 6000 7000

Publishing organizations

	5 10 15 20 25 30 35
Technion – Israel Institute of Technology	Technion – Israel Institute of Technology, 35, 4.53% Technion – Israel Institute of Technology 35 publications, 4.53%
Carnegie Mellon University	Carnegie Mellon University, 34, 4.4% Carnegie Mellon University 34 publications, 4.4%
Grenoble Alpes University	Grenoble Alpes University, 25, 3.23% Grenoble Alpes University 25 publications, 3.23%
University of California, Berkeley	University of California, Berkeley, 25, 3.23% University of California, Berkeley 25 publications, 3.23%
University of Oxford	University of Oxford, 24, 3.1% University of Oxford 24 publications, 3.1%
École normale supérieure Paris-Saclay	École normale supérieure Paris-Saclay, 23, 2.98% École normale supérieure Paris-Saclay 23 publications, 2.98%
Vienna University of Technology	Vienna University of Technology, 23, 2.98% Vienna University of Technology 23 publications, 2.98%
Stanford University	Stanford University, 21, 2.72% Stanford University 21 publications, 2.72%
William Marsh Rice University	William Marsh Rice University, 18, 2.33% William Marsh Rice University 18 publications, 2.33%
University of Texas at Austin	University of Texas at Austin, 17, 2.2% University of Texas at Austin 17 publications, 2.2%
University of Pennsylvania	University of Pennsylvania, 16, 2.07% University of Pennsylvania 16 publications, 2.07%
Technical University of Munich	Technical University of Munich, 14, 1.81% Technical University of Munich 14 publications, 1.81%
University of Illinois Urbana-Champaign	University of Illinois Urbana-Champaign, 14, 1.81% University of Illinois Urbana-Champaign 14 publications, 1.81%
University of Waterloo	University of Waterloo, 14, 1.81% University of Waterloo 14 publications, 1.81%
Uppsala University	Uppsala University, 13, 1.68% Uppsala University 13 publications, 1.68%
Paris Cité University	Paris Cité University, 13, 1.68% Paris Cité University 13 publications, 1.68%
Albert Ludwig University of Freiburg	Albert Ludwig University of Freiburg, 13, 1.68% Albert Ludwig University of Freiburg 13 publications, 1.68%
ETH Zurich	ETH Zurich, 12, 1.55% ETH Zurich 12 publications, 1.55%
Aalborg University	Aalborg University, 12, 1.55% Aalborg University 12 publications, 1.55%
New York University	New York University, 12, 1.55% New York University 12 publications, 1.55%
RWTH Aachen University	RWTH Aachen University, 12, 1.55% RWTH Aachen University 12 publications, 1.55%
University of Colorado Boulder	University of Colorado Boulder, 11, 1.42% University of Colorado Boulder 11 publications, 1.42%
Hebrew University of Jerusalem	Hebrew University of Jerusalem, 10, 1.29% Hebrew University of Jerusalem 10 publications, 1.29%
Institute of Science and Technology Austria	Institute of Science and Technology Austria, 10, 1.29% Institute of Science and Technology Austria 10 publications, 1.29%
École Polytechnique Fédérale de Lausanne	École Polytechnique Fédérale de Lausanne, 9, 1.16% École Polytechnique Fédérale de Lausanne 9 publications, 1.16%
University of Cambridge	University of Cambridge, 9, 1.16% University of Cambridge 9 publications, 1.16%
Graz University of Technology	Graz University of Technology, 9, 1.16% Graz University of Technology 9 publications, 1.16%
Saarland University	Saarland University, 9, 1.16% Saarland University 9 publications, 1.16%
Johannes Kepler University of Linz	Johannes Kepler University of Linz, 9, 1.16% Johannes Kepler University of Linz 9 publications, 1.16%
Ames Research Center	Ames Research Center, 9, 1.16% Ames Research Center 9 publications, 1.16%
Eindhoven University of Technology	Eindhoven University of Technology, 8, 1.03% Eindhoven University of Technology 8 publications, 1.03%
Max Planck Institute for Software Systems	Max Planck Institute for Software Systems, 8, 1.03% Max Planck Institute for Software Systems 8 publications, 1.03%
Chalmers University of Technology	Chalmers University of Technology, 7, 0.91% Chalmers University of Technology 7 publications, 0.91%
Università della Svizzera italiana	Università della Svizzera italiana, 7, 0.91% Università della Svizzera italiana 7 publications, 0.91%
Polytechnic University of Turin	Polytechnic University of Turin, 7, 0.91% Polytechnic University of Turin 7 publications, 0.91%
Queen Mary University of London	Queen Mary University of London, 7, 0.91% Queen Mary University of London 7 publications, 0.91%
Sorbonne University	Sorbonne University, 7, 0.91% Sorbonne University 7 publications, 0.91%
University of Manchester	University of Manchester, 7, 0.91% University of Manchester 7 publications, 0.91%
Universite Libre de Bruxelles	Universite Libre de Bruxelles, 7, 0.91% Universite Libre de Bruxelles 7 publications, 0.91%
California Institute of Technology	California Institute of Technology, 7, 0.91% California Institute of Technology 7 publications, 0.91%
Newcastle University	Newcastle University, 7, 0.91% Newcastle University 7 publications, 0.91%
University of Wisconsin–Madison	University of Wisconsin–Madison, 7, 0.91% University of Wisconsin–Madison 7 publications, 0.91%
University of Utah	University of Utah, 7, 0.91% University of Utah 7 publications, 0.91%
Indian Institute of Technology Bombay	Indian Institute of Technology Bombay, 6, 0.78% Indian Institute of Technology Bombay 6 publications, 0.78%
Technische Universität Dresden	Technische Universität Dresden, 6, 0.78% Technische Universität Dresden 6 publications, 0.78%
University of Liverpool	University of Liverpool, 6, 0.78% University of Liverpool 6 publications, 0.78%
Technical University of Denmark	Technical University of Denmark, 6, 0.78% Technical University of Denmark 6 publications, 0.78%
University of Illinois at Chicago	University of Illinois at Chicago, 6, 0.78% University of Illinois at Chicago 6 publications, 0.78%
Carl von Ossietzky University of Oldenburg	Carl von Ossietzky University of Oldenburg, 6, 0.78% Carl von Ossietzky University of Oldenburg 6 publications, 0.78%
University of Toronto	University of Toronto, 6, 0.78% University of Toronto 6 publications, 0.78%
Weizmann Institute of Science	Weizmann Institute of Science, 5, 0.65% Weizmann Institute of Science 5 publications, 0.65%
University of Liège	University of Liège, 5, 0.65% University of Liège 5 publications, 0.65%
University of Twente	University of Twente, 5, 0.65% University of Twente 5 publications, 0.65%
University of Bordeaux	University of Bordeaux, 5, 0.65% University of Bordeaux 5 publications, 0.65%
University of Gothenburg	University of Gothenburg, 5, 0.65% University of Gothenburg 5 publications, 0.65%
Lawrence Berkeley National Laboratory	Lawrence Berkeley National Laboratory, 5, 0.65% Lawrence Berkeley National Laboratory 5 publications, 0.65%
Massachusetts Institute of Technology	Massachusetts Institute of Technology, 5, 0.65% Massachusetts Institute of Technology 5 publications, 0.65%
University of Birmingham	University of Birmingham, 5, 0.65% University of Birmingham 5 publications, 0.65%
University of Pisa	University of Pisa, 5, 0.65% University of Pisa 5 publications, 0.65%
Princeton University	Princeton University, 5, 0.65% Princeton University 5 publications, 0.65%
Université Paris-Saclay	Université Paris-Saclay, 5, 0.65% Université Paris-Saclay 5 publications, 0.65%
Bar-Ilan University	Bar-Ilan University, 4, 0.52% Bar-Ilan University 4 publications, 0.52%
Karlsruhe Institute of Technology	Karlsruhe Institute of Technology, 4, 0.52% Karlsruhe Institute of Technology 4 publications, 0.52%
Imperial College London	Imperial College London, 4, 0.52% Imperial College London 4 publications, 0.52%
University College London	University College London, 4, 0.52% University College London 4 publications, 0.52%
Aarhus University	Aarhus University, 4, 0.52% Aarhus University 4 publications, 0.52%
University of Oslo	University of Oslo, 4, 0.52% University of Oslo 4 publications, 0.52%
King's College London	King's College London, 4, 0.52% King's College London 4 publications, 0.52%
National University of Singapore	National University of Singapore, 4, 0.52% National University of Singapore 4 publications, 0.52%
Stony Brook University	Stony Brook University, 4, 0.52% Stony Brook University 4 publications, 0.52%
Cornell University	Cornell University, 4, 0.52% Cornell University 4 publications, 0.52%
University of Trento	University of Trento, 4, 0.52% University of Trento 4 publications, 0.52%
University of Glasgow	University of Glasgow, 4, 0.52% University of Glasgow 4 publications, 0.52%
Columbia University	Columbia University, 4, 0.52% Columbia University 4 publications, 0.52%
Max Planck Institute for Informatics	Max Planck Institute for Informatics, 4, 0.52% Max Planck Institute for Informatics 4 publications, 0.52%
Jet Propulsion Laboratory	Jet Propulsion Laboratory, 4, 0.52% Jet Propulsion Laboratory 4 publications, 0.52%
Purdue University	Purdue University, 4, 0.52% Purdue University 4 publications, 0.52%
Austrian Institute of Technology	Austrian Institute of Technology, 4, 0.52% Austrian Institute of Technology 4 publications, 0.52%
Sorbonne Paris Nord University	Sorbonne Paris Nord University, 4, 0.52% Sorbonne Paris Nord University 4 publications, 0.52%
Universidad Complutense de Madrid	Universidad Complutense de Madrid, 4, 0.52% Universidad Complutense de Madrid 4 publications, 0.52%
Indian Institute of Technology Kanpur	Indian Institute of Technology Kanpur, 3, 0.39% Indian Institute of Technology Kanpur 3 publications, 0.39%
Tel Aviv University	Tel Aviv University, 3, 0.39% Tel Aviv University 3 publications, 0.39%
Ben-Gurion University of the Negev	Ben-Gurion University of the Negev, 3, 0.39% Ben-Gurion University of the Negev 3 publications, 0.39%
University of Genoa	University of Genoa, 3, 0.39% University of Genoa 3 publications, 0.39%
Radboud University Nijmegen	Radboud University Nijmegen, 3, 0.39% Radboud University Nijmegen 3 publications, 0.39%
University of Lorraine	University of Lorraine, 3, 0.39% University of Lorraine 3 publications, 0.39%
University of Naples Federico II	University of Naples Federico II, 3, 0.39% University of Naples Federico II 3 publications, 0.39%
University of Turin	University of Turin, 3, 0.39% University of Turin 3 publications, 0.39%
IT University of Copenhagen	IT University of Copenhagen, 3, 0.39% IT University of Copenhagen 3 publications, 0.39%
University of Padua	University of Padua, 3, 0.39% University of Padua 3 publications, 0.39%
Interuniversity Microelectronics Centre	Interuniversity Microelectronics Centre, 3, 0.39% Interuniversity Microelectronics Centre 3 publications, 0.39%
University of Salerno	University of Salerno, 3, 0.39% University of Salerno 3 publications, 0.39%
Iowa State University	Iowa State University, 3, 0.39% Iowa State University 3 publications, 0.39%
University of Auckland	University of Auckland, 3, 0.39% University of Auckland 3 publications, 0.39%
University of Queensland	University of Queensland, 3, 0.39% University of Queensland 3 publications, 0.39%
Virginia Tech	Virginia Tech, 3, 0.39% Virginia Tech 3 publications, 0.39%
University of Washington	University of Washington, 3, 0.39% University of Washington 3 publications, 0.39%
University of California, Santa Barbara	University of California, Santa Barbara, 3, 0.39% University of California, Santa Barbara 3 publications, 0.39%
Northeastern University	Northeastern University, 3, 0.39% Northeastern University 3 publications, 0.39%
University of Bremen	University of Bremen, 3, 0.39% University of Bremen 3 publications, 0.39%

	5 10 15 20 25 30 35

Publishing organizations in 5 years

	1 2 3 4 5 6 7 8 9
Vienna University of Technology	Vienna University of Technology, 9, 6.62% Vienna University of Technology 9 publications, 6.62%
Grenoble Alpes University	Grenoble Alpes University, 6, 4.41% Grenoble Alpes University 6 publications, 4.41%
University of Oxford	University of Oxford, 6, 4.41% University of Oxford 6 publications, 4.41%
University of Liverpool	University of Liverpool, 6, 4.41% University of Liverpool 6 publications, 4.41%
Stanford University	Stanford University, 5, 3.68% Stanford University 5 publications, 3.68%
RWTH Aachen University	RWTH Aachen University, 5, 3.68% RWTH Aachen University 5 publications, 3.68%
Albert Ludwig University of Freiburg	Albert Ludwig University of Freiburg, 5, 3.68% Albert Ludwig University of Freiburg 5 publications, 3.68%
Johannes Kepler University of Linz	Johannes Kepler University of Linz, 5, 3.68% Johannes Kepler University of Linz 5 publications, 3.68%
University of Manchester	University of Manchester, 4, 2.94% University of Manchester 4 publications, 2.94%
Graz University of Technology	Graz University of Technology, 4, 2.94% Graz University of Technology 4 publications, 2.94%
Indian Institute of Technology Bombay	Indian Institute of Technology Bombay, 3, 2.21% Indian Institute of Technology Bombay 3 publications, 2.21%
Indian Institute of Technology Kanpur	Indian Institute of Technology Kanpur, 3, 2.21% Indian Institute of Technology Kanpur 3 publications, 2.21%
Technical University of Munich	Technical University of Munich, 3, 2.21% Technical University of Munich 3 publications, 2.21%
Aalborg University	Aalborg University, 3, 2.21% Aalborg University 3 publications, 2.21%
King's College London	King's College London, 3, 2.21% King's College London 3 publications, 2.21%
University of California, Berkeley	University of California, Berkeley, 3, 2.21% University of California, Berkeley 3 publications, 2.21%
University of Waterloo	University of Waterloo, 3, 2.21% University of Waterloo 3 publications, 2.21%
University of Wisconsin–Madison	University of Wisconsin–Madison, 3, 2.21% University of Wisconsin–Madison 3 publications, 2.21%
Sorbonne Paris Nord University	Sorbonne Paris Nord University, 3, 2.21% Sorbonne Paris Nord University 3 publications, 2.21%
Indian Institute of Technology Bhubaneswar	Indian Institute of Technology Bhubaneswar, 2, 1.47% Indian Institute of Technology Bhubaneswar 2 publications, 1.47%
Tel Aviv University	Tel Aviv University, 2, 1.47% Tel Aviv University 2 publications, 1.47%
Technion – Israel Institute of Technology	Technion – Israel Institute of Technology, 2, 1.47% Technion – Israel Institute of Technology 2 publications, 1.47%
Ben-Gurion University of the Negev	Ben-Gurion University of the Negev, 2, 1.47% Ben-Gurion University of the Negev 2 publications, 1.47%
Uppsala University	Uppsala University, 2, 1.47% Uppsala University 2 publications, 1.47%
Chalmers University of Technology	Chalmers University of Technology, 2, 1.47% Chalmers University of Technology 2 publications, 1.47%
University of Lorraine	University of Lorraine, 2, 1.47% University of Lorraine 2 publications, 1.47%
University of Bordeaux	University of Bordeaux, 2, 1.47% University of Bordeaux 2 publications, 1.47%
University of Gothenburg	University of Gothenburg, 2, 1.47% University of Gothenburg 2 publications, 1.47%
Technische Universität Dresden	Technische Universität Dresden, 2, 1.47% Technische Universität Dresden 2 publications, 1.47%
Eindhoven University of Technology	Eindhoven University of Technology, 2, 1.47% Eindhoven University of Technology 2 publications, 1.47%
University College London	University College London, 2, 1.47% University College London 2 publications, 1.47%
University of Oslo	University of Oslo, 2, 1.47% University of Oslo 2 publications, 1.47%
University of Verona	University of Verona, 2, 1.47% University of Verona 2 publications, 1.47%
Florida State University	Florida State University, 2, 1.47% Florida State University 2 publications, 1.47%
William Marsh Rice University	William Marsh Rice University, 2, 1.47% William Marsh Rice University 2 publications, 1.47%
Michigan State University	Michigan State University, 2, 1.47% Michigan State University 2 publications, 1.47%
University of Trento	University of Trento, 2, 1.47% University of Trento 2 publications, 1.47%
University of Queensland	University of Queensland, 2, 1.47% University of Queensland 2 publications, 1.47%
Macquarie University	Macquarie University, 2, 1.47% Macquarie University 2 publications, 1.47%
New York University	New York University, 2, 1.47% New York University 2 publications, 1.47%
University of Washington	University of Washington, 2, 1.47% University of Washington 2 publications, 1.47%
University of Texas at Austin	University of Texas at Austin, 2, 1.47% University of Texas at Austin 2 publications, 1.47%
Max Planck Institute for Software Systems	Max Planck Institute for Software Systems, 2, 1.47% Max Planck Institute for Software Systems 2 publications, 1.47%
Saarland University	Saarland University, 2, 1.47% Saarland University 2 publications, 1.47%
Institute of Science and Technology Austria	Institute of Science and Technology Austria, 2, 1.47% Institute of Science and Technology Austria 2 publications, 1.47%
University of Pennsylvania	University of Pennsylvania, 2, 1.47% University of Pennsylvania 2 publications, 1.47%
Université Paris-Saclay	Université Paris-Saclay, 2, 1.47% Université Paris-Saclay 2 publications, 1.47%
Paris Sciences et Lettres	Paris Sciences et Lettres, 2, 1.47% Paris Sciences et Lettres 2 publications, 1.47%
National Research University Higher School of Economics	National Research University Higher School of Economics, 1, 0.74% National Research University Higher School of Economics 1 publication, 0.74%
Ivannikov Institute for System Programming of the Russian Academy of Sciences	Ivannikov Institute for System Programming of the Russian Academy of Sciences, 1, 0.74% Ivannikov Institute for System Programming of the Russian Academy of Sciences 1 publication, 0.74%
American University of Sharjah	American University of Sharjah, 1, 0.74% American University of Sharjah 1 publication, 0.74%
Indian Institute of Science	Indian Institute of Science, 1, 0.74% Indian Institute of Science 1 publication, 0.74%
Tata Institute of Fundamental Research	Tata Institute of Fundamental Research, 1, 0.74% Tata Institute of Fundamental Research 1 publication, 0.74%
Hebrew University of Jerusalem	Hebrew University of Jerusalem, 1, 0.74% Hebrew University of Jerusalem 1 publication, 0.74%
Bar-Ilan University	Bar-Ilan University, 1, 0.74% Bar-Ilan University 1 publication, 0.74%
Open University of Israel	Open University of Israel, 1, 0.74% Open University of Israel 1 publication, 0.74%
International Institute of Information Technology, Bangalore	International Institute of Information Technology, Bangalore, 1, 0.74% International Institute of Information Technology, Bangalore 1 publication, 0.74%
University of Genoa	University of Genoa, 1, 0.74% University of Genoa 1 publication, 0.74%
University of Liège	University of Liège, 1, 0.74% University of Liège 1 publication, 0.74%
Radboud University Nijmegen	Radboud University Nijmegen, 1, 0.74% Radboud University Nijmegen 1 publication, 0.74%
Nanjing University of Aeronautics and Astronautics	Nanjing University of Aeronautics and Astronautics, 1, 0.74% Nanjing University of Aeronautics and Astronautics 1 publication, 0.74%
ETH Zurich	ETH Zurich, 1, 0.74% ETH Zurich 1 publication, 0.74%
Mälardalen University	Mälardalen University, 1, 0.74% Mälardalen University 1 publication, 0.74%
École normale supérieure Paris-Saclay	École normale supérieure Paris-Saclay, 1, 0.74% École normale supérieure Paris-Saclay 1 publication, 0.74%
Università della Svizzera italiana	Università della Svizzera italiana, 1, 0.74% Università della Svizzera italiana 1 publication, 0.74%
East China Normal University	East China Normal University, 1, 0.74% East China Normal University 1 publication, 0.74%
Polytechnic University of Turin	Polytechnic University of Turin, 1, 0.74% Polytechnic University of Turin 1 publication, 0.74%
Nanyang Technological University	Nanyang Technological University, 1, 0.74% Nanyang Technological University 1 publication, 0.74%
Imperial College London	Imperial College London, 1, 0.74% Imperial College London 1 publication, 0.74%
Queen Mary University of London	Queen Mary University of London, 1, 0.74% Queen Mary University of London 1 publication, 0.74%
Norwegian University of Science and Technology	Norwegian University of Science and Technology, 1, 0.74% Norwegian University of Science and Technology 1 publication, 0.74%
University of Cambridge	University of Cambridge, 1, 0.74% University of Cambridge 1 publication, 0.74%
Aarhus University	Aarhus University, 1, 0.74% Aarhus University 1 publication, 0.74%
University of Padua	University of Padua, 1, 0.74% University of Padua 1 publication, 0.74%
Royal Holloway University of London	Royal Holloway University of London, 1, 0.74% Royal Holloway University of London 1 publication, 0.74%
Sorbonne University	Sorbonne University, 1, 0.74% Sorbonne University 1 publication, 0.74%
University of Edinburgh	University of Edinburgh, 1, 0.74% University of Edinburgh 1 publication, 0.74%
National University of Singapore	National University of Singapore, 1, 0.74% National University of Singapore 1 publication, 0.74%
Stony Brook University	Stony Brook University, 1, 0.74% Stony Brook University 1 publication, 0.74%
Carnegie Mellon University	Carnegie Mellon University, 1, 0.74% Carnegie Mellon University 1 publication, 0.74%
University of Southampton	University of Southampton, 1, 0.74% University of Southampton 1 publication, 0.74%
Cornell University	Cornell University, 1, 0.74% Cornell University 1 publication, 0.74%
University of Birmingham	University of Birmingham, 1, 0.74% University of Birmingham 1 publication, 0.74%
Yale University	Yale University, 1, 0.74% Yale University 1 publication, 0.74%
Universite Libre de Bruxelles	Universite Libre de Bruxelles, 1, 0.74% Universite Libre de Bruxelles 1 publication, 0.74%
University of Glasgow	University of Glasgow, 1, 0.74% University of Glasgow 1 publication, 0.74%
California Institute of Technology	California Institute of Technology, 1, 0.74% California Institute of Technology 1 publication, 0.74%
University of Udine	University of Udine, 1, 0.74% University of Udine 1 publication, 0.74%
Iowa State University	Iowa State University, 1, 0.74% Iowa State University 1 publication, 0.74%
Free University of Bozen-Bolzano	Free University of Bozen-Bolzano, 1, 0.74% Free University of Bozen-Bolzano 1 publication, 0.74%
University of Auckland	University of Auckland, 1, 0.74% University of Auckland 1 publication, 0.74%
University of Waikato	University of Waikato, 1, 0.74% University of Waikato 1 publication, 0.74%
Charles University	Charles University, 1, 0.74% Charles University 1 publication, 0.74%
University of Melbourne	University of Melbourne, 1, 0.74% University of Melbourne 1 publication, 0.74%
Columbia University	Columbia University, 1, 0.74% Columbia University 1 publication, 0.74%
Princeton University	Princeton University, 1, 0.74% Princeton University 1 publication, 0.74%
Reykjavik University	Reykjavik University, 1, 0.74% Reykjavik University 1 publication, 0.74%
University of Illinois at Chicago	University of Illinois at Chicago, 1, 0.74% University of Illinois at Chicago 1 publication, 0.74%
West Virginia University	West Virginia University, 1, 0.74% West Virginia University 1 publication, 0.74%
University of California, Los Angeles	University of California, Los Angeles, 1, 0.74% University of California, Los Angeles 1 publication, 0.74%

	1 2 3 4 5 6 7 8 9

Publishing countries

	50 100 150 200 250 300 350
USA	USA, 302, 39.07% USA 302 publications, 39.07%
France	France, 125, 16.17% France 125 publications, 16.17%
Germany	Germany, 112, 14.49% Germany 112 publications, 14.49%
United Kingdom	United Kingdom, 94, 12.16% United Kingdom 94 publications, 12.16%
Israel	Israel, 68, 8.8% Israel 68 publications, 8.8%
Italy	Italy, 58, 7.5% Italy 58 publications, 7.5%
Austria	Austria, 49, 6.34% Austria 49 publications, 6.34%
Canada	Canada, 32, 4.14% Canada 32 publications, 4.14%
Switzerland	Switzerland, 30, 3.88% Switzerland 30 publications, 3.88%
Sweden	Sweden, 25, 3.23% Sweden 25 publications, 3.23%
Netherlands	Netherlands, 23, 2.98% Netherlands 23 publications, 2.98%
Denmark	Denmark, 22, 2.85% Denmark 22 publications, 2.85%
Belgium	Belgium, 21, 2.72% Belgium 21 publications, 2.72%
India	India, 14, 1.81% India 14 publications, 1.81%
Japan	Japan, 14, 1.81% Japan 14 publications, 1.81%
Spain	Spain, 13, 1.68% Spain 13 publications, 1.68%
China	China, 12, 1.55% China 12 publications, 1.55%
Czech Republic	Czech Republic, 12, 1.55% Czech Republic 12 publications, 1.55%
Australia	Australia, 11, 1.42% Australia 11 publications, 1.42%
Malta	Malta, 7, 0.91% Malta 7 publications, 0.91%
Finland	Finland, 7, 0.91% Finland 7 publications, 0.91%
Singapore	Singapore, 6, 0.78% Singapore 6 publications, 0.78%
New Zealand	New Zealand, 4, 0.52% New Zealand 4 publications, 0.52%
Norway	Norway, 4, 0.52% Norway 4 publications, 0.52%
Republic of Korea	Republic of Korea, 4, 0.52% Republic of Korea 4 publications, 0.52%
Portugal	Portugal, 3, 0.39% Portugal 3 publications, 0.39%
Greece	Greece, 3, 0.39% Greece 3 publications, 0.39%
Luxembourg	Luxembourg, 3, 0.39% Luxembourg 3 publications, 0.39%
Russia	Russia, 2, 0.26% Russia 2 publications, 0.26%
Argentina	Argentina, 2, 0.26% Argentina 2 publications, 0.26%
Brazil	Brazil, 2, 0.26% Brazil 2 publications, 0.26%
Hungary	Hungary, 2, 0.26% Hungary 2 publications, 0.26%
Ireland	Ireland, 2, 0.26% Ireland 2 publications, 0.26%
Iceland	Iceland, 2, 0.26% Iceland 2 publications, 0.26%
Lebanon	Lebanon, 2, 0.26% Lebanon 2 publications, 0.26%
Tunisia	Tunisia, 2, 0.26% Tunisia 2 publications, 0.26%
Turkey	Turkey, 2, 0.26% Turkey 2 publications, 0.26%
Vietnam	Vietnam, 1, 0.13% Vietnam 1 publication, 0.13%
Egypt	Egypt, 1, 0.13% Egypt 1 publication, 0.13%
Iran	Iran, 1, 0.13% Iran 1 publication, 0.13%
UAE	UAE, 1, 0.13% UAE 1 publication, 0.13%
Poland	Poland, 1, 0.13% Poland 1 publication, 0.13%
Serbia	Serbia, 1, 0.13% Serbia 1 publication, 0.13%
Yugoslavia	Yugoslavia, 1, 0.13% Yugoslavia 1 publication, 0.13%

	50 100 150 200 250 300 350

Publishing countries in 5 years

	5 10 15 20 25 30 35 40
USA	USA, 38, 27.94% USA 38 publications, 27.94%
United Kingdom	United Kingdom, 25, 18.38% United Kingdom 25 publications, 18.38%
Germany	Germany, 22, 16.18% Germany 22 publications, 16.18%
Austria	Austria, 18, 13.24% Austria 18 publications, 13.24%
France	France, 17, 12.5% France 17 publications, 12.5%
Italy	Italy, 12, 8.82% Italy 12 publications, 8.82%
Israel	Israel, 10, 7.35% Israel 10 publications, 7.35%
India	India, 10, 7.35% India 10 publications, 7.35%
Sweden	Sweden, 7, 5.15% Sweden 7 publications, 5.15%
Canada	Canada, 6, 4.41% Canada 6 publications, 4.41%
Australia	Australia, 4, 2.94% Australia 4 publications, 2.94%
Denmark	Denmark, 4, 2.94% Denmark 4 publications, 2.94%
Netherlands	Netherlands, 3, 2.21% Netherlands 3 publications, 2.21%
Singapore	Singapore, 3, 2.21% Singapore 3 publications, 2.21%
Czech Republic	Czech Republic, 3, 2.21% Czech Republic 3 publications, 2.21%
China	China, 2, 1.47% China 2 publications, 1.47%
Belgium	Belgium, 2, 1.47% Belgium 2 publications, 1.47%
Spain	Spain, 2, 1.47% Spain 2 publications, 1.47%
New Zealand	New Zealand, 2, 1.47% New Zealand 2 publications, 1.47%
Norway	Norway, 2, 1.47% Norway 2 publications, 1.47%
Switzerland	Switzerland, 2, 1.47% Switzerland 2 publications, 1.47%
Russia	Russia, 1, 0.74% Russia 1 publication, 0.74%
Argentina	Argentina, 1, 0.74% Argentina 1 publication, 0.74%
Ireland	Ireland, 1, 0.74% Ireland 1 publication, 0.74%
Iceland	Iceland, 1, 0.74% Iceland 1 publication, 0.74%
UAE	UAE, 1, 0.74% UAE 1 publication, 0.74%
	5 10 15 20 25 30 35 40

1 profile journal article

Schlehuber-Caissier Philipp

5 publications, 43 citations

h-index: 2

	500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 4864, 32.39% Lecture Notes in Computer Science 4864 citations, 32.39%
Formal Methods in System Design	Formal Methods in System Design, 323, 2.15% Formal Methods in System Design 323 citations, 2.15%
International Journal on Software Tools for Technology Transfer	International Journal on Software Tools for Technology Transfer, 285, 1.9% International Journal on Software Tools for Technology Transfer 285 citations, 1.9%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 249, 1.66% Electronic Proceedings in Theoretical Computer Science, EPTCS 249 citations, 1.66%
Electronic Notes in Theoretical Computer Science	Electronic Notes in Theoretical Computer Science, 212, 1.41% Electronic Notes in Theoretical Computer Science 212 citations, 1.41%
Theoretical Computer Science	Theoretical Computer Science, 207, 1.38% Theoretical Computer Science 207 citations, 1.38%
Science of Computer Programming	Science of Computer Programming, 200, 1.33% Science of Computer Programming 200 citations, 1.33%
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 151, 1.01% IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 151 citations, 1.01%
Information and Computation	Information and Computation, 147, 0.98% Information and Computation 147 citations, 0.98%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 141, 0.94% ACM SIGPLAN Notices 141 citations, 0.94%
Proceedings of the ACM on Programming Languages	Proceedings of the ACM on Programming Languages, 138, 0.92% Proceedings of the ACM on Programming Languages 138 citations, 0.92%
Formal Aspects of Computing	Formal Aspects of Computing, 120, 0.8% Formal Aspects of Computing 120 citations, 0.8%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 118, 0.79% IEEE Transactions on Software Engineering 118 citations, 0.79%
IEEE Transactions on Automatic Control	IEEE Transactions on Automatic Control, 75, 0.5% IEEE Transactions on Automatic Control 75 citations, 0.5%
Journal of Logical and Algebraic Methods in Programming	Journal of Logical and Algebraic Methods in Programming, 75, 0.5% Journal of Logical and Algebraic Methods in Programming 75 citations, 0.5%
Software and Systems Modeling	Software and Systems Modeling, 75, 0.5% Software and Systems Modeling 75 citations, 0.5%
Acta Informatica	Acta Informatica, 74, 0.49% Acta Informatica 74 citations, 0.49%
IEEE Access	IEEE Access, 72, 0.48% IEEE Access 72 citations, 0.48%
Transactions on Embedded Computing Systems	Transactions on Embedded Computing Systems, 65, 0.43% Transactions on Embedded Computing Systems 65 citations, 0.43%
Journal of Systems and Software	Journal of Systems and Software, 61, 0.41% Journal of Systems and Software 61 citations, 0.41%
Journal of Automated Reasoning	Journal of Automated Reasoning, 59, 0.39% Journal of Automated Reasoning 59 citations, 0.39%
ACM Transactions on Software Engineering and Methodology	ACM Transactions on Software Engineering and Methodology, 57, 0.38% ACM Transactions on Software Engineering and Methodology 57 citations, 0.38%
ACM Transactions on Design Automation of Electronic Systems	ACM Transactions on Design Automation of Electronic Systems, 55, 0.37% ACM Transactions on Design Automation of Electronic Systems 55 citations, 0.37%
ACM Transactions on Computational Logic	ACM Transactions on Computational Logic, 55, 0.37% ACM Transactions on Computational Logic 55 citations, 0.37%
ACM Computing Surveys	ACM Computing Surveys, 52, 0.35% ACM Computing Surveys 52 citations, 0.35%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 49, 0.33% ACM Transactions on Programming Languages and Systems 49 citations, 0.33%
Communications in Computer and Information Science	Communications in Computer and Information Science, 47, 0.31% Communications in Computer and Information Science 47 citations, 0.31%
IFAC-PapersOnLine	IFAC-PapersOnLine, 46, 0.31% IFAC-PapersOnLine 46 citations, 0.31%
IEEE Transactions on Computers	IEEE Transactions on Computers, 40, 0.27% IEEE Transactions on Computers 40 citations, 0.27%
Automatica	Automatica, 39, 0.26% Automatica 39 citations, 0.26%
IFAC Proceedings Volumes	IFAC Proceedings Volumes, 39, 0.26% IFAC Proceedings Volumes 39 citations, 0.26%
Information Processing Letters	Information Processing Letters, 36, 0.24% Information Processing Letters 36 citations, 0.24%
Innovations in Systems and Software Engineering	Innovations in Systems and Software Engineering, 33, 0.22% Innovations in Systems and Software Engineering 33 citations, 0.22%
Proceedings of the IEEE	Proceedings of the IEEE, 31, 0.21% Proceedings of the IEEE 31 citations, 0.21%
Journal of the ACM	Journal of the ACM, 30, 0.2% Journal of the ACM 30 citations, 0.2%
Discrete Event Dynamic Systems: Theory and Applications	Discrete Event Dynamic Systems: Theory and Applications, 30, 0.2% Discrete Event Dynamic Systems: Theory and Applications 30 citations, 0.2%
Software Testing Verification and Reliability	Software Testing Verification and Reliability, 29, 0.19% Software Testing Verification and Reliability 29 citations, 0.19%
Artificial Intelligence	Artificial Intelligence, 28, 0.19% Artificial Intelligence 28 citations, 0.19%
Journal of Computer and System Sciences	Journal of Computer and System Sciences, 27, 0.18% Journal of Computer and System Sciences 27 citations, 0.18%
Nonlinear Analysis: Hybrid Systems	Nonlinear Analysis: Hybrid Systems, 26, 0.17% Nonlinear Analysis: Hybrid Systems 26 citations, 0.17%
Integration, the VLSI Journal	Integration, the VLSI Journal, 25, 0.17% Integration, the VLSI Journal 25 citations, 0.17%
IFIP Advances in Information and Communication Technology	IFIP Advances in Information and Communication Technology, 25, 0.17% IFIP Advances in Information and Communication Technology 25 citations, 0.17%
Automated Software Engineering	Automated Software Engineering, 24, 0.16% Automated Software Engineering 24 citations, 0.16%
ACM SIGSOFT Software Engineering Notes	ACM SIGSOFT Software Engineering Notes, 24, 0.16% ACM SIGSOFT Software Engineering Notes 24 citations, 0.16%
Journal of Computer Science and Technology	Journal of Computer Science and Technology, 23, 0.15% Journal of Computer Science and Technology 23 citations, 0.15%
Information and Software Technology	Information and Software Technology, 22, 0.15% Information and Software Technology 22 citations, 0.15%
International Journal of Software Engineering and Knowledge Engineering	International Journal of Software Engineering and Knowledge Engineering, 21, 0.14% International Journal of Software Engineering and Knowledge Engineering 21 citations, 0.14%
International Journal of Foundations of Computer Science	International Journal of Foundations of Computer Science, 20, 0.13% International Journal of Foundations of Computer Science 20 citations, 0.13%
IEEE Transactions on Very Large Scale Integration (VLSI) Systems	IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 19, 0.13% IEEE Transactions on Very Large Scale Integration (VLSI) Systems 19 citations, 0.13%
Software - Practice and Experience	Software - Practice and Experience, 18, 0.12% Software - Practice and Experience 18 citations, 0.12%
Information Systems	Information Systems, 18, 0.12% Information Systems 18 citations, 0.12%
IEICE Transactions on Information and Systems	IEICE Transactions on Information and Systems, 18, 0.12% IEICE Transactions on Information and Systems 18 citations, 0.12%
Annals of Mathematics and Artificial Intelligence	Annals of Mathematics and Artificial Intelligence, 17, 0.11% Annals of Mathematics and Artificial Intelligence 17 citations, 0.11%
Advances in Intelligent Systems and Computing	Advances in Intelligent Systems and Computing, 16, 0.11% Advances in Intelligent Systems and Computing 16 citations, 0.11%
Communications of the ACM	Communications of the ACM, 16, 0.11% Communications of the ACM 16 citations, 0.11%
Journal of Logic and Computation	Journal of Logic and Computation, 16, 0.11% Journal of Logic and Computation 16 citations, 0.11%
Frontiers of Computer Science	Frontiers of Computer Science, 16, 0.11% Frontiers of Computer Science 16 citations, 0.11%
Information Sciences	Information Sciences, 15, 0.1% Information Sciences 15 citations, 0.1%
Software Quality Journal	Software Quality Journal, 15, 0.1% Software Quality Journal 15 citations, 0.1%
IEEE Transactions on Automation Science and Engineering	IEEE Transactions on Automation Science and Engineering, 15, 0.1% IEEE Transactions on Automation Science and Engineering 15 citations, 0.1%
Studies in Computational Intelligence	Studies in Computational Intelligence, 14, 0.09% Studies in Computational Intelligence 14 citations, 0.09%
Science China Information Sciences	Science China Information Sciences, 14, 0.09% Science China Information Sciences 14 citations, 0.09%
IEEE Robotics and Automation Letters	IEEE Robotics and Automation Letters, 14, 0.09% IEEE Robotics and Automation Letters 14 citations, 0.09%
IET Software	IET Software, 14, 0.09% IET Software 14 citations, 0.09%
Computers and Security	Computers and Security, 13, 0.09% Computers and Security 13 citations, 0.09%
ACM Transactions on Cyber-Physical Systems	ACM Transactions on Cyber-Physical Systems, 13, 0.09% ACM Transactions on Cyber-Physical Systems 13 citations, 0.09%
Reliability Engineering and System Safety	Reliability Engineering and System Safety, 13, 0.09% Reliability Engineering and System Safety 13 citations, 0.09%
Computer Journal	Computer Journal, 13, 0.09% Computer Journal 13 citations, 0.09%
Real-Time Systems	Real-Time Systems, 13, 0.09% Real-Time Systems 13 citations, 0.09%
Electronics (Switzerland)	Electronics (Switzerland), 12, 0.08% Electronics (Switzerland) 12 citations, 0.08%
Studies in Systems, Decision and Control	Studies in Systems, Decision and Control, 12, 0.08% Studies in Systems, Decision and Control 12 citations, 0.08%
Journal of Systems Architecture	Journal of Systems Architecture, 12, 0.08% Journal of Systems Architecture 12 citations, 0.08%
Lecture Notes in Electrical Engineering	Lecture Notes in Electrical Engineering, 12, 0.08% Lecture Notes in Electrical Engineering 12 citations, 0.08%
IEEE Transactions on Reliability	IEEE Transactions on Reliability, 12, 0.08% IEEE Transactions on Reliability 12 citations, 0.08%
Computer Science Review	Computer Science Review, 12, 0.08% Computer Science Review 12 citations, 0.08%
IEE Proceedings - Computers and Digital Techniques	IEE Proceedings - Computers and Digital Techniques, 12, 0.08% IEE Proceedings - Computers and Digital Techniques 12 citations, 0.08%
Theory and Practice of Logic Programming	Theory and Practice of Logic Programming, 11, 0.07% Theory and Practice of Logic Programming 11 citations, 0.07%
RAIRO - Theoretical Informatics and Applications	RAIRO - Theoretical Informatics and Applications, 11, 0.07% RAIRO - Theoretical Informatics and Applications 11 citations, 0.07%
IEEE Control Systems Letters	IEEE Control Systems Letters, 11, 0.07% IEEE Control Systems Letters 11 citations, 0.07%
Journal of Applied Mathematics	Journal of Applied Mathematics, 11, 0.07% Journal of Applied Mathematics 11 citations, 0.07%
Mathematical Structures in Computer Science	Mathematical Structures in Computer Science, 11, 0.07% Mathematical Structures in Computer Science 11 citations, 0.07%
Applied Sciences (Switzerland)	Applied Sciences (Switzerland), 11, 0.07% Applied Sciences (Switzerland) 11 citations, 0.07%
Advances in Computers	Advances in Computers, 11, 0.07% Advances in Computers 11 citations, 0.07%
ACM SIGLOG News	ACM SIGLOG News, 11, 0.07% ACM SIGLOG News 11 citations, 0.07%
Journal of Intelligent and Fuzzy Systems	Journal of Intelligent and Fuzzy Systems, 10, 0.07% Journal of Intelligent and Fuzzy Systems 10 citations, 0.07%
IEEE Transactions on Industrial Informatics	IEEE Transactions on Industrial Informatics, 10, 0.07% IEEE Transactions on Industrial Informatics 10 citations, 0.07%
IEEE Transactions on Dependable and Secure Computing	IEEE Transactions on Dependable and Secure Computing, 10, 0.07% IEEE Transactions on Dependable and Secure Computing 10 citations, 0.07%
Mathematical Problems in Engineering	Mathematical Problems in Engineering, 10, 0.07% Mathematical Problems in Engineering 10 citations, 0.07%
Algorithms	Algorithms, 10, 0.07% Algorithms 10 citations, 0.07%
Lecture Notes in Business Information Processing	Lecture Notes in Business Information Processing, 10, 0.07% Lecture Notes in Business Information Processing 10 citations, 0.07%
ACM SIGARCH Computer Architecture News	ACM SIGARCH Computer Architecture News, 10, 0.07% ACM SIGARCH Computer Architecture News 10 citations, 0.07%
Journal of Applied Logic	Journal of Applied Logic, 10, 0.07% Journal of Applied Logic 10 citations, 0.07%
ACM Transactions on Modeling and Computer Simulation	ACM Transactions on Modeling and Computer Simulation, 9, 0.06% ACM Transactions on Modeling and Computer Simulation 9 citations, 0.06%
Synthesis Lectures on Digital Circuits and Systems	Synthesis Lectures on Digital Circuits and Systems, 9, 0.06% Synthesis Lectures on Digital Circuits and Systems 9 citations, 0.06%
Journal of Symbolic Computation	Journal of Symbolic Computation, 9, 0.06% Journal of Symbolic Computation 9 citations, 0.06%
Journal of Electronic Testing: Theory and Applications (JETTA)	Journal of Electronic Testing: Theory and Applications (JETTA), 9, 0.06% Journal of Electronic Testing: Theory and Applications (JETTA) 9 citations, 0.06%
Design Automation for Embedded Systems	Design Automation for Embedded Systems, 9, 0.06% Design Automation for Embedded Systems 9 citations, 0.06%
Discrete Applied Mathematics	Discrete Applied Mathematics, 9, 0.06% Discrete Applied Mathematics 9 citations, 0.06%
International Journal of Robotics Research	International Journal of Robotics Research, 9, 0.06% International Journal of Robotics Research 9 citations, 0.06%
Journal of Supercomputing	Journal of Supercomputing, 9, 0.06% Journal of Supercomputing 9 citations, 0.06%

	500 1000 1500 2000 2500 3000 3500 4000 4500 5000