International Journal of Foundations of Computer Science

The International Journal of Foundations of Computer Science is a bimonthly journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science.

As computer science is an ever-evolving area, articles on other topics are also invited. The journal also aims to provide a forum for the communication and discussion of new fields needing more coverage and exposure, and thus hopes to publish new attempts and proposals for deepening the theoretical understanding of the nature of computation and information.

temi di interesse

Algebraic theory of computing and formal systems
Algorithm and system implementation issues
Approximation, probabilistic, and randomized algorithms
Automata and formal languages
Automated deduction
Combinatorics and graph theory
Complexity theory
Computational biology and bioinformatics
Cryptography
Database theory
Data structures
Design and analysis of algorithms
DNA computing
Foundations of computer security
Foundations of high-performance computing
Logic in computer science
Model checking and computer-aided verification
Models of computation
Quantum computing
Semantics, concurrency, and type theory
Theories and models of internet computing
Theory of learning and inductive inference
Theory of parallel and distributed computing
Wireless networks and mobile computing

funge da

rivista che contiene

From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (2013) — Houguang Yue

A Tour of Reaction Systems (2011) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg