Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Raphaela Palenta
Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
On Projective Equivalence of Univariate Polynomial Subspaces
Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)
Geometry
Mathematical Physics
Analysis
Topology
On Semi-Equivalence of Generically-Finite Polynomial Mappings
Mathematische Zeitschrift
Mathematics
Finite-Time Stability and Controller Design of Continuous-Time Polynomial Fuzzy Systems
Abstract and Applied Analysis
Applied Mathematics
Analysis
Input-Output Equivalence Transformations for Discrete-Time Nonlinear Systems
IFAC Proceedings Volumes
Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Observer‐based Controller for Positive Polynomial Systems With Time Delay
Optimal Control Applications and Methods
Control
Systems Engineering
Applied Mathematics
Optimization
Software
Nonuniform Polynomial Dichotomy for Noninvertible Linear Discrete-Time Systems in Banach Spaces
Journal of Control Science and Engineering
Electronic Engineering
Simulation
Computer Science Applications
Electrical
Modeling
