scientific article; zbMATH DE number 5595151

zbMATH Open1169.68300MaRDI QIDQ3392273FDOQ3392273

Publication date: 13 August 2009

Title of this publication is not available (Why is that?)

Nonnumerical algorithms (68W05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cited In (only showing first 100 items - show all)

Flowpipe approximation and clustering in space-time
On the computational power of affine automata
The Complexity of Languages Resulting from the Concatenation Operation
Decision problems and projection languages for restricted variants of two-dimensional automata
Interactive and probabilistic proof-checking
Lifting non-finite axiomatizability results to extensions of process algebras
Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
Second-level algorithms, superrecursivity, and recovery problem in distributed systems
Statistical estimation with bounded memory
Control of discrete-event systems with partial observations using coalgebra and coinduction
Producing and verifying extremely large propositional refutations
The complexity of finding SUBSEQ\((A)\)
Frontiers of tractability for typechecking simple XML transformations
On the algorithmic complexity of static structures
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
On binary circle plus operator \(\oplus\)-NFAs and succinct descriptions of regular languages
Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions
A bypassing path based routing algorithm for the pyramid structures
System theory for system identification.
Randomness and computation
A fixed-parameter perspective on \#BIS
Inverse subsemigroups of finite index in finitely generated inverse semigroups
Magic Numbers and Ternary Alphabet
A consequence of a proof of the one-way function existence for the problem of macroscopic superpositions
Regular path queries under approximate semantics
Does the polynomial hierarchy collapse if onto functions are invertible?
A deterministic algorithm for testing the equivalence of read-once branching programs with small discrepancy
Computational complexity in non-Turing models of computation: the what, the why and the how
Self-verifying finite automata and descriptional complexity
Lower bounds for the graph homomorphism problem
Regular model checking revisited
Tradeoff lower lounds for stack machines
On the decidability of stability of hybrid systems
Boolean circuit programming: A new paradigm to design parallel algorithms
Prefix-free languages: left and right quotient and reversal
The complexity of concatenation on deterministic and alternating finite automata
The 2004 Benjamin Franklin medal in computer and cognitive science presented to Richard M. Karp
Concatenation of Regular Languages and Descriptional Complexity
An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
Title not available (Why is that?)
MAGIC NUMBERS FOR SYMMETRIC DIFFERENCE NFAS
Concatenation of regular languages and descriptional complexity
Supervisory Control of Discrete-Event Systems
An efficient protocol for oblivious DFA evaluation and applications
Jug measuring: algorithms and complexity
On \(\tau\)-adic representations of integers
A note on tolerance graph recognition
A note on algebras of languages
Nondeterministic polynomial time factoring in the tile assembly model
The instability of instability of centered distributions
Computational complexity of some problems involving congruences on algebras
Nondeterministic complexity of operations on closed and ideal languages
Computing equilibria: a computational complexity perspective
A formal model of semantic computing
First-cycle games
Relational semantics for Kleene logic and action logic
Temporal logic model predictive control for discrete-time systems
Log-space conjugacy problem in the Grigorchuk group
\textsc{Snowman} is \(\mathsf{PSPACE}\)-complete
Observer design for a class of piecewise affine hybrid systems
Tracking differentiable trajectories across polyhedra boundaries
The application of hypergroups in symbolic executions and finite automata
Ambiguity of unary symmetric difference NFAs
The complexity of quantum circuit mapping with fixed parameters
Liouville numbers and the computational complexity of changing bases
On the complexity of conversion between classic real number representations
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
\(\mathcal P = \mathcal{NP}\)?
Automated analysis of real-time scheduling using graph games
Efficient enumeration of regular expressions for faster regular expression synthesis
Tracing compressed curves in triangulated surfaces
Safe schedulability of bounded-rate multi-mode systems
Regular Programming for Quantitative Properties of Data Streams
Minimal DFA for testing divisibility
Agent-based modeling, mathematical formalism for
Fan type condition and characterization of Hamiltonian graphs
Average-energy games
Equivalence classes and conditional hardness in massively parallel computations
Reasoning about actions with loops via Hoare logic
On detectability of labeled Petri nets and finite automata
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
Grammar-based compression and its use in symbolic music analysis
An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
Polynomial kernels for vertex cover parameterized by small degree modulators
On the decidability of infix inclusion problem
The combinatorics of evenly spaced binomial coefficients
Square on ideal, closed and free languages
Complement on free and ideal languages
Title not available (Why is that?)
A modal view on resource-bounded propositional logics
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
Interval type-2 fuzzy automata and interval type-2 fuzzy grammar
Fractal structure on \(k\)-SAT
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
Vanishing of l²‐cohomology as a computational problem
Succinct representations for (non)deterministic finite automata
Nondeterministic complexity of operations on free and convex languages
General decidability results for asynchronous shared-memory programs: higher-order and beyond
Incompleteness and the halting problem
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

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)