\ Electronic Publishing

Information about Electronic Publishing

This page contains information about electronic publishing in general, links to publishing houses, on-line bibliographies, and indices of on-line publications.

Search Engines etc:

Paper indices and archives:

DBLP
Search PDF, Adobes search engine, covering ACM published paper etc
On-line CS Techreports @ CMU
Computer Science Technical Reports Archive Sites @ Monash Univ
The Directory of Computing Science Journals (cache)
SEL-HPC Article Archive (located in London) (section on Functional Programming)

Local resources (available only at LMU):

Electronic publications at the Uni Bibliothek

Journals, and collections of papers:

ACM Toplas
ACM SIGPLAN (with links to POPL, IFCP etc)
ACM TOCL, Transactions on Computational Logic
The Computer Journal, Oxford University Press
Journal of Functional Programming, Cambridge University Press (JFP@GLA)
Logical Methods in Computer Science
Linear Logic Papers (spin-off of the Research Festival)
Higher-Order and Symbolic Computation, Kluwer
Information Processing Letters, Elsevier Science (with index, no abstracts, no papers)
Journal of Computational Science, Elsevier (launched Sep'09)
Science Of Computer Programming, Elsevier Science (with index, no abstracts, no papers)
Theoretical Computer Science (old URL), Elsevier Science (with index, no abstracts, no papers)
Electronic Notes in Theoretical Computer Science, Elsevier (Science Direct)
EPTCS Electronic Proceedings in Theoretic Computer Science
Future Generations Computer Systems, Elsevier Science (with index, no abstracts, no papers)
Parallel Computing, Elsevier Science (with index, no abstracts, no papers)
Parallel Processing Letters, World Scientific
International Journal of Supercompter Applications, MIT Press (with index and abstracts, no papers)
Journal of Functional and Logic Programming, MIT Press (on-line Journal)
Journal of Parallel and Distributed Computing, Academic Press
Journal of Pure and Applied Logic, Elsevier
Journal of Symbolic Computation, Elsevier (old homepage) (JSC online, Editor's JSC page, Special Issue on Parallel Symbolic Computation (21) 4, AP's Journal page)
SAC Newsletter (symbolic and algebraic computation)
International Journal of Parallel Programming, Kluwer
Journal of Grid Computing, Kluwer
Cluster Computing, Kluwer
Hyper Bulletin of EATCS
Electronic Notes in Theoretical Computer Science, Elsevier
Journal of Automated Reasoning, Kluwer
Journal of Formalised Reasoning
Journal of Computer Science, ANSI Journals
Journal of Universal Computer Science
Formal Methods Letter

Information on electronic publishing (list of publishers):

Leibniz International Proceedings in Informatics (LIPIcs)
The Directory of Computing Science Journals ( cache)
Springer Home Page, ([Springer Link], Browse LNCS, Springer London, LaTeX packages, LNCS Index, Springer's LNCS page)
Springer eWiC Series (Submission Guidelines)
Elsevier Science Home Page ( Index of Computer Science Journals)
Kluwer (Kluwer online)
Academic Press Home Page ( Index of Computer Science Journals, IDEAL)
Cambridge University Press Home Page ( Index of Computer Science Journals)
Oxford University Press Home Page ( Journals Home Pages, Journals Awareness Service)
MIT Press Home Page ( Index of Journals in Science and Technology)
John Wiley & Sons ( Index of Computer Science Journals)
World Scientific (Journals)
IEEE ( Index of Journals)
ACM (Journals and Magazines)
Electronic Journals and Libraries Page at Imperial College London

Bibliographies:

DIKU TOPPS Bibliography @ DIKU
Computer Science Bibliographies @ Karlsruhe
Computer Science Bibliography Glimpse Server @ Arizona
Unified Computer Science TR Index @ Indiana
WATERS Global Service Home Page (WATERS=Wide Area Technical Report Service)
On-line Bibliographies and Journal Contents @ CMU
Technical Reports by Site @ CMU
Computer Science Technical Report Server @ Cornell
Online Computer Library Center (located in .org universe)
The BUBL Information Service
BUBL --- BUlletin Board for Libraries @ Bath old
The Hypertext Bibliography Project @ MIT (LCS)

On-line proceedings

Papers on Parallel Logic Languages and granularity control therein.
HPFC'95, April 95, Denver CO
IFL'95, September 95, Bastad, Sweden (20 papers)
EURO-PAR'95, Stockholm, Sweden August 29-31, Stockholm, Sweden August 29-31
ICFP'96 Bibliography
Workshop on Higher-Order Parallel Programming, Dagstuhl, Feb 1997
Seminar on Partial Evaluation, Dagstuhl, Feb 1996
Workshop on Multi-paradigm Logic Programming

Misc

START: Submission Tracking And Review Toolset (old URL)

Hans-Wolfgang Loidl <hwloidl@dcs.glasgow.ac.uk>

Last modified: Wed Jun 3 12:43:57 2009 Stardate: [-28]1342.23