John Corcoran - RankMe

16 papers A* 1Journal 12Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments. AAAI Mario A. Leiva, Noel Ngu, Joshua Shay Kricheli, Aditya Taparia, Ransalu Senanayake, Paulo Shakarian, Nathaniel D. Bastian, John Corcoran, Gerardo I. Simari
2025	—	`conf`	Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation. AAAI Spring Symposia Noel Ngu, Aditya Taparia, Gerardo I. Simari, Mario A. Leiva, Ransalu Senanayake, Paulo Shakarian, Nathaniel D. Bastian, John Corcoran
2025	J	`jnl`	VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection. CoRR Aditya Taparia, Noel Ngu, Mario A. Leiva, Joshua Shay Kricheli, John Corcoran, Nathaniel D. Bastian, Gerardo I. Simari, Paulo Shakarian, Ransalu Senanayake
2022	—	`conf`	Adaptive Monitoring for Analytics Placement in Tactical Networks. MILCOM John Corcoran, Eric Graves, Bryan Dawson, Matthew Dwyer, Paul L. Yu, Kevin Chan
2018	J	`jnl`	Aristotle's Prototype Rule-Based Underlying Logic. Logica Universalis John Corcoran
2015	J	`jnl`	Existential-Import Mathematics. Bull. Symb. Log. John Corcoran, Hassan Masoud
2014	J	`jnl`	Obituary Robert McNaughton 1924 - 2014. Bull. EATCS John Corcoran, Paliath Narendran, Wolfgang Thomas
2006	J	`jnl`	Schemata: The Concept of Schema in the History of Logic. Bull. Symb. Log. John Corcoran
1980	J	`jnl`	Boole's criteria for validity and invalidity. Notre Dame J. Formal Log. John Corcoran, Susan Wood
1979	J	`jnl`	Identity logics. Notre Dame J. Formal Log. John Corcoran, Stanley Ziewacz
1974	J	`jnl`	Logical consequence in modal logic. II. Some semantic systems for S4. Notre Dame J. Formal Log. John Corcoran, George Weaver
1974	J	`jnl`	String Theory. J. Symb. Log. John Corcoran, William Frank, Michael Maloney
1973	—	`conf`	TOPAS: A system of programs to size and evaluate mini-computers for real-time applications. ANSS John Corcoran, George J. Hafferon, Thomas H. Nash
1972	J	`jnl`	Completeness of an Ancient Logic. J. Symb. Log. John Corcoran
1972	J	`jnl`	Strange arguments. Notre Dame J. Formal Log. John Corcoran
1969	J	`jnl`	Logical consequence in modal logic: Natural deduction in S5. Notre Dame J. Formal Log. John Corcoran, George Weaver