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

258

h-index

Top-3 citing journals

Lecture Notes in Computer Science (75 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

By date By citations

Publication title from 3 chars

Since

For

By date

By citations

Copy link

Publications found: 0

	20 40 60 80 100 120 140
Springer Nature	Springer Nature, 122, 47.29% Springer Nature 122 citations, 47.29%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 42, 16.28% Institute of Electrical and Electronics Engineers (IEEE) 42 citations, 16.28%
Elsevier	Elsevier, 20, 7.75% Elsevier 20 citations, 7.75%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 10, 3.88% Association for Computing Machinery (ACM) 10 citations, 3.88%
Wiley	Wiley, 7, 2.71% Wiley 7 citations, 2.71%
Cambridge University Press	Cambridge University Press, 2, 0.78% Cambridge University Press 2 citations, 0.78%
Taylor & Francis	Taylor & Francis, 2, 0.78% Taylor & Francis 2 citations, 0.78%
Oxford University Press	Oxford University Press, 2, 0.78% Oxford University Press 2 citations, 0.78%
Institution of Engineering and Technology (IET)	Institution of Engineering and Technology (IET), 2, 0.78% Institution of Engineering and Technology (IET) 2 citations, 0.78%
proceedings of the vldb endowment	proceedings of the vldb endowment, 2, 0.78% proceedings of the vldb endowment 2 citations, 0.78%
MDPI	MDPI, 1, 0.39% MDPI 1 citation, 0.39%
Society of Exploration Geophysicists	Society of Exploration Geophysicists, 1, 0.39% Society of Exploration Geophysicists 1 citation, 0.39%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 1, 0.39% electronic proceedings in theoretical computer science, eptcs 1 citation, 0.39%
Hindawi Limited	Hindawi Limited, 1, 0.39% Hindawi Limited 1 citation, 0.39%
IGI Global	IGI Global, 1, 0.39% IGI Global 1 citation, 0.39%
Research Square Platform LLC	Research Square Platform LLC, 1, 0.39% Research Square Platform LLC 1 citation, 0.39%
The Japanese Society for Artificial Intelligence	The Japanese Society for Artificial Intelligence, 1, 0.39% The Japanese Society for Artificial Intelligence 1 citation, 0.39%
	20 40 60 80 100 120 140

	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%
	1 2 3 4 5 6 7 8

	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

Automated Reasoning Series

Are you a researcher?

Most cited in 5 years

Top-100

Citing journals

Citing publishers

Publishing organizations

Publishing countries

	10 20 30 40 50 60 70 80
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 75, 29.07% Lecture Notes in Computer Science 75 citations, 29.07%
Journal of Automated Reasoning	Journal of Automated Reasoning, 12, 4.65% Journal of Automated Reasoning 12 citations, 4.65%
IEEE/ACM Transactions on Networking	IEEE/ACM Transactions on Networking, 4, 1.55% IEEE/ACM Transactions on Networking 4 citations, 1.55%
Algorithmica	Algorithmica, 4, 1.55% Algorithmica 4 citations, 1.55%
Concurrency Computation Practice and Experience	Concurrency Computation Practice and Experience, 2, 0.78% Concurrency Computation Practice and Experience 2 citations, 0.78%
IEEE Annals of the History of Computing	IEEE Annals of the History of Computing, 2, 0.78% IEEE Annals of the History of Computing 2 citations, 0.78%
Proceedings of the VLDB Endowment	Proceedings of the VLDB Endowment, 2, 0.78% Proceedings of the VLDB Endowment 2 citations, 0.78%
International Journal of Remote Sensing	International Journal of Remote Sensing, 2, 0.78% International Journal of Remote Sensing 2 citations, 0.78%
New Generation Computing	New Generation Computing, 2, 0.78% New Generation Computing 2 citations, 0.78%
Annals of Mathematics and Artificial Intelligence	Annals of Mathematics and Artificial Intelligence, 2, 0.78% Annals of Mathematics and Artificial Intelligence 2 citations, 0.78%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 2, 0.78% IEEE Transactions on Software Engineering 2 citations, 0.78%
VLDB Journal	VLDB Journal, 2, 0.78% VLDB Journal 2 citations, 0.78%
Computational Intelligence	Computational Intelligence, 2, 0.78% Computational Intelligence 2 citations, 0.78%
Robotics and Autonomous Systems	Robotics and Autonomous Systems, 1, 0.39% Robotics and Autonomous Systems 1 citation, 0.39%
ACM Transactions on Database Systems	ACM Transactions on Database Systems, 1, 0.39% ACM Transactions on Database Systems 1 citation, 0.39%
Artificial Intelligence in Medicine	Artificial Intelligence in Medicine, 1, 0.39% Artificial Intelligence in Medicine 1 citation, 0.39%
Eurasip Journal on Advances in Signal Processing	Eurasip Journal on Advances in Signal Processing, 1, 0.39% Eurasip Journal on Advances in Signal Processing 1 citation, 0.39%
Knowledge Engineering Review	Knowledge Engineering Review, 1, 0.39% Knowledge Engineering Review 1 citation, 0.39%
Neurocomputing	Neurocomputing, 1, 0.39% Neurocomputing 1 citation, 0.39%
Mathematics and Computers in Simulation	Mathematics and Computers in Simulation, 1, 0.39% Mathematics and Computers in Simulation 1 citation, 0.39%
Entertainment Computing	Entertainment Computing, 1, 0.39% Entertainment Computing 1 citation, 0.39%
Safety Science	Safety Science, 1, 0.39% Safety Science 1 citation, 0.39%
Journal of Computer Science and Technology	Journal of Computer Science and Technology, 1, 0.39% Journal of Computer Science and Technology 1 citation, 0.39%
Expert Systems with Applications	Expert Systems with Applications, 1, 0.39% Expert Systems with Applications 1 citation, 0.39%
Philosophia Mathematica	Philosophia Mathematica, 1, 0.39% Philosophia Mathematica 1 citation, 0.39%
International Journal of Network Management	International Journal of Network Management, 1, 0.39% International Journal of Network Management 1 citation, 0.39%
ACM Transactions on Reconfigurable Technology and Systems	ACM Transactions on Reconfigurable Technology and Systems, 1, 0.39% ACM Transactions on Reconfigurable Technology and Systems 1 citation, 0.39%
Algorithms for Molecular Biology	Algorithms for Molecular Biology, 1, 0.39% Algorithms for Molecular Biology 1 citation, 0.39%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 1, 0.39% ACM SIGPLAN Notices 1 citation, 0.39%
World Wide Web	World Wide Web, 1, 0.39% World Wide Web 1 citation, 0.39%
Wireless Personal Communications	Wireless Personal Communications, 1, 0.39% Wireless Personal Communications 1 citation, 0.39%
Journal of Infrared, Millimeter, and Terahertz Waves	Journal of Infrared, Millimeter, and Terahertz Waves, 1, 0.39% Journal of Infrared, Millimeter, and Terahertz Waves 1 citation, 0.39%
Outstanding Contributions to Logic	Outstanding Contributions to Logic, 1, 0.39% Outstanding Contributions to Logic 1 citation, 0.39%
Formal Methods in System Design	Formal Methods in System Design, 1, 0.39% Formal Methods in System Design 1 citation, 0.39%
Computer Methods and Programs in Biomedicine	Computer Methods and Programs in Biomedicine, 1, 0.39% Computer Methods and Programs in Biomedicine 1 citation, 0.39%
Computers and Mathematics with Applications	Computers and Mathematics with Applications, 1, 0.39% Computers and Mathematics with Applications 1 citation, 0.39%
Journal of Intelligent Manufacturing	Journal of Intelligent Manufacturing, 1, 0.39% Journal of Intelligent Manufacturing 1 citation, 0.39%
Knowledge and Information Systems	Knowledge and Information Systems, 1, 0.39% Knowledge and Information Systems 1 citation, 0.39%
Progress in Artificial Intelligence	Progress in Artificial Intelligence, 1, 0.39% Progress in Artificial Intelligence 1 citation, 0.39%
Topoi	Topoi, 1, 0.39% Topoi 1 citation, 0.39%
IEEE Transactions on Evolutionary Computation	IEEE Transactions on Evolutionary Computation, 1, 0.39% IEEE Transactions on Evolutionary Computation 1 citation, 0.39%
Review of Symbolic Logic	Review of Symbolic Logic, 1, 0.39% Review of Symbolic Logic 1 citation, 0.39%
Electronics Letters	Electronics Letters, 1, 0.39% Electronics Letters 1 citation, 0.39%
Intelligent Systems Reference Library	Intelligent Systems Reference Library, 1, 0.39% Intelligent Systems Reference Library 1 citation, 0.39%
Nano Energy	Nano Energy, 1, 0.39% Nano Energy 1 citation, 0.39%
Transactions of the Japanese Society for Artificial Intelligence	Transactions of the Japanese Society for Artificial Intelligence, 1, 0.39% Transactions of the Japanese Society for Artificial Intelligence 1 citation, 0.39%
Frontiers of Computer Science	Frontiers of Computer Science, 1, 0.39% Frontiers of Computer Science 1 citation, 0.39%
IEEE Transactions on Neural Networks	IEEE Transactions on Neural Networks, 1, 0.39% IEEE Transactions on Neural Networks 1 citation, 0.39%
IEE Proceedings - Control Theory and Applications	IEE Proceedings - Control Theory and Applications, 1, 0.39% IEE Proceedings - Control Theory and Applications 1 citation, 0.39%
Modeling Earth Systems and Environment	Modeling Earth Systems and Environment, 1, 0.39% Modeling Earth Systems and Environment 1 citation, 0.39%
ACM SIGCSE Bulletin	ACM SIGCSE Bulletin, 1, 0.39% ACM SIGCSE Bulletin 1 citation, 0.39%
Text, Speech and Language Technology	Text, Speech and Language Technology, 1, 0.39% Text, Speech and Language Technology 1 citation, 0.39%
Studies in Classification, Data Analysis, and Knowledge Organization	Studies in Classification, Data Analysis, and Knowledge Organization, 1, 0.39% Studies in Classification, Data Analysis, and Knowledge Organization 1 citation, 0.39%
Perspectives in Neural Computing	Perspectives in Neural Computing, 1, 0.39% Perspectives in Neural Computing 1 citation, 0.39%
The Logic Programming Paradigm	The Logic Programming Paradigm, 1, 0.39% The Logic Programming Paradigm 1 citation, 0.39%
Parallel Processing for Artificial Intelligence 3	Parallel Processing for Artificial Intelligence 3, 1, 0.39% Parallel Processing for Artificial Intelligence 3 1 citation, 0.39%
Show all (26 more)
	10 20 30 40 50 60 70 80