Joseph Poremba

According to our database, Joseph Poremba authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Cut-sufficient directed 2-commodity multiflow topologies.

Joseph Poremba, F. Bruce Shepherd

Math. Program., March, 2025

2024

Portus: Linking Alloy with SMT-based Finite Model Finding.

Ryan Dancy, Nancy A. Day, Owen Zila, Khadija Tariq, Joseph Poremba

CoRR, 2024

2023

New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding.

Joseph Poremba, Nancy A. Day, Amirhossein Vakili

IEEE Trans. Software Eng., June, 2023

2020

Static Symmetry Breaking in Many-Sorted Finite Model Finding.

Joseph Poremba

CoRR, 2020