Sage Journals: Discover world-class research

Retricted access

Research article

First published 1995-2

A deadlock resolution algorithm

José Ramón González de Mendívil, Carlos F. Alastruey, José Bernabeu [...]

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2015-11

Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions

Tatjana Kapus

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2009-11

Composable Cellular Automata

Gary R. Mayer, Hessam S. Sarjoughian

SIMULATION

Retricted access

Research article

First published 2013-9

One-Dimensional Cellular Automaton Transducers

Martin Kutrib, Andreas Malcher

Fundamenta Informaticae

Retricted access

Research article

First published 2012-11

Cellular Resource-Driven Automata

Vladimir A. Bashkin, Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2004-8

Understanding Basic Automata Theory in the Continuous Time Setting

B.A. Trakhtenbrot

Fundamenta Informaticae

Retricted access

Research article

First published 2015-11

Probabilistic cost enforcement of security policies

Yannis Mallios, Lujo Bauer, Dilsun Kaynar [...]

Journal of Computer Security

Retricted access

Research article

First published 2017-12

On estimating the impact of information spreading in a consumer market modeled by probabilistic cellular automata and ordinary differential equations

PHT Schimit, DF Barros Junior, SA Araújo

SIMULATION

Retricted access

Research article

First published 2016

Simulated Effects of the Location of High-Speed Rail Stations on Land Development: Case Study of the Lisbon Metropolitan Area,Portugal

Yu Shen, Guineng Chen, João de Abreu e Silva [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2022

Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers *

Martin Kutrib, Andreas Malcher, Carlo Mereghetti [...]

Fundamenta Informaticae

Search results