[TYPES/announce] SACS Journal 2018 Volume

[Bogdan Aman]

The 2018 volume of the Scientific Annals of Computer Science open-access
journal are online and contain worth to read papers
http://www.info.uaic.ro/bin/Annals/CurrentIssue

Volume XXVIII, Issue 2, 2018

High-Level Koutny Net, pages 157-159
G. Ciobanu

Pattern Matching in Link Streams: Timed-Automata with Finite Memory, pages
161-198
C. Bertrand, F. Peschanski, H. Klaudel, M. Latapy

Simultaneous Petri Net Synthesis, pages 199–236
E. Best, R. Devillers, U. Schlachter, H. Wimmel

A Precise Characterisation of Step Traces and Their Concurrent Histories,
pages 237-267
R. Janicki, J. Kleijn, L. Mikulski

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and
EXPTIME, pages 269–288
A. Niewiadomski, P. Switalski, T. Sidoruk, W. Penczek

Fault-Free Refinements for Interface Automata, pages 289–337
A. Schinko, W. Vogler

Volume XXVIII, Issue 1, 2018

The Theory of Finitely Supported Structures and Choice Forms, pages 1–38
A. Alexandru

Instruction Sequences Expressing Multiplication Algorithms, pages 39-66
J.A. Bergstra, C.A. Middelburg

The Reticulation of a Universal Alebra, pages 67–113
G. Georgescu, C. Mureșan

(Skew) Filters in Residuated Skew Lattices, pages 115–140
R. Koohnavard, A. Borumand Saeid

On Partition Metric Space, Index Function, and Data Compression, pages
141–156
D.A. Simovici, R. Sizov

***********************************
Bogdan Aman