Sage Journals: Discover world-class research

Retricted access

Research article

First published 2003-11

Real-Time Generation of Primes by a 1-Bit-Communication Cellular Automaton

Hiroshi Umeo, Naoki Kamikawa

Fundamenta Informaticae

Retricted access

Research article

First published 2004-2

Diagnosis of timed automata with an application to industrial actuators

J. Lunze, P. Supavatanakul

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2012-05

An Automaton Approach for Waiting Times in DNA Evolution

Sarah Behrens, Cyril Nicaud, Pierre Nicodème

Journal of Computational Biology

Retricted access

Research article

First published 2008-3

WeightedWord Recognition

Éric Laugerotte, Djelloul Ziadi

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

Theoretical study and implementation of the canonical automaton

Jean-Marc Champarnaud, Fabien Coulon

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 2017-4

Reconstruction of unknown automata designs of Blossoming Flower Clock in Forbidden City

Yu-Hsun Chen, Hong-Sen Yan

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2003-11

Cellular automata with vanishing particles

Petr Kůrka

Fundamenta Informaticae

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 2003-5

Checking Reachability Properties for Timed Automata via SAT

Bożena Woźna, Andrzej Zbrzezny, Wojciech Penczek

Fundamenta Informaticae

Search results