| 2018 | CSL | An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2018 | LICS | Wreath Products of Distributive Forest Algebras. | Michael Hahn, Andreas Krebs, Howard Straubing |
| 2016 | LICS | Two-variable Logic with a Between Relation. | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2011 | CSL | Algebraic Characterization of the Alternation Hierarchy in FO | Howard Straubing |
| 2009 | LICS | Wreath Products of Forest Algebras, with Applications to Tree Logics. | Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz |
| 2008 | LICS | Piecewise Testable Tree Languages. | Mikolaj Bojanczyk, Luc Segoufin, Howard Straubing |
| 2006 | LICS | First Order Formulas with Modular Predicates. | Laura Chaubard, Jean-Eric Pin, Howard Straubing |
| 2006 | STACS | Definability of Languages by Generalized First-Order Formulas over (N, +). | Amitabha Roy, Howard Straubing |
| 2005 | DLT | Inexpressibility Results for Regular Languages in Nonregular Settings. | Howard Straubing |
| 2002 | LATIN | On Logical Descriptions of Regular Languages. | Howard Straubing |
| 2002 | LATIN | Weakly Iterated Block Products of Finite Monoids. | Howard Straubing, Denis Thrien |
| 2001 | STACS | Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables. | Howard Straubing, Denis Thrien |
| 1998 | STACS | Languages Defined With Modular Counting Quantifiers (Extended Abstract). | Howard Straubing |
| 1995 | LATIN | Lower Bounds for Modular Counting by Circuits with Modular Gates. | David A. Mix Barrington, Howard Straubing |
| 1992 | ICALP | Circuit Complexity and the Expressive Power of Generalized First-Order Formulas. | Howard Straubing |
| 1992 | LATIN | Complex Polynomials and Circuit Lower Bounds for Modular Counting. | David A. Mix Barrington, Howard Straubing |
| 1989 | STACS | New Results on the Generalized Star-Height Problem. | Jean-Eric Pin, Howard Straubing, Denis Thrien |
| 1988 | ICALP | regular Languages Defined with Generalized Quantifiers. | Howard Straubing, Denis Thrien, Wolfgang Thomas |
| 1986 | ICALP | Semigroups and Languages of Dot-Depth 2. | Howard Straubing |