Search results
From MaRDI portal
- de/entity/Q4601882 2018-01-24 Paper Automata and program analysis 2017-11-22 Paper Degree of Sequentiality of Weighted Automata 2017-05-19 Paper https://portal...10 bytes (16 words) - 03:32, 7 October 2023
- Type Image Representation using Distributed Weighted Finite Automata 2013-04-26 Paper Weighted Finite Automata and Digital Images 2013-02-26 Paper https://portal...10 bytes (16 words) - 00:57, 28 December 2023
- Type Optimal run problem for weighted register automata 2020-12-16 Paper Optimal run problem for weighted register automata 2019-12-12 Paper...10 bytes (16 words) - 03:20, 25 September 2023
- Type A Büchi-like theorem for weighted tree automata over multioperator monoids 2012-12-06 Paper Weighted finite automata over strong bimonoids 2010-01-28...10 bytes (16 words) - 11:04, 6 October 2023
- transformations are incomparable 2024-02-28 Paper Weighted tree automata with constraints 2024-02-09 Paper Weighted tree automata with constraints 2022-08-11 Paper...10 bytes (18 words) - 01:20, 25 September 2023
- Type Synchronizing automata with coinciding cycles 2023-11-16 Paper Some results concerning careful synchronization of partial automata and subset synchronization...10 bytes (16 words) - 01:42, 25 September 2023
- Construction 2011-06-29 Paper Ancient Typefaces and Parametric Weighted Finite Automata 2011-05-27 Paper https://portal.mardi4nfdi.de/entity/Q4929401 2010-09-22...10 bytes (16 words) - 06:01, 7 October 2023
- de/entity/Q4994130 2021-06-17 Paper Pushing for Weighted Tree Automata 2018-01-23 Paper Pushing for Weighted Tree Automata 2011-08-17 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 02:32, 25 September 2023
- 2021-08-04 Paper Two-way automata over locally finite semirings 2020-06-30 Paper From Hadamard expressions to weighted rotating automata and back 2019-08-20...10 bytes (18 words) - 16:33, 6 October 2023
- Pushing for Weighted Tree Automata 2018-01-23 Paper https://portal.mardi4nfdi.de/entity/Q5740428 2016-07-26 Paper UNWEIGHTED AND WEIGHTED HYPER-MINIMIZATION...10 bytes (16 words) - 17:03, 6 October 2023
- Approximated determinisation of weighted tree automata 2021-10-04 Paper Sequentiality of group-weighted tree automata 2021-10-04 Paper On Logics and Homomorphism...10 bytes (16 words) - 04:05, 25 September 2023
- Publication Type Derived-Term Automata of Multitape Expressions with Composition 2019-02-08 Paper Derived-term automata of weighted rational expressions with...10 bytes (16 words) - 00:13, 25 September 2023
- generalised tree automata 2022-12-07 Paper Learning pomset automata 2021-10-18 Paper Learning to coordinate 2021-06-03 Paper Learning automata with side-effects...10 bytes (18 words) - 17:20, 24 September 2023
- Between Probabilistic Automata 2007-09-06 Paper Learning Theory 2006-06-22 Paper Speech recognition by composition of weighted finite automata 2005-11-07 Paper...10 bytes (16 words) - 19:06, 24 September 2023
- pushdown automata 2022-03-31 Paper Optimal run problem for weighted register automata 2020-12-16 Paper Optimal run problem for weighted register automata 2019-12-12...10 bytes (16 words) - 17:20, 24 September 2023
- Alternating Weighted Automata 2011-10-07 Paper Formal Analysis of Online Algorithms 2011-10-07 Paper What’s Decidable about Weighted Automata? 2011-10-07...10 bytes (17 words) - 16:44, 24 September 2023
- Compression of finite-state automata through failure transitions 2016-06-27 Paper An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical...10 bytes (16 words) - 07:49, 7 October 2023
- of Publication Type Function transformations with automata 2013-11-04 Paper Weighted Finite Automata: Computing with Different Topologies 2011-06-17 Paper...10 bytes (16 words) - 03:05, 25 September 2023
- checking 2014-11-20 Paper Pebble Weighted Automata and Weighted Logics 2014-07-17 Paper Event clock message passing automata: a logical characterization and...10 bytes (16 words) - 12:42, 7 October 2023
- Compression of finite-state automata through failure transitions 2016-06-27 Paper An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical...10 bytes (16 words) - 07:49, 7 October 2023