scientific article; zbMATH DE number 5595151
From MaRDI portal
Publication:3392273
Cited in
(only showing first 100 items - show all)- Automata equipped with auxiliary data structures and regular realizability problems
- Average-energy games
- Fan type condition and characterization of Hamiltonian graphs
- Equivalence classes and conditional hardness in massively parallel computations
- Interval type-2 fuzzy automata and interval type-2 fuzzy grammar
- \(\mathcal P = \mathcal{NP}\)?
- On the decidability of infix inclusion problem
- On conditional decomposability
- General decidability results for asynchronous shared-memory programs: higher-order and beyond
- Vanishing of l2‐cohomology as a computational problem
- Reasoning about actions with loops via Hoare logic
- The complexity of weakly recognizing morphisms
- An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
- Efficient enumeration of regular expressions for faster regular expression synthesis
- The combinatorics of evenly spaced binomial coefficients
- On the complexity of bounded time and precision reachability for piecewise affine systems
- Succinct representations for (non)deterministic finite automata
- Succinct representation for (non)deterministic finite automata
- Observer design for a class of piecewise affine hybrid systems
- Tracking differentiable trajectories across polyhedra boundaries
- Incompleteness and the halting problem
- Sub-propositional fragments of the interval temporal logic of Allen's relations
- Computability of the Julia set. Nonrecurrent critical orbits
- Graph-theoretical characterization of invertible cellular automata
- Fitness landscape analysis of automated machine learning search spaces
- Determinizing monitors for HML with recursion
- Detectability of labeled weighted automata over monoids
- Mining requirements from closed-loop control models
- On detectability of labeled Petri nets and finite automata
- Fractal structure on \(k\)-SAT
- Safe schedulability of bounded-rate multi-mode systems
- Tracing compressed curves in triangulated surfaces
- Agent-based modeling, mathematical formalism for
- Remarks on the computational power of some restricted variants of P systems with active membranes
- On the boundary of regular languages
- Nondeterministic complexity of operations on free and convex languages
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Polynomial kernels for vertex cover parameterized by small degree modulators
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- scientific article; zbMATH DE number 7676615 (Why is no real title available?)
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Poly-time computability of the Feigenbaum Julia set
- The complexity of quantum circuit mapping with fixed parameters
- ON UNIFORMLY RECURRENT MORPHIC SEQUENCES
- Liouville numbers and the computational complexity of changing bases
- On the complexity of conversion between classic real number representations
- Linear automata with translucent letters and linear context-free trace languages
- Regular expressions for data words
- Automated analysis of real-time scheduling using graph games
- Games for complexity of second-order call-by-name programs
- The application of hypergroups in symbolic executions and finite automata
- Grammar-based compression and its use in symbolic music analysis
- On the complexity of determinizing monitors
- Synchronous Boolean finite dynamical systems on directed graphs over XOR functions
- A modal view on resource-bounded propositional logics
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Regular Programming for Quantitative Properties of Data Streams
- Minimal DFA for testing divisibility
- Ambiguity of unary symmetric difference NFAs
- Square on ideal, closed and free languages
- Complement on free and ideal languages
- Parameterized complexity classes beyond para-NP
- HYPER-MINIMIZATION IN O(n2)
- Lower bounds for the graph homomorphism problem
- scientific article; zbMATH DE number 7770057 (Why is no real title available?)
- Regular model checking revisited
- Flowpipe approximation and clustering in space-time
- Interactive and probabilistic proof-checking
- Jug measuring: algorithms and complexity
- The 2004 Benjamin Franklin medal in computer and cognitive science presented to Richard M. Karp
- Frontiers of tractability for typechecking simple XML transformations
- The instability of instability of centered distributions
- An efficient protocol for oblivious DFA evaluation and applications
- Concatenation of Regular Languages and Descriptional Complexity
- A formal model of semantic computing
- A deterministic algorithm for testing the equivalence of read-once branching programs with small discrepancy
- Boolean circuit programming: A new paradigm to design parallel algorithms
- On the algorithmic complexity of static structures
- An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
- Computational complexity of some problems involving congruences on algebras
- Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions
- On the computational power of affine automata
- Computational complexity in non-Turing models of computation: the what, the why and the how
- Nondeterministic complexity of operations on closed and ideal languages
- Relational semantics for Kleene logic and action logic
- Tradeoff lower lounds for stack machines
- On \(\tau\)-adic representations of integers
- Supervisory Control of Discrete-Event Systems
- On the decidability of stability of hybrid systems
- A consequence of a proof of the one-way function existence for the problem of macroscopic superpositions
- Decision problems and projection languages for restricted variants of two-dimensional automata
- Prefix-free languages: left and right quotient and reversal
- A bypassing path based routing algorithm for the pyramid structures
- The complexity of concatenation on deterministic and alternating finite automata
- Inverse subsemigroups of finite index in finitely generated inverse semigroups
- Lifting non-finite axiomatizability results to extensions of process algebras
- A fixed-parameter perspective on \#BIS
- Magic Numbers and Ternary Alphabet
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3392273)
