Matthew Anderson
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
- Matthew Anderson 001 (University of Maryland, Baltimore, MD, USA)
- Matthew Anderson 002 (Baylor College of Medicine, Houston, TX, USA)
- Matthew Anderson 003 (Indiana University, Center for Research in Extreme Scale Technologies, Bloomington, USA)
Bibliography
2024
Semantics from Space: Satellite-Guided Thermal Semantic Segmentation Annotation for Aerial Field Robots.
CoRR, 2024
2023
Impact of priority assignment on schedule-based attacks in real-time embedded systems.
J. Syst. Archit., December, 2023
IEEE Trans. Netw. Serv. Manag., March, 2023
Proceedings of the Practice and Experience in Advanced Research Computing, 2023
An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study.
Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023
Uav-Borne Bistatic Sar and Insar Experiments in Support of STV and SDC Target Observables.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023
Proceedings of the Computing and Combinatorics - 29th International Conference, 2023
2022
NeBula: TEAM CoSTAR's Robotic Autonomy Solution that Won Phase II of DARPA Subterranean Challenge.
Field Robotics, March, 2022
Quantifying the Impact of Advanced Web Platforms on High Performance Computing Usage.
Proceedings of the PEARC '22: Practice and Experience in Advanced Research Computing, Boston, MA, USA, July 10, 2022
Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Development of Ultra-Wideband Software Defined Radar Testbed to Support SAR Tomographic Mission Formulation.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022
Proceedings of the IEEE Globecom 2022 Workshops, 2022
2021
IEEE Robotics Autom. Lett., October, 2021
Automatic Target Recognition for Low Resolution Foliage Penetrating SAR Images Using CNNs and GANs.
Remote. Sens., 2021
NeBula: Quest for Robotic Autonomy in Challenging Environments; TEAM CoSTAR at the DARPA Subterranean Challenge.
CoRR, 2021
Distributed Aperture Radar Tomographic Sensors (DARTS) to Map Surface Topography and Vegetation Structure.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Proceedings of the Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, 2021
2020
Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives.
CoRR, 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
2019
Discret. Appl. Math., 2019
Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study.
CoRR, 2019
2018
Proceedings of the 2018 IEEE Military Communications Conference, 2018
Proceedings of the 11th International Conference on Human System Interaction, 2018
Proceedings of the Algorithmic Aspects in Information and Management, 2018
2017
Proceedings of the 10th International Conference on Human System Interactions, 2017
2016
Proceedings of the 31st Conference on Computational Complexity, 2016
2015
Identity Testing and Lower Bounds for Read-<i>k</i> Oblivious Algebraic Branching Programs.
Electron. Colloquium Comput. Complex., 2015
Comput. Complex., 2015
Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015
2014
APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
2013
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
2012
Proceedings of the Electronic Visualisation and the Arts, 2012
2011
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
2010
Electron. Colloquium Comput. Complex., 2010
2007
J. Comput. Phys., 2007
2003
Proceedings of the Computational Science - ICCS 2003, 2003
1996
Proceedings of the 4th Color and Imaging Conference, 1996