nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Allen-like theory of time for tree-like structures
|
Durhan, S. |
|
2018 |
228-229 |
P3 |
p. 375-389 |
artikel |
2 |
An automata-theoretic approach to the verification of distributed algorithms
|
Aiswarya, C. |
|
2018 |
228-229 |
P3 |
p. 305-327 |
artikel |
3 |
A self-stabilizing algorithm for edge monitoring in wireless sensor networks
|
Neggazi, Brahim |
|
2017 |
228-229 |
P3 |
p. 367-376 10 p. |
artikel |
4 |
Characterisation of the state spaces of marked graph Petri nets
|
Best, Eike |
|
2017 |
228-229 |
P3 |
p. 399-410 12 p. |
artikel |
5 |
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games
|
Comin, Carlo |
|
2018 |
228-229 |
P3 |
p. 348-374 |
artikel |
6 |
CNF and DNF succinct graph encodings
|
Das, Bireswar |
|
2017 |
228-229 |
P3 |
p. 436-447 12 p. |
artikel |
7 |
Complexity of a problem concerning reset words for Eulerian binary automata
|
Vorel, Vojtěch |
|
2017 |
228-229 |
P3 |
p. 497-509 13 p. |
artikel |
8 |
Compositional strategy synthesis for stochastic games with multiple objectives
|
Basset, N. |
|
2018 |
228-229 |
P3 |
p. 536-587 |
artikel |
9 |
Computation as social agency: What, how and who
|
van Benthem, Johan |
|
2018 |
228-229 |
P3 |
p. 519-535 |
artikel |
10 |
Constructing self-stabilizing oscillators in population protocols
|
Cooper, Colin |
|
2017 |
228-229 |
P3 |
p. 336-351 16 p. |
artikel |
11 |
Editorial Board
|
|
|
2017 |
228-229 |
P3 |
p. IFC- 1 p. |
artikel |
12 |
Editorial Board
|
|
|
2017 |
228-229 |
P3 |
p. i- 1 p. |
artikel |
13 |
Editorial Board
|
|
|
2017 |
228-229 |
P3 |
p. IFC- 1 p. |
artikel |
14 |
Editorial Board
|
|
|
2017 |
228-229 |
P3 |
p. i- 1 p. |
artikel |
15 |
Editorial Board
|
|
|
2017 |
228-229 |
P3 |
p. IFC- 1 p. |
artikel |
16 |
Editorial Board
|
|
|
2018 |
228-229 |
P3 |
p. ii |
artikel |
17 |
Editorial Board
|
|
|
2018 |
228-229 |
P3 |
p. ii |
artikel |
18 |
First-order μ-calculus over generic transition systems and applications to the situation calculus
|
Calvanese, Diego |
|
2018 |
228-229 |
P3 |
p. 328-347 |
artikel |
19 |
Functional encryption for cascade automata
|
Brownstein, Dan |
|
2017 |
228-229 |
P3 |
p. 384-407 24 p. |
artikel |
20 |
Gathering of oblivious robots on infinite grids with minimum traveled distance
|
Di Stefano, Gabriele |
|
2017 |
228-229 |
P3 |
p. 377-391 15 p. |
artikel |
21 |
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
|
Molinari, Alberto |
|
2018 |
228-229 |
P3 |
p. 412-443 |
artikel |
22 |
Mutual visibility by luminous robots without collisions
|
Di Luna, G.A. |
|
2017 |
228-229 |
P3 |
p. 392-418 27 p. |
artikel |
23 |
22nd International Symposium on Temporal Representation and Reasoning (TIME 2015)
|
Grandi, Fabio |
|
2018 |
228-229 |
P3 |
p. 303-304 |
artikel |
24 |
On the computational power of networks of polarized evolutionary processors
|
Arroyo, Fernando |
|
2017 |
228-229 |
P3 |
p. 371-380 10 p. |
artikel |
25 |
On the list update problem with advice
|
Boyar, Joan |
|
2017 |
228-229 |
P3 |
p. 411-423 13 p. |
artikel |
26 |
Picture codes and deciphering delay
|
Anselmo, Marcella |
|
2017 |
228-229 |
P3 |
p. 358-370 13 p. |
artikel |
27 |
Practical verification of multi-agent systems against Slk specifications
|
Čermák, Petr |
|
2018 |
228-229 |
P3 |
p. 588-614 |
artikel |
28 |
Preface
|
Felber, Pascal |
|
2017 |
228-229 |
P3 |
p. 329- 1 p. |
artikel |
29 |
Preface to the SR-2015 special issue
|
Gutierrez, Julian |
|
2018 |
228-229 |
P3 |
p. 487 |
artikel |
30 |
Reachability, confluence, and termination analysis with state-compatible automata
|
Felgenhauer, Bertram |
|
2017 |
228-229 |
P3 |
p. 467-483 17 p. |
artikel |
31 |
Reaching approximate Byzantine consensus with multi-hop communication
|
Su, Lili |
|
2017 |
228-229 |
P3 |
p. 352-368 17 p. |
artikel |
32 |
Reasoning about graded strategy quantifiers
|
Malvone, Vadim |
|
2018 |
228-229 |
P3 |
p. 390-411 |
artikel |
33 |
Regular languages viewed from a graph-theoretic perspective
|
Konitzer, Marius |
|
2017 |
228-229 |
P3 |
p. 484-496 13 p. |
artikel |
34 |
Selected papers of the 8th International Conference on Language and Automata Theory and Applications (LATA 2014)
|
Dediu, Adrian-Horia |
|
2017 |
228-229 |
P3 |
p. 355-357 3 p. |
artikel |
35 |
Self-stabilizing leader election in polynomial steps
|
Altisen, Karine |
|
2017 |
228-229 |
P3 |
p. 330-366 37 p. |
artikel |
36 |
Simulating cardinal preferences in Boolean games: A proof technique
|
Ianovski, Egor |
|
2018 |
228-229 |
P3 |
p. 488-518 |
artikel |
37 |
Solutions to the multi-dimensional Prouhet–Tarry–Escott problem resulting from composition of balanced morphisms
|
Černý, Anton |
|
2017 |
228-229 |
P3 |
p. 424-435 12 p. |
artikel |
38 |
Special issue containing selected expanded papers from the 17th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS 2015)
|
Pelc, Andrzej |
|
2017 |
228-229 |
P3 |
p. 335- 1 p. |
artikel |
39 |
The complexity of data aggregation in static and dynamic wireless sensor networks
|
Bramas, Quentin |
|
2017 |
228-229 |
P3 |
p. 369-383 15 p. |
artikel |
40 |
Towards a universal approach for the finite departure problem in overlay networks
|
Koutsopoulos, Andreas |
|
2017 |
228-229 |
P3 |
p. 408-424 17 p. |
artikel |
41 |
Two double-exponential gaps for automata with a limited pushdown
|
Bednárová, Zuzana |
|
2017 |
228-229 |
P3 |
p. 381-398 18 p. |
artikel |
42 |
User-friendly temporal queries on historical knowledge bases
|
Zaniolo, Carlo |
|
2018 |
228-229 |
P3 |
p. 444-459 |
artikel |
43 |
Weighted automata and logics for infinite nested words
|
Droste, Manfred |
|
2017 |
228-229 |
P3 |
p. 448-466 19 p. |
artikel |