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.
9639 Publications
2020 | Conference Paper | LibreCat-ID: 20185
Castenow, Jannik, et al. “Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility .” Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings , edited by Stéphane Devismes and Neeraj Mittal, vol. 12514, Springer, 2020, pp. 60–64, doi:10.1007/978-3-030-64348-5_5.
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
Hammer, Manfred, et al. “Hybrid Coupled Mode Modelling of the Evanescent Excitation of a Dielectric Tube by Semi-Guided Waves at Oblique Angles.” Optical and Quantum Electronics, vol. 52, 472, 2020, doi:10.1007/s11082-020-02595-z.
LibreCat
| Files available
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole, Paresh Kishor. Plurality Consensus in Hybrid Networks. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 | 
Myroshnychenko, Viktor, et al. “Nonlinear Dielectric Properties of Random Paraelectric-Dielectric Composites.” Acta Materialia, vol. 203, 2020, p. 116432, doi:10.1016/j.actamat.2020.10.051.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.” 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, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:10.1007/978-3-030-50086-3\_3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” 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}, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4\_8.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, Heike, and Jordi Cabot, editors. 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. Vol. 12076, Springer, 2020, doi:10.1007/978-3-030-45234-6.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
Heldt, Melanie, et al. “The Relationship between Differences in Students’ Computer and Information Literacy and Response Times: An Analysis of IEA-ICILS Data.” Large-Scale Assessments in Education, vol. 8, no. 1, 2020, pp. 1–20, doi:10.1186/s40536-020-00090-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28351
Müller, Mareike, and Julia Settinieri. “‘Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...’: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen.” Fremdsprachen Lehren und Lernen, vol. 49, no. 2, 2020, pp. 46–63, doi:10.2357/FLuL-2020-0018.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld, Julian. Systematik zur Digitalisierung von Produktprogrammen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
Lukei, Meinolf. Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
Wu, Liang, et al. “Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 Nm SiGe BiCMOS Technology.” 2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, 2020, doi:10.1109/ISCAS45731.2020.9180947.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam, Saed, and Christoph Scheytt. “Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator.” IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, 2020, doi:10.1109/PIMRC48278.2020.9217198.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, Peer, et al. “A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures.” MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
Haddadian, Sanaz, and Christoph Scheytt. “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.” IEEE Journal of Radio Frequency Identification, 2020, pp. 1–1, doi:10.1109/JRFID.2020.3009741.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
Ballandras, Sylvain, et al. “Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers.” GeMiC 2020 - German Microwave Conference, 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24242
Moritzer, Elmar, et al. “Investigation of Plastic Freeformed, Open-Pored Structures with Regard to Producibility, Reproducibility and Liquid Permeability.” Additive Manufacturing in Products and Applications (AMPA), 2020, pp. 112–29.
LibreCat
2020 | Dissertation | LibreCat-ID: 24629
Schlosser, Florian. Integration von Wärmepumpen Zur Dekarbonisierung Der Industriellen Wärmeversorgung. Kassel University Press, 2020.
LibreCat
2020 | Report | LibreCat-ID: 24669
Lieneke, Tobias, et al. Kombination und Integration etablierter Technologien mit additiven Fertigungsverfahren. 2020.
LibreCat
| Files available