Automated Reasoning Series

Springer Nature

ISSN: 09271023

Journal publications in Cobalt

Are you a researcher?

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

journal names

Automated Reasoning Series

All time from 2020

Publications

Citations

265

h-index

Publications

Citations

Top-3 citing journals

Lecture Notes in Computer Science (76 citations)

Journal of Automated Reasoning (12 citations)

IEEE/ACM Transactions on Networking (4 citations)

Top-3 organizations

York University (8 publications)

Argonne National Laboratory (2 publications)

University of Texas at Austin (2 publications)

Top-3 countries

USA (12 publications)

Canada (8 publications)

Germany (2 publications)

Most cited in 5 years

Found

Publication title

Found

Top-100

Citing journals

Citing publishers

	20 40 60 80 100 120 140
Springer Nature	Springer Nature, 124, 46.79% Springer Nature 124 citations, 46.79%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 47, 17.74% Institute of Electrical and Electronics Engineers (IEEE) 47 citations, 17.74%
Elsevier	Elsevier, 20, 7.55% Elsevier 20 citations, 7.55%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 10, 3.77% Association for Computing Machinery (ACM) 10 citations, 3.77%
Wiley	Wiley, 7, 2.64% Wiley 7 citations, 2.64%
Cambridge University Press	Cambridge University Press, 2, 0.75% Cambridge University Press 2 citations, 0.75%
Taylor & Francis	Taylor & Francis, 2, 0.75% Taylor & Francis 2 citations, 0.75%
Oxford University Press	Oxford University Press, 2, 0.75% Oxford University Press 2 citations, 0.75%
Institution of Engineering and Technology (IET)	Institution of Engineering and Technology (IET), 2, 0.75% Institution of Engineering and Technology (IET) 2 citations, 0.75%
proceedings of the vldb endowment	proceedings of the vldb endowment, 2, 0.75% proceedings of the vldb endowment 2 citations, 0.75%
MDPI	MDPI, 1, 0.38% MDPI 1 citation, 0.38%
Society of Exploration Geophysicists	Society of Exploration Geophysicists, 1, 0.38% Society of Exploration Geophysicists 1 citation, 0.38%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 1, 0.38% electronic proceedings in theoretical computer science, eptcs 1 citation, 0.38%
Hindawi Limited	Hindawi Limited, 1, 0.38% Hindawi Limited 1 citation, 0.38%
IGI Global	IGI Global, 1, 0.38% IGI Global 1 citation, 0.38%
Research Square Platform LLC	Research Square Platform LLC, 1, 0.38% Research Square Platform LLC 1 citation, 0.38%
The Japanese Society for Artificial Intelligence	The Japanese Society for Artificial Intelligence, 1, 0.38% The Japanese Society for Artificial Intelligence 1 citation, 0.38%
	20 40 60 80 100 120 140

Publishing organizations

	1 2 3 4 5 6 7 8
York University	York University, 8, 34.78% York University 8 publications, 34.78%
Argonne National Laboratory	Argonne National Laboratory, 2, 8.7% Argonne National Laboratory 2 publications, 8.7%
University of Texas at Austin	University of Texas at Austin, 2, 8.7% University of Texas at Austin 2 publications, 8.7%
University of Edinburgh	University of Edinburgh, 1, 4.35% University of Edinburgh 1 publication, 4.35%
Northwestern University	Northwestern University, 1, 4.35% Northwestern University 1 publication, 4.35%
Duke University	Duke University, 1, 4.35% Duke University 1 publication, 4.35%
Syracuse University	Syracuse University, 1, 4.35% Syracuse University 1 publication, 4.35%
University of California, Berkeley	University of California, Berkeley, 1, 4.35% University of California, Berkeley 1 publication, 4.35%
University of Kaiserslautern-Landau	University of Kaiserslautern-Landau, 1, 4.35% University of Kaiserslautern-Landau 1 publication, 4.35%
Darmstadt University of Applied Sciences	Darmstadt University of Applied Sciences, 1, 4.35% Darmstadt University of Applied Sciences 1 publication, 4.35%
University of Maryland, College Park	University of Maryland, College Park, 1, 4.35% University of Maryland, College Park 1 publication, 4.35%
University of Texas at El Paso	University of Texas at El Paso, 1, 4.35% University of Texas at El Paso 1 publication, 4.35%
University of São Paulo	University of São Paulo, 1, 4.35% University of São Paulo 1 publication, 4.35%
	1 2 3 4 5 6 7 8

Publishing countries

	2 4 6 8 10 12
USA	USA, 12, 52.17% USA 12 publications, 52.17%
Canada	Canada, 8, 34.78% Canada 8 publications, 34.78%
Germany	Germany, 2, 8.7% Germany 2 publications, 8.7%
Brazil	Brazil, 1, 4.35% Brazil 1 publication, 4.35%
United Kingdom	United Kingdom, 1, 4.35% United Kingdom 1 publication, 4.35%
Japan	Japan, 1, 4.35% Japan 1 publication, 4.35%
	2 4 6 8 10 12

	10 20 30 40 50 60 70 80
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 76, 28.68% Lecture Notes in Computer Science 76 citations, 28.68%
Journal of Automated Reasoning	Journal of Automated Reasoning, 12, 4.53% Journal of Automated Reasoning 12 citations, 4.53%
IEEE/ACM Transactions on Networking	IEEE/ACM Transactions on Networking, 4, 1.51% IEEE/ACM Transactions on Networking 4 citations, 1.51%
Algorithmica	Algorithmica, 4, 1.51% Algorithmica 4 citations, 1.51%
Concurrency Computation Practice and Experience	Concurrency Computation Practice and Experience, 2, 0.75% Concurrency Computation Practice and Experience 2 citations, 0.75%
IEEE Annals of the History of Computing	IEEE Annals of the History of Computing, 2, 0.75% IEEE Annals of the History of Computing 2 citations, 0.75%
Proceedings of the VLDB Endowment	Proceedings of the VLDB Endowment, 2, 0.75% Proceedings of the VLDB Endowment 2 citations, 0.75%
International Journal of Remote Sensing	International Journal of Remote Sensing, 2, 0.75% International Journal of Remote Sensing 2 citations, 0.75%
New Generation Computing	New Generation Computing, 2, 0.75% New Generation Computing 2 citations, 0.75%
Annals of Mathematics and Artificial Intelligence	Annals of Mathematics and Artificial Intelligence, 2, 0.75% Annals of Mathematics and Artificial Intelligence 2 citations, 0.75%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 2, 0.75% IEEE Transactions on Software Engineering 2 citations, 0.75%
VLDB Journal	VLDB Journal, 2, 0.75% VLDB Journal 2 citations, 0.75%
Computational Intelligence	Computational Intelligence, 2, 0.75% Computational Intelligence 2 citations, 0.75%
Robotics and Autonomous Systems	Robotics and Autonomous Systems, 1, 0.38% Robotics and Autonomous Systems 1 citation, 0.38%
ACM Transactions on Database Systems	ACM Transactions on Database Systems, 1, 0.38% ACM Transactions on Database Systems 1 citation, 0.38%
Artificial Intelligence in Medicine	Artificial Intelligence in Medicine, 1, 0.38% Artificial Intelligence in Medicine 1 citation, 0.38%
Eurasip Journal on Advances in Signal Processing	Eurasip Journal on Advances in Signal Processing, 1, 0.38% Eurasip Journal on Advances in Signal Processing 1 citation, 0.38%
Knowledge Engineering Review	Knowledge Engineering Review, 1, 0.38% Knowledge Engineering Review 1 citation, 0.38%
Neurocomputing	Neurocomputing, 1, 0.38% Neurocomputing 1 citation, 0.38%
Mathematics and Computers in Simulation	Mathematics and Computers in Simulation, 1, 0.38% Mathematics and Computers in Simulation 1 citation, 0.38%
Entertainment Computing	Entertainment Computing, 1, 0.38% Entertainment Computing 1 citation, 0.38%
Safety Science	Safety Science, 1, 0.38% Safety Science 1 citation, 0.38%
Journal of Computer Science and Technology	Journal of Computer Science and Technology, 1, 0.38% Journal of Computer Science and Technology 1 citation, 0.38%
Expert Systems with Applications	Expert Systems with Applications, 1, 0.38% Expert Systems with Applications 1 citation, 0.38%
Philosophia Mathematica	Philosophia Mathematica, 1, 0.38% Philosophia Mathematica 1 citation, 0.38%
International Journal of Network Management	International Journal of Network Management, 1, 0.38% International Journal of Network Management 1 citation, 0.38%
ACM Transactions on Reconfigurable Technology and Systems	ACM Transactions on Reconfigurable Technology and Systems, 1, 0.38% ACM Transactions on Reconfigurable Technology and Systems 1 citation, 0.38%
Algorithms for Molecular Biology	Algorithms for Molecular Biology, 1, 0.38% Algorithms for Molecular Biology 1 citation, 0.38%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 1, 0.38% ACM SIGPLAN Notices 1 citation, 0.38%
World Wide Web	World Wide Web, 1, 0.38% World Wide Web 1 citation, 0.38%
Wireless Personal Communications	Wireless Personal Communications, 1, 0.38% Wireless Personal Communications 1 citation, 0.38%
Journal of Infrared, Millimeter, and Terahertz Waves	Journal of Infrared, Millimeter, and Terahertz Waves, 1, 0.38% Journal of Infrared, Millimeter, and Terahertz Waves 1 citation, 0.38%
Outstanding Contributions to Logic	Outstanding Contributions to Logic, 1, 0.38% Outstanding Contributions to Logic 1 citation, 0.38%
Formal Methods in System Design	Formal Methods in System Design, 1, 0.38% Formal Methods in System Design 1 citation, 0.38%
Computer Methods and Programs in Biomedicine	Computer Methods and Programs in Biomedicine, 1, 0.38% Computer Methods and Programs in Biomedicine 1 citation, 0.38%
Computers and Mathematics with Applications	Computers and Mathematics with Applications, 1, 0.38% Computers and Mathematics with Applications 1 citation, 0.38%
Journal of Intelligent Manufacturing	Journal of Intelligent Manufacturing, 1, 0.38% Journal of Intelligent Manufacturing 1 citation, 0.38%
Knowledge and Information Systems	Knowledge and Information Systems, 1, 0.38% Knowledge and Information Systems 1 citation, 0.38%
Progress in Artificial Intelligence	Progress in Artificial Intelligence, 1, 0.38% Progress in Artificial Intelligence 1 citation, 0.38%