We stand with Ukraine  

John Corcoran

According to our database1, John Corcoran authored at least 15 papers between 1969 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2001, "For contributions to high-performance analog-to-digital converters.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection.
[BibTeX]
[DOI]
Aditya Taparia
,
Noel Ngu
,
Mario A. Leiva
,
Joshua Shay Kricheli
,
John Corcoran
,
Nathaniel D. Bastian
,
Gerardo I. Simari
,
Paulo Shakarian
,
Ransalu Senanayake
CoRR, May, 2025

Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation.
[BibTeX]
[DOI]
Noel Ngu
,
Aditya Taparia
,
Gerardo I. Simari
,
Mario A. Leiva
,
Ransalu Senanayake
,
Paulo Shakarian
,
Nathaniel D. Bastian
,
John Corcoran
Proceedings of the 2025 AAAI Spring Symposium Series, 2025

2022
Adaptive Monitoring for Analytics Placement in Tactical Networks.
[BibTeX]
[DOI]
John Corcoran
,
Eric Graves
,
Bryan Dawson
,
Matthew Dwyer
,
Paul L. Yu
,
Kevin Chan
Proceedings of the IEEE Military Communications Conference, 2022

2018
Aristotle's Prototype Rule-Based Underlying Logic.
[BibTeX]
[DOI]
John Corcoran
Logica Universalis, 2018

2015
Existential-Import Mathematics.
[BibTeX]
[DOI]
John Corcoran
,
Hassan Masoud
Bull. Symb. Log., 2015

2014
Obituary Robert McNaughton 1924 - 2014.
[BibTeX]
[DOI]
John Corcoran
,
Paliath Narendran
,
Wolfgang Thomas
Bull. EATCS, 2014

2006
Schemata: The Concept of Schema in the History of Logic.
[BibTeX]
[DOI]
John Corcoran
Bull. Symb. Log., 2006

1980
Boole's criteria for validity and invalidity.
[BibTeX]
[DOI]
John Corcoran
,
Susan Wood
Notre Dame J. Formal Log., 1980

1979
Identity logics.
[BibTeX]
[DOI]
John Corcoran
,
Stanley Ziewacz
Notre Dame J. Formal Log., 1979

1974
Logical consequence in modal logic. II. Some semantic systems for S4.
[BibTeX]
[DOI]
John Corcoran
,
George Weaver
Notre Dame J. Formal Log., 1974

String Theory.
[BibTeX]
[DOI]
John Corcoran
,
William Frank
,
Michael Maloney
J. Symb. Log., 1974

1973
TOPAS: A system of programs to size and evaluate mini-computers for real-time applications.
[BibTeX]
[DOI]
John Corcoran
,
George J. Hafferon
,
Thomas H. Nash
Proceedings of the 1st Symposium on Simulation of Computer Systems, 1973

1972
Strange arguments.
[BibTeX]
[DOI]
John Corcoran
Notre Dame J. Formal Log., 1972

Completeness of an Ancient Logic.
[BibTeX]
[DOI]
John Corcoran
J. Symb. Log., 1972

1969
Logical consequence in modal logic: Natural deduction in S5.
[BibTeX]
[DOI]
John Corcoran
,
George Weaver
Notre Dame J. Formal Log., 1969


  Loading...