pith. sign in

Inc.)

Identifiers

  • name variant Inc.) 0.60 · backfill

Papers (46)

  1. GraphFlow: An Architecture for Formally Verifiable Visual Workflows Enabling Reliable Agentic AI Automation cs.AI · 2026 · author #4
  2. The Physics of Accretion Onto Highly Magnetized Neutron Stars astro-ph.HE · 2019 · author #33
  3. Hint Orchestration Using ACL2's Simplifier cs.LO · 2018 · author #2
  4. Incremental SAT Library Integration Using Abstract Stobjs cs.LO · 2018 · author #2
  5. Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications cs.SC · 2018 · author #2
  6. Cognitive Subscore Trajectory Prediction in Alzheimer's Disease stat.ML · 2017 · author #6
  7. Finding the UV-Visible Path Forward: Proceedings of the Community Workshop to Plan the Future of UV/Visible Space Astrophysics astro-ph.IM · 2016 · author #4
  8. New constraints on quantum foam models from X-ray and gamma-ray observations of distant quasars astro-ph.CO · 2016 · author #6
  9. Fix Your Types cs.LO · 2015 · author #2
  10. Quasar Classification Using Color and Variability astro-ph.GA · 2015 · author #17
  11. Bayesian High-Redshift Quasar Classification from Optical and Mid-IR Photometry astro-ph.GA · 2015 · author #21
  12. OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse cs.SE · 2014 · author #2
  13. Airships: A New Horizon for Science astro-ph.IM · 2014 · author #37
  14. Conditioning and Future Plans for a Multi-purpose 805 MHz Pillbox Cavity for Muon Acceleration physics.acc-ph · 2013 · author #8
  15. Optimization of the Target Subsystem for the New g-2 Experiment physics.acc-ph · 2013 · author #2
  16. Model Checking with Program Slicing Based on Variable Dependence Graphs cs.LO · 2013 · author #8
  17. Statistical Tests of Chondrule Sorting astro-ph.EP · 2011 · author #12
  18. Metal Abundance Calibration of the Ca II Triplet Lines in RR Lyrae Stars astro-ph.SR · 2011 · author #9
  19. A 10-hour period revealed in optical spectra of the highly variable WN8 Wolf-Rayet star WR 123 astro-ph.SR · 2011 · author #7
  20. Relating Church-Style and Curry-Style Subtyping cs.LO · 2011 · author #3
  21. Photoionized features in the X-ray spectrum of EX Hydrae astro-ph.SR · 2010 · author #12
  22. The Correlation between X-Ray Line Ionization and Optical Spectral Types of the OB Stars astro-ph.HE · 2009 · author #4
  23. The ^{55}Fe X-ray Energy Response of Mercury Cadmium Telluride Near-Infrared Detector Arrays astro-ph.IM · 2009 · author #5
  24. An Analysis of the Shapes of Interstellar Extinction Curves. VI. The Near-IR Extinction Law astro-ph.GA · 2009 · author #3
  25. CalFUSE v3: A Data-Reduction Pipeline for the Far Ultraviolet Spectroscopic Explorer astro-ph · 2007 · author #35
  26. Transit-Time Spin Field-Effect-Transistor cond-mat.mtrl-sci · 2007 · author #4
  27. Electronic measurement and control of spin transport in Silicon cond-mat.mtrl-sci · 2007 · author #5
  28. Correction of SOHO CELIAS/SEM EUV Measurements saturated by extreme solar flare events astro-ph · 2006 · author #9
  29. An Analysis of the Shapes of Ultraviolet Extinction Curves. IV. Extinction without Standards astro-ph · 2005 · author #3
  30. Determining the Physical Properties of the B Stars II. Calibration of Synthetic Photometry astro-ph · 2004 · author #3
  31. Propagation of Electromagnetic Waves on a Rectangular Lattice of Polarizable Points astro-ph · 2004 · author #2
  32. A Search for Mid-Infrared Emission from Hot Molecular Core Candidates astro-ph · 2003 · author #10
  33. How Hot Is Radiation? cond-mat.stat-mech · 2002 · author #3
  34. A Model for Isotropic Crystal Growth from Vapor on a Patterned Substrate cond-mat.mtrl-sci · 2001 · author #5
  35. Proof of security of quantum key distribution with two-way classical communications quant-ph · 2001 · author #3
  36. Cosmic Inflation, the Beginning of the Universe, and the Origin of the Various Elements physics.gen-ph · 2001 · author #2
  37. Complementary Algorithms For Tableaux math.CO · 2000 · author #5
  38. The ARPES Pseudogap and Anomalous Background of Underdoped BiSCO 2212 as Evidence for a Fermi Level Band Crossing cond-mat.supr-con · 1999 · author #3
  39. Integrability Tests for Nonlinear Evolution Equations solv-int · 1999 · author #3
  40. The NMR of High Temperature Superconductors without Anti-Ferromagnetic Spin Fluctuations cond-mat.supr-con · 1999 · author #2
  41. Time Dynamics of Probability Measure and Hedging of Derivatives math.PR · 1998 · author #2
  42. Towards a PURE Spoken Dialogue System for Information Access cmp-lg · 1997 · author #2
  43. On a New Non-Geometric Element in Gravity gr-qc · 1997 · author #3
  44. A Computational Approach to Aspectual Composition cmp-lg · 1995 · author #2
  45. Presenting Punctuation cmp-lg · 1995 · author #2
  46. Convergence of Convective-Diffusive Lattice Boltzmann Methods comp-gas · 1993 · author #2

Mentions

  • 1404.6608 #2 · backfill · confidence 0.70 Inc.)
  • 1402.6706 #37 · backfill · confidence 0.70 Inc.)
  • 1301.7460 #8 · backfill · confidence 0.70 Inc.)
  • 1301.6800 #2 · backfill · confidence 0.70 Inc.)
  • 1301.0041 #8 · backfill · confidence 0.70 Inc.)
  • 1110.4111 #12 · backfill · confidence 0.70 Inc.)
  • 1108.4986 #9 · backfill · confidence 0.70 Inc.)
  • 1104.5182 #7 · backfill · confidence 0.70 Inc.)
  • 1101.4423 #3 · backfill · confidence 0.70 Inc.)
  • 1001.5459 #12 · backfill · confidence 0.70 Inc.)
  • 0907.4738 #4 · backfill · confidence 0.70 Inc.)
  • 0906.0579 #5 · backfill · confidence 0.70 Inc.)
  • 0905.0133 #3 · backfill · confidence 0.70 Inc.)
  • 0704.0899 #35 · backfill · confidence 0.70 Inc.)

Frequent Coauthors