Matthew A. Clark
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2013–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICASSP | On Radar Privacy in Shared Spectrum Scenarios. | Anastasios Dimas, Matthew A. Clark, Bo Li, Konstantinos Psounis, Athina P. Petropulu |
| 2019 | ICINCO | "ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. | Hao Ren, Ratnesh Kumar, Matthew A. Clark |
| 2017 | ACSSC | Spectrum sharing between radar and communication systems: Can the privacy of the radar be preserved? | Anastasios Dimas, Bo Li, Matthew A. Clark, Konstantinos Psounis, Athina P. Petropulu |
| 2016 | INFOCOM | Can the privacy of primary networks in shared spectrum be protected? | Matthew A. Clark, Konstantinos Psounis |
| 2015 | INFOCOM | Efficient resource scheduling for a secondary network in shared spectrum. | Matthew A. Clark, Konstantinos Psounis |
| 2013 | FMICS | Study on the Barriers to the Industrial Adoption of Formal Methods. | Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner |