Formal Methods in System Design

Springer Nature

ISSN: 09259856, 15728102

Journal publications in Cobalt

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.

SCImago

Impact factor

0.7

SJR

0.400

CiteScore

2.0

Categories

Hardware and Architecture

Software

Theoretical Computer Science

Areas

Computer Science

Mathematics

Years of issue

1992-2025

journal names

Formal Methods in System Design

FORM METHOD SYST DES

journal website

All time from 2020

Publications

774

Citations

15 082

h-index

Top-3 citing journals

Lecture Notes in Computer Science (4874 citations)

Formal Methods in System Design (323 citations)

International Journal on Software Tools for Technology Transfer (285 citations)

Top-3 organizations

All time in 5 years

Technion – Israel Institute of Technology (35 publications)

Carnegie Mellon University (34 publications)

Grenoble Alpes University (25 publications)

Top-3 countries

All time in 5 years

USA (302 publications)

France (125 publications)

Germany (112 publications)

Most cited in 5 years

Found

Publication title

Found

	1000 2000 3000 4000 5000 6000 7000
Springer Nature	Springer Nature, 6529, 43.29% Springer Nature 6529 citations, 43.29%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 2699, 17.9% Institute of Electrical and Electronics Engineers (IEEE) 2699 citations, 17.9%
Elsevier	Elsevier, 1638, 10.86% Elsevier 1638 citations, 10.86%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1503, 9.97% Association for Computing Machinery (ACM) 1503 citations, 9.97%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 248, 1.64% electronic proceedings in theoretical computer science, eptcs 248 citations, 1.64%
Wiley	Wiley, 115, 0.76% Wiley 115 citations, 0.76%
MDPI	MDPI, 89, 0.59% MDPI 89 citations, 0.59%
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%
Cambridge University Press	Cambridge University Press, 42, 0.28% Cambridge University Press 42 citations, 0.28%
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%
Taylor & Francis	Taylor & Francis, 33, 0.22% Taylor & Francis 33 citations, 0.22%
SAGE	SAGE, 24, 0.16% SAGE 24 citations, 0.16%
Pleiades Publishing	Pleiades Publishing, 22, 0.15% Pleiades Publishing 22 citations, 0.15%
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%
IOS Press	IOS Press, 14, 0.09% IOS Press 14 citations, 0.09%
	, 14, 0.09% 14 citations, 0.09%
Science in China Press	Science in China Press, 14, 0.09% Science in China Press 14 citations, 0.09%
Trans Tech Publications	Trans Tech Publications, 12, 0.08% Trans Tech Publications 12 citations, 0.08%
Institute of Electronics, Information and Communications Engineers (IEICE)	Institute of Electronics, Information and Communications Engineers (IEICE), 11, 0.07% Institute of Electronics, Information and Communications Engineers (IEICE) 11 citations, 0.07%
The Royal Society	The Royal Society, 10, 0.07% The Royal Society 10 citations, 0.07%
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%
Walter de Gruyter	Walter de Gruyter, 6, 0.04% Walter de Gruyter 6 citations, 0.04%
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%
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%
Open Publishing Association	Open Publishing Association, 5, 0.03% Open Publishing Association 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%
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%
SPIE-Intl Soc Optical Eng	SPIE-Intl Soc Optical Eng, 1, 0.01% SPIE-Intl Soc Optical Eng 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%
Show all (56 more)
	1000 2000 3000 4000 5000 6000 7000

	5 10 15 20 25 30 35
Technion – Israel Institute of Technology	Technion – Israel Institute of Technology, 35, 4.52% Technion – Israel Institute of Technology 35 publications, 4.52%
Carnegie Mellon University	Carnegie Mellon University, 34, 4.39% Carnegie Mellon University 34 publications, 4.39%
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.97% École normale supérieure Paris-Saclay 23 publications, 2.97%
Vienna University of Technology	Vienna University of Technology, 23, 2.97% Vienna University of Technology 23 publications, 2.97%
Stanford University	Stanford University, 21, 2.71% Stanford University 21 publications, 2.71%
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.9% Chalmers University of Technology 7 publications, 0.9%
Università della Svizzera italiana	Università della Svizzera italiana, 7, 0.9% Università della Svizzera italiana 7 publications, 0.9%
Polytechnic University of Turin	Polytechnic University of Turin, 7, 0.9% Polytechnic University of Turin 7 publications, 0.9%
Queen Mary University of London	Queen Mary University of London, 7, 0.9% Queen Mary University of London 7 publications, 0.9%
Sorbonne University	Sorbonne University, 7, 0.9% Sorbonne University 7 publications, 0.9%
University of Manchester	University of Manchester, 7, 0.9% University of Manchester 7 publications, 0.9%
Universite Libre de Bruxelles	Universite Libre de Bruxelles, 7, 0.9% Universite Libre de Bruxelles 7 publications, 0.9%
California Institute of Technology	California Institute of Technology, 7, 0.9% California Institute of Technology 7 publications, 0.9%
Newcastle University	Newcastle University, 7, 0.9% Newcastle University 7 publications, 0.9%
University of Wisconsin–Madison	University of Wisconsin–Madison, 7, 0.9% University of Wisconsin–Madison 7 publications, 0.9%
University of Utah	University of Utah, 7, 0.9% University of Utah 7 publications, 0.9%
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%
University of York	University of York, 5, 0.65% University of York 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%
Show all (70 more)
	5 10 15 20 25 30 35

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

	50 100 150 200 250 300 350
USA	USA, 302, 39.02% USA 302 publications, 39.02%
France	France, 125, 16.15% France 125 publications, 16.15%
Germany	Germany, 112, 14.47% Germany 112 publications, 14.47%
United Kingdom	United Kingdom, 94, 12.14% United Kingdom 94 publications, 12.14%
Israel	Israel, 68, 8.79% Israel 68 publications, 8.79%
Italy	Italy, 58, 7.49% Italy 58 publications, 7.49%
Austria	Austria, 49, 6.33% Austria 49 publications, 6.33%
Canada	Canada, 32, 4.13% Canada 32 publications, 4.13%
Switzerland	Switzerland, 30, 3.88% Switzerland 30 publications, 3.88%
Sweden	Sweden, 25, 3.23% Sweden 25 publications, 3.23%
Netherlands	Netherlands, 23, 2.97% Netherlands 23 publications, 2.97%
Denmark	Denmark, 22, 2.84% Denmark 22 publications, 2.84%
Belgium	Belgium, 21, 2.71% Belgium 21 publications, 2.71%
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.9% Malta 7 publications, 0.9%
Finland	Finland, 7, 0.9% Finland 7 publications, 0.9%
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%
Show all (14 more)
	50 100 150 200 250 300 350

Formal Methods in System Design

Are you a researcher?

Most cited in 5 years

Top-100

Citing journals

Citing publishers

Publishing organizations

Publishing organizations in 5 years

Publishing countries

Publishing countries in 5 years

Schlehuber-Caissier Philipp

	500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 4874, 32.32% Lecture Notes in Computer Science 4874 citations, 32.32%
Formal Methods in System Design	Formal Methods in System Design, 323, 2.14% Formal Methods in System Design 323 citations, 2.14%
International Journal on Software Tools for Technology Transfer	International Journal on Software Tools for Technology Transfer, 285, 1.89% International Journal on Software Tools for Technology Transfer 285 citations, 1.89%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 249, 1.65% Electronic Proceedings in Theoretical Computer Science, EPTCS 249 citations, 1.65%
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.37% Theoretical Computer Science 207 citations, 1.37%
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% IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 151 citations, 1%
Information and Computation	Information and Computation, 150, 0.99% Information and Computation 150 citations, 0.99%
Proceedings of the ACM on Programming Languages	Proceedings of the ACM on Programming Languages, 146, 0.97% Proceedings of the ACM on Programming Languages 146 citations, 0.97%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 141, 0.93% ACM SIGPLAN Notices 141 citations, 0.93%
Formal Aspects of Computing	Formal Aspects of Computing, 123, 0.82% Formal Aspects of Computing 123 citations, 0.82%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 119, 0.79% IEEE Transactions on Software Engineering 119 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.4% Journal of Systems and Software 61 citations, 0.4%
Journal of Automated Reasoning	Journal of Automated Reasoning, 60, 0.4% Journal of Automated Reasoning 60 citations, 0.4%
ACM Transactions on Software Engineering and Methodology	ACM Transactions on Software Engineering and Methodology, 58, 0.38% ACM Transactions on Software Engineering and Methodology 58 citations, 0.38%
ACM Transactions on Design Automation of Electronic Systems	ACM Transactions on Design Automation of Electronic Systems, 56, 0.37% ACM Transactions on Design Automation of Electronic Systems 56 citations, 0.37%
ACM Transactions on Computational Logic	ACM Transactions on Computational Logic, 55, 0.36% ACM Transactions on Computational Logic 55 citations, 0.36%
ACM Computing Surveys	ACM Computing Surveys, 52, 0.34% ACM Computing Surveys 52 citations, 0.34%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 51, 0.34% ACM Transactions on Programming Languages and Systems 51 citations, 0.34%
Communications in Computer and Information Science	Communications in Computer and Information Science, 48, 0.32% Communications in Computer and Information Science 48 citations, 0.32%
IFAC-PapersOnLine	IFAC-PapersOnLine, 46, 0.3% IFAC-PapersOnLine 46 citations, 0.3%
IEEE Transactions on Computers	IEEE Transactions on Computers, 40, 0.27% IEEE Transactions on Computers 40 citations, 0.27%
Automatica	Automatica, 40, 0.27% Automatica 40 citations, 0.27%
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, 29, 0.19% Artificial Intelligence 29 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, 27, 0.18% Nonlinear Analysis: Hybrid Systems 27 citations, 0.18%
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%
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%
Automated Software Engineering	Automated Software Engineering, 23, 0.15% Automated Software Engineering 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%
Communications of the ACM	Communications of the ACM, 17, 0.11% Communications of the ACM 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%
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%
IEEE Control Systems Letters	IEEE Control Systems Letters, 13, 0.09% IEEE Control Systems Letters 13 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%
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%
Show all (70 more)
	500 1000 1500 2000 2500 3000 3500 4000 4500 5000

	5 10 15 20 25 30 35 40
USA	USA, 38, 31.67% USA 38 publications, 31.67%
United Kingdom	United Kingdom, 25, 20.83% United Kingdom 25 publications, 20.83%
Germany	Germany, 22, 18.33% Germany 22 publications, 18.33%
Austria	Austria, 18, 15% Austria 18 publications, 15%
France	France, 17, 14.17% France 17 publications, 14.17%
Italy	Italy, 12, 10% Italy 12 publications, 10%
Israel	Israel, 10, 8.33% Israel 10 publications, 8.33%
India	India, 10, 8.33% India 10 publications, 8.33%
Sweden	Sweden, 7, 5.83% Sweden 7 publications, 5.83%
Canada	Canada, 6, 5% Canada 6 publications, 5%
Australia	Australia, 4, 3.33% Australia 4 publications, 3.33%
Denmark	Denmark, 4, 3.33% Denmark 4 publications, 3.33%
Netherlands	Netherlands, 3, 2.5% Netherlands 3 publications, 2.5%
Singapore	Singapore, 3, 2.5% Singapore 3 publications, 2.5%
Czech Republic	Czech Republic, 3, 2.5% Czech Republic 3 publications, 2.5%
China	China, 2, 1.67% China 2 publications, 1.67%
Belgium	Belgium, 2, 1.67% Belgium 2 publications, 1.67%
Spain	Spain, 2, 1.67% Spain 2 publications, 1.67%
New Zealand	New Zealand, 2, 1.67% New Zealand 2 publications, 1.67%
Norway	Norway, 2, 1.67% Norway 2 publications, 1.67%
Switzerland	Switzerland, 2, 1.67% Switzerland 2 publications, 1.67%
Russia	Russia, 1, 0.83% Russia 1 publication, 0.83%
Argentina	Argentina, 1, 0.83% Argentina 1 publication, 0.83%
Ireland	Ireland, 1, 0.83% Ireland 1 publication, 0.83%
Iceland	Iceland, 1, 0.83% Iceland 1 publication, 0.83%
UAE	UAE, 1, 0.83% UAE 1 publication, 0.83%
	5 10 15 20 25 30 35 40