Model-Based Diagnostics Using Hints. - Jürg Kohlas; Paul-André Monney; Rolf Haenni; Norbert Lehmann (ECSQARU, 1995)

Assumption-Based Modeling Using ABEL. - Bernhard Anrig; Rolf Haenni; Jürg Kohlas; Norbert Lehmann (ECSQARU-FAPR, 1997)

Modelling uncertainty with propositional assumption-based systems. - Rolf Haenni (Applications of Uncertainty Formalisms, 1998)

Modeling Information Retrieval with Probabilistic Argumentation Systems. - Justin Picard; Rolf Haenni (BCS-IRSG Annual Colloquium on IR Research, 1998)

Generating Diagnoses from Conflict Sets. - Rolf Haenni (FLAIRS, 1998)

Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. - Jürg Kohlas; Bernhard Anrig; Rolf Haenni; Paul-André Monney (Artif. Intell., 1998)

An Alternative to Outward Propagation for Dempster-Shafer Belief Functions. - Norbert Lehmann; Rolf Haenni (ESCQARU, 1999)

Propositional Information Systems. - Jürg Kohlas; Rolf Haenni; Serafín Moral (J. Log. Comput., 1999)

Cost-bounded argumentation. - Rolf Haenni (Int. J. Approx. Reason., 2001)

Argumentative Reasoning with ABEL. - Rolf Haenni (JELIA, 2002)

A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning. - Rolf Haenni (Soft-Ware, 2002)

Probabilistic Argumentation Systems and Abduction. - Jürg Kohlas; Dritan Berzati; Rolf Haenni (Ann. Math. Artif. Intell., 2002)

Resource bounded and anytime approximation of belief function computations. - Rolf Haenni; Norbert Lehmann (Int. J. Approx. Reason., 2002)

Are alternatives to Dempster's rule of combination real alternatives?: Comments on "About the belief function combination and the conflict management problem" - Lefevre et al. - Rolf Haenni (Inf. Fusion, 2002)

Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography. - Rolf Haenni (ECSQARU, 2003)

ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning. - Rolf Haenni; Norbert Lehmann (ECSQARU, 2003)

Implementing belief function computations. - Rolf Haenni; Norbert Lehmann (Int. J. Intell. Syst., 2003)

Probabilistic argumentation systems: a new perspective on the dempster-shafer theory. - Rolf Haenni; Norbert Lehmann (Int. J. Intell. Syst., 2003)

Anytime argumentative and abductive reasoning. - Rolf Haenni (Soft Comput., 2003)

Ordered valuation algebras: a generic framework for approximating inference. - Rolf Haenni (Int. J. Approx. Reason., 2004)

Unifying Logical and Probabilistic Reasoning. - Rolf Haenni (ECSQARU, 2005)

Towards a Unifying Theory of Logical and Probabilistic Reasoning. - Rolf Haenni (ISIPTA, 2005)

Credential Networks: a General Model for Distributed Trust and Authenticity Management. - Jacek Jonczy; Rolf Haenni (PST, 2005)

Using probabilistic argumentation for key validation in public-key cryptography. - Rolf Haenni (Int. J. Approx. Reason., 2005)

Uncover Dempster's Rule Where It Is Hidden. - Rolf Haenni (FUSION, 2006)

Implementing Credential Networks. - Jacek Jonczy; Rolf Haenni (iTrust, 2006)

Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. - Michael Wachter 001; Rolf Haenni (KR, 2006)

Towards a precise semantics for authenticity and trust. - Reto Kohlas; Jacek Jonczy; Rolf Haenni (PST, 2006)

Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory. - Rolf Haenni; Stephan Hartmann 001 (Inf. Fusion, 2006)

Special Issue of Minds and Machines on Causality, Uncertainty and Ignorance. - Rolf Haenni; Stephan Hartmann 001 (Minds Mach., 2006)

Multi-state Directed Acyclic Graphs. - Michael Wachter 001; Rolf Haenni (Canadian AI, 2007)

Logical Compilation of Bayesian Networks with Discrete Variables. - Michael Wachter 001; Rolf Haenni (ECSQARU, 2007)

A New Model for Public-Key Authentication. - Reto Kohlas; Jacek Jonczy; Rolf Haenni (KiVS, 2007)

Compiling Solution Configurations in Semiring Valuation Systems. - Marc Pouly; Rolf Haenni; Michael Wachter 001 (MICAI, 2007)

Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras. - Michael Wachter 001; Rolf Haenni; Marc Pouly (MICAI, 2007)

A Trust Evaluation Method Based on Logic and Probability Theory. - Reto Kohlas; Jacek Jonczy; Rolf Haenni (IFIPTM, 2008)

Possible Semantics for a Common Framework of Probabilistic Logics. - Rolf Haenni; Jan-Willem Romeijn; Gregory R. Wheeler; Jon Williamson (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

Virtual Persons and Identities. - David-Olivier Jaquet-Chiffelle; Emmanuel Benoist; Rolf Haenni; Florent Wenger; Harald Zwingelberg (The Future of Identity in the Information Society, 2009)

Combining Probability and Logic. - Fábio Gagliardi Cozman; Rolf Haenni; Jan-Willem Romeijn; Federica Russo; Gregory R. Wheeler; Jon Williamson (J. Appl. Log., 2009)

Probabilistic argumentation. - Rolf Haenni (J. Appl. Log., 2009)

Why Public Registration Boards are Required in E-Voting Systems Based on Threshold Blind Signature Protocols. - Reto E. Koenig; Eric Dubuis; Rolf Haenni (Electronic Voting, 2010)

Coercion-Resistant Hybrid Voting Systems. - Oliver Spycher; Rolf Haenni; Eric Dubuis (Electronic Voting, 2010)

A Novel Protocol to Allow Revocation of Votes in a Hybrid Voting System. - Oliver Spycher; Rolf Haenni (ISSA, 2010)

Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference. - Raouia Ayachi; Nahla Ben Amor; Salem Benferhat; Rolf Haenni (UAI, 2010)

A New Approach towards Coercion-Resistant Remote E-Voting in Linear Time. - Oliver Spycher; Reto E. Koenig; Rolf Haenni; Michael Schläpfer (Financial Cryptography, 2011)

Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes. - Reto E. Koenig; Rolf Haenni; Stephan Fischli (SEC, 2011)

Secure Internet Voting on Limited Devices with Anonymized DSA Public Keys. - Rolf Haenni; Oliver Spycher (EVT/WOTE, 2011)

Efficient Vote Authorization in Coercion-Resistant Internet Voting. - Michael Schläpfer; Rolf Haenni; Reto E. Koenig; Oliver Spycher (VoteID, 2011)

Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting. - Oliver Spycher; Reto E. Koenig; Rolf Haenni; Michael Schläpfer (Electronic Voting, 2012)

How to Store some Secrets. - Reto E. Koenig; Rolf Haenni (IACR Cryptol. ePrint Arch., 2012)

Verifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote. - Eric Dubuis; Stephan Fischli; Rolf Haenni; Severin Hauser; Reto E. Koenig; Philipp Locher; J. Ritter; Philémon von Bergen (GI-Jahrestagung, 2013)

Attacking the Verification Code Mechanism in the Norwegian Internet Voting System. - Reto E. Koenig; Philipp Locher; Rolf Haenni (VoteID, 2013)

A generic approach to prevent board flooding attacks in coercion-resistant electronic voting schemes. - Rolf Haenni; Reto E. Koenig (Comput. Secur., 2013)

A Lightweight Implementation of a Shuffle Proof for Electronic Voting Systems. - Philipp Locher; Rolf Haenni (GI-Jahrestagung, 2014)

Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting. - Oksana Kulyk; Stephan Neumann; Jurlind Budurushi; Melanie Volkamer; Rolf Haenni; Reto E. Koenig; Philémon von Bergen (ARES, 2015)

Verifiable Internet Elections with Everlasting Privacy and Minimal Trust. - Philipp Locher; Rolf Haenni (VoteID, 2015)

A Generic Interface for the Public Bulletin Board Used in UniVote. - Severin Hauser; Rolf Haenni (CeDEM, 2016)

Coercion-Resistant Internet Voting with Everlasting Privacy. - Philipp Locher; Rolf Haenni; Reto E. Koenig (Financial Cryptography Workshops, 2016)

Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer. - Rolf Haenni; Reto E. Koenig; Eric Dubuis (E-VOTE-ID, 2016)

Receipt-free remote electronic elections with everlasting privacy. - Philipp Locher; Rolf Haenni (Ann. des Télécommunications, 2016)

Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets. - Rolf Haenni; Philipp Locher; Reto E. Koenig; Eric Dubuis (Financial Cryptography Workshops, 2017)

CHVote System Specification. - Rolf Haenni; Reto E. Koenig; Philipp Locher; Eric Dubuis (IACR Cryptol. ePrint Arch., 2017)

Modeling a Bulletin Board Service Based on Broadcast Channels with Memory. - Severin Hauser; Rolf Haenni (Financial Cryptography Workshops, 2018)

Outsourcing Modular Exponentiation in Cryptographic Web Applications. - Pascal Mainini; Rolf Haenni (Financial Cryptography Workshops, 2018)

Process Models for Universally Verifiable Elections. - Rolf Haenni; Eric Dubuis; Reto E. Koenig; Philipp Locher (E-Vote-ID, 2018)

Improving the Performance of Cryptographic Voting Protocols. - Rolf Haenni; Philipp Locher; Nicolas Gailly (Financial Cryptography Workshops, 2019)

CHVote: Sixteen Best Practices and Lessons Learned. - Rolf Haenni; Eric Dubuis; Reto E. Koenig; Philipp Locher (E-VOTE-ID, 2020)

Performance of Shuffling: Taking It to the Limits. - Rolf Haenni; Philipp Locher (Financial Cryptography Workshops, 2020)

An Alternative Group for Applications of ElGamal in Cryptographic Protocols. - Rolf Haenni; Ilona Starý Koránová (E-Vote-ID (GI), 2023)

Private Internet Voting on Untrusted Voting Devices. - Rolf Haenni; Reto E. Koenig; Philipp Locher (FC Workshops, 2023)