Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

DL2: Training and Querying Neural Networks with Logic.

M. Fischer, M. Balunovic, D. Drachsler-Cohen, T. Gehr, C. Zhang, and M. Vechev. ICML, volume 97 of Proceedings of Machine Learning Research, page 1931-1941. PMLR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hon. -Prof. Dr. -Ing. Marc Fischer University of Stuttgart

Marc Fischer University of Stuttgart

Dominic Marcello

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, and R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, and R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)DIANA - Technologien für eine Energie-autarke, intelligente Kabine: Selbstadaptive Kabinenelektronik Plattform : Schlussbericht :M. Riedlinger, and R. Reichel. (2015)An adaptive middleware approach for fault-tolerant avionic systemsO. Marquardt, M. Riedlinger, R. Ahmadi, and R. Reichel. 2015 IEEE Aerospace Conference, Institute of Electrical and Electronics Engineers (IEEE), (March 2015)

Marc Gauger University of Stuttgart

Other publications of authors with the same name

MedGAN: Medical Image Translation using GANs.K. Armanious, C. Yang, M. Fischer, T. Küstner, K. Nikolaou, S. Gatidis, and B. Yang. CoRR, (2018)Practice Prize Paper-Managing Advertising Campaigns for New Product Launches: An Application at Mercedes-Benz.M. Fischer. Marketing Science, 38 (2): 343-359 (2019)Semantic Organ Segmentation in 3D Whole-Body MR Images.T. Küstner, S. Müller, M. Fischer, J. Weiß, K. Nikolaou, F. Bamberg, B. Yang, F. Schick, and S. Gatidis. ICIP, page 3498-3502. IEEE, (2018)Virtualisierung in der ProduktionstechnikM. Fischer, C. Müller, and C. Kolb. (November 2020)Evaluation of Isolation and Communication Mechanisms for Real-Time ContainersM. Walker, M. Fischer, A. Lechler, and A. Verl. 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), page 1-8. (2023)Arithmetic Coding for Floating-Points and Elementary Mathematical FunctionsM. Fischer, O. Riedel, and A. Lechler. 2021 5th International Conference on System Reliability and Safety (ICSRS), page 270-275. Piscataway, IEEE, (2021)Self-supervised contrastive learning with random walks for medical image segmentation with limited annotationsM. Fischer, T. Hepp, S. Gatidis, and B. Yang. Computerized medical imaging and graphics, (2023)Better Together : Data Harmonization and Cross-Study Analysis of Abdominal MRI Data From UK Biobank and the German National CohortS. Gatidis, T. Kart, M. Fischer, S. Winzeck, B. Glocker, W. Bai, R. Bülow, C. Emmel, L. Friedrich, H. Kauczor and 15 other author(s). Investigative radiology, 58 (5): 346-354 (2023)Fehlertolerante Sicherheitssteuerung aus der Cloud : Softwarebasierte SicherheitssteuerungenM. Fischer, M. Walker, A. Lechler, O. Riedel, and A. Verl. Werkstattstechnik, 113 (5): 189-194 (2023)Practice Prize Winner - Dynamic Marketing Budget Allocation Across Countries, Products, and Marketing Activities.M. Fischer, S. Albers, N. Wagner, and M. Frie. Marketing Science, 30 (4): 568-585 (2011)