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.
Major indexing sites
Paper indices and archives:
Local resources (available only at LMU):
Journals, and collections of papers:
-
ACM Toplas
-
ACM SIGPLAN (with links to POPL, IFCP etc)
-
ACM TOCL, Transactions on Computational Logic
-
ACM Transactions on Parallel Computing
-
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
- Computer Languages, Systems and Structures, Elsevier
- 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):
Bibliographies:
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
Hans-Wolfgang Loidl <hwloidl@dcs.glasgow.ac.uk>
Last modified: Sat Sep 12 00:58:00 2015