E-LIB Suche - Ergebnisse für: Kutrib, Martin

1

On the power of pushing or stationary moves for input-drive..:

Kutrib, Martin ; Malcher, Andreas ; Wendlandt, Matthias
Theoretical Computer Science. 996 (2024) - p. 114503 , 2024

Link: https://doi.org/10.1016/..

2

Iterated uniform finite-state transducers on unary language:

Kutrib, Martin ; Malcher, Andreas ; Mereghetti, Carlo.
Theoretical Computer Science. 969 (2023) - p. 114049 , 2023

Link: https://doi.org/10.1016/..

3

Reversible Computation: 15th International Conference, RC 2..

Lecture Notes in Computer Science, 13960

Kutrib, Martin ; Meyer, Uwe - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

4

State complexity of finite partial languages:

Kutrib, Martin ; Wendlandt, Matthias
Theoretical Computer Science. 966-967 (2023) - p. 114001 , 2023

Link: https://doi.org/10.1016/..

5

Syntax checking either way:

Kutrib, Martin ; Meyer, Uwe
Theoretical Computer Science. 966-967 (2023) - p. 114000 , 2023

Link: https://doi.org/10.1016/..

6

Descriptional complexity of iterated uniform finite-state t..:

Kutrib, Martin ; Malcher, Andreas ; Mereghetti, Carlo.
Information and Computation. 284 (2022) - p. 104691 , 2022

Link: https://doi.org/10.1016/..

7

One-dimensional pattern generation by cellular automata:

Kutrib, Martin ; Malcher, Andreas
Natural Computing. 21 (2022) 3 - p. 361-375 , 2022

Link: https://doi.org/10.1007/..

8

Variants of string assembling systems:

Kutrib, Martin ; Wendlandt, Matthias
Natural Computing. 23 (2022) 1 - p. 131-156 , 2022

Link: https://doi.org/10.1007/..

9

Finite automata with undirected state graphs:

Kutrib, Martin ; Malcher, Andreas ; Schneider, Christian
Acta Informatica. 59 (2021) 1 - p. 163-181 , 2021

Link: https://doi.org/10.1007/..

10

Input-driven multi-counter automata:

Kutrib, Martin ; Malcher, Andreas ; Wendlandt, Matthias
Theoretical Computer Science. 870 (2021) - p. 121-136 , 2021

Link: https://doi.org/10.1016/..

11

Reversible pushdown transducers:

Guillon, Bruno ; Kutrib, Martin ; Malcher, Andreas.
Information and Computation. 281 (2021) - p. 104813 , 2021

Link: https://doi.org/10.1016/..

12

Formal Methods. FM 2019 International Workshops: Porto, Por..

Programming and Software Engineering, 12233

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

13

Formal Methods. FM 2019 International Workshops: Porto, Por..

Programming and Software Engineering, 12232

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

14

Preface:

Baetens, Jan ; Kutrib, Martin
Natural Computing. 19 (2020) 4 - p. 757-758 , 2020

Link: https://doi.org/10.1007/..

15

Iterative arrays with finite inter-cell communication:

Kutrib, Martin ; Malcher, Andreas
Natural Computing. 21 (2020) 1 - p. 3-15 , 2020

Link: https://doi.org/10.1007/..