Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi



Volume XXVIII, Issue 2, 2018

High-Level Koutny Net, pages 157-159
G. Ciobanu
Abstract | BibTeX | Full text (PDF)

Pattern Matching in Link Streams: Timed-Automata with Finite Memory, pages 161-198
C. Bertrand, F. Peschanski, H. Klaudel, M. Latapy
Abstract | References | BibTeX | Full text (PDF)

Simultaneous Petri Net Synthesis, pages 199–236
E. Best, R. Devillers, U. Schlachter, H. Wimmel
Abstract | References | BibTeX | Full text (PDF)

A Precise Characterisation of Step Traces and Their Concurrent Histories, pages 237-267
R. Janicki, J. Kleijn, L. Mikulski
Abstract | References | BibTeX | Full text (PDF)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME, pages 269–288
A. Niewiadomski, P. Switalski, T. Sidoruk, W. Penczek
Abstract | References | BibTeX | Full text (PDF)

Fault-Free Refinements for Interface Automata, pages 289–337
A. Schinko, W. Vogler
Abstract | References | BibTeX | Full text (PDF)

Volume XXVIII, Issue 1, 2018

The Theory of Finitely Supported Structures and Choice Forms, pages 1–38
A. Alexandru
Abstract | References | BibTeX | Full text (PDF)

Instruction Sequences Expressing Multiplication Algorithms, pages 39-66
J.A. Bergstra, C.A. Middelburg
Abstract | References | BibTeX | Full text (PDF)

The Reticulation of a Universal Algebra, pages 67–113
G. Georgescu, C. Mureșan
Abstract | References | BibTeX | Full text (PDF)

(Skew) Filters in Residuated Skew Lattices, pages 115–140
R. Koohnavard, A. Borumand Saeid
Abstract | References | BibTeX | Full text (PDF)

On Partition Metric Space, Index Function, and Data Compression, pages 141–156
D.A. Simovici, R. Sizov
Abstract | References | BibTeX | Full text (PDF)


© 2006-2018 FII | Contact: annals at info.uaic.ro