Rolf Haenni

Rolf Haenni, Reto E. Koenig: A generic approach to prevent board flooding attacks in coercion-resistant electronic voting schemes. Computers & Security 33: 59-69 (2013)

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

Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni: Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference. CoRR abs/1203.3465 (2012)

Reto E. Koenig, Rolf Haenni: How to Store some Secrets. IACR Cryptology ePrint Archive 2012: 375 (2012)

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

Reto E. Koenig, Rolf Haenni, Stephan Fischli: Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes. SEC 2011: 116-127

Michael Schläpfer, Rolf Haenni, Reto E. Koenig, Oliver Spycher: Efficient Vote Authorization in Coercion-Resistant Internet Voting. VOTE-ID 2011: 71-88

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

Oliver Spycher, Rolf Haenni, Eric Dubuis: Coercion-Resistant Hybrid Voting Systems. Electronic Voting 2010: 269-282

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

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

Fabio Gagliardi Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory R. Wheeler, Jon Williamson: Combining Probability and Logic. J. Applied Logic 7(2): 131-135 (2009)

Rolf Haenni: Probabilistic argumentation. J. Applied Logic 7(2): 155-176 (2009)

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

Michael Wachter, Rolf Haenni: Multi-state Directed Acyclic Graphs. Canadian Conference on AI 2007: 464-475

Michael Wachter, Rolf Haenni: Logical Compilation of Bayesian Networks with Discrete Variables. ECSQARU 2007: 536-547

Reto Kohlas, Jacek Jonczy, Rolf Haenni: A New Model for Public-Key Authentication. KiVS 2007: 213-224

Michael Wachter, Rolf Haenni, Marc Pouly: Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras. MICAI 2007: 236-247

Marc Pouly, Rolf Haenni, Michael Wachter: Compiling Solution Configurations in Semiring Valuation Systems. MICAI 2007: 248-259

Rolf Haenni, Stephan Hartmann: Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory. Information Fusion 7(4): 361-379 (2006)

Jacek Jonczy, Rolf Haenni: Implementing Credential Networks. iTrust 2006: 164-178

Michael Wachter, Rolf Haenni: Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. KR 2006: 277-285

Reto Kohlas, Jacek Jonczy, Rolf Haenni: Towards a precise semantics for authenticity and trust. PST 2006: 18

Rolf Haenni: Using probabilistic argumentation for key validation in public-key cryptography. Int. J. Approx. Reasoning 38(3): 355-376 (2005)

Rolf Haenni: Unifying Logical and Probabilistic Reasoning. ECSQARU 2005: 788-799

Rolf Haenni: Towards a Unifying Theory of Logical and Probabilistic Reasoning. ISIPTA 2005: 193-202

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

Rolf Haenni: Ordered valuation algebras: a generic framework for approximating inference. Int. J. Approx. Reasoning 37(1): 1-41 (2004)

Rolf Haenni, Norbert Lehmann: Implementing belief function computations. Int. J. Intell. Syst. 18(1): 31-49 (2003)

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

Rolf Haenni: Anytime argumentative and abductive reasoning. Soft Comput. 8(2): 142-149 (2003)

Rolf Haenni: Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography. ECSQARU 2003: 243-254

Rolf Haenni, Norbert Lehmann: ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning. ECSQARU 2003: 588-593

Jürg Kohlas, Dritan Berzati, Rolf Haenni: Probabilistic Argumentation Systems and Abduction. Ann. Math. Artif. Intell. 34(1-3): 177-195 (2002)

Rolf Haenni, Norbert Lehmann: Resource bounded and anytime approximation of belief function computations. Int. J. Approx. Reasoning 31(1-2): 103-154 (2002)

Rolf Haenni: 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. Information Fusion 3(3): 237-239 (2002)

Rolf Haenni: Argumentative Reasoning with ABEL. JELIA 2002: 505-508

Rolf Haenni: A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning. Soft-Ware 2002: 114-127

Rolf Haenni: Cost-bounded argumentation. Int. J. Approx. Reasoning 26(2): 101-127 (2001)

Jürg Kohlas, Rolf Haenni, Serafín Moral: Propositional Information Systems. J. Log. Comput. 9(5): 651-681 (1999)

Norbert Lehmann, Rolf Haenni: An Alternative to Outward Propagation for Dempster-Shafer Belief Functions. ESCQARU 1999: 256-267

Jürg Kohlas, Bernhard Anrig, Rolf Haenni, Paul-André Monney: Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. Artif. Intell. 104(1-2): 71-106 (1998)

Rolf Haenni: Modelling uncertainty with propositional assumption-based systems. Applications of Uncertainty Formalisms 1998: 446-470

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

Rolf Haenni: Generating Diagnoses from Conflict Sets. FLAIRS Conference 1998: 420-424

Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann: Assumption-Based Modeling Using ABEL. ECSQARU-FAPR 1997: 171-182

Jürg Kohlas, Paul-André Monney, Rolf Haenni, Norbert Lehmann: Model-Based Diagnostics Using Hints. ECSQARU 1995: 259-266