Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rahul Mangharam
Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Computer-Aided Design for Safe Autonomous Vehicles
Topological Conditions for Wireless Control Networks
Peak Power Reduction in Hybrid Energy Systems With Limited Load Forecasts
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks
IEEE Transactions on Wireless Communications
Electronic Engineering
Applied Mathematics
Computer Science Applications
Electrical
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks With Regular Structure
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
GrooveNet: A Hybrid Simulator for Vehicle-To-Vehicle Networks
