Formal Aspects of Computing

Springer Nature

ISSN: 09345043, 1433299X

Journal publications in Cobalt

Are you a researcher?

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

SCImago

WOS

Impact factor

1.4

SJR

0.462

CiteScore

3.7

Schlehuber-Caissier Philipp

6 publications, 73 citations

h-index: 3

Most cited in 5 years

Found

Publication title

Found

Top-100

Citing journals

Citing publishers

	1000 2000 3000 4000 5000 6000 7000
Springer Nature	Springer Nature, 6454, 45.87% Springer Nature 6454 citations, 45.87%
Elsevier	Elsevier, 2116, 15.04% Elsevier 2116 citations, 15.04%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 1572, 11.17% Institute of Electrical and Electronics Engineers (IEEE) 1572 citations, 11.17%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1218, 8.66% Association for Computing Machinery (ACM) 1218 citations, 8.66%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 232, 1.65% electronic proceedings in theoretical computer science, eptcs 232 citations, 1.65%
Wiley	Wiley, 153, 1.09% Wiley 153 citations, 1.09%
MDPI	MDPI, 129, 0.92% MDPI 129 citations, 0.92%
Cambridge University Press	Cambridge University Press, 121, 0.86% Cambridge University Press 121 citations, 0.86%
Oxford University Press	Oxford University Press, 77, 0.55% Oxford University Press 77 citations, 0.55%
World Scientific	World Scientific, 75, 0.53% World Scientific 75 citations, 0.53%
Taylor & Francis	Taylor & Francis, 59, 0.42% Taylor & Francis 59 citations, 0.42%
IGI Global	IGI Global, 57, 0.41% IGI Global 57 citations, 0.41%
Hindawi Limited	Hindawi Limited, 36, 0.26% Hindawi Limited 36 citations, 0.26%
Institution of Engineering and Technology (IET)	Institution of Engineering and Technology (IET), 26, 0.18% Institution of Engineering and Technology (IET) 26 citations, 0.18%
Technischen Universitat Braunschweig	Technischen Universitat Braunschweig, 25, 0.18% Technischen Universitat Braunschweig 25 citations, 0.18%
Open Publishing Association	Open Publishing Association, 22, 0.16% Open Publishing Association 22 citations, 0.16%
Pleiades Publishing	Pleiades Publishing, 21, 0.15% Pleiades Publishing 21 citations, 0.15%
SAGE	SAGE, 20, 0.14% SAGE 20 citations, 0.14%
P.G. Demidov Yaroslavl State University	P.G. Demidov Yaroslavl State University, 15, 0.11% P.G. Demidov Yaroslavl State University 15 citations, 0.11%
IOS Press	IOS Press, 11, 0.08% IOS Press 11 citations, 0.08%
Trans Tech Publications	Trans Tech Publications, 10, 0.07% Trans Tech Publications 10 citations, 0.07%
Institute of Electronics, Information and Communications Engineers (IEICE)	Institute of Electronics, Information and Communications Engineers (IEICE), 10, 0.07% Institute of Electronics, Information and Communications Engineers (IEICE) 10 citations, 0.07%
Frontiers Media S.A.	Frontiers Media S.A., 9, 0.06% Frontiers Media S.A. 9 citations, 0.06%
Emerald	Emerald, 7, 0.05% Emerald 7 citations, 0.05%
EDP Sciences	EDP Sciences, 7, 0.05% EDP Sciences 7 citations, 0.05%
The Royal Society	The Royal Society, 7, 0.05% The Royal Society 7 citations, 0.05%
Public Library of Science (PLoS)	Public Library of Science (PLoS), 7, 0.05% Public Library of Science (PLoS) 7 citations, 0.05%
American Institute of Mathematical Sciences (AIMS)	American Institute of Mathematical Sciences (AIMS), 7, 0.05% American Institute of Mathematical Sciences (AIMS) 7 citations, 0.05%
IOP Publishing	IOP Publishing, 7, 0.05% IOP Publishing 7 citations, 0.05%
Science in China Press	Science in China Press, 6, 0.04% Science in China Press 6 citations, 0.04%
Social Science Electronic Publishing	Social Science Electronic Publishing, 6, 0.04% Social Science Electronic Publishing 6 citations, 0.04%
Walter de Gruyter	Walter de Gruyter, 5, 0.04% Walter de Gruyter 5 citations, 0.04%
American Chemical Society (ACS)	American Chemical Society (ACS), 5, 0.04% American Chemical Society (ACS) 5 citations, 0.04%
American Institute of Aeronautics and Astronautics (AIAA)	American Institute of Aeronautics and Astronautics (AIAA), 5, 0.04% American Institute of Aeronautics and Astronautics (AIAA) 5 citations, 0.04%
PeerJ	PeerJ, 4, 0.03% PeerJ 4 citations, 0.03%
Science Alert	Science Alert, 4, 0.03% Science Alert 4 citations, 0.03%
	, 3, 0.02% 3 citations, 0.02%
AIP Publishing	AIP Publishing, 3, 0.02% AIP Publishing 3 citations, 0.02%
proceedings - symposium on logic in computer science	proceedings - symposium on logic in computer science, 3, 0.02% proceedings - symposium on logic in computer science 3 citations, 0.02%
Wuhan University	Wuhan University, 3, 0.02% Wuhan University 3 citations, 0.02%
China Science Publishing & Media	China Science Publishing & Media, 3, 0.02% China Science Publishing & Media 3 citations, 0.02%
ASME International	ASME International, 3, 0.02% ASME International 3 citations, 0.02%
SAE International	SAE International, 3, 0.02% SAE International 3 citations, 0.02%
King Saud University	King Saud University, 2, 0.01% King Saud University 2 citations, 0.01%
Society for Industrial and Applied Mathematics (SIAM)	Society for Industrial and Applied Mathematics (SIAM), 2, 0.01% Society for Industrial and Applied Mathematics (SIAM) 2 citations, 0.01%
Instrument Society of America	Instrument Society of America, 2, 0.01% Instrument Society of America 2 citations, 0.01%
Information Processing Society of Japan	Information Processing Society of Japan, 2, 0.01% Information Processing Society of Japan 2 citations, 0.01%
Belarusian National Technical University	Belarusian National Technical University, 2, 0.01% Belarusian National Technical University 2 citations, 0.01%
Annual Reviews	Annual Reviews, 2, 0.01% Annual Reviews 2 citations, 0.01%
Allerton Press	Allerton Press, 2, 0.01% Allerton Press 2 citations, 0.01%
National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (Publications)	National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (Publications), 2, 0.01% National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (Publications) 2 citations, 0.01%
American Society of Civil Engineers (ASCE)	American Society of Civil Engineers (ASCE), 2, 0.01% American Society of Civil Engineers (ASCE) 2 citations, 0.01%
Inderscience Publishers	Inderscience Publishers, 2, 0.01% Inderscience Publishers 2 citations, 0.01%
International Academy Publishing (IAP)	International Academy Publishing (IAP), 2, 0.01% International Academy Publishing (IAP) 2 citations, 0.01%
Tech Science Press	Tech Science Press, 2, 0.01% Tech Science Press 2 citations, 0.01%
Hans Publishers	Hans Publishers, 2, 0.01% Hans Publishers 2 citations, 0.01%
European Control Association	European Control Association, 2, 0.01% European Control Association 2 citations, 0.01%
Bentham Science Publishers Ltd.	Bentham Science Publishers Ltd., 1, 0.01% Bentham Science Publishers Ltd. 1 citation, 0.01%
Duke University Press	Duke University Press, 1, 0.01% Duke University Press 1 citation, 0.01%
Mary Ann Liebert	Mary Ann Liebert, 1, 0.01% Mary Ann Liebert 1 citation, 0.01%
International Journal of Information and Education Technology	International Journal of Information and Education Technology, 1, 0.01% International Journal of Information and Education Technology 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%
Pensoft Publishers	Pensoft Publishers, 1, 0.01% Pensoft Publishers 1 citation, 0.01%
Fuji Technology Press	Fuji Technology Press, 1, 0.01% Fuji Technology Press 1 citation, 0.01%
Zhejiang University Press	Zhejiang University Press, 1, 0.01% Zhejiang University Press 1 citation, 0.01%
American Physical Society (APS)	American Physical Society (APS), 1, 0.01% American Physical Society (APS) 1 citation, 0.01%
proceedings of the vldb endowment	proceedings of the vldb endowment, 1, 0.01% proceedings of the vldb endowment 1 citation, 0.01%
Chinese Academy of Sciences	Chinese Academy of Sciences, 1, 0.01% Chinese Academy of Sciences 1 citation, 0.01%
National Institute of Informatics	National Institute of Informatics, 1, 0.01% National Institute of Informatics 1 citation, 0.01%
Kazan Federal University	Kazan Federal University, 1, 0.01% Kazan Federal University 1 citation, 0.01%
Ken-yusha, Inc.	Ken-yusha, Inc., 1, 0.01% Ken-yusha, Inc. 1 citation, 0.01%
Samara State Technical University	Samara State Technical University, 1, 0.01% Samara State Technical University 1 citation, 0.01%
	, 1, 0.01% 1 citation, 0.01%
proceedings - international symposium on computers and communications	proceedings - international symposium on computers and communications, 1, 0.01% proceedings - international symposium on computers and communications 1 citation, 0.01%
The Electrochemical Society	The Electrochemical Society, 1, 0.01% The Electrochemical Society 1 citation, 0.01%
Mark Allen Group	Mark Allen Group, 1, 0.01% Mark Allen Group 1 citation, 0.01%
American Psychological Association (APA)	American Psychological Association (APA), 1, 0.01% American Psychological Association (APA) 1 citation, 0.01%
CSIRO Publishing	CSIRO Publishing, 1, 0.01% CSIRO Publishing 1 citation, 0.01%
SPIIRAS	SPIIRAS, 1, 0.01% SPIIRAS 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%
Plekhanov Russian University of Economics (PRUE)	Plekhanov Russian University of Economics (PRUE), 1, 0.01% Plekhanov Russian University of Economics (PRUE) 1 citation, 0.01%
FSBEI HE Voronezh State University of Engineering Technologies	FSBEI HE Voronezh State University of Engineering Technologies, 1, 0.01% FSBEI HE Voronezh State University of Engineering Technologies 1 citation, 0.01%
IACSIT Press	IACSIT Press, 1, 0.01% IACSIT Press 1 citation, 0.01%
The Robotics Society of Japan	The Robotics Society of Japan, 1, 0.01% The Robotics Society of Japan 1 citation, 0.01%
Ubiquity Press	Ubiquity Press, 1, 0.01% Ubiquity Press 1 citation, 0.01%
State Public Scientific-Technical Library	State Public Scientific-Technical Library, 1, 0.01% State Public Scientific-Technical Library 1 citation, 0.01%
Scientific Research Publishing	Scientific Research Publishing, 1, 0.01% Scientific Research Publishing 1 citation, 0.01%
Institute of Electrical Engineers of Japan (IEE Japan)	Institute of Electrical Engineers of Japan (IEE Japan), 1, 0.01% Institute of Electrical Engineers of Japan (IEE Japan) 1 citation, 0.01%
ViewegTeubner Verlag	ViewegTeubner Verlag, 1, 0.01% ViewegTeubner Verlag 1 citation, 0.01%
Apex Publishing	Apex Publishing, 1, 0.01% Apex Publishing 1 citation, 0.01%

	1000 2000 3000 4000 5000 6000 7000

Publishing organizations

	5 10 15 20 25 30 35 40 45 50
University of Oxford	University of Oxford, 48, 4.38% University of Oxford 48 publications, 4.38%
University of York	University of York, 42, 3.84% University of York 42 publications, 3.84%
National Institute for Research in Digital Science and Technology	National Institute for Research in Digital Science and Technology, 34, 3.11% National Institute for Research in Digital Science and Technology 34 publications, 3.11%
University of Queensland	University of Queensland, 33, 3.01% University of Queensland 33 publications, 3.01%
Eindhoven University of Technology	Eindhoven University of Technology, 27, 2.47% Eindhoven University of Technology 27 publications, 2.47%
University of Groningen	University of Groningen, 24, 2.19% University of Groningen 24 publications, 2.19%
University of Kent	University of Kent, 22, 2.01% University of Kent 22 publications, 2.01%
University of Surrey	University of Surrey, 19, 1.74% University of Surrey 19 publications, 1.74%
East China Normal University	East China Normal University, 18, 1.64% East China Normal University 18 publications, 1.64%
University of Edinburgh	University of Edinburgh, 18, 1.64% University of Edinburgh 18 publications, 1.64%
University of Sheffield	University of Sheffield, 18, 1.64% University of Sheffield 18 publications, 1.64%
Åbo Akademi University	Åbo Akademi University, 17, 1.55% Åbo Akademi University 17 publications, 1.55%
University of Manchester	University of Manchester, 17, 1.55% University of Manchester 17 publications, 1.55%
Newcastle University	Newcastle University, 16, 1.46% Newcastle University 16 publications, 1.46%
Imperial College London	Imperial College London, 15, 1.37% Imperial College London 15 publications, 1.37%
University of Cambridge	University of Cambridge, 15, 1.37% University of Cambridge 15 publications, 1.37%
Institute of Software, Chinese Academy of Sciences	Institute of Software, Chinese Academy of Sciences, 15, 1.37% Institute of Software, Chinese Academy of Sciences 15 publications, 1.37%
Technical University of Munich	Technical University of Munich, 13, 1.19% Technical University of Munich 13 publications, 1.19%
ETH Zurich	ETH Zurich, 13, 1.19% ETH Zurich 13 publications, 1.19%
Technical University of Denmark	Technical University of Denmark, 13, 1.19% Technical University of Denmark 13 publications, 1.19%
University of Glasgow	University of Glasgow, 13, 1.19% University of Glasgow 13 publications, 1.19%
Utrecht University	Utrecht University, 13, 1.19% Utrecht University 13 publications, 1.19%
Carl von Ossietzky University of Oldenburg	Carl von Ossietzky University of Oldenburg, 13, 1.19% Carl von Ossietzky University of Oldenburg 13 publications, 1.19%
University of Amsterdam	University of Amsterdam, 13, 1.19% University of Amsterdam 13 publications, 1.19%
Queen Mary University of London	Queen Mary University of London, 12, 1.1% Queen Mary University of London 12 publications, 1.1%
Carnegie Mellon University	Carnegie Mellon University, 12, 1.1% Carnegie Mellon University 12 publications, 1.1%
University of Oslo	University of Oslo, 11, 1% University of Oslo 11 publications, 1%
Federal University of Pernambuco	Federal University of Pernambuco, 11, 1% Federal University of Pernambuco 11 publications, 1%
University of Augsburg	University of Augsburg, 11, 1% University of Augsburg 11 publications, 1%
University of New South Wales	University of New South Wales, 10, 0.91% University of New South Wales 10 publications, 0.91%
University of Birmingham	University of Birmingham, 10, 0.91% University of Birmingham 10 publications, 0.91%
University of Pisa	University of Pisa, 10, 0.91% University of Pisa 10 publications, 0.91%
California Institute of Technology	California Institute of Technology, 10, 0.91% California Institute of Technology 10 publications, 0.91%
University of Texas at Austin	University of Texas at Austin, 10, 0.91% University of Texas at Austin 10 publications, 0.91%
Concordia University	Concordia University, 10, 0.91% Concordia University 10 publications, 0.91%
Uppsala University	Uppsala University, 9, 0.82% Uppsala University 9 publications, 0.82%
Saarland University	Saarland University, 9, 0.82% Saarland University 9 publications, 0.82%
University of Toronto	University of Toronto, 9, 0.82% University of Toronto 9 publications, 0.82%
Université Paris-Saclay	Université Paris-Saclay, 9, 0.82% Université Paris-Saclay 9 publications, 0.82%
Polytechnic University of Milan	Polytechnic University of Milan, 8, 0.73% Polytechnic University of Milan 8 publications, 0.73%
National University of Singapore	National University of Singapore, 8, 0.73% National University of Singapore 8 publications, 0.73%
University of Southampton	University of Southampton, 8, 0.73% University of Southampton 8 publications, 0.73%
University of Macau	University of Macau, 8, 0.73% University of Macau 8 publications, 0.73%
McMaster University	McMaster University, 8, 0.73% McMaster University 8 publications, 0.73%
University of Bremen	University of Bremen, 8, 0.73% University of Bremen 8 publications, 0.73%
University of Leicester	University of Leicester, 8, 0.73% University of Leicester 8 publications, 0.73%
University of Sussex	University of Sussex, 8, 0.73% University of Sussex 8 publications, 0.73%
University of Essex	University of Essex, 8, 0.73% University of Essex 8 publications, 0.73%
University of Stirling	University of Stirling, 8, 0.73% University of Stirling 8 publications, 0.73%
Heriot-Watt University	Heriot-Watt University, 8, 0.73% Heriot-Watt University 8 publications, 0.73%
Teesside University	Teesside University, 8, 0.73% Teesside University 8 publications, 0.73%
Chalmers University of Technology	Chalmers University of Technology, 7, 0.64% Chalmers University of Technology 7 publications, 0.64%
Radboud University Nijmegen	Radboud University Nijmegen, 7, 0.64% Radboud University Nijmegen 7 publications, 0.64%
University of Turin	University of Turin, 7, 0.64% University of Turin 7 publications, 0.64%
Aalborg University	Aalborg University, 7, 0.64% Aalborg University 7 publications, 0.64%
University of Warwick	University of Warwick, 7, 0.64% University of Warwick 7 publications, 0.64%
Technical University of Berlin	Technical University of Berlin, 7, 0.64% Technical University of Berlin 7 publications, 0.64%
Heinrich Heine University Düsseldorf	Heinrich Heine University Düsseldorf, 7, 0.64% Heinrich Heine University Düsseldorf 7 publications, 0.64%
Universidad Complutense de Madrid	Universidad Complutense de Madrid, 7, 0.64% Universidad Complutense de Madrid 7 publications, 0.64%
University of Minho	University of Minho, 7, 0.64% University of Minho 7 publications, 0.64%
University of Twente	University of Twente, 6, 0.55% University of Twente 6 publications, 0.55%
Turku Centre for Computer Science	Turku Centre for Computer Science, 6, 0.55% Turku Centre for Computer Science 6 publications, 0.55%
Cornell University	Cornell University, 6, 0.55% Cornell University 6 publications, 0.55%
University of Luxembourg	University of Luxembourg, 6, 0.55% University of Luxembourg 6 publications, 0.55%
University of Illinois Urbana-Champaign	University of Illinois Urbana-Champaign, 6, 0.55% University of Illinois Urbana-Champaign 6 publications, 0.55%
Swansea University	Swansea University, 6, 0.55% Swansea University 6 publications, 0.55%
RWTH Aachen University	RWTH Aachen University, 6, 0.55% RWTH Aachen University 6 publications, 0.55%
University of Pitesti	University of Pitesti, 6, 0.55% University of Pitesti 6 publications, 0.55%
London South Bank University	London South Bank University, 6, 0.55% London South Bank University 6 publications, 0.55%
University of Chinese Academy of Sciences	University of Chinese Academy of Sciences, 5, 0.46% University of Chinese Academy of Sciences 5 publications, 0.46%
Shanghai Jiao Tong University	Shanghai Jiao Tong University, 5, 0.46% Shanghai Jiao Tong University 5 publications, 0.46%
Southwest University	Southwest University, 5, 0.46% Southwest University 5 publications, 0.46%
University of Bologna	University of Bologna, 5, 0.46% University of Bologna 5 publications, 0.46%
University College London	University College London, 5, 0.46% University College London 5 publications, 0.46%
Aarhus University	Aarhus University, 5, 0.46% Aarhus University 5 publications, 0.46%
Queensland University of Technology	Queensland University of Technology, 5, 0.46% Queensland University of Technology 5 publications, 0.46%
University of Waikato	University of Waikato, 5, 0.46% University of Waikato 5 publications, 0.46%
Griffith University	Griffith University, 5, 0.46% Griffith University 5 publications, 0.46%
University of California, Berkeley	University of California, Berkeley, 5, 0.46% University of California, Berkeley 5 publications, 0.46%
University of California, San Diego	University of California, San Diego, 5, 0.46% University of California, San Diego 5 publications, 0.46%
Graz University of Technology	Graz University of Technology, 5, 0.46% Graz University of Technology 5 publications, 0.46%
Paderborn University	Paderborn University, 5, 0.46% Paderborn University 5 publications, 0.46%
University of Passau	University of Passau, 5, 0.46% University of Passau 5 publications, 0.46%
Federal University of Rio Grande do Norte	Federal University of Rio Grande do Norte, 5, 0.46% Federal University of Rio Grande do Norte 5 publications, 0.46%
Université Toulouse III - Paul Sabatier	Université Toulouse III - Paul Sabatier, 5, 0.46% Université Toulouse III - Paul Sabatier 5 publications, 0.46%
Tel Aviv University	Tel Aviv University, 4, 0.37% Tel Aviv University 4 publications, 0.37%
Karlsruhe Institute of Technology	Karlsruhe Institute of Technology, 4, 0.37% Karlsruhe Institute of Technology 4 publications, 0.37%
University of Lisbon	University of Lisbon, 4, 0.37% University of Lisbon 4 publications, 0.37%
Nanjing University of Aeronautics and Astronautics	Nanjing University of Aeronautics and Astronautics, 4, 0.37% Nanjing University of Aeronautics and Astronautics 4 publications, 0.37%
Technische Universität Dresden	Technische Universität Dresden, 4, 0.37% Technische Universität Dresden 4 publications, 0.37%
Università della Svizzera italiana	Università della Svizzera italiana, 4, 0.37% Università della Svizzera italiana 4 publications, 0.37%
University of Milan	University of Milan, 4, 0.37% University of Milan 4 publications, 0.37%
Polytechnic University of Turin	Polytechnic University of Turin, 4, 0.37% Polytechnic University of Turin 4 publications, 0.37%
Brunel University London	Brunel University London, 4, 0.37% Brunel University London 4 publications, 0.37%
University of Liverpool	University of Liverpool, 4, 0.37% University of Liverpool 4 publications, 0.37%
Royal Holloway University of London	Royal Holloway University of London, 4, 0.37% Royal Holloway University of London 4 publications, 0.37%
Stony Brook University	Stony Brook University, 4, 0.37% Stony Brook University 4 publications, 0.37%
Universite Libre de Bruxelles	Universite Libre de Bruxelles, 4, 0.37% Universite Libre de Bruxelles 4 publications, 0.37%
Iowa State University	Iowa State University, 4, 0.37% Iowa State University 4 publications, 0.37%
Charles University	Charles University, 4, 0.37% Charles University 4 publications, 0.37%

	5 10 15 20 25 30 35 40 45 50

Publishing organizations in 5 years

	1 2 3 4 5 6 7
University of Surrey	University of Surrey, 7, 4.09% University of Surrey 7 publications, 4.09%
University of York	University of York, 7, 4.09% University of York 7 publications, 4.09%
East China Normal University	East China Normal University, 6, 3.51% East China Normal University 6 publications, 3.51%
Eindhoven University of Technology	Eindhoven University of Technology, 5, 2.92% Eindhoven University of Technology 5 publications, 2.92%
Institute of Software, Chinese Academy of Sciences	Institute of Software, Chinese Academy of Sciences, 5, 2.92% Institute of Software, Chinese Academy of Sciences 5 publications, 2.92%
National Institute for Research in Digital Science and Technology	National Institute for Research in Digital Science and Technology, 5, 2.92% National Institute for Research in Digital Science and Technology 5 publications, 2.92%
University of Chinese Academy of Sciences	University of Chinese Academy of Sciences, 4, 2.34% University of Chinese Academy of Sciences 4 publications, 2.34%
Shanghai Jiao Tong University	Shanghai Jiao Tong University, 4, 2.34% Shanghai Jiao Tong University 4 publications, 2.34%
Nanjing University of Aeronautics and Astronautics	Nanjing University of Aeronautics and Astronautics, 4, 2.34% Nanjing University of Aeronautics and Astronautics 4 publications, 2.34%
Southwest University	Southwest University, 4, 2.34% Southwest University 4 publications, 2.34%
Polytechnic University of Milan	Polytechnic University of Milan, 4, 2.34% Polytechnic University of Milan 4 publications, 2.34%
Aalborg University	Aalborg University, 4, 2.34% Aalborg University 4 publications, 2.34%
Technical University of Denmark	Technical University of Denmark, 4, 2.34% Technical University of Denmark 4 publications, 2.34%
University of Manchester	University of Manchester, 4, 2.34% University of Manchester 4 publications, 2.34%
Carnegie Mellon University	Carnegie Mellon University, 4, 2.34% Carnegie Mellon University 4 publications, 2.34%
University of Glasgow	University of Glasgow, 4, 2.34% University of Glasgow 4 publications, 2.34%
University of Twente	University of Twente, 3, 1.75% University of Twente 3 publications, 1.75%
Technische Universität Dresden	Technische Universität Dresden, 3, 1.75% Technische Universität Dresden 3 publications, 1.75%
Aarhus University	Aarhus University, 3, 1.75% Aarhus University 3 publications, 1.75%
University of Florence	University of Florence, 3, 1.75% University of Florence 3 publications, 1.75%
Newcastle University	Newcastle University, 3, 1.75% Newcastle University 3 publications, 1.75%
Carl von Ossietzky University of Oldenburg	Carl von Ossietzky University of Oldenburg, 3, 1.75% Carl von Ossietzky University of Oldenburg 3 publications, 1.75%
University of Augsburg	University of Augsburg, 3, 1.75% University of Augsburg 3 publications, 1.75%
University of Groningen	University of Groningen, 3, 1.75% University of Groningen 3 publications, 1.75%
University of Bremen	University of Bremen, 3, 1.75% University of Bremen 3 publications, 1.75%
University of Toronto	University of Toronto, 3, 1.75% University of Toronto 3 publications, 1.75%
University of Exeter	University of Exeter, 3, 1.75% University of Exeter 3 publications, 1.75%
Université Toulouse III - Paul Sabatier	Université Toulouse III - Paul Sabatier, 3, 1.75% Université Toulouse III - Paul Sabatier 3 publications, 1.75%
Université d'Orléans	Université d'Orléans, 3, 1.75% Université d'Orléans 3 publications, 1.75%
Northwestern Polytechnical University	Northwestern Polytechnical University, 2, 1.17% Northwestern Polytechnical University 2 publications, 1.17%
Karlsruhe Institute of Technology	Karlsruhe Institute of Technology, 2, 1.17% Karlsruhe Institute of Technology 2 publications, 1.17%
Technical University of Munich	Technical University of Munich, 2, 1.17% Technical University of Munich 2 publications, 1.17%
ETH Zurich	ETH Zurich, 2, 1.17% ETH Zurich 2 publications, 1.17%
Mälardalen University	Mälardalen University, 2, 1.17% Mälardalen University 2 publications, 1.17%
Xidian University	Xidian University, 2, 1.17% Xidian University 2 publications, 1.17%
Università della Svizzera italiana	Università della Svizzera italiana, 2, 1.17% Università della Svizzera italiana 2 publications, 1.17%
Shanghai Normal University	Shanghai Normal University, 2, 1.17% Shanghai Normal University 2 publications, 1.17%
University of Liverpool	University of Liverpool, 2, 1.17% University of Liverpool 2 publications, 1.17%
University of Oslo	University of Oslo, 2, 1.17% University of Oslo 2 publications, 1.17%
National University of Singapore	National University of Singapore, 2, 1.17% National University of Singapore 2 publications, 1.17%
Stony Brook University	Stony Brook University, 2, 1.17% Stony Brook University 2 publications, 1.17%
University of Birmingham	University of Birmingham, 2, 1.17% University of Birmingham 2 publications, 1.17%
Institute of Information Science and Technologies	Institute of Information Science and Technologies, 2, 1.17% Institute of Information Science and Technologies 2 publications, 1.17%
University of Queensland	University of Queensland, 2, 1.17% University of Queensland 2 publications, 1.17%
Griffith University	Griffith University, 2, 1.17% Griffith University 2 publications, 1.17%
Universidad Autónoma de Madrid	Universidad Autónoma de Madrid, 2, 1.17% Universidad Autónoma de Madrid 2 publications, 1.17%
University of Luxembourg	University of Luxembourg, 2, 1.17% University of Luxembourg 2 publications, 1.17%
Trinity College Dublin	Trinity College Dublin, 2, 1.17% Trinity College Dublin 2 publications, 1.17%
Federal University of Pernambuco	Federal University of Pernambuco, 2, 1.17% Federal University of Pernambuco 2 publications, 1.17%
Max Planck Institute for Software Systems	Max Planck Institute for Software Systems, 2, 1.17% Max Planck Institute for Software Systems 2 publications, 1.17%
Graz University of Technology	Graz University of Technology, 2, 1.17% Graz University of Technology 2 publications, 1.17%
RWTH Aachen University	RWTH Aachen University, 2, 1.17% RWTH Aachen University 2 publications, 1.17%
Heinrich Heine University Düsseldorf	Heinrich Heine University Düsseldorf, 2, 1.17% Heinrich Heine University Düsseldorf 2 publications, 1.17%
Saarland University	Saarland University, 2, 1.17% Saarland University 2 publications, 1.17%
Leiden University	Leiden University, 2, 1.17% Leiden University 2 publications, 1.17%
Hasso Plattner Institute	Hasso Plattner Institute, 2, 1.17% Hasso Plattner Institute 2 publications, 1.17%
Paderborn University	Paderborn University, 2, 1.17% Paderborn University 2 publications, 1.17%
University of Porto	University of Porto, 2, 1.17% University of Porto 2 publications, 1.17%
Open University of the Netherlands	Open University of the Netherlands, 2, 1.17% Open University of the Netherlands 2 publications, 1.17%
University of Nevada, Las Vegas	University of Nevada, Las Vegas, 2, 1.17% University of Nevada, Las Vegas 2 publications, 1.17%
University of Kent	University of Kent, 2, 1.17% University of Kent 2 publications, 1.17%
London South Bank University	London South Bank University, 2, 1.17% London South Bank University 2 publications, 1.17%
Institut National Polytechnique de Toulouse	Institut National Polytechnique de Toulouse, 2, 1.17% Institut National Polytechnique de Toulouse 2 publications, 1.17%
University of Tabuk	University of Tabuk, 1, 0.58% University of Tabuk 1 publication, 0.58%
Ferdowsi University of Mashhad	Ferdowsi University of Mashhad, 1, 0.58% Ferdowsi University of Mashhad 1 publication, 0.58%
Indian Institute of Science Education and Research, Bhopal	Indian Institute of Science Education and Research, Bhopal, 1, 0.58% Indian Institute of Science Education and Research, Bhopal 1 publication, 0.58%
Indian Institute of Technology Kharagpur	Indian Institute of Technology Kharagpur, 1, 0.58% Indian Institute of Technology Kharagpur 1 publication, 0.58%
Indian Institute of Technology Bombay	Indian Institute of Technology Bombay, 1, 0.58% Indian Institute of Technology Bombay 1 publication, 0.58%
Zhejiang University	Zhejiang University, 1, 0.58% Zhejiang University 1 publication, 0.58%
Tel Aviv University	Tel Aviv University, 1, 0.58% Tel Aviv University 1 publication, 0.58%
Tongji University	Tongji University, 1, 0.58% Tongji University 1 publication, 0.58%
Beihang University	Beihang University, 1, 0.58% Beihang University 1 publication, 0.58%
Dalian University of Technology	Dalian University of Technology, 1, 0.58% Dalian University of Technology 1 publication, 0.58%
Ghent University	Ghent University, 1, 0.58% Ghent University 1 publication, 0.58%
University of Lisbon	University of Lisbon, 1, 0.58% University of Lisbon 1 publication, 0.58%
Chalmers University of Technology	Chalmers University of Technology, 1, 0.58% Chalmers University of Technology 1 publication, 0.58%
University of Lorraine	University of Lorraine, 1, 0.58% University of Lorraine 1 publication, 0.58%
KTH Royal Institute of Technology	KTH Royal Institute of Technology, 1, 0.58% KTH Royal Institute of Technology 1 publication, 0.58%
Nanjing University	Nanjing University, 1, 0.58% Nanjing University 1 publication, 0.58%
Umeå University	Umeå University, 1, 0.58% Umeå University 1 publication, 0.58%
Linnaeus University	Linnaeus University, 1, 0.58% Linnaeus University 1 publication, 0.58%
Parthenope University of Naples	Parthenope University of Naples, 1, 0.58% Parthenope University of Naples 1 publication, 0.58%
University of Naples Federico II	University of Naples Federico II, 1, 0.58% University of Naples Federico II 1 publication, 0.58%
University of New South Wales	University of New South Wales, 1, 0.58% University of New South Wales 1 publication, 0.58%
Delft University of Technology	Delft University of Technology, 1, 0.58% Delft University of Technology 1 publication, 0.58%
East China University of Science and Technology	East China University of Science and Technology, 1, 0.58% East China University of Science and Technology 1 publication, 0.58%
University of Bologna	University of Bologna, 1, 0.58% University of Bologna 1 publication, 0.58%
University of Milan	University of Milan, 1, 0.58% University of Milan 1 publication, 0.58%
Université Catholique de Louvain	Université Catholique de Louvain, 1, 0.58% Université Catholique de Louvain 1 publication, 0.58%
University of Turin	University of Turin, 1, 0.58% University of Turin 1 publication, 0.58%
Nanyang Technological University	Nanyang Technological University, 1, 0.58% Nanyang Technological University 1 publication, 0.58%
Imperial College London	Imperial College London, 1, 0.58% Imperial College London 1 publication, 0.58%
Norwegian University of Science and Technology	Norwegian University of Science and Technology, 1, 0.58% Norwegian University of Science and Technology 1 publication, 0.58%
University of Cambridge	University of Cambridge, 1, 0.58% University of Cambridge 1 publication, 0.58%
Donghua University	Donghua University, 1, 0.58% Donghua University 1 publication, 0.58%
Åbo Akademi University	Åbo Akademi University, 1, 0.58% Åbo Akademi University 1 publication, 0.58%
Sorbonne University	Sorbonne University, 1, 0.58% Sorbonne University 1 publication, 0.58%
University of Edinburgh	University of Edinburgh, 1, 0.58% University of Edinburgh 1 publication, 0.58%
Gdańsk University of Technology	Gdańsk University of Technology, 1, 0.58% Gdańsk University of Technology 1 publication, 0.58%
Cornell University	Cornell University, 1, 0.58% Cornell University 1 publication, 0.58%

	1 2 3 4 5 6 7

Publishing countries

	50 100 150 200 250 300 350 400
United Kingdom	United Kingdom, 375, 34.25% United Kingdom 375 publications, 34.25%
Germany	Germany, 137, 12.51% Germany 137 publications, 12.51%
USA	USA, 136, 12.42% USA 136 publications, 12.42%
Netherlands	Netherlands, 99, 9.04% Netherlands 99 publications, 9.04%
France	France, 89, 8.13% France 89 publications, 8.13%
Italy	Italy, 72, 6.58% Italy 72 publications, 6.58%
Australia	Australia, 62, 5.66% Australia 62 publications, 5.66%
China	China, 60, 5.48% China 60 publications, 5.48%
Canada	Canada, 45, 4.11% Canada 45 publications, 4.11%
Denmark	Denmark, 39, 3.56% Denmark 39 publications, 3.56%
Spain	Spain, 26, 2.37% Spain 26 publications, 2.37%
Switzerland	Switzerland, 23, 2.1% Switzerland 23 publications, 2.1%
Sweden	Sweden, 23, 2.1% Sweden 23 publications, 2.1%
Brazil	Brazil, 21, 1.92% Brazil 21 publications, 1.92%
Finland	Finland, 21, 1.92% Finland 21 publications, 1.92%
Norway	Norway, 16, 1.46% Norway 16 publications, 1.46%
Japan	Japan, 16, 1.46% Japan 16 publications, 1.46%
Portugal	Portugal, 14, 1.28% Portugal 14 publications, 1.28%
Romania	Romania, 13, 1.19% Romania 13 publications, 1.19%
Austria	Austria, 11, 1% Austria 11 publications, 1%
Belgium	Belgium, 11, 1% Belgium 11 publications, 1%
India	India, 11, 1% India 11 publications, 1%
New Zealand	New Zealand, 10, 0.91% New Zealand 10 publications, 0.91%
Singapore	Singapore, 10, 0.91% Singapore 10 publications, 0.91%
Israel	Israel, 9, 0.82% Israel 9 publications, 0.82%
Ireland	Ireland, 8, 0.73% Ireland 8 publications, 0.73%
Czech Republic	Czech Republic, 8, 0.73% Czech Republic 8 publications, 0.73%
Poland	Poland, 7, 0.64% Poland 7 publications, 0.64%
Luxembourg	Luxembourg, 6, 0.55% Luxembourg 6 publications, 0.55%
Argentina	Argentina, 5, 0.46% Argentina 5 publications, 0.46%
Iran	Iran, 4, 0.37% Iran 4 publications, 0.37%
Tunisia	Tunisia, 4, 0.37% Tunisia 4 publications, 0.37%
South Africa	South Africa, 4, 0.37% South Africa 4 publications, 0.37%
Estonia	Estonia, 3, 0.27% Estonia 3 publications, 0.27%
Algeria	Algeria, 3, 0.27% Algeria 3 publications, 0.27%
Hungary	Hungary, 3, 0.27% Hungary 3 publications, 0.27%
Pakistan	Pakistan, 3, 0.27% Pakistan 3 publications, 0.27%
Turkey	Turkey, 3, 0.27% Turkey 3 publications, 0.27%
Republic of Korea	Republic of Korea, 2, 0.18% Republic of Korea 2 publications, 0.18%
Saudi Arabia	Saudi Arabia, 2, 0.18% Saudi Arabia 2 publications, 0.18%
Serbia	Serbia, 2, 0.18% Serbia 2 publications, 0.18%
Russia	Russia, 1, 0.09% Russia 1 publication, 0.09%
Greece	Greece, 1, 0.09% Greece 1 publication, 0.09%
Jordan	Jordan, 1, 0.09% Jordan 1 publication, 0.09%
Iraq	Iraq, 1, 0.09% Iraq 1 publication, 0.09%
Iceland	Iceland, 1, 0.09% Iceland 1 publication, 0.09%
Cameroon	Cameroon, 1, 0.09% Cameroon 1 publication, 0.09%
Colombia	Colombia, 1, 0.09% Colombia 1 publication, 0.09%
Lebanon	Lebanon, 1, 0.09% Lebanon 1 publication, 0.09%
Mauritania	Mauritania, 1, 0.09% Mauritania 1 publication, 0.09%
Malaysia	Malaysia, 1, 0.09% Malaysia 1 publication, 0.09%
Morocco	Morocco, 1, 0.09% Morocco 1 publication, 0.09%
UAE	UAE, 1, 0.09% UAE 1 publication, 0.09%
North Macedonia	North Macedonia, 1, 0.09% North Macedonia 1 publication, 0.09%
USSR	USSR, 1, 0.09% USSR 1 publication, 0.09%

	50 100 150 200 250 300 350 400

Publishing countries in 5 years

	5 10 15 20 25 30 35
United Kingdom	United Kingdom, 33, 19.3% United Kingdom 33 publications, 19.3%
Germany	Germany, 29, 16.96% Germany 29 publications, 16.96%
China	China, 22, 12.87% China 22 publications, 12.87%
USA	USA, 18, 10.53% USA 18 publications, 10.53%
Netherlands	Netherlands, 14, 8.19% Netherlands 14 publications, 8.19%
France	France, 13, 7.6% France 13 publications, 7.6%
Italy	Italy, 13, 7.6% Italy 13 publications, 7.6%
Denmark	Denmark, 9, 5.26% Denmark 9 publications, 5.26%
Australia	Australia, 5, 2.92% Australia 5 publications, 2.92%
Switzerland	Switzerland, 5, 2.92% Switzerland 5 publications, 2.92%
Sweden	Sweden, 5, 2.92% Sweden 5 publications, 2.92%
Austria	Austria, 4, 2.34% Austria 4 publications, 2.34%
India	India, 4, 2.34% India 4 publications, 2.34%
Norway	Norway, 4, 2.34% Norway 4 publications, 2.34%
Brazil	Brazil, 3, 1.75% Brazil 3 publications, 1.75%
Ireland	Ireland, 3, 1.75% Ireland 3 publications, 1.75%
Canada	Canada, 3, 1.75% Canada 3 publications, 1.75%
Singapore	Singapore, 3, 1.75% Singapore 3 publications, 1.75%
Czech Republic	Czech Republic, 3, 1.75% Czech Republic 3 publications, 1.75%
Japan	Japan, 3, 1.75% Japan 3 publications, 1.75%
Portugal	Portugal, 2, 1.17% Portugal 2 publications, 1.17%
Belgium	Belgium, 2, 1.17% Belgium 2 publications, 1.17%
Spain	Spain, 2, 1.17% Spain 2 publications, 1.17%
Luxembourg	Luxembourg, 2, 1.17% Luxembourg 2 publications, 1.17%
Algeria	Algeria, 1, 0.58% Algeria 1 publication, 0.58%
Israel	Israel, 1, 0.58% Israel 1 publication, 0.58%
Iraq	Iraq, 1, 0.58% Iraq 1 publication, 0.58%
Iran	Iran, 1, 0.58% Iran 1 publication, 0.58%
Iceland	Iceland, 1, 0.58% Iceland 1 publication, 0.58%
Morocco	Morocco, 1, 0.58% Morocco 1 publication, 0.58%
New Zealand	New Zealand, 1, 0.58% New Zealand 1 publication, 0.58%
Poland	Poland, 1, 0.58% Poland 1 publication, 0.58%
Republic of Korea	Republic of Korea, 1, 0.58% Republic of Korea 1 publication, 0.58%
Saudi Arabia	Saudi Arabia, 1, 0.58% Saudi Arabia 1 publication, 0.58%
Serbia	Serbia, 1, 0.58% Serbia 1 publication, 0.58%
Finland	Finland, 1, 0.58% Finland 1 publication, 0.58%

	5 10 15 20 25 30 35

1 publication in journal

Schlehuber-Caissier Philipp

6 publications, 73 citations

h-index: 3

	500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 4530, 32.2% Lecture Notes in Computer Science 4530 citations, 32.2%
Formal Aspects of Computing	Formal Aspects of Computing, 634, 4.51% Formal Aspects of Computing 634 citations, 4.51%
Theoretical Computer Science	Theoretical Computer Science, 364, 2.59% Theoretical Computer Science 364 citations, 2.59%
Science of Computer Programming	Science of Computer Programming, 352, 2.5% Science of Computer Programming 352 citations, 2.5%
Electronic Notes in Theoretical Computer Science	Electronic Notes in Theoretical Computer Science, 338, 2.4% Electronic Notes in Theoretical Computer Science 338 citations, 2.4%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 254, 1.81% Electronic Proceedings in Theoretical Computer Science, EPTCS 254 citations, 1.81%
Software and Systems Modeling	Software and Systems Modeling, 139, 0.99% Software and Systems Modeling 139 citations, 0.99%
International Journal on Software Tools for Technology Transfer	International Journal on Software Tools for Technology Transfer, 136, 0.97% International Journal on Software Tools for Technology Transfer 136 citations, 0.97%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 135, 0.96% IEEE Transactions on Software Engineering 135 citations, 0.96%
Proceedings of the ACM on Programming Languages	Proceedings of the ACM on Programming Languages, 133, 0.95% Proceedings of the ACM on Programming Languages 133 citations, 0.95%
Information and Computation	Information and Computation, 125, 0.89% Information and Computation 125 citations, 0.89%
Journal of Logical and Algebraic Methods in Programming	Journal of Logical and Algebraic Methods in Programming, 123, 0.87% Journal of Logical and Algebraic Methods in Programming 123 citations, 0.87%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 98, 0.7% ACM SIGPLAN Notices 98 citations, 0.7%
Journal of Systems and Software	Journal of Systems and Software, 94, 0.67% Journal of Systems and Software 94 citations, 0.67%
Communications in Computer and Information Science	Communications in Computer and Information Science, 85, 0.6% Communications in Computer and Information Science 85 citations, 0.6%
Formal Methods in System Design	Formal Methods in System Design, 74, 0.53% Formal Methods in System Design 74 citations, 0.53%
ACM Transactions on Software Engineering and Methodology	ACM Transactions on Software Engineering and Methodology, 72, 0.51% ACM Transactions on Software Engineering and Methodology 72 citations, 0.51%
IEEE Access	IEEE Access, 72, 0.51% IEEE Access 72 citations, 0.51%
Acta Informatica	Acta Informatica, 70, 0.5% Acta Informatica 70 citations, 0.5%
Information and Software Technology	Information and Software Technology, 63, 0.45% Information and Software Technology 63 citations, 0.45%
ACM Computing Surveys	ACM Computing Surveys, 59, 0.42% ACM Computing Surveys 59 citations, 0.42%
Journal of Automated Reasoning	Journal of Automated Reasoning, 56, 0.4% Journal of Automated Reasoning 56 citations, 0.4%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 53, 0.38% ACM Transactions on Programming Languages and Systems 53 citations, 0.38%
ACM Transactions on Computational Logic	ACM Transactions on Computational Logic, 48, 0.34% ACM Transactions on Computational Logic 48 citations, 0.34%
Information Processing Letters	Information Processing Letters, 46, 0.33% Information Processing Letters 46 citations, 0.33%
Mathematical Structures in Computer Science	Mathematical Structures in Computer Science, 45, 0.32% Mathematical Structures in Computer Science 45 citations, 0.32%
Innovations in Systems and Software Engineering	Innovations in Systems and Software Engineering, 44, 0.31% Innovations in Systems and Software Engineering 44 citations, 0.31%
Journal of Logic and Computation	Journal of Logic and Computation, 39, 0.28% Journal of Logic and Computation 39 citations, 0.28%
International Journal of Software Engineering and Knowledge Engineering	International Journal of Software Engineering and Knowledge Engineering, 38, 0.27% International Journal of Software Engineering and Knowledge Engineering 38 citations, 0.27%
The Journal of Logic and Algebraic Programming	The Journal of Logic and Algebraic Programming, 38, 0.27% The Journal of Logic and Algebraic Programming 38 citations, 0.27%
IFIP Advances in Information and Communication Technology	IFIP Advances in Information and Communication Technology, 35, 0.25% IFIP Advances in Information and Communication Technology 35 citations, 0.25%
Software - Practice and Experience	Software - Practice and Experience, 32, 0.23% Software - Practice and Experience 32 citations, 0.23%
Journal of Functional Programming	Journal of Functional Programming, 31, 0.22% Journal of Functional Programming 31 citations, 0.22%
Software Testing Verification and Reliability	Software Testing Verification and Reliability, 31, 0.22% Software Testing Verification and Reliability 31 citations, 0.22%
Lecture Notes in Business Information Processing	Lecture Notes in Business Information Processing, 31, 0.22% Lecture Notes in Business Information Processing 31 citations, 0.22%
Workshops in Computing	Workshops in Computing, 31, 0.22% Workshops in Computing 31 citations, 0.22%
Annals of Pure and Applied Logic	Annals of Pure and Applied Logic, 29, 0.21% Annals of Pure and Applied Logic 29 citations, 0.21%
Journal of the ACM	Journal of the ACM, 27, 0.19% Journal of the ACM 27 citations, 0.19%
Transactions on Embedded Computing Systems	Transactions on Embedded Computing Systems, 27, 0.19% Transactions on Embedded Computing Systems 27 citations, 0.19%