Michael Byrd

According to our database1, Michael Byrd authored at least 14 papers between 1973 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Certified simultaneous isotopic approximation of pairs of curves via subdivision.
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2021
Bayesian regularization of Gaussian graphical models with measurement error.
Comput. Stat. Data Anal., 2021

2012
Cooing, Crying, and Babbling: A Link between Music and Prelinguistic Communication.
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

2011
Toward a Methodology for Agent-Based Data Mining and Visualization.
Proceedings of the Agents and Data Mining Interaction, 2011

2007
ConceptDoppler: a weather tracker for internet censorship.
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

1989
Russell, Logicism, and the Choice of Logical Constants.
Notre Dame J. Formal Log., 1989

1980
Eventual permanence.
Notre Dame J. Formal Log., 1980

1979
A formal interpretation of Łukasiewicz' logics.
Notre Dame J. Formal Log., 1979

1978
Sugihara's Criterion and Some Structural Parallels Between E<sub>→</sub> and S3<sub>→</sub>.
Math. Log. Q., 1978

On the Addition of Weakened <i>L</i>-Reduction Axioms to the Brouwer System.
Math. Log. Q., 1978

The extensions of BAlt<sub>3</sub> - revisited.
J. Philos. Log., 1978

1977
The extensions of BAlt<sub>3</sub>.
J. Philos. Log., 1977

1976
Single variable formulas in S4<sub>→</sub>.
J. Philos. Log., 1976

1973
Knowledge and true belief in Hintikka's epistemic logic.
J. Philos. Log., 1973


  Loading...