There is a lot of activity inside and around CeTI that serves to demonstrate and communicate the CeTI concepts, and to establish the excellent research cluster that CeTI stands for.

Contributions to public events are just one part of the activities; but there is a lot happening inside and among the researchers and chairs.

There is a lot of activity inside and around CeTI that serves for demonstrating and communicating the CeTI concepts, and that serves for establishing the excellent research cluster that CeTI stands for.

Contributions to public events are just one part of the activities; but there is a lot is happening inside and among the researchers and chairs.

0
Journals & Magazines
0
Incollections
0
Inproceeedings
0
Book Chapters
0
Awards

Awards

Publications

746 Einträge « 13 of 15 »

2020

Journal Articles

601.

Harsimran Singh; Michael Panzirsch; André F. Coelho; Christian Ott

Proxy-based approach for position synchronization of delayed robot coupling without sacrificing performance Journal Article

In: IEEE Robotics and Automation Letters, vol. 5, no. 4, pp. 6599–6606, 2020.

Links | BibTeX

602.

Luca Oppici; Emily Frith; James R. Rudd

A perspective on implementing movement sonification to influence movement (and eventually cognitive) creativity Journal Article

In: Frontiers in Psychology, vol. 11, pp. 02233:1–7, 2020.

Links | BibTeX

603.

Mengqi Cui; Corrado Carta; Frank Ellinger

A 21 dBm 3.7 W/mm² 28.7% PAE 64 GHz power amplifier in 22 nm FD-SOI Journal Article

In: IEEE Solid-State Circuits Letters, vol. 3, pp. 386–389, 2020.

Links | BibTeX

604.

Vu Nguyen; Juan A. Cabrera Guerrero; Giang T. Nguyen; Dongho You; Frank H. P. Fitzek

Versatile network codes: Energy consumption in heterogeneous IoT devices Journal Article

In: IEEE Access, vol. 8, pp. 168219–168228, 2020.

Links | BibTeX

605.

Luca Oppici; James R. Rudd; Tim Buszard; Sharna Spittle

Efficacy of a 7-week dance (RCT) PE curriculum with different teaching pedagogies and levels of cognitive challenge to improve working memory capacity and motor competence in 8–10 years old children Journal Article

In: Psychology of Sport and Exercise, vol. 50, pp. 101675:1–11, 2020.

Links | BibTeX

606.

Nicolas Zink; Kathleen Y. L. Kang; Shu-Chen Li; Christian Beste

Anodal transcranial direct current stimulation enhances the efficiency of functional brain network communication during auditory attentional control Journal Article

In: Journal of Neurophysiology, vol. 24, no. 1, pp. 207–217, 2020.

Links | BibTeX

607.

Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination Journal Article

In: Information and Computation, vol. 272, pp. 104504:1–27, 2020.

Links | BibTeX

608.

Franka Thurm; Shu-Chen Li; Dorothea Hämmerer

Maturation- and aging-related differences in electrophysiological correlates of error detection and error awareness Journal Article

In: Neuropsychologia, vol. 143, pp. 107476:1–10, 2020.

Links | BibTeX

609.

Christel Baier; Pedro R. D’Argenio; Holger Hermanns

On the probabilistic bisimulation spectrum with silent moves Journal Article

In: Acta Informatica, vol. 57, no. 3–5, pp. 465–512, 2020.

Links | BibTeX

610.

Vu Nguyen; Elif Tasdemir; Giang T. Nguyen; Daniel E. Lucani Rötter; Frank H. P. Fitzek; Martin Reisslein

DSEP Fulcrum: Dynamic sparsity and expansion packets for Fulcrum network coding Journal Article

In: IEEE Access, vol. 8, pp. 78293–78314, 2020.

Links | BibTeX

611.

Christoph Koch; Shu-Chen Li; Thad A. Polk; Nicolas W. Schuck

Effects of aging on encoding of walking direction in the human brain Journal Article

In: Neuropsychologia, vol. 141, pp. 107379:1–13, 2020.

Links | BibTeX

612.

Xin An; Jens Wagner; Frank Ellinger

An efficient ultrawideband pulse transmitter with automatic on-off functionality for primary radar systems Journal Article

In: IEEE Microwave and Wireless Components Letters, vol. 30, no. 4, pp. 449–452, 2020.

Links | BibTeX

613.

Johannes Mey; René Schöne; Görel Hedin; Emma Söderberg; Thomas Kühn; Niklas Fors; Jesper Öqvist; Uwe Aßmann

Relational reference attribute grammars: Improving continuous model validation Journal Article

In: Journal of Computer Languages, vol. 57, pp. 100940:1–21, 2020, (including a software artefact, available at zenodo.org/record/3666664).

Links | BibTeX

614.

Tim Buszard; Luca Oppici; Hans Westerbeek; Damian Farrow

Implementation of a modified sport programme to increase participation: Key stakeholder perspectives Journal Article

In: Journal of Sports Sciences, vol. 38, no. 8, pp. 945–952, 2020.

Links | BibTeX

615.

Annika Dix; Shu-Chen Li

Incentive motivation improves numerosity discrimination: Insights from pupillometry combined with drift-diffusion modelling Journal Article

In: Scientific Reports, vol. 10, pp. 2608:1–11, 2020.

Links | BibTeX

616.

Johannes Mey; Thomas Kühn; René Schöne; Uwe Aßmann

Reusing static analysis across different domain-specific languages using reference attribute grammars Journal Article

In: The Art, Science, and Engineering of Programming, vol. 4, no. 3, pp. 15:1–36, 2020, (including a software artefact, available at zenodo.org/record/3659198).

Links | BibTeX

617.

Justus Rischke; Peter Sossalla; Hani Salah; Frank H. P. Fitzek; Martin Reisslein

QR-SDN: Towards reinforcement learning states, actions, and rewards for direct flow routing in software-defined networks Journal Article

In: IEEE Access, vol. 8, pp. 174773–174791, 2020.

Links | BibTeX

Books

618.

Frank H. P. Fitzek; Fabrizio Granelli; Patrick Seeling (Ed.)

Computing in Communication Networks – From Theory to Practice Book

Academic Press, 2020.

Links | BibTeX

Book Sections

619.

Christel Baier; Florian Funke; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; Amaury Pouly; David Purser; Markus A. Whiteland

Reachability in dynamical systems with rounding Book Section

In: Proceedings of the IARCS Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTC), vol. 182, pp. 36:1–17, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2020.

Links | BibTeX

620.

Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl

Components in probabilistic systems: Suitable by construction Book Section

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 12476, pp. 240–261, Springer, 2020.

Links | BibTeX

621.

Simon Jantsch; Florian Funke; Christel Baier

Minimal witnesses for probabilistic timed automata Book Section

In: Hung, Dang Van; Sokolsky, Oleg (Ed.): Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA), vol. 12302, pp. 501–517, Springer, 2020.

Links | BibTeX

622.

Dominik Rivoir; Sebastian Bodenstedt; Isabel Funke; Felix von Bechtolsheim; Marius Distler; Jürgen Weitz; Stefanie Speidel

Rethinking anticipation tasks: Uncertainty-aware anticipation of sparse surgical instrument usage for context-aware assistance Book Section

In: Martel, Anne L.; Abolmaesumi, Purang; Stoyanov, Danail; Mateus, Diana; Zuluaga, Maria A.; Zhou, Kevin S.; Racoceanu, Daniel; Joskowicz, Leo (Ed.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2020, vol. 12263, pp. 752–762, Springer, 2020.

Links | BibTeX

623.

Timo P. Gros; David Groß; Stefan Gumhold; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz

TraceVis: Towards visualization for deep statistical model checking Book Section

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, vol. 12479, pp. 27–46, Springer, 2020.

Links | BibTeX

624.

Stephan C. Escher; Patrick Teufert; Thorsten Strufe

You’ve got nothing on me! Privacy friendly face recognition reloaded Book Section

In: Boureanu, Ioana; Drăgan, Constantin Cătălin; Manulis, Mark; Giannetsos, Thanassis; Dadoyan, Christoforos; Gouvas, Panagiotis; Hallman, Roger A.; Li, Shujun; Chang, Victor; Pallas, Frank; Pohle, Jörg; Sasse, Angela (Ed.): Computer Security, vol. 12580, pp. 231–242, Springer, 2020.

Links | BibTeX

625.

Thomas Hulin; Michael Rothammer; Isabel Tannert; Suraj S. Giri; Benedikt Pleintinger; Harsimran Singh; Bernhard M. Weber; Christian Ott

FingerTac – A wearable tactile thimble for mobile haptic augmented reality applications Book Section

In: Chen, Jessie Y. C.; Fragomeni, Gino (Ed.): Virtual, Augmented and Mixed Reality – Design and Interaction, vol. 12190, pp. 286–298, Springer, 2020.

Links | BibTeX

626.

Mandy Korzetz; Romina Kühn; Lukas Büschel; Franz-Wilhelm Schumann; Uwe Aßmann; Thomas Schlegel

Introducing mobile device-based interactions to users: An investigation of onboarding tutorials Book Section

In: Kurosu, Masaaki (Ed.): Human–Computer Interaction – Multimodal and Natural Interaction, vol. 12182, pp. 428–442, Springer, 2020.

Links | BibTeX

627.

Romina Kühn; Mandy Korzetz; Felix Kallenbach; Karl Kegel; Uwe Aßmann; Thomas Schlegel

Investigating mobile device-based interaction techniques for collocated merging Book Section

In: Zaphiris, Panayiotis; Ioannou, Andri (Ed.): Learning and Collaboration Technologies – Designing, Developing and Deploying Learning Experiences, vol. 12205, pp. 92–108, Springer, 2020.

Links | BibTeX

628.

Florian Funke; Simon Jantsch; Christel Baier

Farkas certificates and minimal witnesses for probabilistic reachability constraints Book Section

In: Biere, Armin; Parke, David (Ed.): Tools and Algorithms for the Construction and Analysis of Systems, vol. 12078, pp. 324–345, Springer, 2020.

Links | BibTeX

629.

Gökhan Akgün; Lester Kalms; Diana Göhringer

Resource efficient dynamic voltage and frequency scaling on Xilinx FPGAs Book Section

In: Rincón, Fernando; Barba, Jesús; So, Hayden K. H.; Diniz, Pedro; Caba, Julián (Ed.): Applied Reconfigurable Computing – Architectures, Tools, and Application, vol. 12083, pp. 178–192, Springer, 2020.

Links | BibTeX

630.

Gökhan Akgün; Habib ul Hasan Khan; Marawan Hebaish; Mahmoud Elshimy; Mohamed A. Abd El Ghany; Diana Göhringer

SysIDLib: A high-level synthesis FPGA library for online system identification Book Section

In: Rincón, Fernando; Barba, Jesús; So, Hayden K. H.; Diniz, Pedro; Caba, Julián (Ed.): Applied Reconfigurable Computing – Architectures, Tools, and Application, vol. 12083, pp. 97–107, Springer, 2020.

Links | BibTeX

631.

Mandy Korzetz; Romina Kühn; Uwe Aßmann; Thomas Schlegel

A design kit for mobile device-based interaction techniques Book Section

In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 52–59, Springer, 2020.

BibTeX

632.

Romina Kühn; Mandy Korzetz; Dominik Grzelak; Uwe Aßmann; Thomas Schlegel

Towards interaction design for mobile devices in collocated mixed-focus collaboration Book Section

In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 35–43, Springer, 2020.

Links | BibTeX

633.

Jakob Piribauer; Christel Baier

On Skolem-hardness and saturation points in Markov decision processes Book Section

In: Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (Ed.): 47th International Colloquium on Automata, Languages, and Programming, vol. 168, pp. 138:1–17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020.

Links | BibTeX

634.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Iterative variable reordering: Taming huge system families Book Section

In: Fehnker, Ansgar; Garavel, Hubert (Ed.): Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS), vol. 316, pp. 121–133, Open Publishing Association, 2020.

Links | BibTeX

Proceedings Articles

635.

Andrés M. Villamil Sánchez; Arturo A. González Rodríguez; Norman Franchi; Gerhard P. Fettweis

Feedforward filter design for CACC with N−vehicle look ahead: A frequency domain approach for further optimization of radio resource usage Proceedings Article

In: Proceedings of the IEEE Vehicular Technology Conference (VTC-Fall), 2020.

Links | BibTeX

636.

Basak Güleçyüz; Xiao Xu; Andreas Noll; Eckehard Steinbach

On the quality-of-learning for haptic teleoperation-based skill transfer over the Tactile Internet Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

637.

Huanzhuo Wu; Jia He; Máté Tömösközi; Frank H. P. Fitzek

Y-Net: A dual path model for high accuracy blind source separation Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), Workshop on Future of Wireless Access for Industrial IoT (FIIoT), 2020.

Links | BibTeX

638.

Huanzhuo Wu; Yunbin Shen; Jiajing Zhang; Hani Salah; Ievgenii A. Tsokalo; Frank H. P. Fitzek

Adaptive extraction-based independent component analysis for time-sensitive applications Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

639.

Vu Nguyen; Juan A. Cabrera Guerrero; Sreekrishna Pandi; Giang T. Nguyen; Frank H. P. Fitzek

Exploring the benefits of memory-limited Fulcrum recoding for heterogeneous nodes Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

640.

Patrick Seeling; Frank H. P. Fitzek

Binary indicated numbers with bit-level integrated scalability support (BINBLISS) Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

641.

Mahshid Mehrabi; Shiwei Shen; Vincent Latzko; Yuanfei Wang; Frank H. P. Fitzek

Energy-aware cooperative offloading framework for inter-dependent and delay-sensitive tasks Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

642.

Tung V. Doan; Chenglin Ding; Giang T. Nguyen; Dongho You; Frank H. P. Fitzek

FAST: Flexible and low-latency state transfer in mobile edge computing Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

643.

Sandra Zimmermann; Justus Rischke; Juan A. Cabrera Guerrero; Frank H. P. Fitzek

Journey to MARS: Interplanetary coding for relieving CDNs Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

644.

Roberto Torre; Clara Costa Sala; Sreekrishna Pandi; Hani Salah; Giang T. Nguyen; Frank H. P. Fitzek

A random linear network coded HARQ solution for lossy and high-jitter wireless networks Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

645.

Niklas Förster; Juan A. Cabrera Guerrero; Elke Franz; Stefan Pfennig; Frank H. P. Fitzek

Efficient confidentiality for network coded distributed storage Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

646.

Florian Voigt; Lars Johannsmeier; Sami Haddadin

Multi-level structure vs. end-to-end-learning in high-performance tactile robotic manipulation Proceedings Article

In: Proceedings of the Conference on Robot Learning (CoRL), 2020.

Links | BibTeX

647.

Frederik Armknecht; Paul Walther; Gene Tsudik; Martin Beck; Thorsten Strufe

ProMACs: Progressive and resynchronizing MACs for continuous efficient authentication of message streams Proceedings Article

In: Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS), 2020.

Links | BibTeX

648.

Christiane Kuhn; Friederike Kitzing; Thorsten Strufe

SoK on performance bounds in anonymous communication Proceedings Article

In: Proceedings of the International Workshop on Privacy in the Electronic Society (WPES), 2020.

Links | BibTeX

649.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Reduction methods on probabilistic control-flow programs for reliability analysis Proceedings Article

In: Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM), 2020.

Links | BibTeX

650.

U. Alican Alma; M. Ercan Altinsoy

Reproducing fine textures on touch displays using band-limited white noise vibrations Proceedings Article

In: Proceedings of the International Conference on Advanced Cognitive Technologies and Applications (COGNITIVE), 2020.

Links | BibTeX

746 Einträge « 13 of 15 »