--- _id: '6634' author: - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Stefan full_name: Balluff, Stefan last_name: Balluff - first_name: J. full_name: Krüger, J. last_name: Krüger - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Bendfeld J, Balluff S, Krüger J, Krauter S. Short-term wind speed and power prediction for offshore wind farms using neural networks. In: Proceedings of the DEWEK 2017. Bremen; 2017.' apa: Bendfeld, J., Balluff, S., Krüger, J., & Krauter, S. (2017). Short-term wind speed and power prediction for offshore wind farms using neural networks. In Proceedings of the DEWEK 2017. Bremen. bibtex: '@inproceedings{Bendfeld_Balluff_Krüger_Krauter_2017, place={Bremen}, title={Short-term wind speed and power prediction for offshore wind farms using neural networks}, booktitle={Proceedings of the DEWEK 2017}, author={Bendfeld, Jörg and Balluff, Stefan and Krüger, J. and Krauter, Stefan}, year={2017} }' chicago: Bendfeld, Jörg, Stefan Balluff, J. Krüger, and Stefan Krauter. “Short-Term Wind Speed and Power Prediction for Offshore Wind Farms Using Neural Networks.” In Proceedings of the DEWEK 2017. Bremen, 2017. ieee: J. Bendfeld, S. Balluff, J. Krüger, and S. Krauter, “Short-term wind speed and power prediction for offshore wind farms using neural networks,” in Proceedings of the DEWEK 2017, Bremen, 2017. mla: Bendfeld, Jörg, et al. “Short-Term Wind Speed and Power Prediction for Offshore Wind Farms Using Neural Networks.” Proceedings of the DEWEK 2017, 2017. short: 'J. Bendfeld, S. Balluff, J. Krüger, S. Krauter, in: Proceedings of the DEWEK 2017, Bremen, 2017.' conference: end_date: 2017-11-18 location: Bremen name: Dewek 17 start_date: 2017-11-17 date_created: 2019-01-14T07:10:34Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Bremen publication: Proceedings of the DEWEK 2017 status: public title: Short-term wind speed and power prediction for offshore wind farms using neural networks type: conference user_id: '16148' year: '2017' ... --- _id: '6635' author: - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Bendfeld J, Krauter S. Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481. ; 2017.' apa: Bendfeld, J., & Krauter, S. (2017). Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481. Amsterdam. bibtex: '@inproceedings{Bendfeld_Krauter_2017, title={Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481}, author={Bendfeld, Jörg and Krauter, Stefan}, year={2017} }' chicago: Bendfeld, Jörg, and Stefan Krauter. “Update on Rankings of Conversion Efficiencies and Energy Yield of Micro-Inverters, Including Inverters for Two PV Modules.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017. ieee: J. Bendfeld and S. Krauter, “Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, Amsterdam, 2017. mla: Bendfeld, Jörg, and Stefan Krauter. “Update on Rankings of Conversion Efficiencies and Energy Yield of Micro-Inverters, Including Inverters for Two PV Modules.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017. short: 'J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017.' conference: end_date: 2017-09-25 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T08:13:03Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481 status: public title: Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules type: conference user_id: '16148' year: '2017' ... --- _id: '6636' author: - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Bendfeld J, Krauter S. Long-term performance of PV micro-inverters. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840. ; 2017.' apa: Bendfeld, J., & Krauter, S. (2017). Long-term performance of PV micro-inverters. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840. Amsterdam. bibtex: '@inproceedings{Bendfeld_Krauter_2017, title={Long-term performance of PV micro-inverters}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840}, author={Bendfeld, Jörg and Krauter, Stefan}, year={2017} }' chicago: Bendfeld, Jörg, and Stefan Krauter. “Long-Term Performance of PV Micro-Inverters.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017. ieee: J. Bendfeld and S. Krauter, “Long-term performance of PV micro-inverters,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, Amsterdam, 2017. mla: Bendfeld, Jörg, and Stefan Krauter. “Long-Term Performance of PV Micro-Inverters.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017. short: 'J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017.' conference: end_date: 2017-09-29 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T08:15:34Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840 status: public title: Long-term performance of PV micro-inverters type: conference user_id: '16148' year: '2017' ... --- _id: '6637' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X - first_name: S. full_name: Wendlandt, S. last_name: Wendlandt - first_name: 'L. ' full_name: 'Süthoff, L. ' last_name: Süthoff - first_name: S. full_name: ' Berendes, S.' last_name: ' Berendes' - first_name: 'J. ' full_name: 'Teubner, J. ' last_name: Teubner - first_name: L. full_name: ' Podlowski, L.' last_name: ' Podlowski' - first_name: J. full_name: ' Berghold, J.' last_name: ' Berghold' - first_name: Paul full_name: Grunow, Paul last_name: Grunow citation: ama: 'Krauter S, Wendlandt S, Süthoff L, et al. Advanced PV Module Hot Spot Characterisation. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam; 2017.' apa: Krauter, S., Wendlandt, S., Süthoff, L., Berendes, S., Teubner, J., Podlowski, L., … Grunow, P. (2017). Advanced PV Module Hot Spot Characterisation. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam. bibtex: '@inproceedings{Krauter_Wendlandt_Süthoff_ Berendes_Teubner_ Podlowski_ Berghold_Grunow_2017, place={Amsterdam}, title={Advanced PV Module Hot Spot Characterisation}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}, author={Krauter, Stefan and Wendlandt, S. and Süthoff, L. and Berendes, S. and Teubner, J. and Podlowski, L. and Berghold, J. and Grunow, Paul}, year={2017} }' chicago: Krauter, Stefan, S. Wendlandt, L. Süthoff, S. Berendes, J. Teubner, L. Podlowski, J. Berghold, and Paul Grunow. “Advanced PV Module Hot Spot Characterisation.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam, 2017. ieee: S. Krauter et al., “Advanced PV Module Hot Spot Characterisation,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Aḿsterdam, 2017. mla: Krauter, Stefan, et al. “Advanced PV Module Hot Spot Characterisation.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, 2017. short: 'S. Krauter, S. Wendlandt, L. Süthoff, S. Berendes, J. Teubner, L. Podlowski, J. Berghold, P. Grunow, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.' conference: end_date: 2017-09-29 location: Aḿsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T08:37:24Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Amsterdam publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017 status: public title: Advanced PV Module Hot Spot Characterisation type: conference user_id: '16148' year: '2017' ... --- _id: '6638' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Krauter S. Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules. In: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg; 2017.' apa: Krauter, S. (2017). Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules. In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg. bibtex: '@inproceedings{Krauter_2017, place={Hamburg}, title={Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules}, booktitle={VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017.}, author={Krauter, Stefan}, year={2017} }' chicago: Krauter, Stefan. “Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules.” In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg, 2017. ieee: S. Krauter, “Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules,” in VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017. mla: Krauter, Stefan. “Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules.” VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., 2017. short: 'S. Krauter, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.' conference: end_date: 2017-11-22 location: Hamburg name: NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES start_date: 2017-11-21 date_created: 2019-01-14T08:40:37Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Hamburg publication: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. status: public title: Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules type: conference user_id: '16148' year: '2017' ... --- _id: '6639' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X - first_name: Ali full_name: Ameli, Ali last_name: Ameli citation: ama: 'Krauter S, Ameli A. Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems. In: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg; 2017.' apa: Krauter, S., & Ameli, A. (2017). Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems. In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg. bibtex: '@inproceedings{Krauter_Ameli_2017, place={Hamburg}, title={Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.}, booktitle={VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017.}, author={Krauter, Stefan and Ameli, Ali}, year={2017} }' chicago: Krauter, Stefan, and Ali Ameli. “Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.” In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg, 2017. ieee: S. Krauter and A. Ameli, “Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.,” in VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017. mla: Krauter, Stefan, and Ali Ameli. “Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.” VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., 2017. short: 'S. Krauter, A. Ameli, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.' conference: end_date: 2017-09-22 location: Hamburg name: NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES start_date: 2017-09-21 date_created: 2019-01-14T08:46:02Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Hamburg publication: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. status: public title: Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems. type: conference user_id: '16148' year: '2017' ... --- _id: '6640' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Krauter S. Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period. In: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. Düsseldorf; 2017.' apa: 'Krauter, S. (2017). Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period. In Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. Düsseldorf.' bibtex: '@inproceedings{Krauter_2017, place={Düsseldorf}, title={Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period}, booktitle={Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany.}, author={Krauter, Stefan}, year={2017} }' chicago: 'Krauter, Stefan. “Minimizing Storage Costs: Simple and Effective Methods to Match PV with Grid Load, Including Shift of Holiday Period.” In Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. Düsseldorf, 2017.' ieee: 'S. Krauter, “Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period,” in Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, Germany., 2017.' mla: 'Krauter, Stefan. “Minimizing Storage Costs: Simple and Effective Methods to Match PV with Grid Load, Including Shift of Holiday Period.” Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., 2017.' short: 'S. Krauter, in: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, 2017.' conference: end_date: 2017-03-16 location: Düsseldorf, Germany. name: 11th International Conference for Renewable Energy Storage start_date: 2017-03-14 date_created: 2019-01-14T08:50:43Z date_updated: 2022-01-06T07:03:14Z department: - _id: '53' language: - iso: eng place: Düsseldorf publication: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. status: public title: 'Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period' type: conference user_id: '16148' year: '2017' ... --- _id: '6641' author: - first_name: Arash full_name: Khatibi, Arash id: '43538' last_name: Khatibi - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Wolfgang full_name: Bermpohl, Wolfgang id: '15290' last_name: Bermpohl - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Khatibi A, Bendfeld J, Bermpohl W, Krauter S. Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam; 2017.' apa: Khatibi, A., Bendfeld, J., Bermpohl, W., & Krauter, S. (2017). Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam. bibtex: '@inproceedings{Khatibi_Bendfeld_Bermpohl_Krauter_2017, place={Amsterdam}, title={Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}, author={Khatibi, Arash and Bendfeld, Jörg and Bermpohl, Wolfgang and Krauter, Stefan}, year={2017} }' chicago: Khatibi, Arash, Jörg Bendfeld, Wolfgang Bermpohl, and Stefan Krauter. “Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam, 2017. ieee: A. Khatibi, J. Bendfeld, W. Bermpohl, and S. Krauter, “Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017. mla: Khatibi, Arash, et al. “Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, 2017. short: 'A. Khatibi, J. Bendfeld, W. Bermpohl, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.' conference: end_date: 2017-09-29 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T09:10:02Z date_updated: 2022-01-06T07:03:14Z department: - _id: '53' language: - iso: eng place: Amsterdam publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017 status: public title: Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems type: conference user_id: '16148' year: '2017' ... --- _id: '6642' author: - first_name: Arash full_name: Khatibi, Arash id: '43538' last_name: Khatibi - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Wolfgang full_name: Bermpohl, Wolfgang id: '15290' last_name: Bermpohl - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Khatibi A, Bendfeld J, Bermpohl W, Krauter S. Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam; 2017.' apa: Khatibi, A., Bendfeld, J., Bermpohl, W., & Krauter, S. (2017). Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam. bibtex: '@inproceedings{Khatibi_Bendfeld_Bermpohl_Krauter_2017, place={Amsterdam}, title={Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}, author={Khatibi, Arash and Bendfeld, Jörg and Bermpohl, Wolfgang and Krauter, Stefan}, year={2017} }' chicago: Khatibi, Arash, Jörg Bendfeld, Wolfgang Bermpohl, and Stefan Krauter. “Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam, 2017. ieee: A. Khatibi, J. Bendfeld, W. Bermpohl, and S. Krauter, “Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017. mla: Khatibi, Arash, et al. “Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, 2017. short: 'A. Khatibi, J. Bendfeld, W. Bermpohl, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.' conference: end_date: 2017-09-29 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T09:12:39Z date_updated: 2022-01-06T07:03:14Z department: - _id: '53' language: - iso: eng place: Amsterdam publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017 status: public title: Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems type: conference user_id: '16148' year: '2017' ... --- _id: '67' author: - first_name: Mirko full_name: Jürgens, Mirko last_name: Jürgens citation: ama: Jürgens M. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn; 2017. apa: Jürgens, M. (2017). Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn. bibtex: '@book{Jürgens_2017, title={Provably Secure Key-Derivation-Functions for Certain Types of Applications}, publisher={Universität Paderborn}, author={Jürgens, Mirko}, year={2017} }' chicago: Jürgens, Mirko. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017. ieee: M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017. mla: Jürgens, Mirko. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017. short: M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017. date_created: 2017-10-17T12:41:04Z date_updated: 2022-01-06T07:03:15Z department: - _id: '64' project: - _id: '1' name: SFB 901 - _id: '13' name: SFB 901 - Subprojekt C1 - _id: '4' name: SFB 901 - Project Area C publisher: Universität Paderborn status: public supervisor: - first_name: Johannes full_name: Blömer, Johannes id: '23' last_name: Blömer title: Provably Secure Key-Derivation-Functions for Certain Types of Applications type: bachelorsthesis user_id: '477' year: '2017' ... --- _id: '6725' author: - first_name: Wojciech full_name: Czerwinski, Wojciech last_name: Czerwinski - first_name: Wim full_name: Martens, Wim last_name: Martens - first_name: Lorijn full_name: van Rooijen, Lorijn id: '58843' last_name: van Rooijen - first_name: Marc full_name: Zeitoun, Marc last_name: Zeitoun - first_name: Georg full_name: Zetzsche, Georg last_name: Zetzsche citation: ama: Czerwinski W, Martens W, van Rooijen L, Zeitoun M, Zetzsche G. A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics & Theoretical Computer Science. 2017;19(4). doi:10.23638/DMTCS-19-4-1 apa: Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., & Zetzsche, G. (2017). A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics & Theoretical Computer Science, 19(4). https://doi.org/10.23638/DMTCS-19-4-1 bibtex: '@article{Czerwinski_Martens_van Rooijen_Zeitoun_Zetzsche_2017, title={A Characterization for Decidable Separability by Piecewise Testable Languages}, volume={19}, DOI={10.23638/DMTCS-19-4-1}, number={4}, journal={Discrete Mathematics & Theoretical Computer Science}, author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg}, year={2017} }' chicago: Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science 19, no. 4 (2017). https://doi.org/10.23638/DMTCS-19-4-1. ieee: W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A Characterization for Decidable Separability by Piecewise Testable Languages,” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017. mla: Czerwinski, Wojciech, et al. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017, doi:10.23638/DMTCS-19-4-1. short: W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics & Theoretical Computer Science 19 (2017). date_created: 2019-01-15T09:54:52Z date_updated: 2022-01-06T07:03:17Z department: - _id: '66' doi: 10.23638/DMTCS-19-4-1 intvolume: ' 19' issue: '4' language: - iso: eng publication: Discrete Mathematics & Theoretical Computer Science status: public title: A Characterization for Decidable Separability by Piecewise Testable Languages type: journal_article user_id: '58843' volume: 19 year: '2017' ... --- _id: '6737' author: - first_name: Dennis full_name: Wolters, Dennis id: '11308' last_name: Wolters - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: Wolters D, Gerth C, Engels G. Visual Requirements Modeling for Cross-Device Systems. Computer Science and Information Systems (ComSIS). 2017;14(2):517-536. doi:10.2298/CSIS160930015W apa: Wolters, D., Gerth, C., & Engels, G. (2017). Visual Requirements Modeling for Cross-Device Systems. Computer Science and Information Systems (ComSIS), 14(2), 517–536. https://doi.org/10.2298/CSIS160930015W bibtex: '@article{Wolters_Gerth_Engels_2017, title={Visual Requirements Modeling for Cross-Device Systems}, volume={14}, DOI={10.2298/CSIS160930015W}, number={2}, journal={Computer Science and Information Systems (ComSIS)}, author={Wolters, Dennis and Gerth, Christian and Engels, Gregor}, year={2017}, pages={517–536} }' chicago: 'Wolters, Dennis, Christian Gerth, and Gregor Engels. “Visual Requirements Modeling for Cross-Device Systems.” Computer Science and Information Systems (ComSIS) 14, no. 2 (2017): 517–36. https://doi.org/10.2298/CSIS160930015W.' ieee: D. Wolters, C. Gerth, and G. Engels, “Visual Requirements Modeling for Cross-Device Systems,” Computer Science and Information Systems (ComSIS), vol. 14, no. 2, pp. 517–536, 2017. mla: Wolters, Dennis, et al. “Visual Requirements Modeling for Cross-Device Systems.” Computer Science and Information Systems (ComSIS), vol. 14, no. 2, 2017, pp. 517–36, doi:10.2298/CSIS160930015W. short: D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536. date_created: 2019-01-15T14:11:10Z date_updated: 2022-01-06T07:03:17Z department: - _id: '66' doi: 10.2298/CSIS160930015W intvolume: ' 14' issue: '2' language: - iso: eng page: 517-536 publication: Computer Science and Information Systems (ComSIS) status: public title: Visual Requirements Modeling for Cross-Device Systems type: journal_article user_id: '11308' volume: 14 year: '2017' ... --- _id: '6764' author: - first_name: Ivan full_name: Jovanovikj, Ivan id: '39187' last_name: Jovanovikj orcid: https://orcid.org/0000-0002-1838-794X - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer citation: ama: Jovanovikj I, Sauer S. Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases. Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF). 2017;37(2):50-51. apa: Jovanovikj, I., & Sauer, S. (2017). Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases. Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), 37(2), 50–51. bibtex: '@article{Jovanovikj_Sauer_2017, title={Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases}, volume={37}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF)}, publisher={Gesellschaft für Informatik e.V., Fachgruppe PARS}, author={Jovanovikj, Ivan and Sauer, Stefan}, year={2017}, pages={50–51} }' chicago: 'Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases.” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) 37, no. 2 (2017): 50–51.' ieee: I. Jovanovikj and S. Sauer, “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases,” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), vol. 37, no. 2, pp. 50–51, 2017. mla: Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases.” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), vol. 37, no. 2, Gesellschaft für Informatik e.V., Fachgruppe PARS, 2017, pp. 50–51. short: I. Jovanovikj, S. Sauer, Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) 37 (2017) 50–51. conference: location: Bad Honnef name: 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) date_created: 2019-01-16T09:45:29Z date_updated: 2022-01-06T07:03:17Z department: - _id: '66' - _id: '534' intvolume: ' 37' issue: '2' language: - iso: eng page: ' 50-51 ' publication: Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) publisher: Gesellschaft für Informatik e.V., Fachgruppe PARS status: public title: Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases type: journal_article user_id: '39187' volume: 37 year: '2017' ... --- _id: '677' article_number: e1701477 author: - first_name: Hong-Chao full_name: Liu, Hong-Chao last_name: Liu - first_name: Biao full_name: Yang, Biao last_name: Yang - first_name: Qinghua full_name: Guo, Qinghua last_name: Guo - first_name: Jinhui full_name: Shi, Jinhui last_name: Shi - first_name: Chunying full_name: Guan, Chunying last_name: Guan - first_name: Guoxing full_name: Zheng, Guoxing last_name: Zheng - first_name: Holger full_name: Mühlenbernd, Holger last_name: Mühlenbernd - first_name: Guixin full_name: Li, Guixin last_name: Li - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 - first_name: Shuang full_name: Zhang, Shuang last_name: Zhang citation: ama: Liu H-C, Yang B, Guo Q, et al. Single-pixel computational ghost imaging with helicity-dependent metasurface hologram. Science Advances. 2017;3(9). doi:10.1126/sciadv.1701477 apa: Liu, H.-C., Yang, B., Guo, Q., Shi, J., Guan, C., Zheng, G., … Zhang, S. (2017). Single-pixel computational ghost imaging with helicity-dependent metasurface hologram. Science Advances, 3(9). https://doi.org/10.1126/sciadv.1701477 bibtex: '@article{Liu_Yang_Guo_Shi_Guan_Zheng_Mühlenbernd_Li_Zentgraf_Zhang_2017, title={Single-pixel computational ghost imaging with helicity-dependent metasurface hologram}, volume={3}, DOI={10.1126/sciadv.1701477}, number={9e1701477}, journal={Science Advances}, publisher={American Association for the Advancement of Science (AAAS)}, author={Liu, Hong-Chao and Yang, Biao and Guo, Qinghua and Shi, Jinhui and Guan, Chunying and Zheng, Guoxing and Mühlenbernd, Holger and Li, Guixin and Zentgraf, Thomas and Zhang, Shuang}, year={2017} }' chicago: Liu, Hong-Chao, Biao Yang, Qinghua Guo, Jinhui Shi, Chunying Guan, Guoxing Zheng, Holger Mühlenbernd, Guixin Li, Thomas Zentgraf, and Shuang Zhang. “Single-Pixel Computational Ghost Imaging with Helicity-Dependent Metasurface Hologram.” Science Advances 3, no. 9 (2017). https://doi.org/10.1126/sciadv.1701477. ieee: H.-C. Liu et al., “Single-pixel computational ghost imaging with helicity-dependent metasurface hologram,” Science Advances, vol. 3, no. 9, 2017. mla: Liu, Hong-Chao, et al. “Single-Pixel Computational Ghost Imaging with Helicity-Dependent Metasurface Hologram.” Science Advances, vol. 3, no. 9, e1701477, American Association for the Advancement of Science (AAAS), 2017, doi:10.1126/sciadv.1701477. short: H.-C. Liu, B. Yang, Q. Guo, J. Shi, C. Guan, G. Zheng, H. Mühlenbernd, G. Li, T. Zentgraf, S. Zhang, Science Advances 3 (2017). date_created: 2017-11-13T07:34:50Z date_updated: 2022-01-06T07:03:17Z doi: 10.1126/sciadv.1701477 intvolume: ' 3' issue: '9' publication: Science Advances publication_identifier: issn: - 2375-2548 publication_status: published publisher: American Association for the Advancement of Science (AAAS) status: public title: Single-pixel computational ghost imaging with helicity-dependent metasurface hologram type: journal_article user_id: '30525' volume: 3 year: '2017' ... --- _id: '678' article_number: '1000' author: - first_name: Philip full_name: Georgi, Philip last_name: Georgi - first_name: Christian full_name: Schlickriede, Christian id: '59792' last_name: Schlickriede - first_name: Guixin full_name: Li, Guixin last_name: Li - first_name: Shuang full_name: Zhang, Shuang last_name: Zhang - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 citation: ama: Georgi P, Schlickriede C, Li G, Zhang S, Zentgraf T. Rotational Doppler shift induced by spin-orbit coupling of light at spinning metasurfaces. Optica. 2017;4(8). doi:10.1364/optica.4.001000 apa: Georgi, P., Schlickriede, C., Li, G., Zhang, S., & Zentgraf, T. (2017). Rotational Doppler shift induced by spin-orbit coupling of light at spinning metasurfaces. Optica, 4(8). https://doi.org/10.1364/optica.4.001000 bibtex: '@article{Georgi_Schlickriede_Li_Zhang_Zentgraf_2017, title={Rotational Doppler shift induced by spin-orbit coupling of light at spinning metasurfaces}, volume={4}, DOI={10.1364/optica.4.001000}, number={81000}, journal={Optica}, publisher={The Optical Society}, author={Georgi, Philip and Schlickriede, Christian and Li, Guixin and Zhang, Shuang and Zentgraf, Thomas}, year={2017} }' chicago: Georgi, Philip, Christian Schlickriede, Guixin Li, Shuang Zhang, and Thomas Zentgraf. “Rotational Doppler Shift Induced by Spin-Orbit Coupling of Light at Spinning Metasurfaces.” Optica 4, no. 8 (2017). https://doi.org/10.1364/optica.4.001000. ieee: P. Georgi, C. Schlickriede, G. Li, S. Zhang, and T. Zentgraf, “Rotational Doppler shift induced by spin-orbit coupling of light at spinning metasurfaces,” Optica, vol. 4, no. 8, 2017. mla: Georgi, Philip, et al. “Rotational Doppler Shift Induced by Spin-Orbit Coupling of Light at Spinning Metasurfaces.” Optica, vol. 4, no. 8, 1000, The Optical Society, 2017, doi:10.1364/optica.4.001000. short: P. Georgi, C. Schlickriede, G. Li, S. Zhang, T. Zentgraf, Optica 4 (2017). date_created: 2017-11-13T07:35:14Z date_updated: 2022-01-06T07:03:18Z ddc: - '530' doi: 10.1364/optica.4.001000 file: - access_level: closed content_type: application/pdf creator: zentgraf date_created: 2018-11-28T06:58:42Z date_updated: 2018-11-28T06:58:42Z file_id: '5919' file_name: Optica_Georgi_2017.pdf file_size: 1399383 relation: main_file success: 1 file_date_updated: 2018-11-28T06:58:42Z has_accepted_license: '1' intvolume: ' 4' issue: '8' language: - iso: eng publication: Optica publication_identifier: issn: - 2334-2536 publication_status: published publisher: The Optical Society status: public title: Rotational Doppler shift induced by spin-orbit coupling of light at spinning metasurfaces type: journal_article user_id: '30525' volume: 4 year: '2017' ... --- _id: '679' article_number: e17016 author: - first_name: Xinghui full_name: Yin, Xinghui last_name: Yin - first_name: Tobias full_name: Steinle, Tobias last_name: Steinle - first_name: Lingling full_name: Huang, Lingling last_name: Huang - first_name: Thomas full_name: Taubner, Thomas last_name: Taubner - first_name: Matthias full_name: Wuttig, Matthias last_name: Wuttig - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 - first_name: Harald full_name: Giessen, Harald last_name: Giessen citation: ama: 'Yin X, Steinle T, Huang L, et al. Beam switching and bifocal zoom lensing using active plasmonic metasurfaces. Light: Science & Applications. 2017;6(7). doi:10.1038/lsa.2017.16' apa: 'Yin, X., Steinle, T., Huang, L., Taubner, T., Wuttig, M., Zentgraf, T., & Giessen, H. (2017). Beam switching and bifocal zoom lensing using active plasmonic metasurfaces. Light: Science & Applications, 6(7). https://doi.org/10.1038/lsa.2017.16' bibtex: '@article{Yin_Steinle_Huang_Taubner_Wuttig_Zentgraf_Giessen_2017, title={Beam switching and bifocal zoom lensing using active plasmonic metasurfaces}, volume={6}, DOI={10.1038/lsa.2017.16}, number={7e17016}, journal={Light: Science & Applications}, publisher={Springer Nature}, author={Yin, Xinghui and Steinle, Tobias and Huang, Lingling and Taubner, Thomas and Wuttig, Matthias and Zentgraf, Thomas and Giessen, Harald}, year={2017} }' chicago: 'Yin, Xinghui, Tobias Steinle, Lingling Huang, Thomas Taubner, Matthias Wuttig, Thomas Zentgraf, and Harald Giessen. “Beam Switching and Bifocal Zoom Lensing Using Active Plasmonic Metasurfaces.” Light: Science & Applications 6, no. 7 (2017). https://doi.org/10.1038/lsa.2017.16.' ieee: 'X. Yin et al., “Beam switching and bifocal zoom lensing using active plasmonic metasurfaces,” Light: Science & Applications, vol. 6, no. 7, 2017.' mla: 'Yin, Xinghui, et al. “Beam Switching and Bifocal Zoom Lensing Using Active Plasmonic Metasurfaces.” Light: Science & Applications, vol. 6, no. 7, e17016, Springer Nature, 2017, doi:10.1038/lsa.2017.16.' short: 'X. Yin, T. Steinle, L. Huang, T. Taubner, M. Wuttig, T. Zentgraf, H. Giessen, Light: Science & Applications 6 (2017).' date_created: 2017-11-13T07:35:37Z date_updated: 2022-01-06T07:03:19Z ddc: - '530' doi: 10.1038/lsa.2017.16 file: - access_level: closed content_type: application/pdf creator: zentgraf date_created: 2018-11-28T06:54:11Z date_updated: 2018-11-28T06:54:11Z file_id: '5918' file_name: LSA_Yin_2017.pdf file_size: 2285477 relation: main_file success: 1 file_date_updated: 2018-11-28T06:54:11Z has_accepted_license: '1' intvolume: ' 6' issue: '7' language: - iso: eng publication: 'Light: Science & Applications' publication_identifier: issn: - 2047-7538 publication_status: published publisher: Springer Nature status: public title: Beam switching and bifocal zoom lensing using active plasmonic metasurfaces type: journal_article user_id: '30525' volume: 6 year: '2017' ... --- _id: '68' abstract: - lang: eng text: Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically reconfigurable hardware systems. The producer of a hardware module spends huge effort when creating a proof for a safety policy. The proof is then transferred as a certificate together with the configuration bitstream to the consumer of the hardware module, who can quickly verify the given proof. Previous work utilized SAT solvers and resolution traces to set up a PCH technology and corresponding tool flows. In this article, we present a novel technology for PCH based on inductive invariants. For sequential circuits, our approach is fundamentally stronger than the previous SAT-based one since we avoid the limitations of bounded unrolling. We contrast our technology to existing ones and show that it fits into previously proposed tool flows. We conduct experiments with four categories of benchmark circuits and report consumer and producer runtime and peak memory consumption, as well as the size of the certificates and the distribution of the workload between producer and consumer. Experiments clearly show that our new induction-based technology is superior for sequential circuits, whereas the previous SAT-based technology is the better choice for combinational circuits. author: - first_name: Tobias full_name: Isenberg, Tobias last_name: Isenberg - first_name: Marco full_name: Platzner, Marco id: '398' last_name: Platzner - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim - first_name: Tobias full_name: Wiersema, Tobias id: '3118' last_name: Wiersema citation: ama: Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems. 2017;(4):61:1--61:23. doi:10.1145/3054743 apa: Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743 bibtex: '@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying Hardware via Inductive Invariants}, DOI={10.1145/3054743}, number={4}, journal={ACM Transactions on Design Automation of Electronic Systems}, publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }' chicago: 'Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design Automation of Electronic Systems, no. 4 (2017): 61:1--61:23. https://doi.org/10.1145/3054743.' ieee: T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017. mla: Isenberg, Tobias, et al. “Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design Automation of Electronic Systems, no. 4, ACM, 2017, pp. 61:1--61:23, doi:10.1145/3054743. short: T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23. date_created: 2017-10-17T12:41:04Z date_updated: 2022-01-06T07:03:20Z ddc: - '000' department: - _id: '77' - _id: '78' doi: 10.1145/3054743 file: - access_level: closed content_type: application/pdf creator: ups date_created: 2018-11-02T16:08:17Z date_updated: 2018-11-02T16:08:17Z file_id: '5324' file_name: a61-isenberg.pdf file_size: 806356 relation: main_file success: 1 file_date_updated: 2018-11-02T16:08:17Z has_accepted_license: '1' issue: '4' language: - iso: eng page: 61:1--61:23 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publication: ACM Transactions on Design Automation of Electronic Systems publisher: ACM status: public title: Proof-Carrying Hardware via Inductive Invariants type: journal_article user_id: '3118' year: '2017' ... --- _id: '680' author: - first_name: Manuel full_name: Peter, Manuel last_name: Peter - first_name: Andre full_name: Hildebrandt, Andre last_name: Hildebrandt - first_name: Christian full_name: Schlickriede, Christian id: '59792' last_name: Schlickriede - first_name: Kimia full_name: Gharib, Kimia last_name: Gharib - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 - first_name: Jens full_name: Förstner, Jens id: '158' last_name: Förstner orcid: 0000-0001-7059-9862 - first_name: Stefan full_name: Linden, Stefan last_name: Linden citation: ama: Peter M, Hildebrandt A, Schlickriede C, et al. Directional Emission from Dielectric Leaky-Wave Nanoantennas. Nano Letters. 2017;17(7):4178-4183. doi:10.1021/acs.nanolett.7b00966 apa: Peter, M., Hildebrandt, A., Schlickriede, C., Gharib, K., Zentgraf, T., Förstner, J., & Linden, S. (2017). Directional Emission from Dielectric Leaky-Wave Nanoantennas. Nano Letters, 17(7), 4178–4183. https://doi.org/10.1021/acs.nanolett.7b00966 bibtex: '@article{Peter_Hildebrandt_Schlickriede_Gharib_Zentgraf_Förstner_Linden_2017, title={Directional Emission from Dielectric Leaky-Wave Nanoantennas}, volume={17}, DOI={10.1021/acs.nanolett.7b00966}, number={7}, journal={Nano Letters}, publisher={American Chemical Society (ACS)}, author={Peter, Manuel and Hildebrandt, Andre and Schlickriede, Christian and Gharib, Kimia and Zentgraf, Thomas and Förstner, Jens and Linden, Stefan}, year={2017}, pages={4178–4183} }' chicago: 'Peter, Manuel, Andre Hildebrandt, Christian Schlickriede, Kimia Gharib, Thomas Zentgraf, Jens Förstner, and Stefan Linden. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.” Nano Letters 17, no. 7 (2017): 4178–83. https://doi.org/10.1021/acs.nanolett.7b00966.' ieee: M. Peter et al., “Directional Emission from Dielectric Leaky-Wave Nanoantennas,” Nano Letters, vol. 17, no. 7, pp. 4178–4183, 2017. mla: Peter, Manuel, et al. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.” Nano Letters, vol. 17, no. 7, American Chemical Society (ACS), 2017, pp. 4178–83, doi:10.1021/acs.nanolett.7b00966. short: M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183. date_created: 2017-11-13T07:36:01Z date_updated: 2022-01-06T07:03:20Z ddc: - '530' department: - _id: '61' - _id: '289' doi: 10.1021/acs.nanolett.7b00966 file: - access_level: open_access content_type: application/pdf creator: fossie date_created: 2018-08-16T08:07:31Z date_updated: 2018-08-21T10:41:58Z file_id: '3917' file_name: 2017-08 Peter - Nano Letters - Directional Emission from Dielectric Leaky-Wave Antennas.pdf file_size: 3398275 relation: main_file file_date_updated: 2018-08-21T10:41:58Z has_accepted_license: '1' intvolume: ' 17' issue: '7' keyword: - tet_topic_opticalantenna language: - iso: eng oa: '1' page: 4178-4183 project: - _id: '53' name: TRR 142 - _id: '56' name: TRR 142 - Project Area C - _id: '74' name: TRR 142 - Subproject C4 publication: Nano Letters publication_identifier: issn: - 1530-6984 - 1530-6992 publication_status: published publisher: American Chemical Society (ACS) status: public title: Directional Emission from Dielectric Leaky-Wave Nanoantennas type: journal_article urn: '6808' user_id: '158' volume: 17 year: '2017' ... --- _id: '681' article_number: '14300' author: - first_name: Qinghua full_name: Guo, Qinghua last_name: Guo - first_name: Christian full_name: Schlickriede, Christian id: '59792' last_name: Schlickriede - first_name: Dongyang full_name: Wang, Dongyang last_name: Wang - first_name: Hongchao full_name: Liu, Hongchao last_name: Liu - first_name: Yuanjiang full_name: Xiang, Yuanjiang last_name: Xiang - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 - first_name: Shuang full_name: Zhang, Shuang last_name: Zhang citation: ama: Guo Q, Schlickriede C, Wang D, et al. Manipulation of vector beam polarization with geometric metasurfaces. Optics Express. 2017;25(13). doi:10.1364/oe.25.014300 apa: Guo, Q., Schlickriede, C., Wang, D., Liu, H., Xiang, Y., Zentgraf, T., & Zhang, S. (2017). Manipulation of vector beam polarization with geometric metasurfaces. Optics Express, 25(13). https://doi.org/10.1364/oe.25.014300 bibtex: '@article{Guo_Schlickriede_Wang_Liu_Xiang_Zentgraf_Zhang_2017, title={Manipulation of vector beam polarization with geometric metasurfaces}, volume={25}, DOI={10.1364/oe.25.014300}, number={1314300}, journal={Optics Express}, publisher={The Optical Society}, author={Guo, Qinghua and Schlickriede, Christian and Wang, Dongyang and Liu, Hongchao and Xiang, Yuanjiang and Zentgraf, Thomas and Zhang, Shuang}, year={2017} }' chicago: Guo, Qinghua, Christian Schlickriede, Dongyang Wang, Hongchao Liu, Yuanjiang Xiang, Thomas Zentgraf, and Shuang Zhang. “Manipulation of Vector Beam Polarization with Geometric Metasurfaces.” Optics Express 25, no. 13 (2017). https://doi.org/10.1364/oe.25.014300. ieee: Q. Guo et al., “Manipulation of vector beam polarization with geometric metasurfaces,” Optics Express, vol. 25, no. 13, 2017. mla: Guo, Qinghua, et al. “Manipulation of Vector Beam Polarization with Geometric Metasurfaces.” Optics Express, vol. 25, no. 13, 14300, The Optical Society, 2017, doi:10.1364/oe.25.014300. short: Q. Guo, C. Schlickriede, D. Wang, H. Liu, Y. Xiang, T. Zentgraf, S. Zhang, Optics Express 25 (2017). date_created: 2017-11-13T07:44:26Z date_updated: 2022-01-06T07:03:21Z doi: 10.1364/oe.25.014300 intvolume: ' 25' issue: '13' publication: Optics Express publication_identifier: issn: - 1094-4087 publication_status: published publisher: The Optical Society status: public title: Manipulation of vector beam polarization with geometric metasurfaces type: journal_article user_id: '30525' volume: 25 year: '2017' ... --- _id: '682' author: - first_name: Nils full_name: Weber, Nils last_name: Weber - first_name: Maximilian full_name: Protte, Maximilian last_name: Protte - first_name: Felicitas full_name: Walter, Felicitas last_name: Walter - first_name: Philip full_name: Georgi, Philip last_name: Georgi - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 - first_name: Cedrik full_name: Meier, Cedrik id: '20798' last_name: Meier orcid: https://orcid.org/0000-0002-3787-3572 citation: ama: Weber N, Protte M, Walter F, Georgi P, Zentgraf T, Meier C. Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide. Physical Review B. 2017;95(20). doi:10.1103/physrevb.95.205307 apa: Weber, N., Protte, M., Walter, F., Georgi, P., Zentgraf, T., & Meier, C. (2017). Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide. Physical Review B, 95(20). https://doi.org/10.1103/physrevb.95.205307 bibtex: '@article{Weber_Protte_Walter_Georgi_Zentgraf_Meier_2017, title={Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide}, volume={95}, DOI={10.1103/physrevb.95.205307}, number={20}, journal={Physical Review B}, publisher={American Physical Society (APS)}, author={Weber, Nils and Protte, Maximilian and Walter, Felicitas and Georgi, Philip and Zentgraf, Thomas and Meier, Cedrik}, year={2017} }' chicago: Weber, Nils, Maximilian Protte, Felicitas Walter, Philip Georgi, Thomas Zentgraf, and Cedrik Meier. “Double Resonant Plasmonic Nanoantennas for Efficient Second Harmonic Generation in Zinc Oxide.” Physical Review B 95, no. 20 (2017). https://doi.org/10.1103/physrevb.95.205307. ieee: N. Weber, M. Protte, F. Walter, P. Georgi, T. Zentgraf, and C. Meier, “Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide,” Physical Review B, vol. 95, no. 20, 2017. mla: Weber, Nils, et al. “Double Resonant Plasmonic Nanoantennas for Efficient Second Harmonic Generation in Zinc Oxide.” Physical Review B, vol. 95, no. 20, American Physical Society (APS), 2017, doi:10.1103/physrevb.95.205307. short: N. Weber, M. Protte, F. Walter, P. Georgi, T. Zentgraf, C. Meier, Physical Review B 95 (2017). date_created: 2017-11-13T07:44:52Z date_updated: 2022-01-06T07:03:21Z department: - _id: '15' - _id: '35' - _id: '230' - _id: '287' - _id: '289' doi: 10.1103/physrevb.95.205307 intvolume: ' 95' issue: '20' language: - iso: eng project: - _id: '53' name: TRR 142 - _id: '54' name: TRR 142 - Project Area A - _id: '62' name: TRR 142 - Subproject A5 publication: Physical Review B publication_identifier: issn: - 2469-9950 - 2469-9969 publication_status: published publisher: American Physical Society (APS) status: public title: Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide type: journal_article user_id: '20798' volume: 95 year: '2017' ...