Search Results

Showing 1 - 20 results of 77 for search '"automata"', query time: 0.13s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Automata, Languages and Programming

Published 2008

Get access
Get access
Get access

Book
Select result number 2
2

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...cellular automata...”

Get access
Get access

Conference Object
Select result number 3
3

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...cellular automata...”

Get access
Get access

Conference Object
Select result number 4
4

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...cellular automata...”

Get access
Get access

Conference Object
Select result number 5
5

On shift-invariant maximal filters and hormonal cellular automata

by Cervelle, Julien, Lafitte, Grégory
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...Automata...”

Get access
Get access

Conference Object
Select result number 6
6

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

by D'Argenio, Pedro, Hartmanns, Arnd, Legay, Axel, Sedwards, Sean
Published 2016
“...International audience The verification of probabilistic timed automata involves finding schedulers...”

Get access
Get access
Get access

Conference Object
Select result number 7
7

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

by d'Argenio, Pedro, Hartmanns, Arnd, Legay, Axel, Sedwards, Sean
Published 2016
“...International audience The verification of probabilistic timed automata involves finding schedulers...”

Get access
Get access
Get access

Conference Object
Select result number 8
8

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

by d'Argenio, Pedro, Hartmanns, Arnd, Legay, Axel, Sedwards, Sean
Published 2016
“...International audience The verification of probabilistic timed automata involves finding schedulers...”

Get access
Get access
Get access

Conference Object
Select result number 9
9

A Denotational Semantics for Parameterised Networks of Synchronised Automata

by Li, Siqi, Madelaine, Eric
Published 2016
“...International audience Parameterised Networks of Synchronised Automata (pNets) is a machine...”

Get access
Get access
Get access

Conference Object
Select result number 10
10

A Denotational Semantics for Parameterised Networks of Synchronised Automata

by Li, Siqi, Madelaine, Eric
Published 2016
“...International audience Parameterised Networks of Synchronised Automata (pNets) is a machine...”

Get access
Get access
Get access

Conference Object
Select result number 11
11

The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata

by Colcombet, Thomas, Löding, Christof
Published 2008
Subjects: “...Automata...”

Get access
Get access

Conference Object
Select result number 12
12

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

by d'Argenio, Pedro, Hartmanns, Arnd, Legay, Axel, Sedwards, Sean
Published 2016
“...International audience The verification of probabilistic timed automata involves finding schedulers...”

Get access
Get access
Get access

Conference Object
Select result number 13
13

The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata

by Colcombet, Thomas, Löding, Christof
Published 2008
Subjects: “...Automata...”

Get access
Get access

Conference Object
Select result number 14
14

The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata

by Colcombet, Thomas, Löding, Christof
Published 2008
Subjects: “...Automata...”

Get access
Get access

Conference Object
Select result number 15
15

A Denotational Semantics for Parameterised Networks of Synchronised Automata

by Li, Siqi, Madelaine, Eric
Published 2016
“...International audience Parameterised Networks of Synchronised Automata (pNets) is a machine...”

Get access
Get access
Get access

Conference Object
Select result number 16
16

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008
“...co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming...”

Get access

Conference Object
Select result number 17
17

Towards an approximate conformance relation for hybrid I/O automata

by Mohaqeqi, Morteza, Mousavi, Mohammad Reza
Published in Electronic Proceedings in Theoretical Computer Science (2017)

Get access
Get access
Get access

Conference Object
Select result number 18
18

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008
“...co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming...”

Get access

Conference Object
Select result number 19
19

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008
“...co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming...”

Get access

Conference Object
Select result number 20
20

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008
“...co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming...”

Get access

Conference Object