Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7880 Publications
2020 | Conference Paper | LibreCat-ID: 20146
@inproceedings{Masendorf_Wächter_Horstmann_Otroshi_Esderts_Meschut_2020, title={Linear damage accumulation of self-pierce riveted joints}, publisher={Deutscher Verband für Materialforschung und -prüfung e.V.}, author={Masendorf, Lukas and Wächter, Michael and Horstmann, Stephan and Otroshi, Mortaza and Esderts, Alfons and Meschut, Gerson}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20159
@inproceedings{Baswana_Gupta_Knollmann_2020, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Mincut Sensitivity Data Structures for the Insertion of an Edge}, volume={173}, DOI={10.4230/LIPIcs.ESA.2020.12}, booktitle={28th Annual European Symposium on Algorithms (ESA 2020)}, publisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}, author={Baswana, Surender and Gupta, Shiv and Knollmann, Till}, editor={Grandoni, Fabrizio and Herman, Grzegorz and Sanders, PeterEditors}, year={2020}, pages={12:1-12:14}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20185
@inproceedings{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2020, series={Lecture Notes in Computer Science (LNCS)}, title={Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility }, volume={12514}, DOI={10.1007/978-3-030-64348-5_5}, booktitle={Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings }, publisher={Springer}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Devismes, Stéphane and Mittal, NeerajEditors}, year={2020}, pages={60–64}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
@article{Hammer_Ebers_Förstner_2020, title={Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles}, volume={52}, DOI={10.1007/s11082-020-02595-z}, number={472}, journal={Optical and Quantum Electronics}, author={Hammer, Manfred and Ebers, Lena and Förstner, Jens}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 20233 | 
@article{Myroshnychenko_Smirnov_Jose_Brosseau_Förstner_2020, title={Nonlinear dielectric properties of random paraelectric-dielectric composites}, volume={203}, DOI={10.1016/j.actamat.2020.10.051}, journal={Acta Materialia}, author={Myroshnychenko, Viktor and Smirnov, Stanislav and Jose, Pious Mathews Mulavarickal and Brosseau, Christian and Förstner, Jens}, year={2020}, pages={116432} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, volume={12136}, DOI={10.1007/978-3-030-50086-3\_3}, booktitle={Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, publisher={Springer}, author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova, AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\_8}, booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science}, title={Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, volume={12076}, DOI={10.1007/978-3-030-45234-6}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
@article{Heldt_Massek_Drossel_Eickelmann_2020, title={The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data}, volume={8}, DOI={10.1186/s40536-020-00090-1}, number={1}, journal={Large-scale Assessments in Education}, author={Heldt, Melanie and Massek, Corinna and Drossel, Kerstin and Eickelmann, Birgit}, year={2020}, pages={1–20} }
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
@book{Echterfeld_2020, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur Digitalisierung von Produktprogrammen}, volume={393}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Echterfeld, Julian}, year={2020}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
@book{Lukei_2020, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel}, volume={395}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lukei, Meinolf}, year={2020}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
@inproceedings{Wu_Weizel_Scheytt_2020, place={Sevilla, Spain}, title={Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology}, DOI={10.1109/ISCAS45731.2020.9180947}, booktitle={2020 IEEE International Symposium on Circuits and Systems (ISCAS)}, publisher={IEEE}, author={Wu, Liang and Weizel, Maxim and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
@inproceedings{Abughannam_Scheytt_2020, place={Virtuelle Konferenz}, title={Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator}, DOI={10.1109/PIMRC48278.2020.9217198}, booktitle={IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) }, publisher={IEEE}, author={Abughannam, Saed and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2020, place={Stuttgart, DE}, title={A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures}, booktitle={MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
@article{Haddadian_Scheytt_2020, title={Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers}, DOI={10.1109/JRFID.2020.3009741}, journal={IEEE Journal of Radio Frequency Identification}, author={Haddadian, Sanaz and Scheytt, Christoph}, year={2020}, pages={1–1} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
@inproceedings{Ballandras_Abughannam_Courjon_Scheytt_2020, title={Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers}, booktitle={GeMiC 2020 - German Microwave Conference}, author={Ballandras, Sylvain and Abughannam, Saed and Courjon, Emilie and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24203
@inproceedings{Moritzer_Hillemeyer_2020, place={Hamburg}, title={Additiveteile Direktverschrauben}, booktitle={6. Fachkonferenz 3D-Druck in der Automobielindustrie}, author={Moritzer, Elmar and Hillemeyer, Johannes}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 24242
@inproceedings{Moritzer_Hirsch_Dalmer_2020, place={Zurich (Switzerland)}, title={Investigation of Plastic Freeformed, Open-Pored Structures with Regard to Producibility, Reproducibility and Liquid Permeability}, booktitle={Additive Manufacturing in Products and Applications (AMPA)}, author={Moritzer, Elmar and Hirsch, André and Dalmer, C.}, year={2020}, pages={112–129} }
LibreCat
2020 | Dissertation | LibreCat-ID: 24629
@book{Schlosser_2020, place={Kassel}, title={Integration von Wärmepumpen zur Dekarbonisierung der industriellen Wärmeversorgung}, volume={25}, publisher={Kassel University Press}, author={Schlosser, Florian}, year={2020} }
LibreCat