Fast interpolation and fourier transform in high-dimensional spaces

Hecht, M. & Sbalzarini, I. F., 2018, Intelligent Computing: Proceedings of the 2018 Computing Conference. Kapoor, S., Bhatia, R. & Arai, K. (Hrsg.). Springer Verlag, S. 53-75 23 S. (Advances in intelligent systems and computing : AISC ; Vol.: 809, Band 857).

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

From Verification to Explanation (Track Introduction)

Baier, C. & Hermanns, H., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (Hrsg.). Springer, Berlin [u. a.], S. 1-7 7 S. (Lecture Notes in Computer Science, Volume 12479).

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

Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy

Wilhelm, M., Kern-Isberner, G., Ecke, A. & Baader, F., 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (Hrsg.). Springer, Berlin [u. a.], S. 434-449 16 S. (Lecture Notes in Computer Science, Volume 11468).

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

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

Baader, F. & De Bortoli, F., 2019, Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (Hrsg.). Springer, Berlin [u. a.], S. 203-219 17 S. (Lecture Notes in Computer Science, Volume 11715).

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

A Design Kit for Mobile Device-Based Interaction Techniques

Korzetz, M., Kühn, R., Aßmann, U. & Schlegel, T., 2020, HCI International 2020 - Posters: 22nd International Conference, HCII 2020, Proceedings. Stephanidis, C. & Antona, M. (Hrsg.). Springer, S. 52-59 8 S. (Communications in Computer and Information Science, Band 1224 CCIS).

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

Compositional Feature-Oriented Systems

Dubslaff, C., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (Hrsg.). Springer-Verlag, S. 162-180 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 11724 LNCS).

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

RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

Reiher, T., Senier, A., Castrillon, J. & Strufe, T., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S-S. (Hrsg.). Springer, Berlin [u. a.], S. 170-190 21 S. (Lecture Notes in Computer Science, Volume 12018).

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

On compact mappings for multicore systems

Goens, A., Menard, C. & Castrillon, J., 2019, Embedded Computer Systems: Architectures, Modeling, and Simulation - 19th International Conference, SAMOS 2019, Proceedings. Pnevmatikatos, D. N., Pelcat, M. & Jung, M. (Hrsg.). Springer, Berlin [u. a.], S. 325-335 11 S. (Lecture Notes in Computer Science, Volume 11733).

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