Sage Journals: Discover world-class research

Retricted access

Research article

First published 2002-9

A Design of Real-Time Non-Regular Sequence Generation Algorithms and Their Implementations on Cellular Automata with 1-Bit Inter-Cell Communications

Hiroshi Umeo, Naoki Kamikawa

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

FORMAL MODELLING OF REAL-TIME EMBEDDED AUTOMOTIVE ARCHITECTURE

Mostefa Belarbi

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2008-5

Security in a Model for Long–running Transactions

Damas P. Gruska, Andrea Maggiolo–Schettini, Paolo Milazzo

Fundamenta Informaticae

Retricted access

Research article

First published 1998-11

Characterization of the Expressive Power of Silent Transitions in Timed Automata

Béatrice Bérard, Antoine Petit, Volker Diekert [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2007-7

State-Efficient One-Bit Communication Solutions for Some Classical Cellular Automata Problems

Hiroshi Umeo, Koshi Michisaka, Naoki Kamikawa [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2014-1

Blending Timed Formal Models with Clock Transition Systems

Claude Jard, Didier Lime, Olivier H. Roux

Fundamenta Informaticae

Retricted access

Research article

First published 2007-7

Cellular Devices and Unary Languages

Andreas Klein, Martin Kutrib

Fundamenta Informaticae

Open access

Research article

First published 2015-9

Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks

Zhi Chen, Ya Peng, Wenjing Yue

International Journal of Distributed Sensor Networks

Open access

Research article

First published 2016-5

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Retricted access

Research article

First published 2011-5

Cellular Automata Simulations on a FPGA cluster

S. Murtaza, A.G. Hoekstra, P.M.A. Sloot

The International Journal of High Performance Computing Applications

Search results