Zack Fitzsimmons

39 papers A* 8A 5B 2Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
A Taste of Formal Methods for Computer Science Students using Jupyter Notebooks.
SIGCSE (2)
Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra, Carlos R. Rivero
2025 A conf
On the Hardness of Fair Allocation under Ternary Valuations.
AAMAS
Zack Fitzsimmons, Vignesh Viswanathan, Yair Zick
2025 A conf
On the Parallelizability of Approval-Based Committee Rules.
ECAI
Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra
2025 J jnl
On the Parallelizability of Approval-Based Committee Rules.
CoRR
Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra
2024 J jnl
On the Hardness of Fair Allocation under Ternary Valuations.
CoRR
Zack Fitzsimmons, Vignesh Viswanathan, Yair Zick
2023 B conf
Complexity of Conformant Election Manipulation.
FCT
Zack Fitzsimmons, Edith Hemaspaandra
2023 J jnl
Complexity of Conformant Election Manipulation.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2023 A conf
Using Weighted Matching to Solve 2-Approval/Veto Control and Bribery.
ECAI
Zack Fitzsimmons, Edith Hemaspaandra
2023 J jnl
Using Weighted Matching to Solve 2-Approval/Veto Control and Bribery.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2022 A* conf
Insight into Voting Problem Complexity Using Randomized Classes.
IJCAI
Zack Fitzsimmons, Edith Hemaspaandra
2022 J jnl
Insight into Voting Problem Complexity Using Randomized Classes.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2021 A* conf
Kemeny Consensus Complexity.
IJCAI
Zack Fitzsimmons, Edith Hemaspaandra
2021 J jnl
Kemeny Consensus Complexity.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2021 A* conf
Representative Proxy Voting.
AAAI
Elliot Anshelevich, Zack Fitzsimmons, Rohit Vaish, Lirong Xia
2020 J jnl
Control in the presence of manipulators: cooperative and competitive cases.
Auton. Agents Multi Agent Syst.
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
2020 J jnl
Correction to: Control in the presence of manipulators: cooperative and competitive cases.
Auton. Agents Multi Agent Syst.
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
2020 A conf
Election Score Can Be Harder than Winner.
ECAI
Zack Fitzsimmons, Edith Hemaspaandra
2020 J jnl
Incomplete Preferences in Single-Peaked Electorates.
J. Artif. Intell. Res.
Zack Fitzsimmons, Martin Lackner
2020 J jnl
Representative Proxy Voting.
CoRR
Elliot Anshelevich, Zack Fitzsimmons, Rohit Vaish, Lirong Xia
2020 A* conf
Selecting Voting Locations for Fun and Profit.
IJCAI
Zack Fitzsimmons, Omer Lev
2020 J jnl
Selecting Voting Locations for Fun and Profit.
CoRR
Zack Fitzsimmons, Omer Lev
2019 J jnl
High-multiplicity election problems.
Auton. Agents Multi Agent Syst.
Zack Fitzsimmons, Edith Hemaspaandra
2019 J jnl
Incomplete Preferences in Single-Peaked Electorates.
CoRR
Zack Fitzsimmons, Martin Lackner
2019 A* conf
Very Hard Electoral Control Problems.
AAAI
Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover, David E. Narváez
2018 J jnl
Election Score Can Be Harder Than Winner.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2018 A conf
High-Multiplicity Election Problems.
AAMAS
Zack Fitzsimmons, Edith Hemaspaandra
2018 J jnl
Very Hard Electoral Control Problems.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover, David E. Narváez
2017 A* conf
The Complexity of Succinct Elections.
AAAI
Zack Fitzsimmons, Edith Hemaspaandra
2016 J jnl
Manipulation Complexity of Same-System Runoff Elections.
Ann. Math. Artif. Intell.
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
2016 — conf
Modeling Single-Peakedness for Votes with Ties.
STAIRS
Zack Fitzsimmons, Edith Hemaspaandra
2016 J jnl
Modeling Single-Peakedness for Votes with Ties.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2016 J jnl
The Complexity of Succinct Elections.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2015 — conf
Complexity of Manipulative Actions When Voting with Ties.
ADT
Zack Fitzsimmons, Edith Hemaspaandra
2015 J jnl
Complexity of Manipulative Actions When Voting with Ties.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra
2015 A* conf
Realistic Assumptions for Attacks on Elections.
AAAI
Zack Fitzsimmons
2015 B conf
Single-Peaked Consistency for Weak Orders Is Easy.
TARK
Zack Fitzsimmons
2013 A* conf
Control in the Presence of Manipulators: Cooperative and Competitive Cases.
IJCAI
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
2013 J jnl
Control in the Presence of Manipulators: Cooperative and Competitive Cases.
CoRR
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
2013 J jnl
X THEN X: Manipulation of Same-System Runoff Elections
CoRR
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra