Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-5

Translation of Intermediate Language to Timed Automata with Discrete Data

Agata Janowska, Paweł Janowski, Dobiesław Wróblewski

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Translation of Timed Promela to Timed Automata with Discrete Data

Wojciech Nabiałek, Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2007-10

SAT-Based Reachability Checking for Timed Automata with Discrete Data

Andrzej Zbrzezny, Agata Półrola

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

Slicing of Timed Automata with Discrete Data

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

Bożena Woźna-Szcześniak, Andrzej Zbrzezny

Fundamenta Informaticae

Free access

Research article

First published 2005-5

A Life-Like Virtual Cell Membrane Using Discrete Automata

Gordon Broderick, Melania Ru'aini, Eugene Chan [...]

In Silico Biology

Retricted access

Research article

First published 2016-2

Modelling and simulation of complex cellular models using Cell-DEVS

Gabriel Wainer, Joaquín Fernández

SIMULATION

Retricted access

Research article

First published 2011-4

An evolutionary tuning technique for type-2 fuzzy logic controller

S.M.A. Mohammadi, A.A. Gharaveisi, M. Mashinchi [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2014-3

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Retricted access

Research article

First published 2001-10

Graph-Cellular Automata: A Generalised Discrete Urban and Regional Model

David O'Sullivan

Environment and Planning B: Urban Analytics and City Science

Search results