Academic Journals Database
Disseminating quality controlled scientific knowledge

Scientific Annals of Computer Science

ISSN: 1843--8121
Publisher: Alexandru Ioan Cuza University Publishing House


ADD TO MY LIST
 
Position Automata for Kleene Algebra with Tests PDF available

Author(s): A. Silva
Volume: 22
Issue: 2
Year: 2012
On Safety Properties and Their Monitoring PDF available

Author(s): G. Rosu
Volume: 22
Issue: 2
Year: 2012
Standard Type Soundness for Agents and Artifacts PDF available

Author(s): F. Damiani | P. Giannini | A. Ricci | M. Viroli
Volume: 22
Issue: 2
Year: 2012
Indirect Jumps Improve Instruction Sequence Performance PDF available

Author(s): J.A. Bergstra | C.A. Middelburg
Volume: 22
Issue: 2
Year: 2012
Thread Extraction for Polyadic Instruction Sequences PDF available

Author(s): J.A. Bergstra | C.A. Middelburg
Volume: 21
Issue: 2
Year: 2011
Abstracting Asynchronous Multi-Valued Networks PDF available

Author(s): J. Steggles
Volume: 21
Issue: 2
Year: 2011
Generalized Communicating P Systems Working in Fair Sequential Mode PDF available

Author(s): A. Spicher | S. Verlan
Volume: 21
Issue: 2
Year: 2011
Petri Nets for Biologically Motivated Computing PDF available

Author(s): J. Kleijn | M. Koutny | G. Rozenberg
Volume: 21
Issue: 2
Year: 2011
Reversibility in Massive Concurrent Systems PDF available

Author(s): L. Cardelli | C. Laneve
Volume: 21
Issue: 2
Year: 2011
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models PDF available

Author(s): A. Philippou | M. Toro | M. Antonaki
Volume: 23
Issue: 1
Year: 2013
Modular Verification of Qualitative Pathway Models with Fairness PDF available

Author(s): P. Drabik | A. Maggiolo-Schettini | P. Milazzo | G. Pardini
Volume: 23
Issue: 1
Year: 2013
RNA-Editing with Combined Insertion and Deletion Preserves Regularity PDF available

Author(s): E.P. de Vink | H. Zantema | D. Bosnacki
Volume: 23
Issue: 1
Year: 2013
GUBS, a Behaviour-Based Language for Design in Synthetic Biology PDF available

Author(s): A. Basso-Blandin | F. Delaplace
Volume: 23
Issue: 1
Year: 2013
Overview of Thirty Semantic Formalisms for Reo PDF available

Author(s): S.-S. T.Q. Jongmans | F. Arbab
Volume: 22
Issue: 1
Year: 2012
Innocent Strategies as Presheaves and Interactive Equivalences for CCS PDF available

Author(s): T. Hirschowitz | D. Pous
Volume: 22
Issue: 1
Year: 2012
Structured Operational Semantics for Graph Rewriting PDF available

Author(s): A. Dorman | T. Heindel | B. K├Ânig
Volume: 22
Issue: 1
Year: 2012
Three Algorithms and a Methodology for Amending Contracts for Choreographies PDF available

Author(s): L. Bocchi | J. Lange | E. Tuosto
Volume: 22
Issue: 1
Year: 2012
Contract-Oriented Computing in CO2 PDF available

Author(s): M. Bartoletti | E. Tuosto | R. Zunino
Volume: 22
Issue: 1
Year: 2012
Towards Interaction Reliability in Concurrent Applications PDF available

Author(s): S. Bliudze | R. Bruni | M. Carbone | A. Silva
Volume: 22
Issue: 1
Year: 2012
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems PDF available

Author(s): A.M. Hernandez | F. Nielson | H. Riis-Nielson
Volume: 21
Issue: 1
Year: 2011
Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation PDF available

Author(s): L. Hartmann | N.D. Jones | J.G. Simonsen | S.B. Vrist
Volume: 21
Issue: 1
Year: 2011
Modular Verification of Interactive Systems with an Application to Biology PDF available

Author(s): P. Drabik | A. Maggiolo-Schettini | P. Milazzo
Volume: 21
Issue: 1
Year: 2011
Desynchronizability of (Partial) Synchronous Closed Loop Systems PDF available

Author(s): H. Beohar | P. Cuijpers
Volume: 21
Issue: 1
Year: 2011
Concurrency and Interaction in Complex Systems PDF available

Author(s): S. Ben Mokhtar | S. Bliudze | R. Bruni | A. Silva | A. Troina
Volume: 21
Issue: 1
Year: 2011
An SCA-based Approach for Social and Pervasive Communications in Home Environments PDF available

Author(s): R. Melisson | D. Romero | R. Rouvoy | L. Seinturier
Volume: 21
Issue: 1
Year: 2011
State Space Reduction for Dynamic Process Creation PDF available

Author(s): H. Klaudel | M. Koutny | E. Pelz | F. Pommereau
Volume: 20
Year: 2010
Coalgebraic Weak Bisimulation for Action-Type Systems PDF available

Author(s): A. Sokolova | E. de Vink | H. Woracek
Volume: 19
Year: 2009
A Generalized Approach to Optimization of Relational Data Warehouses Using Hybrid Greedy and Genetic Algorithms PDF available

Author(s): G. Velinov | M. Kon Popovska | D. Gligoroski
Volume: 19
Year: 2009
Synthesis of Petri Nets with Localities PDF available

Author(s): M. Koutny | M. Pietkiewicz-Koutny
Volume: 19
Year: 2009
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions PDF available

Author(s): H.H. Hansen | J. Rutten
Volume: 20
Year: 2010
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms PDF available

Author(s): J.A. Bergstra | A. Ponse
Volume: 19
Year: 2009
Involutions on Relational Program Calculi PDF available

Author(s): I.M. Rewitzky | J.W. Sanders
Volume: 18
Year: 2008
An Event Based Semantics of P Systems PDF available

Author(s): G.M. Pinna | A. Saba
Volume: 18
Year: 2008
A Calculus of Evolving Objects PDF available

Author(s): M. Dezani-Ciancaglini | P. Giannini | O. Nierstrasz
Volume: 18
Year: 2008
Tuplix Calculus PDF available

Author(s): J.A. Bergstra | A. Ponse | M.B. Van Der Zwaag
Volume: 18
Year: 2008
Synchronization Algorithms on Oriented Chains PDF available

Author(s): D. Bein | A.K. Datta | L.L. Larmore
Volume: 18
Year: 2008
New Results on Minimal Strongly Imperfect Graphs PDF available

Author(s): V. Anastasoaei | E. Olaru
Volume: 18
Year: 2008
Basic Techniques for Creating an Efficient CSP Solver PDF available

Author(s): C. Frasinaru
Volume: 17
Year: 2007
Programming an Interpreter Using Molecular Dynamics PDF available

Author(s): J.A. Bergstra | C.A. Middelburg
Volume: 17
Year: 2007
Instruction Sequences with Indirect Jumps PDF available

Author(s): J.A. Bergstra | C.A. Middelburg
Volume: 17
Year: 2007
Approximation for Batching via Priorities PDF available

Author(s): W. Bein | J. Noga | J. Wiegley
Volume: 17
Year: 2007
An Algebra of Hierarchical Graphs and its Application to Structural Encoding PDF available

Author(s): R. Bruni | F. Gadducci | A. Lluch Lafuente
Volume: 20
Year: 2010
Timed Operational Semantics and Well-Formedness of Shape Calculus PDF available

Author(s): E. Bartocci | D.R. Cacciagrano | M.R. Di Berardini | E. Merelli | L. Tesei
Volume: 20
Year: 2010
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes PDF available

Author(s): E. Bartocci | F. Corradini | M.R Di Berardini | E. Merelli | L. Tesei
Volume: 20
Year: 2010
Why do you need a reservation system?      Affiliate Program