Shawn Bowers

Identifiers

• name variant Shawn Bowers 0.60 · backfill

Papers (5)

1. Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica cs.LO · 2026 · author #4
2. Logical Robots: Declarative Multi-Agent Programming in Logica cs.MA · 2026 · author #4
3. Validation and Inference of Schema-Level Workflow Data-Dependency Annotations cs.DB · 2018 · author #1
4. Taxonomic Provenance: Two Influential Primate Classifications Logically Aligned q-bio.PE · 2014 · author #7
5. Reasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case q-bio.PE · 2014 · author #5

Mentions

• 2606.02926 #4 · arxiv_oai · confidence 0.70 Shawn Bowers
• 1412.1025 #7 · backfill · confidence 0.70 Shawn Bowers
• 1411.0940 #5 · backfill · confidence 0.70 Shawn Bowers

Frequent Coauthors

• Bertram Lud\"ascher 3 shared papers
• Bertram Ludaescher 2 shared papers
• Evgeny Skvortsov 2 shared papers
• Mingmin Chen 2 shared papers
• Nico M. Franz 2 shared papers
• Ojaswa Garg 2 shared papers
• Parisa Kianmajd 2 shared papers
• Shizhuo Yu 2 shared papers
• Yilin Xia 2 shared papers
• DeAnn M. Reeder 1 shared papers
• Naomi M. Pier 1 shared papers
• Timothy McPhillips 1 shared papers