- Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata Masakazu Nasu Namio Honda Tue 16 January 2024
- On Verification Problems for Systems with Infinite State Spaces Richard Mayr Mon 15 January 2024
- Decidability and complexity of model checking problems for infinite state systems Richard Mayr Mon 15 January 2024
- Inverse for the shuffle for algebraic series Khira Lameche Sat 13 January 2024
- Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities Ernst W. Mayr Jeremias Weihmann Sat 13 January 2024
- Differential transcendence of Bell numbers and relatives: a Galois theoretic approach Alin Bostan Lucia Di Vizio Kilian Raschel Fri 12 January 2024
- Recurrences for the Bernoulli and Euler numbers L. Carlitz Fri 12 January 2024
- Sur les séries divergentes et les équations différentielles Edmond Maillet Fri 12 January 2024
- When is Shapley Value Computation a Matter of Counting Meghyn Bienvenu Diego Figueira Pierre Lafourcade Mon 08 January 2024
- Grothendieck inequalities characterize converses to the polynomial method Jop Briet Francisco Escudero Gutiérrez Sander Gribling Sun 07 January 2024
- Causal Stream Inclusions Harald Ruess Sat 06 January 2024
- A Decision Method for Elementary Stream Calculus Harald Ruess Sat 06 January 2024
- A note on the commutative closure of star-free languages Anca Muscholl Holger Petersen Sun 31 December 2023
- Learning Commutative Regular Languages Antonio Cano Gmez Gloria I. Álvarez Sun 31 December 2023
- Commutative Regular Languages with Product-Form Minimal Automata Stefan Hoffmann Sun 31 December 2023
- A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems Bai Xue Sat 30 December 2023
- Measuring well quasi-ordered finitary powersets Sergio Abriola Simon Halfon Aliaume Lopez Sylvain Schmitz Philippe Schnoebelen Isa Vialard Wed 27 December 2023
- Alternating weighted automata over commutative semirings Peter Kostolányi Filip Mišún Fri 22 December 2023
- Weighted Automata and Logics Meet Computational Complexity Peter Kostolányi Fri 22 December 2023
- A faster FPRAS for NFA Kuldeep S. Meel Sourav Chakraborty Umang Mathur Fri 22 December 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
