External Links

    Journal: it - Information Technology

    Volume 63, Issue 5-6

    249 -- 251Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger. System correctness under adverse conditions
    253 -- 263Maike Schwammberger. Proving properties of autonomous car manoeuvres in urban traffic
    265 -- 275Paul Kröger, Martin Fränzle. Bayesian hybrid automata: Reconciling formal methods with metrology
    277 -- 287Farzaneh Moradkhani, Martin Fränzle. Functional verification of cyber-physical systems containing machine-learnt components
    289 -- 298Erzana Berani Abdelwahab, Martin Fränzle. A sampling-based approach for handling delays in continuous and hybrid systems
    299 -- 310Stephan Adolf, Wolfgang Nebel. Abstraction NBTI model
    311 -- 320Okan Özkan. Infinite-state graph transformation systems under adverse conditions
    321 -- 331Nick Würdemann. Exploiting symmetries of high-level Petri games in distributed synthesis

    Volume 63, Issue 4

    0 -- 0. Frontmatter
    183 -- 184Frank Dannemann. Space information technology
    185 -- 197Ulf Kulau, Hans-Jürgen Herpel, Ran Qedar, Patrick Rosenthal, Joachim Krieger, Friedrich Schöne, Ivan Masár. Towards modular and scalable on-board computer architecture
    199 -- 208Julian Bozler, Hans-Jürgen Herpel, Jan Johansson, Wahida Gasti, Olivier Mourra. Advanced data handling architecture for earth observation satellites
    209 -- 218Hans-Jürgen Herpel, Friedrich Schoen, Harald Selegrad. spaceAPPS - A modular approach for on-board software
    219 -- 234Andreas Könsgen, Anna Förster. Current state and future challenges in deep space communication: A survey
    235 -- 247Sophie F. Jentzsch, Nico Hochgeschwender. A qualitative study of Machine Learning practices and engineering challenges in Earth Observation

    Volume 63, Issue 3

    0 -- 0. Frontmatter
    143 -- 144Thomas Kosch, Mariam Hassib. Foreword: Physiological Computing
    145 -- 156Misahael Fernandez, Florian Mathis, Mohamed Khamis. GazeWheels: Recommendations for using wheel widgets for feedback during dwell-time gaze input
    157 -- 166Sarah Faltaous, Aya Abdulmaksoud, Markus Kempe, Florian Alt, Stefan Schneegass. GeniePutt: Augmenting human motor skills through electrical muscle stimulation
    167 -- 175Jakob Karolus, Pawel W. Wozniak. Proficiency-aware systems: Designing for user reflection in context-aware systems
    177 -- 182Jakub Tarnawski. New graph algorithms via polyhedral techniques

    Volume 63, Issue 2

    0 -- 0. Frontmatter
    73 -- 75Bastian Pfleging, Shadan Sadeghian, Debargha Dey. User interfaces for automated vehicles
    77 -- 85Fjollë Novakazi, Mikael Johansson 0003, Gustav Erhardsson, Linnéa Lidander. Who's in charge?: The influence of perceived control on responsibility and mode awareness in driving automation
    87 -- 97Lara Scatturin, Rainer Erbach, Martin Baumann 0001. When does the driver feel ready to drive again after automated driving? - A qualitative approach
    99 -- 110Jonas Andersson 0005, Azra Habibovic, Daban Rizgary. First encounter effects in testing of highly automated vehicles during two experimental occasions - The need for recurrent testing
    111 -- 122Philipp Wintersberger, Frederica Janotta, Jakob Peintner, Andreas Löcken, Andreas Riener. Evaluating feedback requirements for trust calibration in automated vehicles
    123 -- 141Debargha Dey, Andrii Matviienko, Melanie Berger, Bastian Pfleging, Marieke H. Martens, Jacques M. B. Terken. Communicating the intention of an automated vehicle to pedestrians: The contributions of eHMI and vehicle behavior

    Volume 63, Issue 1

    0 -- 0. Frontmatter
    1 -- 2Philipp Cimiano, Matthias Hagen, Benno Stein 0001. Argumentation technology
    3 -- 15Christian Nawroth, Felix Engel 0002, Matthias L. Hemmje. Utilizing emerging knowledge to support medical argument retrieval
    17 -- 30Niklas Rach, Klaus Weber 0001, Yuchi Yang, Stefan Ultes, Elisabeth André, Wolfgang Minker. EVA 2.0: Emotional and rational multimodal argumentation between virtual agents
    31 -- 44Natalie Dykes, Stefan Evert, Merlin Göttlinger, Philipp Heinrich, Lutz Schröder. Argument parsing via corpus queries
    45 -- 58Robin Schaefer, Manfred Stede. Argument Mining on Twitter: A survey
    59 -- 72Philipp Heinisch, Philipp Cimiano. A multi-task approach to argument frame classification at variable granularity levels
    runs on