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. (eds.). Springer Verlag, p. 53-75 23 p. (Advances in intelligent systems and computing : AISC ; Vol.: 809, Vol. 857).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 1-7 7 p. (Lecture Notes in Computer Science, Volume 12479).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 434-449 16 p. (Lecture Notes in Computer Science, Volume 11468).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 203-219 17 p. (Lecture Notes in Computer Science, Volume 11715).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, p. 52-59 8 p. (Communications in Computer and Information Science, Vol. 1224 CCIS).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Compositional Feature-Oriented Systems

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

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 170-190 21 p. (Lecture Notes in Computer Science, Volume 12018).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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. (eds.). Springer, Berlin [u. a.], p. 325-335 11 p. (Lecture Notes in Computer Science, Volume 11733).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review