Substitutional quantification and set theory. - Dale Gottlieb; Timothy McCarthy (J. Philos. Log., 1979)

Truth without satisfaction. - Kit Fine; Timothy McCarthy (J. Philos. Log., 1984)

A Statistical Calculation of Fault Detection Probabilities By Fast Fault Simulation. - John A. Waicukauski; Eric Lindbloom; Edward B. Eichelberger; Donato O. Forlenza; Tim McCarthy (ITC, 1985)

Abstraction and definability in semantically closed structures. - Timothy McCarthy (J. Philos. Log., 1985)

Modality, invariance, and logical truth. - Timothy McCarthy (J. Philos. Log., 1987)

Ungroundedness in classical languages. - Timothy McCarthy (J. Philos. Log., 1988)

Dual-scale validation of a medium-resolution coastal DEM with terrestrial LiDAR DSM and GPS. - Seamus Coveney; A. Stewart Fotheringham; Martin Charlton; Timothy McCarthy (Comput. Geosci., 2010)

MIMIC: Mobile mapping point density calculator. - Conor Cahalane; Tim McCarthy; Conor P. McElhinney (COM.Geo, 2012)

LiDAR data management pipeline; from spatial database population to web-application visualization. - Paul Lewis; Conor P. McElhinney; Timothy McCarthy (COM.Geo, 2012)

Application patterns for cyber-physical systems. - Jong-Seok Choi; Tim McCarthy; Maneesh Yadav; Minyoung Kim 002; Carolyn L. Talcott; Eric Gressier-Soudan (CPSNA, 2013)

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. - Jong-Seok Choi; Tim McCarthy; Minyoung Kim 002; Mark-Oliver Stehr (MobiQuitous, 2013)

Towards a GIS-Based Decision Support System on the Amazon Cloud for the Modelling of Domestic Wastewater Treatment Solutions in Wexford, Ireland. - Nadeem Qazi; David Smyth; Tim McCarthy (UKSim, 2013)

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems. - Mark-Oliver Stehr; Minyoung Kim 002; Tim McCarthy (Computing with New Resources, 2014)

Adaptive Interest Modeling Improves Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (MILCOM, 2014)

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (UMAP Workshops, 2014)

Automated road markings extraction from mobile laser scanning data. - Pankaj Kumar 011; Conor P. McElhinney; Paul Lewis; Timothy McCarthy (Int. J. Appl. Earth Obs. Geoinformation, 2014)

MIMIC: An Innovative Methodology for Determining Mobile Laser Scanning System Point Density. - Conor Cahalane; Conor P. McElhinney; Paul Lewis; Timothy McCarthy (Remote. Sens., 2014)

Calculation of Target-Specific Point Distribution for 2D Mobile Laser Scanners. - Conor Cahalane; Conor P. McElhinney; Paul Lewis; Tim McCarthy (Sensors, 2014)

Inferring Executable Models from Formalized Experimental Evidence. - Vivek Nigam; Robin Donaldson; Merrill Knapp; Tim McCarthy; Carolyn L. Talcott (CMSB, 2015)

Bixie: Finding and Understanding Inconsistent Code. - Tim McCarthy; Philipp Rümmer; Martin Schäf (ICSE (2), 2015)

Evaluation of a delay-tolerant ICN architecture. - Hasnain Lakhani; Timothy McCarthy; Minyoung Kim 002; David E. Wilkins; Samuel B. Wood (ICUFN, 2015)

Optimising Mobile Mapping System Laser Scanner Orientation. - Conor Cahalane; Paul Lewis; Conor P. McElhinney; Timothy McCarthy (ISPRS Int. J. Geo Inf., 2015)

Combining Remote Temperature Sensing with in-Situ Sensing to Track Marine/Freshwater Mixing Dynamics. - Margaret McCaul; Jack Barland; John Cleary; Conor Cahalane; Tim McCarthy; Dermot Diamond (Sensors, 2016)

Snake Energy Analysis and Result Validation for a Mobile Laser Scanning Data-Based Automated Road Edge Extraction Algorithm. - Pankaj Kumar 011; Paul Lewis; Conor P. McElhinney; Pawel Boguslawski; Tim McCarthy (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2017)

Evaluation of Grass Quality under Different Soil Management Scenarios Using Remote Sensing Techniques. - Mohammad Sadegh Askari; Timothy McCarthy; Aidan Magee; Darren J. Murphy (Remote. Sens., 2019)

Induction, Constructivity, and Grounding. - Timothy McCarthy (Notre Dame J. Formal Log., 2021)

Using Satellite-Based Data to Facilitate Consistent Monitoring of the Marine Environment around Ireland. - Gema Casal; Clara Cordeiro; Tim McCarthy (Remote. Sens., 2022)

Cross View Shared Transformer (CVST) a Shared Weight Siamese Network for Limited FoV Image Based Localisation. - Eduardo A. Avila H.; Tim McCarthy; John McDonald (ITSC, 2024)

Using the surface scattering mechanism from dual-pol SAR data to estimate topsoil particle-sizefractions. - Sandra Cristina Deodoro; Rafael de Andrade Moral; Réamonn Fealy; Tim McCarthy; Rowan Fealy (Int. J. Appl. Earth Obs. Geoinformation, 2024)

A Validation of OLCI Sentinel-3 Water Products in the Baltic Sea and an Evaluation of the Effect of System Vicarious Calibration (SVC) on the Level-2 Water Products. - Sean O'Kane; Tim McCarthy; Rowan Fealy; Susanne Kratzer (Remote. Sens., 2024)