Publications

Benedikt Fauseweh, Ben Hermann, and Falk Howar. Bounds for Quantum Circuits using Logic-Based Analysis. Gesellschaft für Informatik, Bonn, 2025. [PUMA: computing, verification, circuit, logic, analysis quantum] URL

Sofía Cruces, Mohit Dineshkumar Ganeriwala, Jimin Lee, Lukas Völkel, Dennis Braun, Annika Grundmann, Ke Ran, Enrique González Marín, Holger Kalisch, Michael Heuken, Andrei Vescan, Joachim Mayer, Andrés Godoy, Alwin Daus, and Max Christian Lemme. Volatile MoS2 Memristors with Lateral Silver Ion Migration for Artificial Neuron Applications. Small Science, (n/a)n/a:2400523, 2025. [PUMA: 2D compact computing, iht, ion journal lateral materials, memristor, migration, model, neuromorphic resistive switching,] URL

Andreas Bulling, Daniel Roggen, and Gerhard Tröster. What's in the Eyes for Context-Awareness?. IEEE Pervasive Computing, (10)2:48-57, 2011. [PUMA: Computing Machine Pervasive Wearable computing, hcics learning, processing, signal vis]

Andreas Bulling, and Thorsten O. Zander. Cognition-Aware Computing. IEEE Pervasive Computing, (13)3:80-83, 2014. [PUMA: Context hcics vis Context-aware Pervasive Sensors, Visualization bioinformatics, cognition, cognition-aware computing, electroencephalography, intelligent modeling, systems, tracking,]

Myriam D Munezero, Calkin Suero Montero, Erkki Sutinen, and John Pajunen. Are they different? affect, feeling, emotion, sentiment, and opinion detection in text. IEEE transactions on affective computing, (5)2:101--111, IEEE, 2014. [PUMA: Affective Computing, affect analysis, and computational emotion models of sensing]