Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Margarita Korovina
Σ K –Constraints for Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Related publications
K-Anonymization Approaches for Supporting Multiple Constraints
Ruan Jian Xue Bao/Journal of Software
Software
Radio Resource Allocation With QoS Constraints in Energy Harvesting and Hybrid Power Systems
Journal of Communication and Information Systems
Constructing Invariants for Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Enforcing Spatial Constraints for Mobile RBAC Systems
Hybrid Propulsion Systems for Remotely Piloted Aircraft Systems
Aerospace
Aerospace Engineering
Hybrid Renewable Energy Systems for Desalination
Applied Water Science
Convex Dynamic Programming for Hybrid Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Motion Planning for Multiple Systems Under Coordinated Constraints
IFAC Proceedings Volumes
Scheduling Tests for VLSI Systems Under Power Constraints
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software