Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Steffen Reith"
@inproceedings{DBLP:conf/date/HenkesRSHPWBSLF24, author = {Tim Henkes and Steffen Reith and Marc St{\"{o}}ttinger and Norbert Herfurth and Goran Panic and Julian W{\"{a}}lde and Fabian Buschkowski and Pascal Sasdrich and Christoph L{\"{u}}th and Milan Funck and Tuba Kiyan and Arnd Weber and Detlef Boeck and Ren{\'{e}} Rathfelder and Torsten Grawunder}, title = {Evaluating an Open-Source Hardware Approach from {HDL} to {GDS} for a Security Chip Design - a Review of the Final Stage of Project {HEP}}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2024, Valencia, Spain, March 25-27, 2024}, pages = {1--6}, year = {2024}, crossref = {DBLP:conf/date/2024}, url = {https://ieeexplore.ieee.org/document/10546500}, timestamp = {Mon, 17 Jun 2024 14:45:14 +0200}, biburl = {https://dblp.org/rec/conf/date/HenkesRSHPWBSLF24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csr2/WeberGRSLMGRPSHSH23, author = {Arnd Weber and Sylvain Guilley and Ren{\'{e}} Rathfelder and Marc St{\"{o}}ttinger and Christoph L{\"{u}}th and Maja Malenko and Torsten Grawunder and Steffen Reith and Armand Puccetti and Jean{-}Pierre Seifert and Norbert Herfurth and Hagen Sankowski and Gernot Heiser}, title = {Verified Value Chains, Innovation and Competition}, booktitle = {{IEEE} International Conference on Cyber Security and Resilience, {CSR} 2023, Venice, Italy, July 31 - Aug. 2, 2023}, pages = {470--476}, year = {2023}, crossref = {DBLP:conf/csr2/2023}, url = {https://doi.org/10.1109/CSR57506.2023.10224911}, doi = {10.1109/CSR57506.2023.10224911}, timestamp = {Wed, 06 Sep 2023 08:09:39 +0200}, biburl = {https://dblp.org/rec/conf/csr2/WeberGRSLMGRPSHSH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-05904, author = {Fabian Hartung and Billy Joe Franks and Tobias Michels and Dennis Wagner and Philipp Liznerski and Steffen Reithermann and Sophie Fellenz and Fabian Jirasek and Maja Rudolph and Daniel Neider and Heike Leitte and Chen Song and Benjamin Kl{\"{o}}pper and Stephan Mandt and Michael Bortz and Jakob Burger and Hans Hasse and Marius Kloft}, title = {Deep Anomaly Detection on Tennessee Eastman Process Data}, journal = {CoRR}, volume = {abs/2303.05904}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.05904}, doi = {10.48550/ARXIV.2303.05904}, eprinttype = {arXiv}, eprint = {2303.05904}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-05904.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/HinzMMSBWSKHHNS21, author = {Lennart Hinz and Sebastian Metzner and Philipp M{\"{u}}ller and Robert Schulte and Hans{-}Bernward Besserer and Steffen Wackenrohr and Christopher Sauer and Markus K{\"{a}}stner and Tino Hausotte and Sven H{\"{u}}bner and Florian N{\"{u}}rnberger and Benjamin Schleich and Bernd{-}Arno Behrens and Sandro Wartzack and Marion Merklein and Eduard Reithmeier}, title = {Fringe Projection Profilometry in Production Metrology: {A} Multi-Scale Comparison in Sheet-Bulk Metal Forming}, journal = {Sensors}, volume = {21}, number = {7}, pages = {2389}, year = {2021}, url = {https://doi.org/10.3390/s21072389}, doi = {10.3390/S21072389}, timestamp = {Mon, 12 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/HinzMMSBWSKHHNS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/africacrypt/CamposKRS20, author = {Fabio Campos and Tim Kohlstadt and Steffen Reith and Marc St{\"{o}}ttinger}, title = {{LMS} vs {XMSS:} Comparison of Stateful Hash-Based Signature Schemes on {ARM} Cortex-M4}, booktitle = {Progress in Cryptology - {AFRICACRYPT} 2020 - 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20-22, 2020, Proceedings}, pages = {258--277}, year = {2020}, crossref = {DBLP:conf/africacrypt/2020}, url = {https://doi.org/10.1007/978-3-030-51938-4\_13}, doi = {10.1007/978-3-030-51938-4\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/africacrypt/CamposKRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/CamposKRS20, author = {Fabio Campos and Tim Kohlstadt and Steffen Reith and Marc St{\"{o}}ttinger}, title = {{LMS} vs {XMSS:} Comparison of Stateful Hash-Based Signature Schemes on {ARM} Cortex-M4}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {470}, year = {2020}, url = {https://eprint.iacr.org/2020/470}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/CamposKRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tbe/LeichtSKMSWMRLT19, author = {Lennart Leicht and Erik Skobel and Christian Knackstedt and Marcel Mathissen and Angela Sitter and Tobias Wartzek and Werner Mohler and Sebastian Reith and Steffen Leonhardt and Daniel Teichmann}, title = {Capacitive {ECG} Monitoring in Cardiac Patients During Simulated Driving}, journal = {{IEEE} Trans. Biomed. Eng.}, volume = {66}, number = {3}, pages = {749--758}, year = {2019}, url = {https://doi.org/10.1109/TBME.2018.2855661}, doi = {10.1109/TBME.2018.2855661}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tbe/LeichtSKMSWMRLT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pqcrypto/MeyerCR19, author = {Michael Meyer and Fabio Campos and Steffen Reith}, title = {On Lions and Elligators: An Efficient Constant-Time Implementation of {CSIDH}}, booktitle = {Post-Quantum Cryptography - 10th International Conference, PQCrypto 2019, Chongqing, China, May 8-10, 2019 Revised Selected Papers}, pages = {307--325}, year = {2019}, crossref = {DBLP:conf/pqcrypto/2019}, url = {https://doi.org/10.1007/978-3-030-25510-7\_17}, doi = {10.1007/978-3-030-25510-7\_17}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pqcrypto/MeyerCR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dud/WeberRKKSK18, author = {Arnd Weber and Steffen Reith and Michael Kasper and Dirk Kuhlmann and Jean{-}Pierre Seifert and Christoph Krau{\ss}}, title = {Souver{\"{a}}nit{\"{a}}t und die IT-Wertsch{\"{o}}pfungskette}, journal = {Datenschutz und Datensicherheit}, volume = {42}, number = {5}, pages = {291--293}, year = {2018}, url = {https://doi.org/10.1007/s11623-018-0943-z}, doi = {10.1007/S11623-018-0943-Z}, timestamp = {Fri, 25 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dud/WeberRKKSK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indocrypt/MeyerR18, author = {Michael Meyer and Steffen Reith}, title = {A Faster Way to the {CSIDH}}, booktitle = {Progress in Cryptology - {INDOCRYPT} 2018 - 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings}, pages = {137--152}, year = {2018}, crossref = {DBLP:conf/indocrypt/2018}, url = {https://doi.org/10.1007/978-3-030-05378-9\_8}, doi = {10.1007/978-3-030-05378-9\_8}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indocrypt/MeyerR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/WeberRKKSK18, author = {Arnd Weber and Steffen Reith and Dirk Kuhlmann and Michael Kasper and Jean{-}Pierre Seifert and Christoph Krau{\ss}}, title = {Open Source Value Chains for Addressing Security Issues Efficiently}, booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability and Security Companion, {QRS} Companion 2018, Lisbon, Portugal, July 16-20, 2018}, pages = {599--606}, year = {2018}, crossref = {DBLP:conf/qrs/2018c}, url = {https://doi.org/10.1109/QRS-C.2018.00105}, doi = {10.1109/QRS-C.2018.00105}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qrs/WeberRKKSK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/MeyerCR18, author = {Michael Meyer and Fabio Campos and Steffen Reith}, title = {On Lions and Elligators: An efficient constant-time implementation of {CSIDH}}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1198}, year = {2018}, url = {https://eprint.iacr.org/2018/1198}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/MeyerCR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/MeyerR18, author = {Michael Meyer and Steffen Reith}, title = {A faster way to the {CSIDH}}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {782}, year = {2018}, url = {https://eprint.iacr.org/2018/782}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/MeyerR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/MeyerRC17, author = {Michael Meyer and Steffen Reith and Fabio Campos}, title = {On hybrid {SIDH} schemes using Edwards and Montgomery curve arithmetic}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1213}, year = {2017}, url = {http://eprint.iacr.org/2017/1213}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/MeyerRC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peng/KerstingGMSWTKF16, author = {Petra Kersting and Daniel Gr{\"{o}}bel and Marion Merklein and Peter Sieczkarek and Sebastian Wernicke and A. Erman Tekkaya and Eugen Krebs and Dennis Freiburg and Dirk Biermann and Tim Weikert and Stephan Tremmel and Dominic Stangier and Wolfgang Tillmann and Steffen Matthias and Eduard Reithmeier and Maria L{\"{o}}ffler and Florian Beyer and Kai Willner}, title = {Experimental and numerical analysis of tribological effective surfaces for forming tools in Sheet-Bulk Metal Forming}, journal = {Prod. Eng.}, volume = {10}, number = {1}, pages = {37--50}, year = {2016}, url = {https://doi.org/10.1007/s11740-015-0651-6}, doi = {10.1007/S11740-015-0651-6}, timestamp = {Sun, 20 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/peng/KerstingGMSWTKF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peng/MatthiasLKGKHKR16, author = {Steffen Matthias and Andreas Loderer and Sergej Koch and Michael Gr{\"{o}}ne and Markus K{\"{a}}stner and Sven H{\"{u}}bner and Richard Krimm and Eduard Reithmeier and Tino Hausotte and Bernd{-}Arno Behrens}, title = {Metrological solutions for an adapted inspection of parts and tools of a sheet-bulk metal forming process}, journal = {Prod. Eng.}, volume = {10}, number = {1}, pages = {51--61}, year = {2016}, url = {https://doi.org/10.1007/s11740-015-0647-2}, doi = {10.1007/S11740-015-0647-2}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/peng/MatthiasLKGKHKR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/LeichtSMLWWRMT15, author = {Lennart Leicht and Erik Skobel and Marcel Mathissen and Steffen Leonhardt and S{\"{o}}ren Weyer and Tobias Wartzek and Sebastian Reith and Werner Mohler and Daniel Teichmann}, title = {Capacitive {ECG} recording and beat-to-beat interval estimation after major cardiac event}, booktitle = {37th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29, 2015}, pages = {7614--7617}, year = {2015}, crossref = {DBLP:conf/embc/2015}, url = {https://doi.org/10.1109/EMBC.2015.7320155}, doi = {10.1109/EMBC.2015.7320155}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/embc/LeichtSMLWWRMT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/recosoc/HimmighofenJR13, author = {Andr{\'{e}} Himmighofen and Bernhard Jungk and Steffen Reith}, title = {On a FPGA-based method for authentication using Edwards curves}, booktitle = {2013 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), Darmstadt, Germany, July 10-12, 2013}, pages = {1--7}, year = {2013}, crossref = {DBLP:conf/recosoc/2013}, url = {https://doi.org/10.1109/ReCoSoC.2013.6581530}, doi = {10.1109/RECOSOC.2013.6581530}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/recosoc/HimmighofenJR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/JungkSGRH12, author = {Bernhard Jungk and Marc St{\"{o}}ttinger and Jan Gampe and Steffen Reith and Sorin A. Huss}, title = {Side-channel resistant {AES} architecture utilizing randomized composite field representations}, booktitle = {2012 International Conference on Field-Programmable Technology, {FPT} 2012, Seoul, Korea (South), December 10-12, 2012}, pages = {125--128}, year = {2012}, crossref = {DBLP:conf/fpt/2012}, url = {https://doi.org/10.1109/FPT.2012.6412123}, doi = {10.1109/FPT.2012.6412123}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/fpt/JungkSGRH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dbsk/BachleHH0ORSSW11, author = {Sebastian B{\"{a}}chle and Theo H{\"{a}}rder and Volker H{\"{o}}fner and Joachim Klein and Yi Ou and Steffen Reithermann and Daniel Schall and Karsten Schmidt and Andreas M. Weiner}, title = {"Von der Torfabrik zur Denkfabrik" Bericht zur 14. Fachtagung "Datenbanksysteme f{\"{u}}r Business, Technologie und Web"}, journal = {Datenbank-Spektrum}, volume = {11}, number = {2}, pages = {135--140}, year = {2011}, url = {https://doi.org/10.1007/s13222-011-0060-8}, doi = {10.1007/S13222-011-0060-8}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dbsk/BachleHH0ORSSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-1208, author = {Elmar B{\"{o}}hler and Nadia Creignou and Matthias Galota and Steffen Reith and Henning Schnoor and Heribert Vollmer}, title = {Boolean Circuits as a Data Structure for Boolean Functions: Efficient Algorithms and Hard Problems}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {3}, year = {2010}, url = {https://doi.org/10.2168/LMCS-8(3:31)2012}, doi = {10.2168/LMCS-8(3:31)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-1208.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/BaulandBCRSV10, author = {Michael Bauland and Elmar B{\"{o}}hler and Nadia Creignou and Steffen Reith and Henning Schnoor and Heribert Vollmer}, title = {The Complexity of Problems for Quantified Constraints}, journal = {Theory Comput. Syst.}, volume = {47}, number = {2}, pages = {454--490}, year = {2010}, url = {https://doi.org/10.1007/s00224-009-9194-6}, doi = {10.1007/S00224-009-9194-6}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/BaulandBCRSV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/reconfig/JungkR10, author = {Bernhard Jungk and Steffen Reith}, title = {On FPGA-Based Implementations of the {SHA-3} Candidate Gr{\o}stl}, booktitle = {ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 13-15 December 2010, Proceedings}, pages = {316--321}, year = {2010}, crossref = {DBLP:conf/reconfig/2010}, url = {https://doi.org/10.1109/ReConFig.2010.21}, doi = {10.1109/RECONFIG.2010.21}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/reconfig/JungkR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/JungkR10, author = {Bernhard Jungk and Steffen Reith}, title = {On FPGA-based implementations of Gr{\"{o}}stl}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {260}, year = {2010}, url = {http://eprint.iacr.org/2010/260}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/JungkR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/JungkRA09, author = {Bernhard Jungk and Steffen Reith and J{\"{u}}rgen Apfelbeck}, title = {On Optimized {FPGA} Implementations of the {SHA-3} Candidate Groestl}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {206}, year = {2009}, url = {http://eprint.iacr.org/2009/206}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/JungkRA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/SchmidtHKR08, author = {Karsten Schmidt and Theo H{\"{a}}rder and Joachim Klein and Steffen Reithermann}, title = {Green Computing - {A} Case for Data Caching and Flash Disks?}, booktitle = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume DISI, Barcelona, Spain, June 12-16, 2008}, pages = {535--540}, year = {2008}, crossref = {DBLP:conf/iceis/2008-1}, timestamp = {Tue, 08 Sep 2009 16:03:39 +0200}, biburl = {https://dblp.org/rec/conf/iceis/SchmidtHKR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eccc/VollmerBBCRS07, author = {Heribert Vollmer and Michael Bauland and Elmar B{\"{o}}hler and Nadia Creignou and Steffen Reith and Henning Schnoor}, title = {The Complexity of Problems for Quantified Constraints}, journal = {Electron. Colloquium Comput. Complex.}, volume = {{TR07-023}}, year = {2007}, url = {https://eccc.weizmann.ac.il/eccc-reports/2007/TR07-023/index.html}, eprinttype = {ECCC}, eprint = {TR07-023}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/VollmerBBCRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/GlasserRV05, author = {Christian Gla{\ss}er and Steffen Reith and Heribert Vollmer}, title = {The complexity of base station positioning in cellular networks}, journal = {Discret. Appl. Math.}, volume = {148}, number = {1}, pages = {1--12}, year = {2005}, url = {https://doi.org/10.1016/j.dam.2004.07.005}, doi = {10.1016/J.DAM.2004.07.005}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/GlasserRV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BohlerRSV05, author = {Elmar B{\"{o}}hler and Steffen Reith and Henning Schnoor and Heribert Vollmer}, title = {Bases for Boolean co-clones}, journal = {Inf. Process. Lett.}, volume = {96}, number = {2}, pages = {59--66}, year = {2005}, url = {https://doi.org/10.1016/j.ipl.2005.06.003}, doi = {10.1016/J.IPL.2005.06.003}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BohlerRSV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eccc/ECCC-TR05-024, author = {Michael Bauland and Elmar B{\"{o}}hler and Nadia Creignou and Steffen Reith and Henning Schnoor and Heribert Vollmer}, title = {Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation}, journal = {Electron. Colloquium Comput. Complex.}, volume = {{TR05-024}}, year = {2005}, url = {https://eccc.weizmann.ac.il/eccc-reports/2005/TR05-024/index.html}, eprinttype = {ECCC}, eprint = {TR05-024}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR05-024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/BohlerHRV04, author = {Elmar B{\"{o}}hler and Edith Hemaspaandra and Steffen Reith and Heribert Vollmer}, title = {The Complexity of Boolean Constraint Isomorphism}, booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings}, pages = {164--175}, year = {2004}, crossref = {DBLP:conf/stacs/2004}, url = {https://doi.org/10.1007/978-3-540-24749-4\_15}, doi = {10.1007/978-3-540-24749-4\_15}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/BohlerHRV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/ReithV03, author = {Steffen Reith and Heribert Vollmer}, title = {Optimal satisfiability for propositional calculi and constraint satisfaction problems}, journal = {Inf. Comput.}, volume = {186}, number = {1}, pages = {1--19}, year = {2003}, url = {https://doi.org/10.1016/S0890-5401(03)00092-0}, doi = {10.1016/S0890-5401(03)00092-0}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ReithV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Reith03, author = {Steffen Reith}, title = {On the Complexity of Some Equivalence Problems for Propositional Calculi}, booktitle = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings}, pages = {632--641}, year = {2003}, crossref = {DBLP:conf/mfcs/2003}, url = {https://doi.org/10.1007/978-3-540-45138-9\_57}, doi = {10.1007/978-3-540-45138-9\_57}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Reith03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-CC-0306134, author = {Elmar B{\"{o}}hler and Edith Hemaspaandra and Steffen Reith and Heribert Vollmer}, title = {The Complexity of Boolean Constraint Isomorphism}, journal = {CoRR}, volume = {cs.CC/0306134}, year = {2003}, url = {http://arxiv.org/abs/cs/0306134}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-CC-0306134.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BohlerHRV02, author = {Elmar B{\"{o}}hler and Edith Hemaspaandra and Steffen Reith and Heribert Vollmer}, title = {Equivalence and Isomorphism for Boolean Constraint Satisfaction}, booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings}, pages = {412--426}, year = {2002}, crossref = {DBLP:conf/csl/2002}, url = {https://doi.org/10.1007/3-540-45793-3\_28}, doi = {10.1007/3-540-45793-3\_28}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/BohlerHRV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-CC-0202036, author = {Elmar B{\"{o}}hler and Edith Hemaspaandra and Steffen Reith and Heribert Vollmer}, title = {Equivalence and Isomorphism for Boolean Constraint Satisfaction}, journal = {CoRR}, volume = {cs.CC/0202036}, year = {2002}, url = {https://arxiv.org/abs/cs/0202036}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-CC-0202036.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/de/Reith2002, author = {Steffen Reith}, title = {Generalized satisfiability problems}, school = {Julius Maximilians University W{\"{u}}rzburg, Germany}, year = {2001}, url = {http://opus.bibliothek.uni-wuerzburg.de/opus/volltexte/2002/7/index.html}, urn = {urn:nbn:de:bvb:20-opus-74}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/de/Reith2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ReithW01, author = {Steffen Reith and Klaus W. Wagner}, title = {On boolean lowness and boolean highness}, journal = {Theor. Comput. Sci.}, volume = {261}, number = {2}, pages = {305--321}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00146-8}, doi = {10.1016/S0304-3975(00)00146-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ReithW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dialm/GalotaGRV01, author = {Matthias Galota and Christian Gla{\ss}er and Steffen Reith and Heribert Vollmer}, title = {A polynomial-time approximation scheme for base station positioning in {UMTS} networks}, booktitle = {Proceedings of the 5th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications {(DIAL-M} 2001), Rome, Italy, July 21, 2001}, pages = {52--59}, year = {2001}, crossref = {DBLP:conf/dialm/2001}, url = {https://doi.org/10.1145/381448.381455}, doi = {10.1145/381448.381455}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dialm/GalotaGRV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/HertrampfRV00, author = {Ulrich Hertrampf and Steffen Reith and Heribert Vollmer}, title = {A note on closure properties of logspace {MOD} classes}, journal = {Inf. Process. Lett.}, volume = {75}, number = {3}, pages = {91--93}, year = {2000}, url = {https://doi.org/10.1016/S0020-0190(00)00091-0}, doi = {10.1016/S0020-0190(00)00091-0}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/HertrampfRV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/GlasslerRV00, author = {Christian Gla{\ss}er and Steffen Reith and Heribert Vollmer}, title = {The Complexity of Base Station Positioning in Cellular Networks}, booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000}, pages = {167--178}, year = {2000}, crossref = {DBLP:conf/icalp/2000w}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/icalp/GlasslerRV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/ReithV00, author = {Steffen Reith and Heribert Vollmer}, title = {Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, pages = {640--649}, year = {2000}, crossref = {DBLP:conf/mfcs/2000}, url = {https://doi.org/10.1007/3-540-44612-5\_59}, doi = {10.1007/3-540-44612-5\_59}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/ReithV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoon/ReithW98, author = {Steffen Reith and Klaus W. Wagner}, title = {On Boolean Lowness and Boolean Highness}, booktitle = {Computing and Combinatorics, 4th Annual International Conference, {COCOON} '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings}, pages = {147--156}, year = {1998}, crossref = {DBLP:conf/cocoon/1998}, url = {https://doi.org/10.1007/3-540-68535-9\_18}, doi = {10.1007/3-540-68535-9\_18}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/cocoon/ReithW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-CC-9809116, author = {Steffen Reith and Heribert Vollmer}, title = {The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae}, journal = {CoRR}, volume = {cs.CC/9809116}, year = {1998}, url = {https://arxiv.org/abs/cs/9809116}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-CC-9809116.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eccc/ECCC-TR98-022, author = {Steffen Reith and Heribert Vollmer}, title = {The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae}, journal = {Electron. Colloquium Comput. Complex.}, volume = {{TR98-022}}, year = {1998}, url = {https://eccc.weizmann.ac.il/eccc-reports/1998/TR98-022/index.html}, eprinttype = {ECCC}, eprint = {TR98-022}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR98-022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/date/2024, title = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2024, Valencia, Spain, March 25-27, 2024}, publisher = {{IEEE}}, year = {2024}, url = {https://ieeexplore.ieee.org/xpl/conhome/10546498/proceeding}, isbn = {978-3-9819263-8-5}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/date/2024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/csr2/2023, title = {{IEEE} International Conference on Cyber Security and Resilience, {CSR} 2023, Venice, Italy, July 31 - Aug. 2, 2023}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CSR57506.2023}, doi = {10.1109/CSR57506.2023}, isbn = {979-8-3503-1170-9}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/csr2/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/africacrypt/2020, editor = {Abderrahmane Nitaj and Amr M. Youssef}, title = {Progress in Cryptology - {AFRICACRYPT} 2020 - 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20-22, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12174}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51938-4}, doi = {10.1007/978-3-030-51938-4}, isbn = {978-3-030-51937-7}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/africacrypt/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pqcrypto/2019, editor = {Jintai Ding and Rainer Steinwandt}, title = {Post-Quantum Cryptography - 10th International Conference, PQCrypto 2019, Chongqing, China, May 8-10, 2019 Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11505}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25510-7}, doi = {10.1007/978-3-030-25510-7}, isbn = {978-3-030-25509-1}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/pqcrypto/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/indocrypt/2018, editor = {Debrup Chakraborty and Tetsu Iwata}, title = {Progress in Cryptology - {INDOCRYPT} 2018 - 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11356}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-05378-9}, doi = {10.1007/978-3-030-05378-9}, isbn = {978-3-030-05377-2}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/indocrypt/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qrs/2018c, title = {2018 {IEEE} International Conference on Software Quality, Reliability and Security Companion, {QRS} Companion 2018, Lisbon, Portugal, July 16-20, 2018}, publisher = {{IEEE}}, year = {2018}, url = {https://ieeexplore.ieee.org/xpl/conhome/8424928/proceeding}, isbn = {978-1-5386-7839-8}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/qrs/2018c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/embc/2015, title = {37th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29, 2015}, publisher = {{IEEE}}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7302811/proceeding}, isbn = {978-1-4244-9271-8}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/embc/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/recosoc/2013, title = {2013 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), Darmstadt, Germany, July 10-12, 2013}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6575424/proceeding}, isbn = {978-1-4673-6180-4}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/recosoc/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fpt/2012, title = {2012 International Conference on Field-Programmable Technology, {FPT} 2012, Seoul, Korea (South), December 10-12, 2012}, publisher = {{IEEE}}, year = {2012}, url = {https://ieeexplore.ieee.org/xpl/conhome/6395855/proceeding}, isbn = {978-1-4673-2846-3}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/fpt/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/reconfig/2010, editor = {Viktor K. Prasanna and J{\"{u}}rgen Becker and Ren{\'{e}} Cumplido}, title = {ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 13-15 December 2010, Proceedings}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5692850/proceeding}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/reconfig/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iceis/2008-1, editor = {Jos{\'{e}} Cordeiro and Joaquim Filipe}, title = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume DISI, Barcelona, Spain, June 12-16, 2008}, year = {2008}, isbn = {978-989-8111-36-4}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/iceis/2008-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stacs/2004, editor = {Volker Diekert and Michel Habib}, title = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2996}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b96012}, doi = {10.1007/B96012}, isbn = {3-540-21236-1}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/stacs/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfcs/2003, editor = {Branislav Rovan and Peter Vojt{\'{a}}s}, title = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2747}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b11836}, doi = {10.1007/B11836}, isbn = {3-540-40671-9}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/csl/2002, editor = {Julian C. Bradfield}, title = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2471}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45793-3}, doi = {10.1007/3-540-45793-3}, isbn = {3-540-44240-5}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/csl/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dialm/2001, title = {Proceedings of the 5th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications {(DIAL-M} 2001), Rome, Italy, July 21, 2001}, publisher = {{ACM}}, year = {2001}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/dialm/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2000w, editor = {Jos{\'{e}} D. P. Rolim and Andrei Z. Broder and Andrea Corradini and Roberto Gorrieri and Reiko Heckel and Juraj Hromkovic and Ugo Vaccaro and J. B. Wells}, title = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000}, publisher = {Carleton Scientific, Waterloo, Ontario, Canada}, year = {2000}, isbn = {1-894145-07-0}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/icalp/2000w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfcs/2000, editor = {Mogens Nielsen and Branislav Rovan}, title = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5}, doi = {10.1007/3-540-44612-5}, isbn = {3-540-67901-4}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cocoon/1998, editor = {Wen{-}Lian Hsu and Ming{-}Yang Kao}, title = {Computing and Combinatorics, 4th Annual International Conference, {COCOON} '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1449}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-68535-9}, doi = {10.1007/3-540-68535-9}, isbn = {3-540-64824-0}, timestamp = {Sun, 21 Jul 2024 17:04:15 +0200}, biburl = {https://dblp.org/rec/conf/cocoon/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.