Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rolf Haenni
@inproceedings{DBLP:conf/fc/HaenniKL23,
author = {Rolf Haenni and
Reto E. Koenig and
Philipp Locher},
editor = {Aleksander Essex and
Shin'ichiro Matsuo and
Oksana Kulyk and
Lewis Gudgeon and
Ariah Klages{-}Mundt and
Daniel Perez and
Sam Werner and
Andrea Bracciali and
Geoff Goodell},
title = {Private Internet Voting on Untrusted Voting Devices},
booktitle = {Financial Cryptography and Data Security. {FC} 2023 International
Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Bra{\v{c}}, Croatia,
May 5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13953},
pages = {47--62},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48806-1\_4},
doi = {10.1007/978-3-031-48806-1\_4},
timestamp = {Mon, 18 Dec 2023 16:44:30 +0100},
biburl = {https://dblp.org/rec/conf/fc/HaenniKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoteid/HaenniDKL20,
author = {Rolf Haenni and
Eric Dubuis and
Reto E. Koenig and
Philipp Locher},
editor = {Robert Krimmer and
Melanie Volkamer and
Bernhard Beckert and
Ralf K{\"{u}}sters and
Oksana Kulyk and
David Duenas{-}Cid and
Mikhel Solvak},
title = {CHVote: Sixteen Best Practices and Lessons Learned},
booktitle = {Electronic Voting - 5th International Joint Conference, E-Vote-ID
2020, Bregenz, Austria, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12455},
pages = {95--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60347-2\_7},
doi = {10.1007/978-3-030-60347-2\_7},
timestamp = {Fri, 25 Sep 2020 12:44:11 +0200},
biburl = {https://dblp.org/rec/conf/evoteid/HaenniDKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/HaenniL20,
author = {Rolf Haenni and
Philipp Locher},
editor = {Matthew Bernhard and
Andrea Bracciali and
L. Jean Camp and
Shin'ichiro Matsuo and
Alana Maurushat and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {Performance of Shuffling: Taking It to the Limits},
booktitle = {Financial Cryptography and Data Security - {FC} 2020 International
Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia,
February 14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12063},
pages = {369--385},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54455-3\_27},
doi = {10.1007/978-3-030-54455-3\_27},
timestamp = {Sun, 09 Aug 2020 16:11:05 +0200},
biburl = {https://dblp.org/rec/conf/fc/HaenniL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/HaenniLG19,
author = {Rolf Haenni and
Philipp Locher and
Nicolas Gailly},
editor = {Andrea Bracciali and
Jeremy Clark and
Federico Pintore and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {Improving the Performance of Cryptographic Voting Protocols},
booktitle = {Financial Cryptography and Data Security - {FC} 2019 International
Workshops, {VOTING} and WTSC, St. Kitts, St. Kitts and Nevis, February
18-22, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11599},
pages = {272--288},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43725-1\_19},
doi = {10.1007/978-3-030-43725-1\_19},
timestamp = {Mon, 03 Jan 2022 22:29:34 +0100},
biburl = {https://dblp.org/rec/conf/fc/HaenniLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/MaininiH18,
author = {Pascal Mainini and
Rolf Haenni},
editor = {Aviv Zohar and
Ittay Eyal and
Vanessa Teague and
Jeremy Clark and
Andrea Bracciali and
Federico Pintore and
Massimiliano Sala},
title = {Outsourcing Modular Exponentiation in Cryptographic Web Applications},
booktitle = {Financial Cryptography and Data Security - {FC} 2018 International
Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Cura{\c{c}}ao, March
2, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10958},
pages = {181--195},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58820-8\_13},
doi = {10.1007/978-3-662-58820-8\_13},
timestamp = {Wed, 16 Mar 2022 23:55:54 +0100},
biburl = {https://dblp.org/rec/conf/fc/MaininiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/HauserH18,
author = {Severin Hauser and
Rolf Haenni},
editor = {Aviv Zohar and
Ittay Eyal and
Vanessa Teague and
Jeremy Clark and
Andrea Bracciali and
Federico Pintore and
Massimiliano Sala},
title = {Modeling a Bulletin Board Service Based on Broadcast Channels with
Memory},
booktitle = {Financial Cryptography and Data Security - {FC} 2018 International
Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Cura{\c{c}}ao, March
2, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10958},
pages = {232--246},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58820-8\_16},
doi = {10.1007/978-3-662-58820-8\_16},
timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/HauserH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/HaenniDKL18,
author = {Rolf Haenni and
Eric Dubuis and
Reto E. Koenig and
Philipp Locher},
editor = {Robert Krimmer and
Melanie Volkamer and
V{\'{e}}ronique Cortier and
Rajeev Gor{\'{e}} and
Manik Hapsara and
Uwe Serd{\"{u}}lt and
David Duenas{-}Cid},
title = {Process Models for Universally Verifiable Elections},
booktitle = {Electronic Voting - Third International Joint Conference, E-Vote-ID
2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11143},
pages = {84--99},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00419-4\_6},
doi = {10.1007/978-3-030-00419-4\_6},
timestamp = {Sun, 02 Oct 2022 16:16:57 +0200},
biburl = {https://dblp.org/rec/conf/voteid/HaenniDKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MaininiH18,
author = {Pascal Mainini and
Rolf Haenni},
title = {Outsourcing Modular Exponentiation in Cryptographic Web Applications},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {300},
year = {2018},
url = {https://eprint.iacr.org/2018/300},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MaininiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/HaenniLKD17,
author = {Rolf Haenni and
Philipp Locher and
Reto E. Koenig and
Eric Dubuis},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {370--384},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_23},
doi = {10.1007/978-3-319-70278-0\_23},
timestamp = {Tue, 16 Aug 2022 23:04:23 +0200},
biburl = {https://dblp.org/rec/conf/fc/HaenniLKD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HaenniKLD17,
author = {Rolf Haenni and
Reto E. Koenig and
Philipp Locher and
Eric Dubuis},
title = {CHVote System Specification},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {325},
year = {2017},
url = {http://eprint.iacr.org/2017/325},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/HaenniKLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/LocherH16,
author = {Philipp Locher and
Rolf Haenni},
title = {Receipt-free remote electronic elections with everlasting privacy},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {71},
number = {7-8},
pages = {323--336},
year = {2016},
url = {https://doi.org/10.1007/s12243-016-0519-6},
doi = {10.1007/S12243-016-0519-6},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/LocherH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cedem/HauserH16,
author = {Severin Hauser and
Rolf Haenni},
editor = {Noella Edelmann and
Peter Parycek},
title = {A Generic Interface for the Public Bulletin Board Used in UniVote},
booktitle = {2016 Conference for E-Democracy and Open Government, CeDEM 2016, Krems,
Austria, May 18-20, 2016},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CeDEM.2016.24},
doi = {10.1109/CEDEM.2016.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cedem/HauserH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/LocherHK16,
author = {Philipp Locher and
Rolf Haenni and
Reto E. Koenig},
editor = {Jeremy Clark and
Sarah Meiklejohn and
Peter Y. A. Ryan and
Dan S. Wallach and
Michael Brenner and
Kurt Rohloff},
title = {Coercion-Resistant Internet Voting with Everlasting Privacy},
booktitle = {Financial Cryptography and Data Security - {FC} 2016 International
Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February
26, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9604},
pages = {161--175},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53357-4\_11},
doi = {10.1007/978-3-662-53357-4\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/LocherHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/HaenniKD16,
author = {Rolf Haenni and
Reto E. Koenig and
Eric Dubuis},
editor = {Robert Krimmer and
Melanie Volkamer and
Jordi Barrat and
Josh Benaloh and
Nicole J. Goodman and
Peter Y. A. Ryan and
Vanessa Teague},
title = {Cast-as-Intended Verification in Electronic Elections Based on Oblivious
Transfer},
booktitle = {Electronic Voting - First International Joint Conference, E-Vote-ID
2016, Bregenz, Austria, October 18-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10141},
pages = {73--91},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52240-1\_5},
doi = {10.1007/978-3-319-52240-1\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/voteid/HaenniKD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/KulykNBVHKB15,
author = {Oksana Kulyk and
Stephan Neumann and
Jurlind Budurushi and
Melanie Volkamer and
Rolf Haenni and
Reto E. Koenig and
Phil{\'{e}}mon von Bergen},
title = {Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting},
booktitle = {10th International Conference on Availability, Reliability and Security,
{ARES} 2015, Toulouse, France, August 24-27, 2015},
pages = {224--229},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ARES.2015.75},
doi = {10.1109/ARES.2015.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/KulykNBVHKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/LocherH15,
author = {Philipp Locher and
Rolf Haenni},
editor = {Rolf Haenni and
Reto E. Koenig and
Douglas Wikstr{\"{o}}m},
title = {Verifiable Internet Elections with Everlasting Privacy and Minimal
Trust},
booktitle = {E-Voting and Identity - 5th International Conference, VoteID 2015,
Bern, Switzerland, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9269},
pages = {74--91},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22270-7\_5},
doi = {10.1007/978-3-319-22270-7\_5},
timestamp = {Thu, 27 Feb 2020 12:57:39 +0100},
biburl = {https://dblp.org/rec/conf/voteid/LocherH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/voteid/2015,
editor = {Rolf Haenni and
Reto E. Koenig and
Douglas Wikstr{\"{o}}m},
title = {E-Voting and Identity - 5th International Conference, VoteID 2015,
Bern, Switzerland, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9269},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22270-7},
doi = {10.1007/978-3-319-22270-7},
isbn = {978-3-319-22269-1},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/voteid/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KulykNBVHKB15,
author = {Oksana Kulyk and
Stephan Neumann and
Jurlind Budurushi and
Melanie Volkamer and
Rolf Haenni and
Reto E. Koenig and
Phil{\'{e}}mon von Bergen},
title = {Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {558},
year = {2015},
url = {http://eprint.iacr.org/2015/558},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/KulykNBVHKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LocherH14,
author = {Philipp Locher and
Rolf Haenni},
editor = {Erhard Pl{\"{o}}dereder and
Lars Grunske and
Eric Schneider and
Dominik Ull},
title = {A Lightweight Implementation of a Shuffle Proof for Electronic Voting
Systems},
booktitle = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
- Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
September 22-26, 2014},
series = {{LNI}},
volume = {{P-232}},
pages = {1391--1400},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/2747},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/LocherH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/HaenniK13,
author = {Rolf Haenni and
Reto E. Koenig},
title = {A generic approach to prevent board flooding attacks in coercion-resistant
electronic voting schemes},
journal = {Comput. Secur.},
volume = {33},
pages = {59--69},
year = {2013},
url = {https://doi.org/10.1016/j.cose.2012.09.003},
doi = {10.1016/J.COSE.2012.09.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/HaenniK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DubuisFHHKLJB13,
author = {Eric Dubuis and
Stephan Fischli and
Rolf Haenni and
Severin Hauser and
Reto E. Koenig and
Philipp Locher and
J. Ritter and
Phil{\'{e}}mon von Bergen},
editor = {Matthias Horbach},
title = {Verifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {767--788},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20795},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/DubuisFHHKLJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/KoenigLH13,
author = {Reto E. Koenig and
Philipp Locher and
Rolf Haenni},
editor = {James Heather and
Steve A. Schneider and
Vanessa Teague},
title = {Attacking the Verification Code Mechanism in the Norwegian Internet
Voting System},
booktitle = {E-Voting and Identify - 4th International Conference, VoteID 2013,
Guildford, UK, July 17-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7985},
pages = {76--92},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39185-9\_5},
doi = {10.1007/978-3-642-39185-9\_5},
timestamp = {Thu, 27 Feb 2020 13:11:16 +0100},
biburl = {https://dblp.org/rec/conf/voteid/KoenigLH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ev/SpycherKH12,
author = {Oliver Spycher and
Reto E. Koenig and
Rolf Haenni and
Michael Schl{\"{a}}pfer},
editor = {Manuel J. Kripp and
Melanie Volkamer and
R{\"{u}}diger Grimm},
title = {Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable
Internet Voting},
booktitle = {5th International Conference on Electronic Voting 2012, {(EVOTE} 2012),
Co-organized by the Council of Europe, Gesellschaft f{\"{u}}r
Informatik and E-Voting.CC, July 11-14, 2012, Castle Hofen, Bregenz,
Austria},
series = {{LNI}},
volume = {{P-205}},
pages = {113--125},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18229},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ev/SpycherKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3465,
author = {Raouia Ayachi and
Nahla Ben Amor and
Salem Benferhat and
Rolf Haenni},
title = {Compiling Possibilistic Networks: Alternative Approaches to Possibilistic
Inference},
journal = {CoRR},
volume = {abs/1203.3465},
year = {2012},
url = {http://arxiv.org/abs/1203.3465},
eprinttype = {arXiv},
eprint = {1203.3465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KoenigH12,
author = {Reto E. Koenig and
Rolf Haenni},
title = {How to Store some Secrets},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {375},
year = {2012},
url = {http://eprint.iacr.org/2012/375},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/KoenigH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/SpycherKHS11,
author = {Oliver Spycher and
Reto E. Koenig and
Rolf Haenni and
Michael Schl{\"{a}}pfer},
editor = {George Danezis},
title = {A New Approach towards Coercion-Resistant Remote E-Voting in Linear
Time},
booktitle = {Financial Cryptography and Data Security - 15th International Conference,
{FC} 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7035},
pages = {182--189},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27576-0\_15},
doi = {10.1007/978-3-642-27576-0\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/SpycherKHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/KoenigHF11,
author = {Reto E. Koenig and
Rolf Haenni and
Stephan Fischli},
editor = {Jan Camenisch and
Simone Fischer{-}H{\"{u}}bner and
Yuko Murayama and
Armand Portmann and
Carlos Rieder},
title = {Preventing Board Flooding Attacks in Coercion-Resistant Electronic
Voting Schemes},
booktitle = {Future Challenges in Security and Privacy for Academia and Industry
- 26th {IFIP} {TC} 11 International Information Security Conference,
{SEC} 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {354},
pages = {116--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21424-0\_10},
doi = {10.1007/978-3-642-21424-0\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/KoenigHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/HaenniS11,
author = {Rolf Haenni and
Oliver Spycher},
editor = {Hovav Shacham and
Vanessa Teague},
title = {Secure Internet Voting on Limited Devices with Anonymized {DSA} Public
Keys},
booktitle = {2011 Electronic Voting Technology Workshop / Workshop on Trustworthy
Elections, {EVT/WOTE} '11, San Francisco, CA, USA, August 8-9, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/evtwote-11/secure-internet-voting-limited-devices-anonymized-dsa-public-keys},
timestamp = {Mon, 01 Feb 2021 08:42:50 +0100},
biburl = {https://dblp.org/rec/conf/uss/HaenniS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/SchlapferHKS11,
author = {Michael Schl{\"{a}}pfer and
Rolf Haenni and
Reto E. Koenig and
Oliver Spycher},
editor = {Aggelos Kiayias and
Helger Lipmaa},
title = {Efficient Vote Authorization in Coercion-Resistant Internet Voting},
booktitle = {E-Voting and Identity - Third International Conference, VoteID 2011,
Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7187},
pages = {71--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32747-6\_5},
doi = {10.1007/978-3-642-32747-6\_5},
timestamp = {Thu, 27 Feb 2020 12:57:38 +0100},
biburl = {https://dblp.org/rec/conf/voteid/SchlapferHKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ev/KoenigDH10,
author = {Reto E. Koenig and
Eric Dubuis and
Rolf Haenni},
editor = {Robert Krimmer and
R{\"{u}}diger Grimm},
title = {Why Public Registration Boards are Required in E-Voting Systems Based
on Threshold Blind Signature Protocols},
booktitle = {Electronic Voting 2010, {EVOTE} 2010, 4th International Conference,
Co-organized by Council of Europe, Gesellschaft f{\"{u}}r Informatik
and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz,
Austria},
series = {{LNI}},
volume = {{P-167}},
pages = {255--266},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19497},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ev/KoenigDH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ev/SpycherHD10,
author = {Oliver Spycher and
Rolf Haenni and
Eric Dubuis},
editor = {Robert Krimmer and
R{\"{u}}diger Grimm},
title = {Coercion-Resistant Hybrid Voting Systems},
booktitle = {Electronic Voting 2010, {EVOTE} 2010, 4th International Conference,
Co-organized by Council of Europe, Gesellschaft f{\"{u}}r Informatik
and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz,
Austria},
series = {{LNI}},
volume = {{P-167}},
pages = {269--282},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19498},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ev/SpycherHD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issa/SpycherH10,
author = {Oliver Spycher and
Rolf Haenni},
editor = {Hein S. Venter and
Marijke Coetzee and
Marianne Loock},
title = {A Novel Protocol to Allow Revocation of Votes in a Hybrid Voting System},
booktitle = {Information Security South Africa Conference 2010, Sandton Convention
Centre, Sandton, South Africa, August 2-4, 2010. Proceedings {ISSA}
2010},
publisher = {ISSA, Pretoria, South Africa},
year = {2010},
url = {http://icsa.cs.up.ac.za/issa/2010/Proceedings/Full/44\_Paper.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issa/SpycherH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/AyachiABH10,
author = {Raouia Ayachi and
Nahla Ben Amor and
Salem Benferhat and
Rolf Haenni},
editor = {Peter Gr{\"{u}}nwald and
Peter Spirtes},
title = {Compiling Possibilistic Networks: Alternative Approaches to Possibilistic
Inference},
booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
pages = {40--47},
publisher = {{AUAI} Press},
year = {2010},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2156\&\#38;proceeding\_id=26},
timestamp = {Wed, 03 Feb 2021 11:09:25 +0100},
biburl = {https://dblp.org/rec/conf/uai/AyachiABH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CozmanHRRWW09,
author = {F{\'{a}}bio Gagliardi Cozman and
Rolf Haenni and
Jan{-}Willem Romeijn and
Federica Russo and
Gregory R. Wheeler and
Jon Williamson},
title = {Combining Probability and Logic},
journal = {J. Appl. Log.},
volume = {7},
number = {2},
pages = {131--135},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2007.12.001},
doi = {10.1016/J.JAL.2007.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/CozmanHRRWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Haenni09,
author = {Rolf Haenni},
title = {Probabilistic argumentation},
journal = {J. Appl. Log.},
volume = {7},
number = {2},
pages = {155--176},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2007.11.006},
doi = {10.1016/J.JAL.2007.11.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Haenni09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/Jaquet-ChiffelleBHWZ09,
author = {David{-}Olivier Jaquet{-}Chiffelle and
Emmanuel Benoist and
Rolf Haenni and
Florent Wenger and
Harald Zwingelberg},
editor = {Kai Rannenberg and
Denis Royer and
Andr{\'{e}} Deuker},
title = {Virtual Persons and Identities},
booktitle = {The Future of Identity in the Information Society},
pages = {75--122},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01820-6\_3},
doi = {10.1007/978-3-642-01820-6\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/Jaquet-ChiffelleBHWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/KohlasJH08,
author = {Reto Kohlas and
Jacek Jonczy and
Rolf Haenni},
editor = {Y{\"{u}}cel Karabulut and
John Mitchell and
Peter Herrmann and
Christian Damsgaard Jensen},
title = {A Trust Evaluation Method Based on Logic and Probability Theory},
booktitle = {Trust Management {II} - Proceedings of {IFIPTM} 2008: Joint iTrust
and {PST} Conferences on Privacy, Trust Management and Security, June
18-20, 2008, Trondheim, Norway},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {263},
pages = {17--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09428-1\_2},
doi = {10.1007/978-0-387-09428-1\_2},
timestamp = {Fri, 09 Apr 2021 18:43:37 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/KohlasJH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/HaenniRWW08,
author = {Rolf Haenni and
Jan{-}Willem Romeijn and
Gregory R. Wheeler and
Jon Williamson},
editor = {Van{-}Nam Huynh and
Yoshiteru Nakamori and
Hiroakira Ono and
Jonathan Lawry and
Vladik Kreinovich and
Hung T. Nguyen},
title = {Possible Semantics for a Common Framework of Probabilistic Logics},
booktitle = {Interval / Probabilistic Uncertainty and Non-Classical Logics},
series = {Advances in Soft Computing},
volume = {46},
pages = {268--279},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77664-2\_21},
doi = {10.1007/978-3-540-77664-2\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/asc/HaenniRWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/WachterH07,
author = {Michael Wachter and
Rolf Haenni},
editor = {Ziad Kobti and
Dan Wu},
title = {Multi-state Directed Acyclic Graphs},
booktitle = {Advances in Artificial Intelligence, 20th Conference of the Canadian
Society for Computational Studies of Intelligence, Canadian {AI} 2007,
Montreal, Canada, May 28-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4509},
pages = {464--475},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72665-4\_40},
doi = {10.1007/978-3-540-72665-4\_40},
timestamp = {Thu, 28 Sep 2023 12:27:08 +0200},
biburl = {https://dblp.org/rec/conf/ai/WachterH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/WachterH07,
author = {Michael Wachter and
Rolf Haenni},
editor = {Khaled Mellouli},
title = {Logical Compilation of Bayesian Networks with Discrete Variables},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
31 - November 2, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4724},
pages = {536--547},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75256-1\_48},
doi = {10.1007/978-3-540-75256-1\_48},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/WachterH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/KohlasJH07,
author = {Reto Kohlas and
Jacek Jonczy and
Rolf Haenni},
editor = {Torsten Braun and
Georg Carle and
Burkhard Stiller},
title = {A New Model for Public-Key Authentication},
booktitle = {Kommunikation in Verteilten Systemen (KiVS), 15. Fachtagung Kommunikation
in Verteilten Systemen, KiVS 2007, Bern, Schweiz, 26. Februar - 2.
M{\"{a}}rz 2007},
series = {Informatik Aktuell},
pages = {213--224},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69962-0\_18},
doi = {10.1007/978-3-540-69962-0\_18},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/conf/kivs/KohlasJH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/WachterHP07,
author = {Michael Wachter and
Rolf Haenni and
Marc Pouly},
editor = {Alexander F. Gelbukh and
Angel Fernando Kuri Morales},
title = {Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras},
booktitle = {{MICAI} 2007: Advances in Artificial Intelligence, 6th Mexican International
Conference on Artificial Intelligence, Aguascalientes, Mexico, November
4-10, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4827},
pages = {236--247},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76631-5\_23},
doi = {10.1007/978-3-540-76631-5\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/WachterHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/PoulyHW07,
author = {Marc Pouly and
Rolf Haenni and
Michael Wachter},
editor = {Alexander F. Gelbukh and
Angel Fernando Kuri Morales},
title = {Compiling Solution Configurations in Semiring Valuation Systems},
booktitle = {{MICAI} 2007: Advances in Artificial Intelligence, 6th Mexican International
Conference on Artificial Intelligence, Aguascalientes, Mexico, November
4-10, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4827},
pages = {248--259},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76631-5\_24},
doi = {10.1007/978-3-540-76631-5\_24},
timestamp = {Sat, 04 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micai/PoulyHW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inffus/HaenniH06,
author = {Rolf Haenni and
Stephan Hartmann},
title = {Modeling partially reliable information sources: {A} general approach
based on Dempster-Shafer theory},
journal = {Inf. Fusion},
volume = {7},
number = {4},
pages = {361--379},
year = {2006},
url = {https://doi.org/10.1016/j.inffus.2005.06.005},
doi = {10.1016/J.INFFUS.2005.06.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inffus/HaenniH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/HaenniH06,
author = {Rolf Haenni and
Stephan Hartmann},
title = {Special Issue of Minds and Machines on Causality, Uncertainty and
Ignorance},
journal = {Minds Mach.},
volume = {16},
number = {3},
pages = {237--238},
year = {2006},
url = {https://doi.org/10.1007/s11023-006-9041-3},
doi = {10.1007/S11023-006-9041-3},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/HaenniH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/Haenni06,
author = {Rolf Haenni},
title = {Uncover Dempster's Rule Where It Is Hidden},
booktitle = {9th International Conference on Information Fusion, {FUSION} 2006,
Florence, Italy, July 10-13, 2006},
pages = {1--8},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICIF.2006.301675},
doi = {10.1109/ICIF.2006.301675},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fusion/Haenni06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itrust/JonczyH06,
author = {Jacek Jonczy and
Rolf Haenni},
editor = {Ketil St{\o}len and
William H. Winsborough and
Fabio Martinelli and
Fabio Massacci},
title = {Implementing Credential Networks},
booktitle = {Trust Management, 4th International Conference, iTrust 2006, Pisa,
Italy, May 16-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3986},
pages = {164--178},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11755593\_13},
doi = {10.1007/11755593\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/itrust/JonczyH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WachterH06,
author = {Michael Wachter and
Rolf Haenni},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Propositional DAGs: {A} New Graph-Based Language for Representing
Boolean Functions},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {277--285},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-030.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WachterH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/KohlasJH06,
author = {Reto Kohlas and
Jacek Jonczy and
Rolf Haenni},
title = {Towards a precise semantics for authenticity and trust},
booktitle = {Proceedings of the 2006 International Conference on Privacy, Security
and Trust: Bridge the Gap Between {PST} Technologies and Business
Services, {PST} 2006, Markham, Ontario, Canada, October 30 - November
1, 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {380},
pages = {18},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1501434.1501457},
doi = {10.1145/1501434.1501457},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pst/KohlasJH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Haenni05,
author = {Rolf Haenni},
title = {Using probabilistic argumentation for key validation in public-key
cryptography},
journal = {Int. J. Approx. Reason.},
volume = {38},
number = {3},
pages = {355--376},
year = {2005},
url = {https://doi.org/10.1016/j.ijar.2004.05.010},
doi = {10.1016/J.IJAR.2004.05.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Haenni05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Haenni05,
author = {Rolf Haenni},
editor = {Llu{\'{\i}}s Godo},
title = {Unifying Logical and Probabilistic Reasoning},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3571},
pages = {788--799},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11518655\_66},
doi = {10.1007/11518655\_66},
timestamp = {Fri, 05 Jun 2020 11:50:47 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Haenni05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isipta/Haenni05,
author = {Rolf Haenni},
editor = {F{\'{a}}bio Gagliardi Cozman and
Robert Nau and
Teddy Seidenfeld},
title = {Towards a Unifying Theory of Logical and Probabilistic Reasoning},
booktitle = {{ISIPTA} '05, Proceedings of the Fourth International Symposium on
Imprecise Probabilities and Their Applications, Carnegie Mellon University,
Pittsburgh, PA, USA, July 20-23 2005},
pages = {193--202},
publisher = {{SIPTA}},
year = {2005},
timestamp = {Fri, 06 Mar 2015 14:11:06 +0100},
biburl = {https://dblp.org/rec/conf/isipta/Haenni05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/JonczyH05,
author = {Jacek Jonczy and
Rolf Haenni},
title = {Credential Networks: a General Model for Distributed Trust and Authenticity
Management},
booktitle = {Third Annual Conference on Privacy, Security and Trust, October 12-14,
2005, The Fairmont Algonquin, St. Andrews, New Brunswick, Canada,
Proceedings},
year = {2005},
url = {http://www.lib.unb.ca/Texts/PST/2005/pdf/jonczy.pdf},
timestamp = {Mon, 06 Mar 2006 14:31:37 +0100},
biburl = {https://dblp.org/rec/conf/pst/JonczyH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Haenni04,
author = {Rolf Haenni},
title = {Ordered valuation algebras: a generic framework for approximating
inference},
journal = {Int. J. Approx. Reason.},
volume = {37},
number = {1},
pages = {1--41},
year = {2004},
url = {https://doi.org/10.1016/j.ijar.2003.10.009},
doi = {10.1016/J.IJAR.2003.10.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Haenni04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/HaenniL03,
author = {Rolf Haenni and
Norbert Lehmann},
title = {Implementing belief function computations},
journal = {Int. J. Intell. Syst.},
volume = {18},
number = {1},
pages = {31--49},
year = {2003},
url = {https://doi.org/10.1002/int.10073},
doi = {10.1002/INT.10073},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/HaenniL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/HaenniL03a,
author = {Rolf Haenni and
Norbert Lehmann},
title = {Probabilistic argumentation systems: a new perspective on the dempster-shafer
theory},
journal = {Int. J. Intell. Syst.},
volume = {18},
number = {1},
pages = {93--106},
year = {2003},
url = {https://doi.org/10.1002/int.10076},
doi = {10.1002/INT.10076},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/HaenniL03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Haenni03,
author = {Rolf Haenni},
title = {Anytime argumentative and abductive reasoning},
journal = {Soft Comput.},
volume = {8},
number = {2},
pages = {142--149},
year = {2003},
url = {https://doi.org/10.1007/s00500-002-0254-y},
doi = {10.1007/S00500-002-0254-Y},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Haenni03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Haenni03,
author = {Rolf Haenni},
editor = {Thomas D. Nielsen and
Nevin Lianwen Zhang},
title = {Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2711},
pages = {243--254},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45062-7\_20},
doi = {10.1007/978-3-540-45062-7\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Haenni03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/HaenniL03,
author = {Rolf Haenni and
Norbert Lehmann},
editor = {Thomas D. Nielsen and
Nevin Lianwen Zhang},
title = {{ABEL:} An Interactive Tool for Probabilistic Argumentative Reasoning},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2711},
pages = {588--593},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45062-7\_48},
doi = {10.1007/978-3-540-45062-7\_48},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/HaenniL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KohlasBH02,
author = {J{\"{u}}rg Kohlas and
Dritan Berzati and
Rolf Haenni},
title = {Probabilistic Argumentation Systems and Abduction},
journal = {Ann. Math. Artif. Intell.},
volume = {34},
number = {1-3},
pages = {177--195},
year = {2002},
url = {https://doi.org/10.1023/A:1014482025714},
doi = {10.1023/A:1014482025714},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/KohlasBH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/HaenniL02,
author = {Rolf Haenni and
Norbert Lehmann},
title = {Resource bounded and anytime approximation of belief function computations},
journal = {Int. J. Approx. Reason.},
volume = {31},
number = {1-2},
pages = {103--154},
year = {2002},
url = {https://doi.org/10.1016/S0888-613X(02)00074-9},
doi = {10.1016/S0888-613X(02)00074-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/HaenniL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inffus/Haenni02,
author = {Rolf Haenni},
title = {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},
journal = {Inf. Fusion},
volume = {3},
number = {3},
pages = {237--239},
year = {2002},
url = {https://doi.org/10.1016/S1566-2535(02)00076-3},
doi = {10.1016/S1566-2535(02)00076-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inffus/Haenni02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Haenni02,
author = {Rolf Haenni},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Argumentative Reasoning with {ABEL}},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {505--508},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_42},
doi = {10.1007/3-540-45757-7\_42},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Haenni02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/software/Haenni02,
author = {Rolf Haenni},
editor = {David W. Bustard and
Weiru Liu and
Roy Sterritt},
title = {A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning},
booktitle = {Soft-Ware 2002: Computing in an Imperfect World, First International
Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2311},
pages = {114--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46019-5\_9},
doi = {10.1007/3-540-46019-5\_9},
timestamp = {Sun, 25 Oct 2020 23:00:01 +0100},
biburl = {https://dblp.org/rec/conf/software/Haenni02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Haenni01,
author = {Rolf Haenni},
title = {Cost-bounded argumentation},
journal = {Int. J. Approx. Reason.},
volume = {26},
number = {2},
pages = {101--127},
year = {2001},
url = {https://doi.org/10.1016/S0888-613X(00)00063-3},
doi = {10.1016/S0888-613X(00)00063-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Haenni01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KohlasHM99,
author = {J{\"{u}}rg Kohlas and
Rolf Haenni and
Seraf{\'{\i}}n Moral},
title = {Propositional Information Systems},
journal = {J. Log. Comput.},
volume = {9},
number = {5},
pages = {651--681},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.5.651},
doi = {10.1093/LOGCOM/9.5.651},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KohlasHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/LehmannH99,
author = {Norbert Lehmann and
Rolf Haenni},
editor = {Anthony Hunter and
Simon Parsons},
title = {An Alternative to Outward Propagation for Dempster-Shafer Belief Functions},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1638},
pages = {256--267},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48747-6\_24},
doi = {10.1007/3-540-48747-6\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/LehmannH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KohlasAHM98,
author = {J{\"{u}}rg Kohlas and
Bernhard Anrig and
Rolf Haenni and
Paul{-}Andr{\'{e}} Monney},
title = {Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning},
journal = {Artif. Intell.},
volume = {104},
number = {1-2},
pages = {71--106},
year = {1998},
url = {https://doi.org/10.1016/S0004-3702(98)00060-5},
doi = {10.1016/S0004-3702(98)00060-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KohlasAHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/drums/Haenni98,
author = {Rolf Haenni},
editor = {Anthony Hunter and
Simon Parsons},
title = {Modelling uncertainty with propositional assumption-based systems},
booktitle = {Applications of Uncertainty Formalisms},
series = {Lecture Notes in Computer Science},
volume = {1455},
pages = {446--470},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49426-X\_21},
doi = {10.1007/3-540-49426-X\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/drums/Haenni98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/PicardH98,
author = {Justin Picard and
Rolf Haenni},
title = {Modeling Information Retrieval with Probabilistic Argumentation Systems},
booktitle = {20th Annual {BCS-IRSG} Colloquium on IR, Autrans, France. 25th-27th
March 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
url = {http://ewic.bcs.org/content/ConWebDoc/4413},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecir/PicardH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Haenni98,
author = {Rolf Haenni},
editor = {Diane J. Cook},
title = {Generating Diagnoses from Conflict Sets},
booktitle = {Proceedings of the Eleventh International Florida Artificial Intelligence
Research Society Conference, May 18-20, 1998, Sanibel Island, Florida,
{USA}},
pages = {420--424},
publisher = {{AAAI} Press},
year = {1998},
url = {http://www.aaai.org/Library/FLAIRS/1998/flairs98-081.php},
timestamp = {Tue, 05 Sep 2023 11:41:06 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Haenni98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/AnrigHKL97,
author = {Bernhard Anrig and
Rolf Haenni and
J{\"{u}}rg Kohlas and
Norbert Lehmann},
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {Assumption-Based Modeling Using {ABEL}},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1244},
pages = {171--182},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035621},
doi = {10.1007/BFB0035621},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/AnrigHKL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/KohlasMHL95,
author = {J{\"{u}}rg Kohlas and
Paul{-}Andr{\'{e}} Monney and
Rolf Haenni and
Norbert Lehmann},
editor = {Christine Froidevaux and
J{\"{u}}rg Kohlas},
title = {Model-Based Diagnostics Using Hints},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {946},
pages = {259--266},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60112-0\_30},
doi = {10.1007/3-540-60112-0\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/KohlasMHL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-10 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
