Preface

de Bruijne, M., Cattin, P. C., Cotin, S., Padoy, N., Speidel, S., Zheng, Y. & Essert, C., 2021, Medical Image Computing and Computer Assisted Intervention – MICCAI 2021: 24th International Conference, Strasbourg, France, September 27–October 1, 2021, Proceedings, Part VI. Band VI. S. v-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 12906 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Vor-/Nachwort › Beigetragen › Begutachtung

Preface

de Bruijne, M., Cattin, P. C., Cotin, S., Padoy, N., Speidel, S., Zheng, Y. & Essert, C., 2021, Medical Image Computing and Computer Assisted Intervention – MICCAI 2021: 24th International Conference, Strasbourg, France, September 27 – October 1, 2021, Proceedings, Part V. Band V. S. v-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 12905 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Vor-/Nachwort › Beigetragen › Begutachtung

Wideband power amplifier with auto-transformer based output impedance transformation network

Sobotta, E., Wolf, R. & Ellinger, F., 5 Nov. 2019, Sensors, Circuits and Instrumentation Systems: 2018. de Gruyter, S. 57-76 20 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

MORE: MOdel-based REdundancy for Simulink

Ding, K., Morozov, A. & Janschek, K., 2018, Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Proceedings. Skavhaug, A., Bitsch, F. & Gallina, B. (Hrsg.). Springer-Verlag, S. 250-264 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 11093 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Optimal Repairs in the Description Logic ℰℒ Revisited

Baader, F., Koopmann, P. & Kriegel, F., 20 Sept. 2023, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20-22, 2023, Dresden, Germany: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (Hrsg.). Springer, S. 11-34 24 S. (Lecture Notes in Computer Science, Volume 14281).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

A Practical Account into Counting Dung’s Extensions by Dynamic Programming

Dewoprabowo, R., Fichte, J. K., Gorczyca, P. & Hecher, M., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (Hrsg.). S. 387-400 14 S. (Lecture Notes in Artificial Intelligence (LNAI), Band 13416).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Design and verification of systems with exogenous coordination using vereofy

Baier, C., Blechmann, T., Klein, J., Klüppelholz, S. & Leister, W., 2010, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 2 Aufl. S. 97-111 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Nr. PART 2, Band 6416 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung