pith. sign in

Mark Reynolds

Identifiers

  • name variant Mark Reynolds 0.60 · backfill

Papers (22)

  1. Maritime object classification with SAR imagery using quantum kernel methods quant-ph · 2025 · author #7
  2. A modal aleatoric calculus for probabilistic reasoning: extended version cs.LO · 2018 · author #3
  3. Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table cs.LO · 2018 · author #3
  4. A game-theoretic approach to timeline-based planning with uncertainty cs.AI · 2018 · author #5
  5. Quantum algorithm for visual tracking quant-ph · 2018 · author #5
  6. A Multi-wavelength Analysis of Binary-AGN Candidate PSO J334.2028+01.4075 astro-ph.HE · 2017 · author #3
  7. Trace Expressiveness of Timed and Probabilistic Automata cs.LO · 2017 · author #3
  8. Timed Automata with Polynomial Delay and their Expressiveness cs.LO · 2017 · author #3
  9. Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour cs.FL · 2016 · author #2
  10. Termination of Monotone Programs cs.LO · 2016 · author #3
  11. Deep Chandra Observations of the Compact Starburst Galaxy Henize 2-10: X-rays from the Massive Black Hole astro-ph.HE · 2016 · author #2
  12. A traditional tree-style tableau for LTL cs.LO · 2016 · author #1
  13. The Temporal Logic of two dimensional Minkowski spacetime is decidable math.LO · 2015 · author #2
  14. The Rate of Gas Accretion onto Black Holes Drives Jet Velocity astro-ph.HE · 2014 · author #5
  15. Specifying Robustness cs.LO · 2013 · author #3
  16. G306.3-0.9: A newly discovered young galactic supernova remnant astro-ph.HE · 2013 · author #1
  17. Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology cs.SE · 2012 · author #2
  18. A Swift survey of accretion onto stellar-mass black holes astro-ph.HE · 2011 · author #1
  19. An Anomalous Quiescent Stellar Mass Black Hole astro-ph.HE · 2011 · author #1
  20. Suzaku Observations of the Galactic Center Microquasar 1E 1740.7-2942 astro-ph.HE · 2010 · author #1
  21. Suzaku broadband spectroscopy of Swift J1753.5-0127 in the Low-Hard State astro-ph.HE · 2009 · author #1
  22. The light curve of the companion to PSR B1957+20 astro-ph · 2007 · author #1

Mentions

  • 1309.4416 #3 · backfill · confidence 0.70 Mark Reynolds
  • 1303.3546 #1 · backfill · confidence 0.70 Mark Reynolds
  • 1201.3416 #2 · backfill · confidence 0.70 Mark Reynolds
  • 1112.2249 #1 · backfill · confidence 0.70 Mark Reynolds
  • 1105.0883 #1 · backfill · confidence 0.70 Mark Reynolds
  • 1005.1269 #1 · backfill · confidence 0.70 Mark Reynolds
  • 0911.3642 #1 · backfill · confidence 0.70 Mark Reynolds
  • 0705.2514 #1 · backfill · confidence 0.70 Mark Reynolds

Frequent Coauthors