Supporting Design by Contract in Java. - Martin Lackner; Andreas Krall; Franz Puntigam (J. Object Technol., 2002)

A W[1]-Completeness Result for Generalized Permutation Pattern Matching - Marie-Louise Bruner; Martin Lackner (CoRR, 2011)

Multicut on Graphs of Bounded Clique-Width. - Martin Lackner; Reinhard Pichler; Stefan Rümmele; Stefan Woltran (COCOA, 2012)

Fixed-Parameter Algorithms for Closed World Reasoning. - Martin Lackner; Andreas Pfandler (ECAI, 2012)

Train Marshalling Is Fixed Parameter Tractable. - Leo Brueggeman; Michael R. Fellows; Rudolf Fleischer; Martin Lackner; Christian Komusiewicz; Yiannis Koutis; Andreas Pfandler; Frances A. Rosamond (FUN, 2012)

Fixed-Parameter Algorithms for Finding Minimal Models. - Martin Lackner; Andreas Pfandler (KR, 2012)

From Peaks to Valleys, Running Up and Down: Fast Permutation Pattern Matching. - Marie-Louise Bruner; Martin Lackner (Adv. Math. Commun., 2012)

The computational landscape of permutation patterns - Marie-Louise Bruner; Martin Lackner (CoRR, 2013)

The Likelihood of Structure in Preference Profiles. - Marie-Louise Bruner; Martin Lackner (MPREF@AAAI, 2014)

On Detecting Nearly Structured Preference Profiles. - Edith Elkind; Martin Lackner (AAAI, 2014)

A Parameterized Complexity Analysis of Generalized CP-Nets. - Martin Kronegger; Martin Lackner; Andreas Pfandler; Reinhard Pichler (AAAI, 2014)

Incomplete Preferences in Single-Peaked Electorates. - Martin Lackner (AAAI, 2014)

The Complexity of Recognizing Incomplete Single-Crossing Preferences. - Edith Elkind; Piotr Faliszewski; Martin Lackner; Svetlana Obraztsova (AAAI, 2015)

Manipulation of k-Approval in Nearly Single-Peaked Electorates. - Gábor Erdélyi; Martin Lackner; Andreas Pfandler (ADT, 2015)

Structure in Dichotomous Preferences. - Edith Elkind; Martin Lackner (IJCAI, 2015)

Preference Restrictions in Computational Social Choice: Recent Progress. - Edith Elkind; Martin Lackner; Dominik Peters (IJCAI, 2016)

A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs. - Marie-Louise Bruner; Martin Lackner (Algorithmica, 2016)

The Complexity of Pattern Matching for 321-Avoiding and Skew-Merged Permutations. - Michael H. Albert; Marie-Louise Lackner; Martin Lackner; Vincent Vatter (Discret. Math. Theor. Comput. Sci., 2016)

Winner Determination in Huge Elections with MapReduce. - Theresa Csar; Martin Lackner; Reinhard Pichler; Emanuel Sallinger (AAAI, 2017)

Proportional Justified Representation. - Luis Sánchez Fernández 001; Edith Elkind; Martin Lackner; Norberto Fernández García; Jesús Arias-Fisteus; Pablo Basanta-Val; Piotr Skowron 001 (AAAI, 2017)

Computational Social Choice in the Clouds. - Theresa Csar; Martin Lackner; Reinhard Pichler; Emanuel Sallinger (BTW (Workshops), 2017)

The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality. - Haris Aziz 001; Edith Elkind; Piotr Faliszewski; Martin Lackner; Piotr Skowron 001 (IJCAI, 2017)

Proportional Rankings. - Piotr Skowron 001; Martin Lackner; Markus Brill; Dominik Peters; Edith Elkind (IJCAI, 2017)

Committees providing EJR can be computed efficiently. - Luis Sánchez Fernández 001; Edith Elkind; Martin Lackner (CoRR, 2017)

Optimal Average Satisfaction and Extended Justified Representation in Polynomial Time. - Piotr Skowron 001; Martin Lackner; Edith Elkind; Luis Sánchez Fernández 001 (CoRR, 2017)

Computational Aspects of Nearly Single-Peaked Electorates. - Gábor Erdélyi; Martin Lackner; Andreas Pfandler (J. Artif. Intell. Res., 2017)

On the likelihood of single-peaked preferences. - Marie-Louise Lackner; Martin Lackner (Soc. Choice Welf., 2017)

On the Complexity of Extended and Proportional Justified Representation. - Haris Aziz 001; Edith Elkind; Shenwei Huang; Martin Lackner; Luis Sánchez Fernández 001; Piotr Skowron 001 (AAAI, 2018)

Multiwinner Elections With Diversity Constraints. - Robert Bredereck; Piotr Faliszewski; Ayumi Igarashi 001; Martin Lackner; Piotr Skowron 001 (AAAI, 2018)

Effective Heuristics for Committee Scoring Rules. - Piotr Faliszewski; Martin Lackner; Dominik Peters; Nimrod Talmon (AAAI, 2018)

Computing the Schulze Method for Large-Scale Preference Data Sets. - Theresa Csar; Martin Lackner; Reinhard Pichler (IJCAI, 2018)

Approval-Based Multi-Winner Rules and Strategic Voting. - Martin Lackner; Piotr Skowron 001 (IJCAI, 2018)

On Rational Delegations in Liquid Democracy. - Daan Bloembergen; Davide Grossi; Martin Lackner (AAAI, 2019)

A Quantitative Analysis of Multi-Winner Rules. - Martin Lackner; Piotr Skowron 001 (IJCAI, 2019)

A Mathematical Analysis of an Election System Proposed by Gottlob Frege. - Paul Harrenstein; Marie-Louise Lackner; Martin Lackner (CoRR, 2019)

Proportional Belief Merging. - Adrian Haret; Martin Lackner; Andreas Pfandler; Johannes Peter Wallner (AAAI, 2020)

Perpetual Voting: Fairness in Long-Term Decision Making. - Martin Lackner (AAAI, 2020)

Strategic Campaign Management in Apportionment Elections. - Robert Bredereck; Piotr Faliszewski; Michal Furdyna; Andrzej Kaczmarczyk 001; Martin Lackner (IJCAI, 2020)

Utilitarian welfare and representation guarantees of approval-based multiwinner rules. - Martin Lackner; Piotr Skowron 001 (Artif. Intell., 2020)

Approval-Based Committee Voting: Axioms, Algorithms, and Applications. - Martin Lackner; Piotr Skowron 001 (CoRR, 2020)

Incomplete Preferences in Single-Peaked Electorates. - Zack Fitzsimmons; Martin Lackner (J. Artif. Intell. Res., 2020)

Preferences Single-Peaked on a Circle. - Dominik Peters; Martin Lackner (J. Artif. Intell. Res., 2020)

Computing Kemeny Rankings from d-Euclidean Preferences. - Thekla Hamm; Martin Lackner; Anna Rapberger (ADT, 2021)

Fairness in Long-Term Participatory Budgeting. - Martin Lackner; Jan Maly 001; Simon Rey (IJCAI, 2021)

Perpetual Voting: The Axiomatic Lens. - Martin Lackner; Jan Maly 001 (CoRR, 2021)

Consistent approval-based multi-winner rules. - Martin Lackner; Piotr Skowron 001 (J. Econ. Theory, 2021)

Participatory Budgeting with Donations and Diversity Constraints. - Jiehua Chen 001; Martin Lackner; Jan Maly 001 (AAAI, 2022)

Liquid Democracy with Ranked Delegations. - Markus Brill; Théo Delemazure; Anne-Marie George; Martin Lackner; Ulrike Schmidt-Kraepelin (AAAI, 2022)

How to Sample Approval Elections? - Stanislaw Szufa; Piotr Faliszewski; Lukasz Janeczko; Martin Lackner; Arkadii Slinko; Krzysztof Sornat; Nimrod Talmon (IJCAI, 2022)

Effort-Based Fairness for Participatory Budgeting. - Jan Maly 001; Simon Rey; Ulle Endriss; Martin Lackner (CoRR, 2022)

Preference Restrictions in Computational Social Choice: A Survey. - Edith Elkind; Martin Lackner; Dominik Peters (CoRR, 2022)

Proportionality in Approval-Based Participatory Budgeting. - Markus Brill; Stefan Forster; Martin Lackner; Jan Maly 001; Jannik Peters 001 (AAAI, 2023)

Proportional Decisions in Perpetual Voting. - Martin Lackner; Jan Maly 001 (AAAI, 2023)

Fairness in Participatory Budgeting via Equality of Resources. - Jan Maly 001; Simon Rey; Ulle Endriss; Martin Lackner (AAMAS, 2023)

Free-Riding in Multi-Issue Decisions. - Martin Lackner; Jan Maly 001; Oliviero Nardi (AAMAS, 2023)

An Experimental Comparison of Multiwinner Voting Rules on Approval Elections. - Piotr Faliszewski; Martin Lackner; Krzysztof Sornat; Stanislaw Szufa (IJCAI, 2023)

Multi-Winner Voting with Approval Preferences - Artificial Intelligence, Multiagent Systems, and Cognitive Robotics - Martin Lackner; Piotr Skowron 001 (Springer, 2023)

abcvoting: A Python package for approval-based multi-winner voting rules. - Martin Lackner; Peter Regner; Benjamin Krenn (J. Open Source Softw., 2023)

Repeated Fair Allocation of Indivisible Items. - Ayumi Igarashi 001; Martin Lackner; Oliviero Nardi; Arianna Novaro (AAAI, 2024)

Enabling the Digital Democratic Revival: A Research Program for Digital Democracy. - Davide Grossi; Ulrike Hahn; Michael Mäs; Andreas Nitsche; Jan Behrens; Niclas Boehmer; Markus Brill; Ulle Endriss; Umberto Grandi; Adrian Haret; Jobst Heitzig; Nicolien Janssens; et al. (CoRR, 2024)

Phragmén's voting methods and justified representation. - Markus Brill; Rupert Freeman; Svante Janson; Martin Lackner (Math. Program., 2024)

Approval-based shortlisting. - Martin Lackner; Jan Maly 001 (Soc. Choice Welf., 2025)