default search action
Information and Computation, Volume 282
Volume 282, January 2022
- Manfred Droste, Andreas Maletti, Heiko Vogler:
Preface. 104646 - Paulina Paraponiari, George Rahonis:
Weighted propositional configuration logics: A specification language for architectures with quantitative features. 104647 - Nathanaël Fijalkow, Cristian Riveros, James Worrell:
Probabilistic automata of bounded ambiguity. 104648 - Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation metrics and norms for real-weighted automata. 104649 - Olivier Carton, Elisa Orduna:
Preservation of normality by transducers. 104650 - Shaull Almagor, Udi Boker, Orna Kupferman:
What's decidable about weighted automata? 104651 - Mathieu Giraud, Florent Jacquemard:
Weighted automata computation of edit distances with consolidations and fragmentations. 104652 - Bogdan Aman, Gabriel Ciobanu:
Dynamics of reputation in mobile agents systems and weighted timed automata. 104653 - Borja Balle, Guillaume Rabusseau:
Approximate minimization of weighted tree automata. 104654 - Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
Regular transducer expressions for regular transformations. 104655 - Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
Costs and rewards in priced timed automata. 104656 - Zoltán Fülöp, Heiko Vogler:
Principal abstract families of weighted tree languages. 104657 - Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted operator precedence languages. 104658 - Manfred Droste, Sven Dziadek, Werner Kuich:
Logic for ω-pushdown automata. 104659
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.