Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3855 Entries
2025
-
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder , 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Access control and security analysis of shared accelerators with hardware-level scheduling , Jul 2025, In: Microprocessors and Microsystems. 105186Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Adaptive Synchronization and Pacing Control for Visual Interactive Simulation , Jul 2025, In: ACM Transactions on Modeling and Computer Simulation. 35, 3, 24 p., 22Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
CoRa: A Collision-Resistant LoRa Symbol Detector of Low Complexity , Jul 2025, IEEE INFOCOM 2025 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers (IEEE), p. 1-10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Deployment of IoT in Smart Environments: Challenges and Experiences , Jul 2025, Wireless Sensor Networks in Smart Environments: Enabling Digitalization from Fundamentals to Advanced Solutions. Ciuonzo, D. & Rossi, P. S. (eds.). Wiley, p. 353-376, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Morphogen gradients are regulated by porous media characteristics of the developing tissue , Jul 2025, In: Development (Cambridge, England). 152, 13, dev204312Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Spotiflow: accurate and efficient spot detection for fluorescence microscopy with deep stereographic flow regression , Jul 2025, In: Nature methods. 22, 7, p. 1495-1504, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Leveraging Software Development of I4.0 Digital Twins for PLC Programming , 23 Jun 2025, 2025 IEEE 34th International Symposium on Industrial Electronics (ISIE). IEEE Industrial Electronics Society, p. 1-6, 6 p., 11124616Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Streamlining AAS Data Exchange: A Novel Approach Using Protocol Buffers , 23 Jun 2025, 2025 IEEE 34th International Symposium on Industrial Electronics (ISIE). IEEE Industrial Electronics Society, p. 1-6, 6 p., 11124666Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Experimental Evaluation of Optimizing Memory Consumption in SAP HANA using PEOopt , 22 Jun 2025, SIGMOD-Companion 2025 - Companion of the 2025 International Conference on Management of Data. Deshpande, A., Aboulnaga, A., Salimi, B., Chandramouli, B., Howe, B., Loo, B. T., Glavic, B., Curino, C., Zhe Wang, D., Suciu, D., Abadi, D., Srivastava, D., Wu, E., Nawab, F., Ilyas, I., Naughton, J., Rogers, J., Patel, J., Arulraj, J., Yang, J., Echihabi, K., Ross, K., Daudjee, K., Lakshmanan, L., Garofalakis, M., Riedewald, M., Mokbel, M., Ouzzani, M., Kennedy, O., Kennedy, O., Papotti, P., Alvaro, P., Bailis, P., Miller, R., Roy, S. B., Melnik, S., Idreos, S., Roy, S., Rekatsinas, T., Leis, V., Zhou, W., Gatterbauer, W. & Ives, Z. (eds.). Association for Computing Machinery, p. 499-511, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SAP HANA Cloud: Data Management for Modern Enterprise Applications , 22 Jun 2025, SIGMOD-Companion 2025 - Companion of the 2025 International Conference on Management of Data. Deshpande, A., Aboulnaga, A., Salimi, B., Chandramouli, B., Howe, B., Loo, B. T., Glavic, B., Curino, C., Zhe Wang, D., Suciu, D., Abadi, D., Srivastava, D., Wu, E., Nawab, F., Ilyas, I., Naughton, J., Rogers, J., Patel, J., Arulraj, J., Yang, J., Echihabi, K., Ross, K., Daudjee, K., Lakshmanan, L., Garofalakis, M., Riedewald, M., Mokbel, M., Ouzzani, M., Kennedy, O., Kennedy, O., Papotti, P., Alvaro, P., Bailis, P., Miller, R., Roy, S. B., Melnik, S., Idreos, S., Roy, S., Rekatsinas, T., Leis, V., Zhou, W., Gatterbauer, W. & Ives, Z. (eds.). Association for Computing Machinery, p. 580-592, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Code and Test Generation for I4.0 State Machines with LLM-based Diagram Recognition , 13 Jun 2025, 2025 IEEE 21st International Conference on Factory Communication Systems (WFCS). Golatowski, F., Scanzio, S., Ashjaei, M., Daoud, R., Santos, P. & Amer, H. (eds.). IEEE Industrial Electronics Society, 8 p., 11077624Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Flexible Transmit Power Reconfiguration in Private 5G Networks using the Asset Administration Shell , 13 Jun 2025, 2025 7th Global Power, Energy and Communication Conference (GPECOM). IEEE TechRxiv, p. 1048-1055, 8 p., 11061874Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Intelligent 5G communication with Smart Resource Flow and EmKoI4.0 Orchestrator , 13 Jun 2025, 2025 IEEE 21st International Conference on Factory Communication Systems (WFCS). Golatowski, F., Scanzio, S., Ashjaei, M., Daoud, R., Santos, P. & Amer, H. (eds.). IEEE Industrial Electronics Society, 4 p., 11077619Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A RISC-V Coprocessor for Seamless Integration of Stream-Based Accelerators , 7 Jun 2025, 2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). p. 1221-1227, 7 p., 11106148Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Security, Privacy, and Resilience Controls for the 6G End-to-End System Developed in Hexa-X-II , 3 Jun 2025, 2025 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit). Poznan, Poland, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Regularized Gradient Statistics Improve Generative Deep Learning Models of Super Resolution Microscopy , 2 Jun 2025, In: Small methods. 9, 7, 2401900Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Integrated Simulation of Federated Learning for Large Scale Intelligent Transportation Systems , 1 Jun 2025, 16th IEEE Vehicular Networking Conference (VNC 2025). Porto, Portugal: Institute of Electrical and Electronics Engineers (IEEE)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Functional Framework for Network Digital Twins , Jun 2025, IEEE European Conference on Networks and Communications (EuCNC 2025 & 6G Summit). Poznań, Poland: Institute of Electrical and Electronics Engineers (IEEE)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Review on the Construction, Modeling, and Consistency of Digital Twins for Advanced Air Mobility Applications , Jun 2025, In: Drones. 9, 6, 394Electronic (full-text) versionResearch output: Contribution to journal > Review article
-
Certificates and witnesses for multi-objective queries in Markov decision processes , Jun 2025, In: Performance Evaluation. 168, 102482Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
When to Sample from Feature Diagrams? , 28 May 2025, VaMoS'25: Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems. Acher, M., Alves Pereira, J. & Quinton, C. (eds.). ACM Digital Library, p. 11-20, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Galar - a large multi-label video capsule endoscopy dataset , 20 May 2025, In: Scientific data. 12, 1, 828Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Digital Twin Road: value and implications involving data and application , 19 May 2025, In: Discover Applied Sciences. 7, 6, 510Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
AAS Meets OPC UA: A Unified Approach to Digital Twins , 15 May 2025, 2025 IEEE 8th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE Canada, p. 1-6, 6 p., 11087887Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution