JP
Joseph Poremba
cs.LOcs.CGcs.DScs.SE
On Valency
published · living versionsW_vaywc9h9·v1 · currentpublished
Preprints & journals
3 papers in the corpus · 2020–2025Uncrossed Multiflows and Applications to Disjoint Paths2511.00254v3 · Chandra Chekuri, Guyslain Naves, Joseph Poremba et al.2025 · 0 citationsarXiv
Portus: Linking Alloy with SMT-based Finite Model Finding2411.15978v3 · Ryan Dancy, Nancy A. Day, Owen Zila et al.2024 · 0 citationsIEEE Transactions on Software Engineering, vol. 52, no. 2, pp. 488-508, Feb. 2026
Static Symmetry Breaking in Many-Sorted Finite Model Finding2003.02882v1 · Joseph Poremba2020 · 0 citationsarXiv
Career total: 8 works. 3 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.