Jim McCarthy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2023
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IGARSS | Pre-Launch Calibration Methods of OCI on the Pace Mission. | Joseph J. Knuble, Gerhard Meister, Leland H. Chemerys, Hyeungu Choi, Nicholas R. Collins, Robert E. Eplee, Ulrik Gliese, Eric T. Gorman, Kim S. Jepsen, Samuel Kitchen-McKinley, Shihyan Lee, Jeffrey McIntire, Frederick S. Patt, Bradley C. Tse, Eugene Waluschka, Christopher T. Field, Brendan McAndrew, Julia A. Barsi, Andrei Sushkov, Robert Bousquet, William B. Cook, Jeremy Werdell, Jim McCarthy, Mir Sabrina Sharmin, George Hilton |
| 2020 | CADE | N-PAT: A Nested Model-Checker - (System Description). | Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | RL: a Language for Formal Engineering. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2016 | ACSAC | The cross domain desktop compositor: using hardware-based video compositing for a multi-level secure user interface. | Mark R. Beaumont, Jim McCarthy, Toby C. Murray |