[You are here:] Home : Subject Guides : Informatics:

Informatics journals

This page lists the School's Current Subscriptions and Donations. Details are organised alphabetically as follows:

[Journal Title] - [Publisher], via [Online Provider]

The subscriptions below make up part of over 21,000 journals available to the University. To search across these, or for holdings information for Informatics subscriptions:

Search the eJournals Portal - for online holdings

  • Search or Browse by Title; search by ISSN or browse by subject category

Search the Library Catalogue - for print holdings

  • Search for the Title of the Journal, Book or Conference NOT the article title, book chapter, or conference paper (limit by document type if you wish to narrow your search)
  • For further details of how to search the Library Catalogue, visit the How To... page.

If you have not already done so, you may wish to find which Journals hold articles relevant to your research, by conducting a search in one or more online literature databases. Where we do not hold a subscription to the Title, there are several ways of obtaining the full-text.

Unless stated otherwise on the Subject Guide, on-campus access (on the University Network) will have no access restrictions, while off-campus access will require the use of the Virtual Private Network (VPN) or your EASE username and password. See the Access page for further details. If you have any queries regarding access, please email Sarah Kelly (Liaison Librarian).

If you wish to recommend a new journal subscription, please send details to Marcelo Cintra (School Library Representative) and your recommendation will be reviewed by the School Library Committee.

Current subscriptions

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

A

ACM Computing Surveys (CSUR) - ACM, via ACM Portal
ACM Journal of Computer Documentation (JCD) - ACM, via ACM Portal
ACM Journal on Emerging Technologies in Computing Systems (JETC) - ACM, via ACM Portal
ACM Magazines - ACM, via ACM Portal
ACM Transactions - ACM, via ACM Portal
ACM Proceedings - ACM, via ACM Portal
ACM Newsletters - ACM, via ACM Portal
ACM Special Interest Groups (SIGs) - ACM, via ACM Portal
Acta Informatica (current and archive) - Springer, via SpringerLink
Adaptive Behaviour - Sage Publications, via Swetswise
Advanced Engineering Informatics - Elsevier, via ScienceDirect [formerly known as Artificial Intelligence in Engineering]
Advanced Robotics - Koninklijke Brill, via IngentaConnect
AI and Society (current and archive) - Springer, via SpringerLink
AI Communications - IOS Press, via Swetswise
AI EDAM: Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Cambridge University Press, via Cambridge Journals Online
Annals of Mathematics and Artificial Intelligence - Springer, via SpringerLink
Annals of Pure and Applied Logic - Elsevier, via ScienceDirect [formerly known as Annals of Mathematical Logic (print only)]
Application Development Trends - Software Productivity Group (print only)
Applied Artificial Intelligence - Taylor and Francis, via IngentaConnect
Applied Intelligence (current and archive) - Springer, via SpringerLink
Artificial Intelligence (current and archive) - Elsevier, via ScienceDirect
Artificial Intelligence in Medicine (current and archive) - Elsevier, via ScienceDirect
Artificial Life - MIT Press, via Ingenta Select (part of MIT CogNet collection)
Artificial Life and Robotics - Springer, via SpringerLink
Association for Computing Machinery - see ACM
Automated Software Engineering (current and archive) - Springer, via SpringerLink
Autonomous Robots (current and archive) - Springer, via SpringerLink

Back to the top

B

Behavioral and Brain Sciences - Cambridge University Press, via Cambridge Journals Online
Behaviour and Information Technology - Taylor and Francis, via IngentaConnect
Behavior Research Methods - to be arranged
Biological Cybernetics (current and archive) - Springer, via SpringerLink
BIT (current and archive) - Springer, via SpringerLink

Back to the top

C

CALICO Journal - Computer Assisted Language Instruction Consortium (Vol. 1/1, 1983 - Vol. 17/3, 2000)
Cerebral Cortex - Oxford University Press, via Oxford Journals Online
Cognition and Instruction - Lawrence Erlbaum Associates, via Swetswise
Cognitive Development - Elsevier, via ScienceDirect
Cognitive Linguistics - Walter de Gruyter, via Swetswise
Cognitive Neuropsychology - Psychology Press, via IngentaConnect
Cognitive Science - Ablex Publishing/Elsevier, via ScienceDirect
Combinatorica (current and archive) - Springer, via SpringerLink
Computational Intelligence - Blackwell, via Ingenta
Computational Linguistics - MIT Press, via Ingenta Select (part of MIT CogNet collection)
Computer Assisted Language Learning - Swets & Zeitlinger, via Swetswise
Computer Networks (current and archive) - Elsevier, via ScienceDirect [formerly known as Computer Networks and ISDN Systems]
Computer Speech & Language - Academic Press/Elsevier, via ScienceDirect
Computer Vision and Image Understanding - Academic Press/Elsevier, via ScienceDirect [formerly known as CVGIP: Image Understanding]
Concurrency and Computation - Wiley, via Wiley InterScience
Connection Science - Carfax/Taylor and Francis, via IngentaConnect
Consciousness and Cognition - Academic Press/Elsevier, via ScienceDirect

Back to the top

D

Decision Support Systems (current and archive) - Elsevier, ScienceDirect
Developmental Science - Blackwell, via IngentaConnect
Discourse Processes - Lawrence Erlbaum, via Swetswise
Discrete Applied Mathematics - Elsevier, via ScienceDirect
Distributed Computing (current and archive) - Springer, via SpringerLink

Back to the top

E

Electronics World and Wireless World - Reed (available online, looking into costs)
Erkenntnis (current and archive) - Springer, via SpringerLink
Evolutionary Computation - MIT Press, via IngentaConnect (part of MIT CogNet collection)
Expert Systems with Applications - Pergamon/Elsevier, via ScienceDirect

Back to the top

F

Formal Aspects of Computing (current and archive) - Springer, via SpringerLink
Formal Methods in System Design (current and archive) - Kluwer/Springer, via SpringerLink
Future Generation Computer Systems - Elsevier, via ScienceDirect

Back to the top

H

Higher-Order and Symbolic Computation (current and archive) - Kluwer/Springer, via SpringerLink [formerly LISP and Symbolic Computation]
Hippocampus - Wiley, via Wiley InterScience
History and Philosophy of Logic - Taylor and Francis, via Ingenta Select
Human Brain Mapping - Wiley, via Wiley InterScience
Human Computer Interaction - Lawrence Erlbaum, via Swetswise

Back to the top

I

IBM Systems Journal - International Business Machines Corp
IEE - IEE, via IEEEXplore (part of IEL subscription, click here for full list of Journal Titles, Conference Proceedings)
IEEE - IEEE, via IEEEXplore (part of IEL subscription, click here for full list of Journal Titles, Conference Proceedings)
Information and Computation (current and archive)- Academic Press/Elsevier, via ScienceDirect [formerly known as Information and Control (print only)]
Information and Organization - Elsevier, via ScienceDirect [formerly known as Accounting, Management and Information Technologies]
Information Design Journal plus Document Design - John Benjamins, via Swetswise
Information Processing & Management (current and archive) - Pergamon/Elsevier, via ScienceDirect [formerly known as Information Storage and Retrieval]
Information Processing Letters (current and archive) - Elsevier, via ScienceDirect
Information Systems (current and archive) - Pergamon/Elsevier, via ScienceDirect
Instructional Science (current and archive) - Kluwer/Springer, via SpringerLink
Integration: the VLSI journal (current and archive)- Elsevier, via ScienceDirect
Interactive Learning Environments - Swets & Zeitlinger, via Swetswise
International Journal of Approximate Reasoning (current and archive)- Elsevier, via ScienceDirect
International Journal of Artificial Intelligence in Education - International AIED Society, via IOSPress
International Journal of Computer Vision and International Journal of Computer Vision (Archives) - Kluwer/Springer, via SpringerLink
International Journal of Expert Systems, The
International Journal of Foundations of Computer Science - World Scientific Publishing Co., via WorldScinet
International Journal of High Performance Computing Applications - Sage, via Swetswise
International Journal of Human-Computer Interaction - Erlbaum Associates, via Swetswise
International Journal of Human-Computer Studies (current and archive) - Elsevier, via ScienceDirect
International Journal of Neural Systems - World Scientific Publishing Co., via WorldSciNet
International Journal of Parallel Programming (current and archive) - Kluwer/Springer, via SpringerLink
International Journal of Parallel Emergent and Distributed Systems (ISSN: 1744-5760) - Taylor & Francis, via Swetswise
International Journal of Robotics Research - Sage Publications, via Swetswise
International Journal on Software Tools for Technology Transfer - Springer, via SpringerLink

Back to the top

J

Journal of Algorithms (current and archive) - Academic Press/Elsevier, via ScienceDirect (Vol.1, 1980-)
Journal of Applied Non-Classical Logics - Hermes (available online, looking into costs)
Journal of Automated Reasoning (current and archive) - Kluwer/Springer, via SpringerLink
Journal of Cognitive Neuroscience - MIT Press, via IngentaConnect (part of MIT CogNet collection)
Journal of Combinational Theory Series A - Elsevier, via ScienceDirect
Journal of Complexity - Academic Press/Elsevier, via ScienceDirect
Journal of Computer and System Sciences (current and archives) - Academic Press/Elsevier, via ScienceDirect
Journal of Experimental Algorithmics (JEA) - ACM, via ACM Portal
Journal of Experimental & Theoretical Artificial Intelligence - Taylor and Francis, via Ingenta Select
Journal of Functional Programming - Cambridge University Press (CUP), via Cambridge Journals Online
Journal of Grid Computing - Kluwer/Springer, via SpringerLink
Journal of Integrative Neuroscience - World Scientific Publishing Co., via WorldSciNet
Journal of Logic and Computation - Oxford University Press (OUP), via Oxford Journals Online
Journal of Logic, Language and Information (current and archive) - Kluwer/Springer, via SpringerLink
Journal of Machine Learning Research - MIT Press, via MIT CogNet (part of MIT CogNet collection)
Journal of Parallel and Distributed Computing (current and archives) - Academic Press/Elsevier, via ScienceDirect
Journal of Robotic Systems - Wiley, via Wiley Interscience
Journal of Semantics - OUP, via Oxford Journals Online
Journal of Supercomputing, The (current and archive) - Kluwer/Springer, via SpringerLink
Journal of Symbolic Computation - Academic Press/Elsevier, via ScienceDirect
Journal of the ACM (JACM) - ACM, via ACM Portal
Journal of the Learning Sciences - Lawrence Erlbaum, via Swetswise
Journal of Visual Languages & Computing (current and archives) - Academic Press/Elsevier, via ScienceDirect
Journal on Educational Resources in Computing (JERIC) - ACM, via ACM Portal

Back to the top

K

Knowledge Engineering Review, The - Cambridge University Press, via Cambridge Journals Online
Knowledge-Based Systems (current and archives)- Elsevier, via ScienceDirect

Back to the top

L

Language and Cognitive Processes - VNU, via IngentaConnect
Laterality - Psychology Press, via Swetswise
Lecture Notes in Computer Science (LNCS) - Springer, via SpringerLink (some volumes not yet available online)
Linguistic Inquiry - MIT Press, via MIT CogNet (part of MIT CogNet collection)
Linguistic Review - Walter de Gruyter & Co, via Swetswise
LISP and Symbolic Computation - now Higher-Order and Symbolic Computation

Back to the top

M

Machine Learning (current and archive) - Kluwer/Springer, via SpringerLink
Machine Translation (current and archive)- Kluwer/Springer, via SpringerLink
Machine Vision and Applications (current and archive) - Springer, via SpringerLink
Mathematical Structures in Computer Science - CUP, via Cambridge Journals Online
Mathematics of Computation - American Mathematical Society, via JSTOR (continues Mathematical Tables and Other Aids to Computation) (from Vols. 14, 1960 - (except last 5 years))
Minds and Machines (current and archive) - Kluwer/Springer, via SpringerLink

Back to the top

N

Natural Language & Linguistic Theory (current and archive) - Kluwer, via SpringerLink
Natural Language Engineering - Cambridge University Press, via Cambridge Journals Online
Natural Language Semantics and Archives- Kluwer/Springer, via SpringerLink
Network: computation in neural systems - Institute of Physics Publishing (IOP), via Swetswise
Neural Computation - MIT Press, via IngentaConnect (part of MIT CogNet collection)
Neural Computing and Applications and Archives - Springer, via SpringerLink
Neuroinformatics - Humana Press Inc., via HumanaJournals
New Generation Computing - Ohmsha Ltd (print only)

Back to the top

P

Parallel Algorithms and Applications - Taylor and Francis, via T&F website
Parallel Computing - Elsevier, via ScienceDirect
Parallel Processing Letters - World Scientific, via WorldSciNet
Performance Evaluation - Elsevier, via ScienceDirect
Philosophical Psychology - Routledge/Taylor & Francis, via IngentaConnect
Pragmatics and Cognition - Benjamins, via Swetswise

Back to the top

R

Robotica - CUP, via Cambridge Journals Online
Robotics and Autonomous Systems - Elsevier, via ScienceDirect (from Vol 4, 1988-) [formerly known as Robotics]
Robotics and Computer Integrated Manufacturing - Pergamon/Elsevier, via ScienceDirect [incorporating Computer Integrated Manufacturing Systems]

Back to the top

S


SIAM Journal on Computing - Society for Industrial and Applied Mathematics, via SIAM Journals Online
Simulation Modelling Practice and Theory - Elsevier, via ScienceDirect (from Vol.10, 2002-) [formerly known as Simulation Practice and Theory]
Small Group Research - Sage Publications, via Swetswise
Software: practice and experience - Wiley, via Wiley InterScience
Software and Systems Modeling - Springer, via SpringerLink
Syntax : a journal of theoretical, experimental, and interdisciplinary research - Blackwell, via IngentaConnect

Back to the top

T

Theoretical Computer Science - Elsevier, via ScienceDirect
Theory and Practice of Logic Programming - CUP, via Cambridge Journals Online
Theory of Computing Systems and Archives - Springer, via SpringerLink
Thinking and Reasoning - Psychology Press, via Ingenta Select
Trends in Cognitive Sciences - Elsevier, via ScienceDirect

Back to the top

U

User Modeling and User-Adapted Interaction (current and archive) - Kluwer/Springer, via SpringerLink

Back to the top

Y

Yearbook of Morphology (print only)

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

 

Donations

AISB newsletter (print only)
AISB journal (print only)
AI Magazine (print only)
Journal of Symbolic Logic - Association for Symbolic Logic, via JSTOR