Wissenschaftsgebiet

Informatik (engl. Computer Sciences)
ÖSTAT: 102

1. Institut für Digital Business


2. Abteilung für Digital Business Management


3. Abteilung für Digital Education


4. Institut für Wirtschaftsinformatik - Communications Engineering


5. Institut für Wirtschaftsinformatik - Data & Knowledge Engineering


6. Institut für Wirtschaftsinformatik - Information Engineering


7. Institut für Machine Learning


8. Institut für Computational Perception


9. Institut für Complex Systems


10. Abteilung für Angewandte Systemforschung und Statistik


11. Institut für Computergrafik


12. Institut für Formale Modelle und Verifikation


13. Institut für Netzwerke und Sicherheit


14. Institut für Pervasive Computing


15. Institut für Software Systems Engineering


16. Christian Doppler Labor für Monitoring and Evolution of Very-Large-Scale Software Systems


17. Institut für Systemsoftware


18. Institut für Telekooperation


19. Abteilung für Kooperative Informationssysteme


20. Institut Integriert Studieren


21. Abteilung für Integrierten Schaltungs- und Systementwurf


22. Abteilung für Energieeffiziente Analoge Schaltungen


23. Abteilung für Medizinelektronik


24. Linz Center of Mechatronics


25. LIT Artificial Intelligence Lab


26. LIT Secure and Correct Systems Lab


27. Institut für Symbolic Artificial Intelligence


28. Lehrstuhl für Nachhaltige Transportlogistik 4.0


29. LIT Cyber-Physical Systems Lab

Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift

1. A Game Theory-Based Approach For Modeling Autonomous Vehicles Behavior in Congested, Urban Lane-Changing Scenarios
2. A note on leveraging synergy in multiple meteorological datasets with deep learning for rainfall-runoff modeling
3. Advanced Equivalence Checking for Quantum Circuits
4. An autonomous drone for search and rescue in forests using airborne optical sectioning
5. Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
6. Efficient Estimation of Pauli Observables by Derandomization
7. Efficient One-Pass Synthesis for Digital Microfluidic Biochips
8. Exploring the Potential Benefits of Alternative Quantum Computing Architectures
9. Focus issue introduction: 3D image acquisition and display: technology, perception, andapplications
10. How value-sensitive design can empower sustainable consumption
11. Information-Theoretic Bounds on Quantum Advantage in Machine Learning
12. Listener Modeling and Context-aware Music Recommendation Based on Country Archetypes, Frontiers in Artificial Intelligence
13. Machine learning-based risk profile classification of patients undergoing elective heart valve surgery
14. Models of Quantum Complexity Growth
15. Niederschlags-Abfluss-Modellierung mit Long Short-Term Memory (LSTM)
16. On the effectiveness of multi-feature evacuation systems: an agent-based exploratory simulation study
17. Pose Error Reduction forFocus Enhancement in Thermal Synthetic Aperture Visualization
18. Rainfall?runoff prediction at multiple timescales with a single Long Short-Term Memory network
19. Support the Underground: Characteristics of Beyond-Mainstream Music Listeners
20. The Promise of AI for DILI Prediction
21. A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications
22. A Systematic Review of Personalized Collaborative Systems
23. A visual approach to explainable computerized clinical decision support
24. Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation
25. Advanced Exact Synthesis of Clifford+T Circuits
26. Advancing a NeuoIS Research Agenda with Four Areas of Society Contributions
27. Affect in Multimedia: Benchmarking Violent Scenes Detection
28. Airborne Optical Sectioning for Nesting Observation
29. AlgorithmicOverdependence: Fostering Awareness throughDigital Facilitationand (Re-)Construction
30. An Efficient Memristor Crossbar Architecture for Mapping Boolean Functions using Binary Decision Diagrams (BDD)
31. Artificial neural networks and pathologists recognize basal cell carcinomas based on different histological patterns
32. Assessment of the Potential of Wrist-Worn Wearable Sensors for Driver Drowsiness Detection
33. Audio-Based Music Structure Analysis: Current Trends, Open Challenges, and Applications.
34. Automated Driving: A Literature Review of the Take over Request in Conditional Automation
35. Automatic Design of Droplet-Based Microfluidic Ring Networks
36. Autonomous Vehicles: Vehicle Parameter Estimation Using Variational Bayes and Kinematics
37. Behavioral interfaces for executable DSLs
38. Beneath (or beyond) the surface: Discovering voice-leading patterns with skip-grams
39. Breaking the Deep Freeze: Visualizing Change in Agile, Safety-Critical Systems
40. Co-creation in Transhuman Realities: Setting the Stage for Transformative Learning
41. Combination of Sensor Data and Health Monitoring for Early Detection of Subclinical Ketosis in Dairy Cows
42. Concepts of Variation Control Systems
43. ConfusionFlow: A model-agnostic visualization for temporal analysis of classifier confusion
44. DeepNOG: Fast and accurate protein orthologous group assignment
45. Design Science as Methodological Approach to Interoperability Engineering in Digital Production
46. Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice
47. Design-Integrated IoT Capacity Building using Tangible Building Blocks
48. Discrete- and Continuous-State Trajectory Decoders for Positioning in Wireless Networks
49. Dynamic Coupling of Learning with Operational Processes
50. Dynamic Taint Tracking Simulation
51. Efficient execution of ATL model transformations using static analysis and parallelism
52. Evolution in Dynamic Software Product Lines
53. Fast Automatic Visibility Optimization for Thermal Synthetic Aperture Visualization
54. Feasibility of smart wearables for driver drowsiness detection and its potential among different age groups
55. Game-playing as an effective learning resource for elderly people: encouraging experiential adoption of touchscreen technologies
56. How Secure are Checkpoint-based Defenses in Digital Microfluidic Biochips? IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
57. Hsa-miR-375/RASD1 Signaling May Predict Local Control in Early Breast Cancer
58. Improved Mapping of Quantum Circuits to IBM QX Architectures
59. Industry-scale application and evaluation of deep learning for drug target prediction
60. InstanceFlow: Visualizing the Evolution of Classifier Confusion on the Instance Level
61. Intelligent User Interfaces for Music Discovery
62. Knowledge Graph OLAP: A Multidimensional Model and Query Operations for Contextualized Knowledge Graphs
63. Machine learning?based prediction of transfusion
64. Mixed-State Entanglement from Local Randomized Measurements
65. Modal effective electromechanical coupling coefficient of shear-mode piezoceramic sandwich cantilevers with segmented multicore: Experimental and numerical assessments
66. Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study
67. Modeling and Simulation of Electrophoretic Deposition Coatings
68. Multi-criteria test cases selection for model transformations
69. On failure modes in molecule generation and optimization
70. On the stress potential of an organisational climate of innovation: a survey study in Germany
71. Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
72. Passive Droplet Control in Two-Dimensional Microfluidic Networks
73. Positive effects of grasping virtual objects on memory for novel words in a second language
74. Preface to the Special Issue on User Modeling for Personalized Interaction with Music
75. ProjectionPathExplorer: Exploring Visual Patterns in Projected Decision-Making Paths
76. Promoting Trust in Self-Driving Vehicles
77. Providing Packages of Relevant ATM Information: An Ontology-based Approach
78. RISC-V based virtual prototype: An extensible and configurable platform for the system-level
79. Recommender Systems Leveraging Multimedia Content
80. Robust Multi-Target Sample Preparation on MEDA-Biochips Obviating Waste Production
81. Robustness Analysis for Droplet-Based Microfluidic Networks
82. Search and rescue with airborne optical sectioning
83. Supporting Feature-Oriented Evolution in Industrial Automation Product Lines
84. Task-Based Design of Cyber-Physical Systems?Meeting Representational Requirements with S-BPM
85. The Dance on the Volcano - A Knowledge Management Perspective on Capacity Building in times of Systemic Crises
86. Touchsreen for All? Angeleitetes Spielen als Einstieg für Senioren und Seniorinnen in digitale Technologien
87. Towards Knowledge Co-Creation for Effective Study Counseling
88. User Models for Culture-Aware Music Recommendation: Fusing Acoustic and Cultural Cues
89. What Role Does Hydrological Science Play in the Age of Machine Learning?
90. Wissenscontrolling in kreativen Expertenorganisationen
91. A Distributed Architecture for Human-Drone Teaming: Timing Challenges and Interaction Opportunities
92. A Domain Analysis of Resource and Requirements Monitoring: Towards a Comprehensive Model of the Software Monitoring Domain
93. A Feature-Based Classification of Formal Verification Techniques for Software Models
94. A No-Trim, Scaling-Friendly Thermal Sensor in 16nm FinFET Using Bulk Diodes as Sensing Elements
95. A User-Centered Perspective on Interoperability: Capturing Stakeholder Interaction for Mediating Design
96. Accurate prediction of biological assays with high-throughput microscopy images and convolutional networks
97. An Introduction to Signal Processing for Singing-Voice Analysis: High notes in the effort to automate the understanding of vocals in music
98. Augmented Shopping Experience for Sustainable Consumption Using the Internet of Thing
99. Change Impact Analysis for Maintenance and Evolution of Variable Software Systems
100. Community assessment to advance computational prediction of cancer drug combinations in a pharmacogenomic screen
101. Contents for a Model-Based Software Engineering Body of Knowledge
102. Critical success factors in ERP upgrade projects
103. Deep Learning in Music Recommendation Systems
104. Developing Scientific Work Practice in Business Informatics-Digital Support for a Design Science-based Research Project
105. Empirical Analysis of Safe Distance Calculation by the Stereoscopic Capturing and Processing of Images through the Tailigator System
106. Flexible Production Systems: Automated Generation of Operations Plans based on ISA-95 and PDDL
107. Global and country-specific mainstreaminess measures: Definitions, analysis, and usage for improving personalized music recommendation systems
108. Grasping the Multiple Facets of Intelligence. Challenging Organisations and Society
109. Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for optimizing Droplet Routing in Biochips
110. Implant health and factors affecting peri-implant marginal bone alteration for implants placed in staged maxillary sinus augmentation: A 5-year prospective study
111. Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces (Journal First)
112. Introduction to the special issue on quality engineering and management of software-intensive systems
113. Juniper: A Tree+Table Approach to Multivariate Graph Visualization
114. KnowledgePearls: Provenance-Based Visualization Retrieval
115. Machine Learning in Drug Discovery
116. Machine learning identifies an immunological pattern associated with multiple juvenile idiopathic arthritis subtypes
117. Makerspaces in Academic Education: An Exploratory Analysis and Design Framework
118. Managing Inter-Model Inconsistencies in Model-Based Systems Engineering: Application in Automated Production Systems Engineering
119. Metabolism of cholesterol and progesterone is differentially regulated in primary trophoblastic subtypes and might be disturbed in recurrent miscarriages
120. Multi-view refactoring of class and activity diagrams using a multi-objective evolutionary algorithm
121. MultiControl: Advanced Control Logic Synthesis for Flow-Based Microfluidic Biochips
122. Near Zero-Energy Computation Using Quantum-dot Cellular Automata
123. Neural networks detect cutaneous basal cell carcinomas in histological sections
124. Ordino: visual analysis tool for ranking and exploring genes, cell lines, and tissue samples
125. Personal access to documents using different literacy levels
126. Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
127. Reversible Circuits: IC/IP Piracy Attacks and Countermeasures
128. Semantics-based summarisation of ATM information: Managing information overload in pilot briefings using semantic data containers
129. Specifying Quantities in Software Models
130. Storage-Aware Algorithms for Dilution and Mixture Preparation with Flow-Based Lab-on-Chip
131. Synthetic Aperture Imaging with Drones
132. Taggle: Combining Overview and Details in Tabular Data Visualizations
133. The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
134. The State of the Art in Visualizing Multivariate Networks
135. Thirteen years of SysML: a systematic mapping study
136. Time-Controlled and FinFET Compatible Sub-Bandgap References Using Bulk-Diodes
137. Toward Improved Predictions in Ungauged Basins: Exploiting the Power of Machine Learning
138. Towards Exploration of Social in Social Internet of Vehicles Using an Agent-Based Simulation
139. Towards learning universal, regional, and local hydrological behaviors via machine learning applied to large-sample datasets.
140. Towards learning universal, regional, and local hydrologicalbehaviors via machine learning applied tolarge-sample datasets
141. Using Machine Learning for Predicting Area and Firmware Metrics of Hardware Designs from Abstract Specifications
142. Advanced Simulation of Quantum Computations
143. An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
144. Application of bioactivity profile-based fingerprints for building machine learning models
145. Automated Dimensioning of Networked Labs-on-Chip
146. Automatic Droplet Sequence Generation for Microfluidic Networks with Passive Droplet Routing
147. Building an Active Semantic Data Warehouse for Precision Dairy Farming
148. Current Challenges and Visions in Music Recommender Systems Research
149. Data Analytics for Industrial Process Improvement A Vision Paper (Workshop Paper)
150. Defining objective clusters for rabies virus sequences using affinity propagation clustering
151. Design of Application-Specific Architectures for Networked Labs-on-Chips
152. Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip
153. Estimating Collective Attention toward a Public Display
154. Foreword to the special issue on empirical research in requirements engineering
155. Fréchet ChemNet Distance: A Metric for Generative Models for Molecules in Drug Discovery
156. Game-playing as an effective learning resource for elderly people: encouraging experiential adoption of touchscreen technologies
157. Guest editorial: selected areas in automated software engineering
158. Large-scale comparison of machine learning methods for drug target prediction on ChEMBL
159. Local Redundancy in SAT: Generalizations of Blocked Clauses
160. Micro-lens aperture array for enhanced thin-film imaging using luminescent concentrators
161. Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems
162. Multivariate analytics of chromatographic data: Visual computing based on moving window factor models
163. Omniscient Debugging for Executable DSLs
164. Optimized Sampling for View Interpolation in Light Fields Using Local Dictionaries
165. Predicting User Demographics from Music Listening Information
166. Quality-of-user-experience: a position paper
167. Repurposed high-throughput image assays enables biological activity prediction for drug discovery
168. Simulation before fabrication: a case study on the utilization of simulators for the design of droplet microfluidic networks
169. Special Issue Highlights from ECCE2018
170. TACO: Visualizing Changes in Tables Over Time
171. Tactical contract composition for hybrid system component verification
172. The digital Dalton Plan: Progressive education as integral part of web-based learning environments
173. The future of CSR-Selected findings from a Europe-wide Delphi study
174. A Comparison Framework for Runtime Monitoring Approaches
175. A Fexible Framework for Studying Trace-Based Just-In-Time Compilation
176. A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
177. A conceptual framework for large-scale ecosystem interoperability and industrial product lifecycles
178. CASE Tool Support for Variability Management in Software Product Lines
179. CASE Tool Support for Variability Management in Software Product Lines
180. Characterizing Guidance in Visual Analytics
181. Computational Imaging, Relighting and Depth Sensing Using Flexible Thin-Film Sensors
182. DeepSynergy: predicting anti-cancer drug synergy with Deep Learning
183. Learning the High-Dimensional Immunogenomic Features That Predict Public and Private Antibody Repertoires
184. Motivations of application developers: Innovation, Business model choice, release policy, and success
185. Nonuniform spatial deformation of light fields by locally linear transformations
186. Rectified factor networks for biclustering of omics data
187. Resilience 2.0: Computer-Aided Disaster Management
188. Route or Carry: Motion-driven Packet Forwarding in Micro Aerial Vehicle Networks
189. Smartphone-Based Gait Recognition: From Authentication to Imitation
190. Solution Validation and Extraction for QBF Preprocessing
191. Synthesis of Optical Circuits Using Binary Decision Diagrams
192. Taggle: Scalable Visualization of Tabular Data through Aggregation
193. Teaching Software Product Lines: A Snapshot of Current Practices and Challenges
194. The unfolded protein response impacts melanoma progression by enhancing FGF expression and can be antagonized by a chemical chaperone
195. Thin-Film Camera using Luminescent Concentrators and an Optical Söller Collimator
196. Towards a Flexible, Scalable, and Transparent Thin-Film Camera
197. Uncovering Sustainability Concerns in Software Product Lines
198. WeightLifter: Visual Weight Space Exploration for Multi-Criteria Decision Making
199. panelcn.MOPS: Copy-number detection in targeted NGS panel data for clinical diagnostics
200. A joint modeling approach for uncovering associations between gene expression, bioactivity and chemical structure in early drug discovery to guide lead selection and genomic biomarker development
201. AVOCADO: Visualization of Workflow-Derived Data Provenance for Reproducible Biomedical Research
202. An analysis of ontologies and their success factors for application to business
203. Anti-mesothelioma mechanism of action studies of a complex Cynara scolymus fraction using in silico target prediction and gene expression profiling
204. Articulation of work process models for organizational alignment and informed information system design
205. Challenges and Current Developments for Sensing, Smart and Sustainable Enterprise Systems
206. Data-driven Human Mobility Modeling: A Survey and Engineering Guidance for Mobile Networking
207. DeepTox: Toxicity Prediction using Deep Learning
208. Distribution of waiting time for dynamic pickup and delivery problems
209. DynamoGraph: extending the Pregel paradigm for large-scale temporal graph processing
210. Evaluation of collaborative modeling processes for knowledge articulation and alignment
211. From Visual Exploration to Storytelling and Back Again
212. Guest Editorial: Cooperative Information Systems in the Digital Age
213. IBD Sharing between Africans, Neandertals, and Denisovans
214. Monitoring Requirements in Systems of Systems
215. Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems
216. Non-Uniform Spatial Deformation of Light Fields by Locally Linear Transformations
217. Pathfinder: Visual Analysis of Paths in Graphs
218. PeaCE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events
219. REMINDS: A Flexible Runtime Monitoring Framework for Systems of Systems
220. Recognition of paper-based conceptual models captured under uncontrolled conditions
221. Reference Modeling for Data Analysis: The BIRD Approach
222. Requirements Monitoring Frameworks: A Systematic Review
223. Robust Quad-based Audio Fingerprinting
224. SAT Race 2015
225. Software architecture knowledge management approaches and their support for knowledge management activities: A systematic literature review
226. Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application
227. Supporting Interoperability in Complex Adaptive Enterprise Systems: A Domain Specific Language Approach
228. The Architect's Role in Practice: From Decision Maker to Knowledge Manager?
229. The QBF Gallery: Behind the scenes
230. ThermalPlot: Visualizing Multi-Attribute Time-Series Data Using a Thermal Metaphor
231. Transcriptome profiling of antimicrobial resistance in Pseudomonas aeruginosa
232. Volumetric Light-Field Excitation
233. Weighted similarity-based clustering of chemical structures and bioactivity data in early drug discovery
234. A classification sensor based on compressed optical Radon transform
235. Active Guidance for Light-Field Photography on Smartphones
236. An Expert Survey on Kinds, Influence Factors and Documentation of Design Decisions in Practice
237. An Image Sensor based on Optical Radon Transform
238. Clause Elimination for SAT and QSAT
239. Connecting gene expression data from connectivity map and in silico target predictions for small molecule mechanism-of-action analysis
240. Extending Driver-Vehicle Interface Research Into the Mobile Device Commons: Transitioning to (nondriving) passengers and their vehicles
241. Graded dominance and related graded properties of fuzzy connectives
242. Handling measurement function changes with Slowly Changing Measures
243. Highlights from the 5th Symposium on Biological Data Visualization: Part 1
244. Highlights from the 5th Symposium on Biological Data Visualization: Part 2
245. Inferring Metrical Structure in Music Using Particle Filters
246. Intra- and interdiagram consistency checking of behavioral multiview models
247. KeBABS: an R package for kernel-based analysis of biological sequences
248. Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems
249. Multi-exposure color imaging with stacked thin-film luminescent concentrators
250. Only play in your comfort zone: interaction methods for improving security awareness on mobile devices
251. Points of View: Temporal data
252. Prediction of human population responses to toxic compounds by a collaborative competition
253. Rchemcpp: a web service for structural analoging in ChEMBL, Drugbank and the Connectivity Map
254. Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches
255. System-of-systems support ? A bigraph approach to interoperability and emergent behavior
256. The Second International Workshop on Cross-Disciplinary and Multicultural Perspectives on Musical Rhythm and Improvisation
257. Totally ordered monoids based on triangular norms
258. Using transcriptomics to guide lead optimization in drug discovery projects
259. msa: an R package for multiple sequence alignment
260. A comprehensive assessment of RNA-seq accuracy, reproducibility and information content by the Sequencing Quality Control Consortium
261. A tour of BeAware - A situation awareness framework for control centers
262. A transparent thin-film sensor for multi-focal image reconstruction and depth estimation
263. Assessing Technical Performance in Differential Gene Expression Experiments with External Spike-in RNA Control Ratio Mixtures
264. Attention Management in Pervasive Computing
265. Attention, Please!
266. Coded Exposure HDR Light-Field Video Recording
267. ConTour: Data-Driven Exploration of Multi-Relational Datasets for Drug Discovery
268. Diagnostic performance of direct traction MR arthrography of the hip: detection of chondral and labral lesions with arthroscopic comparison
269. Domino: Extracting, Comparing, and Manipulating Subsets across Multiple Tabular Datasets
270. Enhanced Genetic Operators Design for Waveband Selection in Multivariate Calibration by NIR Spectroscopy
271. Enhanced learning-based imaging with thin-film luminescent concentrators
272. Facilitating shared understanding of work situations using a tangible tabletop interface
273. Furby: Fuzzy Force-Directed Bicluster Visualization
274. GENFIS: Towards an Effective Localist Network
275. Head Pose Based Attention Recognition on Large Public Display
276. Lck Mediates Signal Transmission from CD59 to the TCR/ CD3 Pathway in Jurkat T Cells
277. Modular simulation-based physical and emotional assessment of ambient intelligence in traffic
278. On the application of Big Data in future large-scale intelligent Smart City installations
279. Opening the Black Box: Strategies for Increased User Involvement in Existing Algorithm Implementations
280. PANFIS: A Novel Incremental Learning Machine
281. Panorama Light-Field Imaging
282. Points of View: Bar charts and box plots
283. Potential of subliminal information displays to change drivers? behavior
284. Residual-Based Fault Detection using Soft Computing Techniques for Condition Monitoring at Rolling Mills
285. Subliminal/Unaware Cues and Perception of Presence in Virtual, Telepresence, and Automotive Environments - Guest Editors' Introduction
286. The construction of left-continuous t-norms: a geometric approach in two dimensions
287. Thinking virtual
288. Trace transitioning and exception handling in a trace-based JIT compiler for java

Publikationstyp: Aufsatz / Paper in SSCI-Zeitschrift

1. Context-Adaptive Reinforcement Learning using Unsupervised Learning of Context Variables
2. Investigating Gender Fairness of Recommendation Algorithms in the Music Domain
3. Psychology-informed Recommender Systems
4. The Digital Stressors Scale: Development and Validation of a New Survey Instrument to Measure Digital Stress Perceptions in the Workplace Context
5. A Decade of NeuroIS Research: Progress, Challenges, and Future Directions
6. Learning Foreign Language Vocabulary with Gestures and Pictures Enhances Vocabulary Memory for Several Months Post-Learning in Eight-Year-Old School Children
7. Risk Factor Analysis Affecting Sinus Membrane Perforation During Lateral Window Maxillary Sinus Elevation Surgery
8. Stability and Development of User Innovation Strategies for Video Game Producers
9. Depth of Encoding Through Observed Gestures in Foreign Language Word Learning
10. Embodied Learning: Why at School the Mind Needs the Body
11. Impact of content characteristics and emotion on behavioral engagement in social media: Literature review and research agenda
12. Moving to Communicate, Moving to Interact: Patterns of Body Motion in Musical Duo Performance
13. The influence of acceptance and adoption drivers on smart home usage
14. Adding background music as new stimuli of interest to information systems research
15. An analysis of global and regional mainstreaminess for personalized music recommender systems
16. Investigating the impact of network security on the line current differential protection system
17. Online, Loudness-invariant Singing Voice Detection
18. Towards uBPMN-based patterns for modeling ubiquitous business processes
19. Trust me if you can: Neurophysiological insights on the influence of consumer impulsiveness on trustworthiness evaluations in online settings
20. A Consolidated View of Context for Intelligent systems
21. An Evaluation of Linear and Non-linear Models of Expressive Dynamics
22. Do online shops support customers? decision strategies by interactive information management tools? Results of an empirical analysis
23. How adverse outcome pathways can aid the development and use of computational prediction models for regulatory toxicology
24. Investigating Country-specific Music Preferences and Music Recommendation Algorithms with the LFM-1b Dataset
25. On the Interrelation between Listener Characteristics and the Perception of Emotions in Classical Orchestra Music.
26. The Multiple Faces of Peer Review in Higher Education. Five Learning Scenarios developed for Digital Business
27. Accurate clock synchronization for power systems protection devices over packet switched networks
28. Supporting the collaborative construction of a shared understanding about work with a guided conceptual modeling technique
29. Concurrent abstract state machines
30. Supporting the evolution and interoperability of organisational models with e-learning technologies
31. An Assessment of Learned Score Features for Modeling Expressive Dynamics in Music
32. Enhancement of Sparse Silicon Retina-based Stereo Matching Using Belief Propagation And Two-stage Postfiltering
33. The Impact of Hesitation, a Social Signal, on a User?s Quality of Experience in Multimedia Content Retrieval

Publikationstyp: Aufsatz / Paper in sonstiger referierter Fachzeitschrift

1. Aggregating Multidimensional Criteria in Audit Decision Making
2. Genetic programming for feature model synthesis: a replication study
3. LexListener Modeling and Context-aware Music Recommendation Based on Country Archetypes
4. Process Model for ERP Upgrade and Replacement Decisions
5. QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking
6. Synthetic Aperture Imaging with Drones
7. The Android Platform Security Model
8. Transforming abstract to concrete repairs with a generative approach of repair values
9. A New Knowledge Capitalization Framework in the Big Data Context Through Shared Parameters Experiences
10. Agiles Arbeiten in offenen Büroumgebungen und Mitarbeiterstress
11. An Updated Framework of Factors Enabling Digital Transformation
12. An overview on efforts to enhance the Si electrode stability for lithium ion batteries
13. Automated test reuse for highly configurable software
14. Capability-Based Process Modeling and Control
15. Consistent change propagation within models
16. Coping with rapid changes in IT: An Update
17. Design and validation of a C++ code generator from Abstract State Machines specifications
18. Design of Paper-Based Visual Analogue Scale Items
19. Efficient plagiarism detection for software modeling assignments
20. Evaluating an Interactive Memory Analysis Tool: Findings from a Cognitive Walkthrough and a User Study
21. Exploiting Twitter for Informativeness Classification in Disaster Situations
22. Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks
23. Individuelle Digitalisierungsbereitschaft in der Praxis
24. Intelligent Autonomous Systems
25. Introduction to the Special Collection ?20th Anniversary of ISMIR?
26. Investigating the Relationship between Personality and Technology Acceptance from a Gender Perspective
27. Machine Learning for Software Engineering: A Systematic Mapping
28. Maintaining Consistency across Engineering Artifacts
29. Messung von digitalem Stress im organisationalen Umfeld: Erfahrungen aus einer Fallstudie
30. Microwatt power management: challenges of on-chip energy harvesting
31. Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
32. Modeling Popularity and Temporal Drift of Music Genre Preferences
33. On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
34. Problembereiche verteilter agiler Teams: Literaturanalyse und Praxisimplikationen
35. ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
36. Runtime Monitoring for Executable DSLs
37. Secure Accelerometer-based Pairing of Mobile Devices in Multi-modal Transport
38. Semantic Clone Detection via Probabilistic Software Modeling
39. Strong Extension-Free Proof Systems
40. Towards Fault Localization via Probabilistic Software Modeling
41. Towards Semantic Clone Detection via Probabilistic Software Modeling
42. Towards a One Millimeter Thin Foil Camera
43. Zur Wiedergewinnung des Realismus als notwendige Grundlage einer am Menschen orientierten Informationssystemgestaltung und Softwareentwicklung
44. scikit-hubness: Hubness Reduction and Approximate Neighbor Search
45. A Comparison of Vibration based Bearing Fault Diagnostic Methods
46. A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
47. An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing
48. Berichterstattung zum Bitcoin in deutschsprachigen Tageszeitungen
49. Co-Vival: Embracing Artificial and Human Intelligences. An Awareness Approach for Transhuman Futures
50. Comparison-based feature location in ArgoUML variants
51. Das Netz- und Informationssystemsicherheitsgesetz
52. Digitale Transformation im stationären Einzelhandel
53. Digitaler Stress im Smart Home: Eine empirische Untersuchung
54. Eye Gaze as a Means of Giving and Seeking Information During Musical Interaction
55. Faster manipulation of large quantum circuits using wire label reference diagrams
56. Feature-Combination Hybrid Recommender Systems for Automated Music Playlist Continuation
57. Fingerprint indexing via BRIEF minutia descriptors
58. Geschäftsmodell-getriebene Planung von Digitalisierungsmaßnahmen in Business-to-Business-Märkten ? Ein Vorgehensmodell
59. Herausforderungen in der interdisziplinären Entwicklung von Cyber-Physischen Produktionssystemen
60. Human/machine/roboter: technologies for cognitive processes
61. Incremental column-wise verification of arithmetic circuits using computer algebra
62. Is my definition the same as yours?
63. Linking Internet communication and smartphone use disorder by taking a closer look at the Facebook and WhatsApp applications
64. Movie Genome: Alleviating New Item Cold Start in Movie Recommendation
65. Order, Context and Popularity Bias in Next-song Recommendations
66. Personality and Taxonomy Preferences, and the Influence of Category Choice on the User Experience for Music Streaming Services
67. Sensorimotor cortices casually contribute to auditory foreign language vocabulary translation following multisensory learning
68. Thermal Airborne Optical Sectioning
69. A Cognitive Assistance Framework for Supporting Human Workers in Industrial Tasks
70. A Systematic Mapping Study of Information Visualization for Software Product Line Engineering
71. A systematic literature review of the use of formal methods in medical software systems
72. Abstractions for security protocol verification
73. Airborne Optical Sectioning
74. An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
75. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study
76. Automatically Generating Meander Channel Designs. Micromachines
77. Capacity-Aware Topology Resilience in Software-Defined Networks
78. Critical Success Factors for the Implementation of Business Intelligence Systems
79. Cross-Language Interoperability in a Multi-Language Runtime
80. DeepSNP: An End-to-End Deep Neural Network with Attention-Based Localization for Breakpoint Detection in Single-Nucleotide Polymorphism Array Genomic Data
81. Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
82. Developing and evolving a DSL-based approach for runtime monitoring of systems of systems
83. Do code data sharing dependencies support an early prediction of software actual change impact set?
84. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic
85. Elektromagnetische Störfestigkeitsprobleme in integrierten Schaltungen aufgrund elektrostatischer Entladungen
86. End-to-End Cross-Modality Retrieval with CCA Projections and Pairwise Ranking Loss.
87. Evaluating the suitability of state-based formal methods for industrial deployment
88. Evaluation of Cybersecurity Management Controls and Metrics of Critical Infrastructures: A Literature Review Considering the NIST Cybersecurity Framework
89. Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems
90. Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements
91. From Microwatt to Gigabit: Challenges of Modern Radio Design
92. Guest Editors? Introduction: Special Issue on Software Safety and Security Risk Mitigation in Cyber-physical Systems
93. Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits
94. Informing Work Interaction Design by 3rd Generation Activity Theory
95. Integrating formal methods into medical software development: The ASM approach
96. Intelligent business transformation through market?specific value network analysis: Structured interventions and process bootstrapping in geomarketing
97. Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15)
98. Keine Bearbeitung des Datenbank-Programms durch einen Datenbank-Link
99. Key factors in the engineering process for systems for aging in place contributing to low usability and sucess
100. Learning Audio-Sheet Music Correspondences for Cross-Modal Retrieval and Piece Identification.
101. Maintaining Consistency across Engineering Artifacts
102. Meander Designer: Automatically Generating Meander Channel Designs
103. Measuring Object-Oriented Design Principles: The Results of Focus Group-Based Research
104. Nature-Inspired Computational Model of Population Desegregation under Group Leaders Influence
105. Non-invasive brain stimulation in information systems research: a proof-of-concept study
106. On the Difficulty of Inserting Trojans in Reversible Computing Architectures
107. Online, loudness-invariant vocal detectionin mixed music signals
108. Organisationsentwicklung mithilfe von Wertenetzen und subjekt-orientiertem Geschäftsprozessmanagement
109. Real-time detection and discrimination of visual perception using electrocorticographic signals
110. Reflecting Peer Reviews in Inquiry Based Learning Scenarios An Analysis of Peer Feedback Levels and their Implementation
111. Research directions for digital signage systems in retail
112. Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation
113. Synthesis of Circuits based on All-Optical Mach-Zehnder Interferometers Using Binary Decision Diagrams
114. Systemische Gestaltung emergenter Systeme am Beispiel mathetisch begründeter Lernunterstützung
115. Team 3: Active and Healthy Aging
116. Towards quantum reversible ternary coded decimal adder
117. Using superimposed multidimensional schemas and OLAP patterns for RDF data analysis
118. Verbreitung und Akzeptanz von Bauchentscheidungen im Management
119. Verwendung von Blockchain und Custom Tokens zur Projektkoordination - Ein Pilotversuch
120. Wireless Technologies for Emergency Response: A Comprehensive Review and Some Guidelines
121. A Cognitive Agent-based Model for Multi-Robot Coverage at a City Scale
122. A Large-Scale, Long-Term Analysis of Mobile Device Usage Characteristics
123. A flexible online platform for computerized adaptive testing
124. A survey of context recognition in surgery
125. Adopting Principles of Freinet Pedagogy for Research Skill Development in Higher Education
126. Amending the Characterization of Guidance in Visual Analytics
127. An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
128. An Intelligent Interface for Drum Pattern Variation and Comparative Evaluation of Algorithms
129. Bitcoin & Co: An Ontology for Categorising Cryptocurrencies
130. Cybercrime: Darknet
131. Data Intelligence in the Context of Big Data: A Survey
132. Der Chief Digital Officer (CDO): Eine empirische Untersuchung
133. Digitally Enhanced Recovery: Investigating the Use of Digital Self-Tracking for Monitoring Leisure Time Physical Activity of Cardiovascular Disease (CVD) Patients Undergoing Cardiac Rehabilitation
134. Ein Billie für alle Fälle
135. Enrichment effects of metaphoric gestures and pictures on abstract words in a second language
136. Exploiting Traceability Uncertainty between Software Architectural Models and Extra-Functional Results
137. Formal Methods for Reasoning and Uncertainty Reduction in Evidential Grid Maps
138. Interaktive Informationsmanagement-Tools in Online Shops: Studienergebnisse und Gestaltungsempfehlungen
139. KMS re-contextualization ? Recognizing learnings from OMIS research
140. Learning domain taxonomies: the TaxoLine approach
141. Modeling human factors influencing herding during evacuation
142. Multi-Criteria Recommender Systems: A Survey and a Method to Learn New User's Profile
143. Multi-objective reverse engineering of variability-safe feature models based on code
144. My-AHA: Stay Active, Detect Risks Early, Prevent Frailty!
145. One-pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic
146. Online scheduled execution of quantum circuits protected by surface codes
147. Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips
148. Protecting Touch: Authenticated App-To-Server Channels for Mobile Devices Using NFC Tags
149. Recently learned foreign abstract and concrete nouns are represented in distinct cortical networks similar to the native language
150. Reengineering Legacy Applications into Software Product Lines: A Systematic Mapping
151. Social media in the airline industry: acceptance of social seating
152. Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact
153. Technostress Research: A Nurturing Ground for Measurement Pluralism?
154. The Practical Use of Inconsistency Information in Engineering Design Tasks ? First Observations
155. The first reactive synthesis competition (SYNTCOMP 2014)
156. Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification
157. Variability Extraction and Modeling for Product Variants
158. Why Your Body Can Jog Your Mind
159. Zur Technizität von Software-Patenten, insb. Ansprüchen auf Datenstrukturen
160. A Risk Assessment of Logical Attacks on a CEN/XFS-based ATM Platform
161. Brief Multisensory Training Enhances Second Language Vocabulary Acquisition in Both High and Low Performers.
162. Co-evolution of metamodels and models through consistent change propagation
163. Consistent Merging of Model Versions
164. Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
165. Der Musikant mit Taschenrechner in der Hand ? Algorithmen zur Musikanalyse mit Anwendungen in der Kreativwirtschaft
166. Entscheidungsbesprechung OGH 4 Ob 142/15h: Zur Schutzfähigkeit von Schriftarten.
167. Exploring the Neural Representation of Novel Words Learned through Enactment in a Word Recognition Task
168. Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
169. Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks
170. IP-based communications for Line current Differential Protection
171. Impact of ICT-Mediated Collective Awareness on Urban Mobility
172. Introduction to Intelligent Music Systems and Applications
173. Is Bluetooth Low Energy an Alternative to Near Field Communication?
174. Linking natural modeling to techno-centric modeling for the active involvement of process participants in business process design
175. Measuring, Assessing and Improving Software Quality based on Object-Oriented Design Principles
176. Menschliches Informationsverhalten: Warum sich CIOs damit befassen sollten
177. Multi-objective test case prioritization in highly configurable systems: A case study
178. Parkinson Patients' Initial Trust in Avatars: Theory and Evidence
179. QMDDs: Efficient Quantum Function Representation and Manipulation
180. Quantifying the interplay of emotions and rationality in herding: A game-theoretic simulation study
181. Reliable quantum circuits have defects
182. Results and lessons learned in System, Software & Service Process Improvement & Innovation
183. Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
184. Selbstgesteuerte Reflexion und Gestaltung von Arbeitsprozessen
185. Special issue on software and service improvement in the scope of SMEs
186. The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games
187. Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
188. Understanding Coordination in the Information Systems Domain: Conceptualization and Implications.
189. Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
190. Verändert das digitale Zeitalter die Anforderungen an die strategische Führungskompetenz?
191. Virtual reality as an embodied tool to enhance episodic memory in elderly
192. Wire recycling for quantum circuit optimization
193. Ziele von Informationssystemen
194. A Password-authenticated Secure Channel for App to Java Card Applet Communication
195. A systematic mapping study of search-based software engineering for software product lines
196. An Assessment of Search-Based Techniques for Reverse Engineering Feature Models
197. Applying Multiobjective Evolutionary Algorithms to Dynamic Software Product Lines for Reconfiguring Mobile Applications
198. Boolector 2.0.
199. Campus-Wide Indoor Trackting Infrastructure
200. Can method data dependencies support the assessment of traceability between requirements and source code?
201. Change Propagation and Conflict Resolution for the Co-evolution of Business Processes
202. Complexity of Fixed-Size Bit-Vector Logics
203. Consistent Abstraction of Business Processes Based on Constraints
204. Consumers' cognitive lock-in on websites: Evidence from a neurophysiological study
205. Der Musikant mit Taschenrechner in der Hand ? Algorithmen zur Musikanalyse mit Anwendungen in der Kreativwirtschaft
206. Developing pervasive multi-agent systems with nature-inspired coordination
207. Die e-Identifizierungs- und Vertrauensdienste-Verordnung der EU - Teil I.
208. Die e-Identifizierungs- und Vertrauensdienste-Verordnung der EU - Teil II.
209. Do developers benefit from requirements traceability when evolving and maintaining a software system?
210. Electroencephalography (EEG) as a research tool in the information systems discipline: Foundations, measurement, and applications.
211. Exploiting Traceability Uncertainty among Artifacts and Code
212. Future research issues in IT and tourism
213. Horizontal Business Process Model Integration
214. How to model and prove hybrid systems with KeYmaera: A tutorial on safety
215. Learning Styles and Vocabulary Acquisition in Second Language: How the Brain Learns
216. Localization in an Industrial Environment: A Case Study on the Difficulties for Positioning in a Harsh Environment
217. Operationalised Product Quality Models and Assessment: The Quamoco Approach
218. Optimizing Early Detection of Production Faults by Applying Time Series Analysis on Integrated Information
219. Power-saving localization techniques for mobile devices: a comparison between iOS and Android
220. Security Challenges for Medical Devices
221. Technologies for Web and cloud service interaction: a survey
222. Trust behavior in Parkinson's disease: Results of a trust game experiment
223. Understanding Patients' Decision-Making Strategies in Hospital Choice: Literature Review and a Call for Experimental Research.
224. Visual and Motor Cortices Differentially Support the Translation of Foreign Language Words
225. A Bizarre Virtual Trainer Outperforms a Human Trainer in Foreign Language Word Learning
226. A Survey of User Interaction for Spontaneous Device Association
227. Améliorer SAT dans le cadre incrémental
228. An electrocorticographic BCI using code-based VEP for continuous control in video applications: a single-subject study
229. Bringing back the body into the mind: Gestures enhance word learning in foreign language.
230. Challenges in the Management of Federated Heterogeneous Scientific Clouds
231. Characterizing Cancer Subtypes using the Dual Analysis Approach in Caleydo
232. Chief Information Officer (CIO).
233. Collaborative Verification-Driven Engineering of Hybrid Systems
234. Consistency Checking in Early Software Product Line Specifications - The VCC Approach
235. Cultural values influencing project team success: An empirical investigation in Ethiopia
236. Das Design von Benutzeroberflächen.
237. Die Technizität von Programmlogiken im Gebrauchsmusterschutz
238. Do children accept virtual agents as foreign language trainers?
239. Ein Billie für alle Fälle
240. Emotions and ERP information sourcing: The moderating role of expertise.
241. Guest editorial: Crisis management and recovery projects and programs
242. Guided Visual Exploration of Genomic Stratifications in Cancer
243. Imitation of a pedagogical agent's gestures enhances memory for words in second language
244. Intelligent virtual agents as language trainers facilitate multilingualism
245. Long Term Effects of Gestures on Memory for Foreign Language Words Trained in the Classroom
246. LumiConSense, A Transparent, Flexible, and Scalable Thin-Film Sensor
247. MuSSS ? Multimedia Studien Service SoWi als Beitrag zur Vereinbarkeit von Studium und Berufstätigkeit
248. Pronunciation in foreign language: How to train?
249. Special Issue on "The Social Car: Socially-inspired Mechanisms for Future Mobility Services" (Editorial)
250. Towards a NeuroIS research methodology: Intensifying the discussion on methods, tools, and measurement.
251. Trusting humans and avatars: A brain imaging study based on evolution theory.
252. Understanding the dominance and advocacy of the design-oriented research approach in the business informatics community: A history-based examination
253. Virtual mobility trainer for visually impaire people
254. Wiki Based Collaborative Learning in Interuniversity Scenarios
255. Constraint-driven modeling through transformation
256. Personality-based active learning for collaborative filtering recommender systems
257. Determinants of information systems and information technology project team success: A literature review and a conceptual model.
258. On the use of neurophysiological tools in IS research: Developing a research agenda for NeuroIS.
259. Technostress aus einer neurobiologischen Perspektive: Systemabsturz führt bei Computerbenutzern zu einem Anstieg des Stresshormons Kortisol.
260. Technostress from a neurobiological perspective: System breakdown increases the stress hormone cortisol in computer users.
261. The biology of trust: Intergrating evidence from genetics, endocrinology and functional brain imaging
262. Body in Mind: How Gestures Rmpower Goreign Language Learning
263. Concepts and Architecture of a Simulation Framework based on JavaBeans

Publikationstyp: Aufsatz / Paper in nicht-referierter Fachzeitschrift

1. Autonomes Fahren in Fahrtechnikzentrum
2. Low-power integrated transmitter design using frequency multiplication techniques: Edge-combining and third harmonic extraction
3. The Power of Linked Eye Movement Data Visualizations
4. Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
5. Autonome Autos mit Augenaufschlag
6. Data-driven vibration-based bearing fault diagnosis using non-steady-state training data
7. Die zukünftige Vertrauensfrage: Autonomes Fahren
8. Industrielogistik, Intelligente Transportsysteme
9. World's-50-Renowned-Women-in-Robotics
10. 50 Jahre Informatik @ JKU
11. Mining Cross-Task Artifact Dependencies from Developer Interactions
12. Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis
13. Approximate Q-Learning for Stacking Problems with Continuous Production and Retrieval
14. Digitale Medien und Inklusion ? Chancen und Umsetzung, in Schulentwicklung
15. Durchblick - Combining Sensor Outputs and Supporting Forensic Investigations in Robot-Assisted Analysis of Suspicious Objects
16. Feature Maps: A Comprehensible Software Representation for Design Pattern Detection
17. Mobile Match-on-Card Authentication Using Offline-Simplified Models with Gait and Face Biometrics
18. Novel Robustness Measures for Engineering Design Optimisation
19. Probabilistic Software Modeling
20. Schema Analysis in Tree-based Genetic Programming
21. Models for Predicting the Development of Insulin Resistance
22. Stakeholder-centered Process Implementation: Assessing S-BPM Tool Support
23. Stress durch E-Mail: Forschungsbefunde und Praxisimplikationen
24. Wi-Fi Data Transmission: Android \& iOS Interoperability
25. A Dynamic Multicommodity Network Flow Problem For Logistic Networks
26. Accessing and Dealing with Mathematics as a Blind Individual: State of the Art and Challenges
27. EHR Acceptance among Austrian Residents
28. Rechtsfragen im Zusammenhang mit dem Betrieb eines Anonymisierungsdienstes
29. Genetic Programming with Data Migration for Symbolic Regression
30. Integrated Simulation and Optimization in HeuristicLab
31. Keine Almosen sondern Grund- und Menschenrecht
32. Rohstoff Daten
33. Scripting and Framework Integration in Heuristic Optimization Environments
34. Sprechende Mathematiksysteme
35. Servicing Components with Connector Systems

Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)

1. A Domain Analysis of Resource and Requirements Monitoring: Towards a Comprehensive Model of the Software Monitoring Domain
2. A Heuristic Technique for Project Time Analysis in Conditions with High Uncertainty
3. A Hybrid Feature Location Technique for Re-engineeringSingle Systems into Software Product Lines
4. A Hybrid Simulation Model for an Efficient and Flexible Shop Floor System
5. A Low-Power Edge-Combining Transmitter Using Quadrature Signals for FSK Modulation
6. A Reference Process for Judging Reliability of Classification Results in Predictive Analytics
7. A Traceability Dataset for Open Source Systems
8. Accurate and Efficient Simulation of Microfluidic Networks
9. An Energy-Detection Impulse-Radio UWB Receiver
10. Analysis of the Battery Energy Estimation Model in SUMO Compared with Actual Analysis of Battery Energy Consumption
11. As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation
12. Automated Reuse of Test Cases for Highly Configurable Software Systems
13. Benchmarking recent Deep Learning methods on the extended Tox21 data set
14. BlendTorch: A Real-Time, Adaptive Domain Randomization Library.
15. Christophorus X: Autonomous Drone for Search and Rescue in Forests
16. Comparative assessment of interpretability methods of deep activity models for hERG
17. Coughing-based Recognition of Covid-19 with Spatial Attentive ConvLSTM Recurrent Neural Networks
18. Cross-city Analysis of Location-based Sentiment in User-generated Text
19. Current Challenges and Future Directions in Podcast Information Access
20. Datensicherheit: Änderungen durch Home Office
21. Dimensions of Retail Customer Experience and Its Outcomes: A Literature Review and Directions for Future Research
22. Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems
23. Efficient Construction of Functional Representations for Quantum Algorithms
24. Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures
25. Exploiting Quantum Teleportation in Quantum Circuit Mapping
26. Fast and Robust Quantum State Tomography from Few Basis Measurements
27. Gait Recognition with DensePose Energy Images
28. Generic Sample Preparation for Different Microfluidic Platforms
29. Information-theoretic cost of decision-making in joint action
30. LEMONS: Listenable Explanations for Music recOmmeNder Systems
31. LamaH: Large-sample Data for Hydrology in Central Europe
32. Large-scale river network modeling using Graph Neural Networks
33. Learning 3D Granular Flow Simulations
34. Learning to Infer Unseen Contexts inCausal Contextual Reinforcement Learning
35. Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams
36. Measuring Societal Biases from Text Corpora with Smoothed First-Order Co-occurrence
37. Multi-Timescale LSTM for Rainfall?Runoff Forecasting
38. MultiHumES: Multilingual Humanitarian Dataset for Extractive Summarization
39. Not All Relevance Scores are Equal: Efficient Uncertainty and Calibration Modeling for Deep Retrieval Models
40. On the effect of incompleteness to check requirement-to-method traces
41. One-Pass Synthesis for Field-coupled Nanocomputing Technologies
42. PHierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment
43. Performance Aspects of Correctness-oriented Synthesis Flows
44. Random Stimuli Generation for the Verification of Quantum Circuits.
45. RekabA Modern Perspective on Query Likelihood with Deep Generative Retrieval Models
46. Requirements for Agile Project Portfolio Management for Diversified Companies
47. SMT-Based Placement for System-on-Chip Design
48. Semantic Web Analysis Graphs: Guided Multidimensional Analysis of Linked Open Data
49. Societal Biases in Retrieved Contents: Measurement Framework and Adversarial Mitigation of BERT Rankers,
50. Stochastic Quantum Circuit Simulation Using Decision Diagrams
51. Supervised Contrastive Learning for Game-Play Frustration Detection from Speech
52. TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development
53. Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts
54. Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts
55. Towards Automatic Design and Verification for Level 3 of the European Train Control System
56. Towards Explaining Expressive Qualities in Piano Recordings: Transfer of Explanatory Features via Acoustic Domain Adaptation
57. Tracing Back Music Emotion Predictions to Sound Sources and Intuitive Perceptual Qualities
58. TripClick: The Log Files of a Large Health Web Search Engine,
59. Uncertainty estimation with LSTM based rainfall-runoff models
60. Unsupervised Quantification of High-Gamma Activation in Electrocorticographic Signals
61. Visualizing Decision Diagrams for Quantum Computing
62. What Players Want: Information Needs of Players on Post-Game Visualizations
63. When the Wisdom of Crowd is Able to Overturn an Unpopular Norm? Lessons Learned from an Agent-Based Simulation
64. (L)earning by Doing - »Blockchainifying« Life-Long Volunteer Engagement
65. A 1.2-V 180-nm CMOS Low-Power Multi-Band Ring Oscillator based Frequency Synthesizer for Edge-Combining Transmitters
66. A 1.2-V, 1.8-GHz Low-Power PLL Using a Class-F VCO for Driving 900-MHz SRD Band SC-Circuits
67. A Behaviour-Driven Development Approach for Cyber-Physical Production Systems
68. A Deep Learning Architecture for Conservative Dynamical Systems: Application to Rainfall-Runoff Modeling
69. A Design-for-Sensitivity Strategy for Charge-Pump-Based Receivers
70. A Framework for Recognizing Digital Transformation Opportunities
71. A Geometry-Aware Hidden Markov Model for Indoor Positioning
72. A Machine Learner?s Guide to Streamflow Prediction
73. A Mixed Graph-Relational Dataset of Socio-technical Interactions in Open Source Systems
74. A Novel Frontier-Based Exploration Algorithm for Mobile Robots
75. A Research Agenda for Mixed Reality in Automated Vehicles
76. A Verified SAT Solver Framework including Optimization and Partial Valuations
77. A comparison about the reflectivity of different materials with active sensors
78. A review of utility and cost functions used in frontier-based exploration algorithms
79. AI meets Agriculture: A Smart System for Foreign Object Damage Avoidance
80. ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks
81. AUDiaL: A Natural Language Interface to Make Statistical Charts Accessible to Blind Persons
82. Accessible Multimodal Tool Support for Brainstorming Meetings
83. Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime
84. Adaptive User Interfaces for People with Cognitive Disabilities within the Easy Reading Framework
85. Addressing the Recitative Problem in Real-Time Opera Tracking
86. Adversarial Robustness in Data Augmentation
87. An Agent-Based Model of Crowd Evacuation: Combining Individual, Social and Technological Aspects
88. An Operational Constraint Language To Evaluate Feature-Dependent Non-Functional Requirements
89. An Untrimmed 14-bit Non-Binary SAR-ADC Using 0.37 fF-Capacitors in 180 nm for 1.1 µW at 4 kS/s
90. Anomalous Sound Detection as a Simple Binary Classification Problem with Careful Selection of Proxy Outlier Examples
91. Approximation of Quantum States Using Decision Diagrams
92. Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators
93. Artificial Intelligence, Accessible and Assistive Technologies
94. Augmentation Concepts with HUDs for Cyclists to Improve Road Safety in Shared Spaces
95. Authorization Policy Extension for Graph Databases
96. Automatic Assistance to Cognitive Disabled Web Users via Reinforcement Learning on the Browser
97. Automatic compiler optimization on embedded software through k-means clustering
98. Automatically Evolving Lookup Tables for Function Approximation
99. Autonomy and Process Design
100. Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits
101. Blockchain Technology for Emergency Response
102. Boosting Algorithms for Delivery Time Prediction in Transportation Logistics
103. COOL Programming ? Improving Introductory Programming Education through Cooperative Open Learning
104. Characterizing Energy Consumption of Third-Party API Libraries using API Utilization Profiles
105. Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
106. Clustering-guided SMT(LRA) learning
107. Cognitive Disabilities and Accessibility - Pushing the Boundaries of Inclusion Using Digital Technologies and Accessible eLearning Environments
108. Comparison of Agile Maturity Models: Reflecting the Real Needs
109. Concurrency in DD-based Quantum Circuit Simulation
110. Conformity Behavior in Group Playlist Creation
111. Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams
112. Consumer-Grade EEG Instruments: Insights on the Measurement Quality Based on a Literature Review and Implications for NeuroIS Research
113. Context-Adaptive ReinforcementLearning using Unsupervised Learning of Context Variables
114. Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning
115. Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning
116. Cyber?Physical Mobile Arm Gesture Recognition using Ultrasound and Motion Data
117. DAMFA: Decentralized Anonymous Multi-Factor Authentication
118. Data Governance and Digitalization-A Case Study in a Manufacturing Company
119. Deductive reconstruction of MLT* for multi-level modeling
120. Deep learning for cognitive load monitoring: a comparative evaluation
121. Der Beweiswert von mittels Remote Forensic Software gesammelten Daten
122. Detecting Wear in Internal Gear Pumps by observing the Pressure Reduction Time
123. Discovering X Degrees of Keyword Separation in a Fine Arts Collection
124. Distributed Cube and Conquer with Paracooba
125. Do Neural Ranking Models Intensify Gender Bias?
126. Does Static Analysis Help Software Engineering Students?
127. Driver drowsiness in automated and manual driving: insights from a test track study
128. Drivers and Influencing Factors in Mobile Payment Acceptance
129. Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem
130. Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes
131. Early Verification of ISA Extension Specifications using Deep Reinforcement Learning
132. Edge-Combining for QPSK and FSK Modulation Using a Single Delay-Line
133. Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
134. Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm
135. Efficient Transport Logistics: An Approach for Urban Freight Transport in Austria
136. Efficient and Correct Compilation of Quantum Circuits
137. Einhaltung von Informationssicherheitsvorschriften durch MitarbeiterInnen: Faktoren und Maßnahmen
138. Empowering Makers ? A Design Science Approach
139. Environmental Impact of Bundling Transport Deliveries Using SUMO: Analysis of a cooperative approach in Austria
140. Evaluating the alignment of sequence diagrams with systembehavior
141. Evolutionary Optimization of Image Processing for Cell Detection in Microscopy Images
142. Evolving System Families in Space and Time
143. Evolving sqrt into 1/x via software data maintenance
144. Examining the uncertainty estimation properties of LSTM based rainfall-runoff models
145. Explaining Inconsistent Research Findings on the Relationship between Age and Technostress Perceptions: Insights from the Neuroscience Literature
146. Exploiting Quantum Teleportation in Quantum Circuit Mapping
147. Focus Areas, Themes, and Objectives of Non-Functional Requirements in DevOps: A Systematic Mapping Study
148. Four Flavors of Entailment
149. From DRUP to PAC and Back
150. Gaze-based Interaction with Windshield Displays for Automated Driving: Impact of Dwell Time and Feedback Design on Task Performance and Subjective Workload
151. Heap Evolution Analysis Using Tree Visualizations
152. How to Measure Customers? Emotional Experience? A Short Review of Current Methods and a Call for Neurophysiological Approaches
153. Human Activity Classification Using mm-Wave FMCW Radar by Improved Representation Learning
154. Identity and Privacy
155. Improved DD-based Equivalence Checking of Quantum Circuits
156. Integer Overflow Detection in Hardware Designs at the Specification Level
157. Integrating heuristiclab with compilers and interpreters for non-functional code optimization
158. Investigating High Memory Churn via Object Lifetime Analysis to Improve Software Performance
159. JKQ: JKU Tools for Quantum Computing
160. Just Like the Real Thing: Fast Weak Simulation of Quantum Computation.
161. Kriterien zur Beurteilung der Beweiskraft von Daten
162. LSTM-Based Rainfall?Runoff Modeling at Arbitrary Time Scales
163. Learning to Read and Follow Music Incomplete Score Sheet Images
164. Learning to Read and Follow Music in Complete Score Sheet Images
165. Locating Feature Revisions in Software Systems Evolving in Space and Time
166. Low-Complexity Models for Acoustic Scene Classification Based on Receptive Field Regularization and Frequency Damping
167. Machine Learning to Ease Unterstanding of Data Driven Compiler Optimizations
168. Macro workstep detection for assembly manufacturing
169. Me Too: Value Creation by Digitalization and Data Privacy
170. Memory Cities: Visualizing Heap Memory Evolution Using the Software City Metaphor
171. Memory Leak Analysis using Time-Travel-based and Timeline-based Tree Evolution Visualizations
172. Merge Event Bias in Project Evaluation Techniques - Problems and Directions
173. Mining Feature Revisions in Highly-Configurable Software Systems
174. Mobile Delivery Robots: Mixed Reality-Based Simulation Relying on ROS and Unity 3D
175. Mobile Payment - Classic Approaches to Promote Consumer Adoption
176. Mode Switching from a Security Perspective: First Findings of a Systematic Literature Review
177. Modelling Production System Families with AutomationML
178. Modern Hopfield Networks and Attention for Immune Repertoire Classification
179. Modern Hopfield Networks and Attention for Immune Repertoire Classification
180. Multi-Method Evaluation: Leveraging Multiple Methods to Answer What You Were Looking For
181. Multi-language dynamic taint analysis in a polyglot virtual machine
182. Music Tower Blocks: Multi-Faceted Exploration Interface for Web-Scale Music Access
183. NeuroIS: Status, Rewarding Research Questions, and Future Directions
184. No Need to Slow Down! A Head-up Display Based Warning System for Cyclists for Safe Passage of Parked Vehicles
185. Nullstellensatz-Proofs for Multiplier Verification
186. On the Characterization of Expressive Performance in Classical Music: First Results of the Con Espressione Game
187. Outsourcing in the Age of Digital Transformation
188. Pandemics, Music, and Collective Sentiment: Evidence From the Outbreak of COVID-19
189. Performance of a networked human-drone team: command response and interaction effects
190. Personality Bias of Music Recommendation Algorithms
191. Personality Correlates of Music Audio Preferences for Modelling Music Listeners
192. Physiological Measurement in the Research Field of Electronic Performance Monitoring: Review and a Call for NeuroIS Studies
193. Pointing Gesture Based User Interaction of Tool Supported Brainstorming Meetings
194. Post Synthesis-Optimization of Reversible Circuits using Template Matching
195. Predicting Flight Delay Risk Using a Random Forest Classifier Based on Air Traffic Scenarios and Environmental Conditions
196. Process Inspection Support: an Industrial Case Study
197. RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
198. Readability of Privacy Policies
199. Real-Time Visualisation of Fugue Played by a String Quartet
200. Realizing Quantum Algorithms on Real Quantum Computing Devices
201. Recent Developments in Bandgap References for Nanometer CMOS Technologies
202. Reinforcement Learning Meets Cognitive Situation Management: A Review of Recent Learning Approaches from the Cognitive Situation Management Perspective
203. SAT, Computer Algebra, Multipliers
204. SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies
205. STS on Accessible and Inclusive Digital Publishing
206. Selecting Time Series Clustering Methods based on Run-Time Costs
207. Smart Machine Maintenance Enabled by a Condition Monitoring Living Lab
208. Societal and Ethical Issues of Digitalization
209. Specifying Feature-Dependent Maintainability Requirements in an Operational Manner ? Results From a Case Study with Practitioners
210. StickyWSD: Investigating Content Positioning on a Windshield Display for Automated Driving
211. Subthreshold-Hybrid Solutions for Thermal Sensor and Reference Circuits in Advanced CMOS
212. SymJEx: symbolic execution on the GraalVM
213. Tailoring and Evaluating Non-Functional Interests Towards Task-Oriented Functional Requirements
214. Technostress Measurement in the Field: A Case Report
215. The Effects of Cookie Notices on Perceived Privacy and Trust in E-Commerce
216. The Impact of Label Noise on a Music Tagger
217. The Internet-of-Behavior as Organizational Transformation Space with Choreographic Intelligence
218. The Nature of Customer Experience and its Determinants in the Retail Context: Literature Review
219. The Next Generation of Human-Drone Partnerships: Co-Designing an Emergency Response System
220. The Potential of Wrist-Worn Wearables for Driver Drowsiness Detection: A Feasibility Analysis
221. The Power of Simulation for Equivalence Checking in Quantum Computing
222. The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus
223. The Unfairness of Popularity Bias in Music Recommendation: A Reproducibility Study
224. Time series classification for detecting subclinical ketosis in dairy cows
225. ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
226. Towards Automatic Hardware Synthesis from Formal Specification to Implementation
227. Towards CPS Verification Engineering
228. Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs
229. Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques
230. Towards Exploring the Potential of Alternative Quantum Computing Architectures
231. Towards Informed Watermarking of Personal Health Sensor Data for Data Leakage Detection
232. Towards Integrating Data-Driven Requirements Engineering into the Software Development Process: A Vision Paper,
233. Towards Knowledge-guided Genetic Improvement
234. Towards Message-Driven Ontology Population - Facing Challenges in Real-World IoT
235. Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges
236. Towards Neural Situation Evolution Modeling: Learning a Distributed Representation for Predicting Complex Event Sequences
237. Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study
238. Towards Reliable Real-Time Opera Tracking: Combining Alignment with Audio Event Detectors to Increase Robustness
239. Towards a Model-Based DevOps for Cyber-Physical Systems
240. Towards a Reliable Ground Truth for Drowsiness: A Complexity Analysis on the Example of Driver Fatigue
241. Towards an Architecture for Private Digital Authentication in the Physical World
242. Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business
243. User Centered Design and User Participation in Inclusive R&D
244. User Insights on Diversity in Music Recommendation Lists
245. Utilizing Human Memory Processes to Model Genre Preferences for Personalized Music Recommendations
246. Vehicle Automation Field Test: Impact on Driver Behavior and Trust
247. Verification Runtime Analysis: Get the Most Out of Partial Verification
248. Verification for Field-coupled Nanocomputing Circuits
249. Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes
250. Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
251. Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
252. Visualizing Feature-Level Evolution in Product Lines: A Research Preview
253. What is the role of hydrological science in the age of machine learning?
254. YASSi: Yet Another Symbolic Simulator
255. audioLIME: Listenable Explanations Using Source Separation
256. trcview: interactive architecture agnostic execution trace analysis
257. ?Give Me the Keys, I?ll Drive!?: Results from an Exploratory Interview Study to Assess Public?s Desires and Concerns on Automated Valet Parking
258. "Nothing about Us without Us": Next Level
259. (Over)Trust in Automated Driving: The Sleeping Pill of Tomorrow?
260. 3D Robot Pose Estimation from 2D Images
261. 3D performance analysis of a UWB positioning system in a dynamic robotic scenario
262. A 0.5-V 180-nm CMOS Switched-Capacitor Temperature Sensor With 319 nJ/measurement
263. A 1.2-V Triple-Mode Low-Power Receiver Front-End for 900-MHz SRD-Band Applications
264. A 1.9-\muW 7-GHz IR-UWB Transmitter with RF-Energy-Harvester in 180-nm CMOS for Battery-Less Bio-Sensors
265. A 16 nm FinFet power- and phase noise-scalable DCO using on-chip tapped inductor
266. A 1mm Thin-Film Short-Distance Optical Sensor
267. A Bounding Technique for Probabilistic PERT
268. A Comparative Study of Two Complex Ontologies in Air Traffic Management
269. A Constraint Mining Approach to Support Monitoring Cyber-Physical Systems
270. A Convolutional Approach to Melody Line Identification in Symbolic Scores
271. A Dynamic Game Model of Crisis Communication on Social Media
272. A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment
273. A Framework of Factors Enabling Digital Transformation
274. A GAN based solver idea for derivative-free optimization problems
275. A GAN based solver of black-box inverse problems
276. A Generic Language for Query and Viewtype Generation By-Example
277. A Low-Noise Sub-Bandgap Reference with a ±0.64% Untrimmed Precision in 16nm FinFET
278. A Model-Driven Approach for Visualisation Processes
279. A Modeling and Simulation Approach for the Design of Linear Feeding Systems in Industrial Automation
280. A No-Trim, Scaling-Friendly Thermal Sensor in 16nm FinFET Using Bulk Diodes as Sensing Elements
281. A Recommender System for Software Architecture Decision Making
282. A Research Preview on TAICOS - Tailoring Stakeholder Interests to Task-Oriented Functional Requirements
283. A Staircase Structure for Scalable and Efficient Synthesis of Memristor-Aided Logic
284. A Task-Independent Design and Development Process for Cognitive Products in Industrial Applications
285. A Time-Domain Temperature Sensor using Nwell Diodes on 820µm^2 in 7nm FinFET
286. A Two Time-Scale Update Rule Ensuring Convergence of Episodic Reinforcement Learning Algorithms at the Example of RUDDER
287. A User Study on the Usefulness of Visualization Support for Requirements Monitoring
288. A Web Service Architecture for Social Micro-Learning
289. A kconfig translation to logic with one-way validation system
290. A multi-sensor algorithm for activity and workflow recognition in an industrial setting
291. A practical view on IT risk management process
292. Access to Non-Verbal Aspects of Group Conversations for Blind Persons
293. Accuracy and Compactness in Decision Diagrams for Quantum Computation
294. Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision
295. Adapting Ethnography for Design Research: Lessons Learnt form Design of Mobile Systems for Rural Health Care in Ethiopia
296. Adaptive User Interface Concepts Supporting People with Cognitive Disabilities
297. Allowing for equal opportunities for artists in music recommendation
298. An Automatic Drum Machine with Touch UI Based on a Generative Neural Network
299. An Extension of the QUAMOCO Quality Model to Specify and Evaluate Feature-Dependent Non-Functional Requirements
300. An Integrated Framework to Examine Mobile Users' Pathway from Threat Cognition to Action
301. An empirical study of vibration based bearing fault diagnosis methods
302. An optimization-driven incremental inline substitution algorithm for just-in-time compilers
303. Analyzing Collaborative Research Projects regarding Topic, Methodology and Media
304. Analyzing Data Structure Growth Over Time to Facilitate Memory Leak Detection
305. AntTracks TrendViz: Configurable Heap Memory Visualization Over Time
306. Assessing Adaptability of Software Architectures for Cyber Physical Production Systems
307. Assessing Surgeons' Skill Level in Laparoscopic Cholecystectomy using Eye Metrics
308. Asynchronous snapshots of actor systems for latency-sensitive applications
309. Attention/Distraction Estimation for Surgeons during Laparoscopic Cholecystectomies
310. Autarkies for DQCNF
311. Automatic Reverse Engineering of Interaction Models from System Logs
312. Automating Test Reuse for Highly Configurable Software: An Experiment
313. Automating test reuse for highly configurable software
314. Autonomous highway pilot using Bayesian networks and hidden Markov models
315. Benchmarking Workshop on (active) vibration damping
316. Better Late Than Never Verification of Embedded Systems After Deployment
317. Building Extraction from Google Earth Images
318. COOL: Cooperative Open Learning for Beginning Programmers
319. Can we Predict Performance Events with Time Series Data from Monitoring Multiple Systems?
320. Clausal Proofs of Mutilated Chessboards
321. Cognitive Products: System Architecture and Operational Principles
322. Collaboratively enhanced consistency checking in a cloud-based engineering environment
323. Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
324. Combining Evolutionary Algorithms and Deep Learning for Hardware/Software Interface Optimization
325. Comparing Constraints Mined From Execution Logs to Understand Software Evolution
326. Compiling SU(4) Quantum Circuits to IBM QX Architectures
327. Complex PDF Remediation for Accessibility: Review of Current Methodologies
328. Computer Vision Approach for the Automated Tool Alignment of an Orbital Sanding Robot
329. Conceptualization of Cultural Diversity for Efficient and Flexible Manufacturing Systems of the Future
330. Control portfolio adaption in Scrum: Initial findings from a practitioner survey
331. Conversational AI for Corporate e-Learning
332. Cross-Country Investigation of User Connection Patterns in Online Social Networks
333. Cross-country User Connections in an Online Social Network for Music
334. Current state of IT risk analysis in management frameworks: Is it enough?
335. Cutting a Path Through the IoT Ontology Jungle - a Meta Survey
336. Das "AgriProKnow"-Projekt: Prozessbezogenes Informationsmanagement in Precision Dairy Farming
337. Debugging support for multi-paradigm concurrent programs
338. Dependable data sharing in dynamic IoT-Systems: subject-oriented process design, complex event processing, and blockchains
339. Der Nachweis von Urheberrechtsverletzungen in Computerprogrammen
340. Design Automation for Adiabatic Circuits
341. Design Tools for Microfluidic Devices
342. Design of Dynamic Control Portfolios in Scrum Projects
343. Detecting and exploring side effects when repairing model inconsistencies
344. Detecting cutaneous basal cell carcinomas in ultra-high resolution and weakly labelled histopathological images
345. Detection of suspicious time windows in memory monitoring
346. Developing and Evolving a DSL-Based Approach for Runtime Monitoring of Systems of Systems
347. Did we Test Enough? Functional Coverage for Post-Silicon Validation
348. Digital Retail Challenges within the EU: Fulfillment of Holistic Customer Journey post GDPR
349. Domain-Level Observation and Control for Compiled Executable DSLs
350. Domain-Specific Model Distance Measures
351. Dynamic Taint-Tracking: Directions for Future Research
352. Einfluss von Stützkapazitäten auf die Soft Failures von Integrierten Schaltungen bei ESD Events
353. Emotion and Theme Recognition in Music with Frequency-Aware RF-Regularized CNNs
354. Encoding Redundancy for Satisfaction-Driven Clause Learning
355. End-to-end defect detection in automated fiber placement based on artificially generated data
356. Entwicklung einer domänenspezifischen Sprache zur Modellierung von Komponentenversionen und ihren Abhängigkeiten
357. Evaluating the Flexibility of A* for Mapping Quantum Circuits
358. Examining the energy impact of sorting algorithms on android: an empirical study
359. Exploiting Parallel Audio Recordings to Enforce Device Invariance in CNN-based Acoustic Scene Classification
360. Exploring Robustness in a Combined Feature Selection Approach (Best Paper Award)
361. EyeControl: Wearable Assistance for Industrial Maintenance Tasks
362. Facing the Truth: Benchmarking the Techniques for the Evolution of Variant-Rich Systems
363. Feasibility analysis of unsupervised industrial activity recognition based on a frequent micro action
364. Feature Modeling vs. Decision Modeling: History, Comparison and Perspectives
365. Fluid Surface Velocity Estimation Using a 77GHz Radar Module
366. Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes
367. Framing Situation Prediction as a Sequence Prediction Problem: A Situation Evolution Model Based on Continuous-Time Markov Chains
368. From Design-Time to Runtime and Back Again with Liquid Models
369. Gathering Knowledge from Decision Making
370. Generating Structured AutomationML Models from IEC 62264 Information
371. Generic Error Localization for the Electronic System Level
372. Genre Differences of Song Lyrics and Artist Wikis: An Analysis of Popularity, Length, Repetitiveness, and Readability
373. Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze, and Replay Software Product Line Evolution
374. How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computation
375. Human-Drone Teaming: Use Case Bookshelf Inventory
376. Human-level Protein Localization with Convolutional Neural Networks
377. IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers
378. Importance of Coordination and Cultural Diversity for an Efficient and Flexible Manufacturing System
379. Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits
380. In UX We Trust: Investigation of Aesthetics and Usability of Driver-Vehicle Interfaces and Their Impact on the Perception of Automated Driving
381. Incremental Inprocessing SAT Solving
382. Industrial and Academic Software Product Line Research at SPLC: Perceptions of the Community
383. Industry-scale Application and Evaluation of Deep Learning for Drug Target Prediction
384. Influence of Different Digital Power Supply Layout Styles on the EME of ICs with Respect to Process Variations
385. Information Disclosure Detection in Cyber-Physical Systems
386. Information-theoretic Sensorimotor Foundations of Fitts? Law
387. Intelligent Music Interfaces for Listening and Creation
388. Introducing Autarkies for DQCNF
389. Investigating Technostress from a Neurobiological Perspective: Results of a NeuroIS Research Program with a Focus on Field Studies
390. Investigating the role of mind wandering in computer-supported collaborative work: A proposal for an EEG study
391. Is the Technostress Creators Inventory Still an Up-To-Date Measurement Instrument? Results of a Large-Scale Interview Study
392. KinPhy: A Kinetic In-Band Channel for Millimetre-Wave
393. LSTM-Designed Quantum Experiments
394. Learning Soft-Attention Models for Tempo-invariant Audio-Sheet Music Retrieval
395. Leveraging Artifact Trees to Evolve and Reuse Safety Cases
396. Leveraging Multi-Method Evaluation for Multi-Stakeholder Settings
397. Locking the Design of Building Blocks for Quantum Circuits
398. Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms
399. Malicious DNS Traffic in Tor: Analysis and Countermeasures
400. Matching Ontologies for Air Traffic Management: A Comparison and Reference Alignment of the AIRM and NASA ATM Ontologies
401. Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations
402. Memory Leak Visualization Using Evolving Software Cities
403. Methods of Statistical Analysis and Machine Learning for the Evaluation of Generated Hardware and Firmware Design
404. Microbiological Water Quality Test Results Extraction from Mobile Photographs
405. Mining Constraints for Monitoring Systems of Systems
406. Mining Patterns from Genetic Improvement Experiments
407. Mitigating Messaging and Processing Load in IoT Environments Managed by Blockchain
408. Mixture Density Generative Adversarial Networks
409. Modal Flatness Analysis of Thin Sheets
410. Model Based Development of Fluid Transport Systems for Industrial Applications
411. Model for Strategic Positioning in Transformative Situations
412. Model-driven Runtime State Identification
413. Modeling Artist Preferences for Personalized Music Recommendations
414. Modeling Variability and Persisting Configurations in OPC UA
415. Modeling of liquid sloshing with application in robotics and automation
416. Modelling the Semantics for Model-Driven Interactive Visualizations
417. Multifaceted Consistency Checking of Collaborative Engineering Artifacts
418. Multiplicative criteria aggregation technique for risk-based audit planning
419. My 25 Years of Fuschl/IFSR Conversations (1994 to 2018)
420. Natural Language Processing for Non-visual Access to Diagrams
421. On Conditioning GANs to Hierarchical Ontologies
422. On the Convergence of Episodic Reinforcement Learning Algorithms at the Example of RUDDER
423. On the Difficulties of Supervised Event Prediction based on Unbalanced Real-World Data in Multi-System Monitoring
424. One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits
425. Patch Refinement: Localized 3D Object Detection
426. Peer Assessment Revised ? Students Creating Exam Questions. A Pilot Study
427. Planning under LTL Environment Specifications
428. Potentialidentifizierung in Agilen Umgebungen
429. Practical Verification of CLT Assumption for PERT Application
430. Practical second Futamura projection: partial evaluation for high-performance language interpreters
431. Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering
432. Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
433. Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)
434. Probabilistic Strategy Logic
435. Production Planning with IEC 62264 and PDDL
436. QRAT Polynomially Simulates ?-Exp+Res
437. QUEST: Quantum computing - EDA, Security and Test
438. RUDDER: Return Decomposition for Delayed Rewards
439. Receptive-field-regularized CNN variants for acoustic scene classification
440. Renaissance: Benchmarking Suite for Parallel Applications on the JVM.
441. Report of the Workshop on Concepts and Methods of Identifying Digital Potentials in Information Management
442. Resilient Security of Medical Cyber-Physical Systems
443. Reusable Textual Styles for Domain-Specific Modeling Languages
444. Robust Sample Preparation on Low-Cost Digital Microfluidic Biochips
445. S(C)ENTINEL - Monitoring Automated Vehicles with Olfactory Reliability Displays
446. Scalable Design for Field-coupled Nanocomputing Circuits
447. Searching for Optimal Models: Comparing Two Encoding Approaches
448. Securing Smart Homes
449. Security Risk Mitigation of Cyber Physical Systems: A Case Study of a Flight Simulator
450. Sensyml: Simulation Environment for large-scale IoT Applications
451. Similarity of Definitions - Challenges of Comparison
452. Simulating Industrial Electrophoretic Deposition on Distributed Memory Architectures
453. Situation Mining: Event Pattern Mining for Situation Model Induction
454. SlotMachine: A Privacy-Preserving Marketplace for Slot Management (extended abstract)
455. Smartphones as an Opportunity to Increase Sales in Brick-and-Mortar Stores: Identifying Sales Influencers Based on a Literature Review
456. Software Architecture Knowledge Sharing with the Architecture Knowledge Base (AKB)
457. Software-Entwicklung im Lichte kultureller Unterschiede
458. Structruring Academic Education in Makerspaces: Consolidated Findings from the Field
459. Supporting Feature Model Evolution by Lifting Code-Level Dependencies
460. Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
461. Supporting a flexible grouping mechanism for collaborating engineering teams
462. Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction
463. Supporting the Selection of Constraints for Requirements Monitoring from Automatically Mined Constraint Candidates
464. Supporting the statistical analysis of variability models
465. Taking Off: Towards Real Competence-Based Flight Pilot Training
466. Tastalyzer: Audiovisual exploration of urban and rural variations in music taste
467. Techno-unreliability: A pilot study in the field
468. TemporalEMF: A Temporal MetamodelingFramework - Extended Abstract
469. Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows
470. The Effect of Gamification on Software Architecture Knowledge Management: A Student Experiment and Focus Group Study
471. The Effects of Privacy Awareness and Content Sensitivity on User Engagement
472. The End of the Blockchain
473. The Four-valued Logic in UML/OCL Models: A New "Playground" for the MVL Community
474. The Importance of Song Context and Song Order in Automated Music Playlist Generation
475. The Interplay of Design and Runtime Traceability for Non-Functional Requirements
476. The MULTI Process Challenge
477. The Receptive Field as a Regularizer in Deep Convolutional Neural Networks for Acoustic Scene Classification
478. The real T(h)OR: evaluation of emergency take-over on a test track
479. TourDino: A Support View for Confirming Patterns in Tabular Data
480. Towards 3D smooth pursuit interaction
481. Towards Automatically Identifying Potential Sustainability Effects of Requirements
482. Towards Continuous Quality: Measuring and Evaluating Feature-Dependent Non-Functional Requirements in DevOps
483. Towards Design Automation for Microfluidic Devices
484. Towards End-to-End Latency of LoRaWAN: Experimental Analysis and IIoT Applicability
485. Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines
486. Towards Modeling Variability of Products, Processes, and Resources in CPPS
487. Towards Operational Technology Monitoring in Intelligent Transportation Systems: Key Challenges and Research Roadmap
488. Towards Reduction in MOOCs Dropouts: An Agent-Based Model for Social Network Based Collaborative Learning
489. Towards Skill Recognition using Eye-Hand Coordination in Industrial Production
490. Towards efficient, multi-language dynamic taint analysis
491. Towards explainable Music Emotion Recognition: The Route via mid-level Features
492. Towards the Next Generation of Scenario Walkthrough Tools?A Research Preview
493. Towards the quantification of uncertainty for deep learning based rainfall-runoff models
494. Two-level Explanations in Music Emotion Recognition
495. Uncertainty Estimation Methods to Support Decision-Making in Early Phases of Drug Discovery
496. Understanding GCC Builtins to Develop Better Tools
497. User Curated Shaping of Expressive Performances
498. User-centered Design in Developing Countries ? A Case Study of a Sustainable Intercultural Healthcare Platform in Ethiopia
499. Using Constraint Mining to Analyze Software Development Processes
500. Using Decision Models for Documenting Microservice Architectures: A Student Experiment and Focus Group Study
501. Using LSTMs for climate change assessment studies on droughts and floods
502. Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery
503. Using large data sets towards generating a catchment aware hydrological model for global applications
504. Verifying Large Multipliers by Combining SAT and Computer Algebra
505. Virtual reality driving simulator for user studies on automated driving
506. Where we come from and where we are going: a review of automated driving studies
507. Why Do You Like To Drive Automated?
508. fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits
509. glossaLAB: Co-Creating Interdisciplinary Knowledge
510. mobEYEle: An Embedded Eye Tracking Platform for Industrial Assistance
511. A 180-nm 1.2-V LO Divider with Quadrature Phase Generation for Low-Power 868?915MHz SRD-Band Applications
512. A 40nW, Sub-1V Truly 'Digital' Reverse Bandgap Reference Using Bulk-Diodes in 16nm FinFET
513. A Bermuda Triangle? A Review of Method Application and Triangulation in User Experience Evaluation
514. A Comparison Framework for Runtime Monitoring Approaches (Journal-First Abstract)
515. A Component-based Hybrid Systems Verification and Implementation Tool in KeYmaera X. (Tool Demonstration)
516. A Demonstration of Simulation Modeling for SIoV Recommendations System
517. A GAN Based Drum Pattern Generation UI Prototype
518. A Hybrid Model for Social Media Sentiment Analysis for Indonesian Text
519. A Large-Scale Study of Language Models for Chord Prediction
520. A Method for Multi-Context Boundary Profiling for Individual Communication Management
521. A Model-Based Approach to Simulate Rain Effects on Automotive Surround Sensor Data
522. A Multi-GPU PCISPH Implementation with Efficient Memory Transfers
523. A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits
524. A Patient-Specific Machine Learning based EEG Processor for Accurate Estimation of Depth of Anesthesia
525. A Platform for the Automated Provisioning of Architecture Information for Large-scale Service-oriented Software Systems
526. A Practical Polynomial Calculus for Arithmetic Circuit Verification
527. A Proof-of-Concept Implementation of a Semantic Container Management System for Air Traffic Management
528. A Semantic MatchMaking Framework for Volunteering MarketPlaces
529. A Study and Comparison of Industrial vs. Academic Software Product Line Research Published at SPLC
530. A Study and Comparison of Industrial vs. Academic Software Product Line Research Published at SPLC
531. A cost model for a graph-based intermediate-representation in a dynamic compiler
532. A glimpse into the Unobserved: Runoff simulation for ungauged catchments with LSTMs
533. A microservice infrastructure for distributed communities of practice
534. Accessible eLearning - eLearning for Accessibility/AT
535. Active and Healthy Aging Workshop
536. Activity Segmentation and Identification based on Eye Gaze Features
537. Addressing Client Needs for Cloud Computing using Formal Foundations
538. Agent-Based Model of Smart Social Networking-Driven Recommendations System for Internet of Vehicles
539. Algorithm selection on generalized quadratic assignment problem landscapes
540. An Analysis of x86-64 Inline Assembly in C Programs
541. An Approach to Extract the Architecture of Microservice-Based Software Systems
542. An Exact Method for Design Exploration of Quantum-dot Cellular Automata
543. An Expert Interview Study on Areas of Microservice Design
544. An Initial Mapping Study on MDE4IoT
545. An Integrated Mechatronic Modelling, Simulation, and Optimization Approach for the Customized Design of Active Vibration Damping Solutions
546. An automated and instant discovery of concrete repairs for model inconsistencies
547. An open model for researching the role of culture in online self-disclosure.
548. Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods
549. Analysis of Heart Rate Variability (HRV) Feature Robustness for Measuring Technostress
550. Analysis of the Load Dependency of Different ESD Simulation Models
551. Analyzing Frame Conditions in UML/OCL Models: Consistency, Equivalence, and Independence
552. Analyzing the Evolution of Data Structures in Trace-Based Memory Monitoring
553. Applying Process View to Active and Healthy Aging (AHA) Problems
554. Art Karshmer Lectures in Access to Mathematics, Science and Engineering
555. AsmetaA: Animator for Abstract State Machines
556. Assessing and Evaluating Functional Suitability of Software
557. Asynchronous Surrogate-assisted Optimization Networks
558. Attention as a Perspective for Learning Tempo-invariant Audio Queries
559. Attracting Tangles to Solve Parity Games
560. Audio-to-score alignment using transposition-invariant features
561. Audio-visual encoding of multimedia content for " enhancing movie recommendations",
562. Automated Compliance Verification in ATM Using Principles from Ontology Matching
563. Automatic Chord Recognition with Higher-Order Harmonic Language Modelling
564. Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks
565. Automatic Mining of Constraints for Monitoring Systems of Systems
566. Benefits and pitfalls applying RAMI 4.0
567. Black-Box-Testing von Software abgeschafft? Eine Anmerkung zu BGH 6. Oktober 2016, I ZR 25/15 World of Warcraft I
568. Bridging the gap in privacy-preserving revocation: practical and scalable revocation of mobile eIDs
569. Btor2, BtorMC and Boolector 3.0
570. CaDiCaL, Lingeling, Plingeling, Treengeling and YalSAT Entering the SAT Competition 2018
571. Can We Improve App Accessibility with Advanced Development Methods?
572. Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels
573. Characterising Activation Functions by Their Backward Dynamics Around Forward Fixed Points
574. Collaborative Learning to Reduce Learners Dropouts in MOOCs: Modeling an Agent-Based Simulation
575. Comparing machine learning methods on concept drift detection for Predictive Maintenance
576. Comparison of Switching Principles in Microfluidic Bus Networks
577. Compiling Quantum Circuits to the IBM QX Architectures
578. Computer-Aided Design for Quantum Computation
579. Conceptual Design of a hybrid Participatory IT supporting in-situ and ex-situ collaborative text authoring
580. Confidence-Based Ensemble Modeling in Medical Data Mining
581. Content-Based Multimedia Recommendation Systems: Definition and Application Domains
582. Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
583. Contour-Guided Gaze Gestures: Using Object Contours as Visual Guidance for Triggering Interactions
584. Corrections to Rule Minimization for Traffic Evolution in Software-Defined Networks
585. Coulomb GANs: Provably Optimal Nash Equilibria via Potential Fields
586. Crossteaching - Forschendes Lernen in interdisziplinären, virtuellen Teams
587. Crowd Focused Semi-Automated Requirements Engineering for Evolution Towards Sustainability
588. Culture-Aware Music Recommendation
589. DNS Traffic of a Tor Exit Node - An Analysis
590. Debugging Native Extensions of Dynamic Languages
591. Decision Engineering in Case of Intuitive Decisions
592. Decision-Making Support for View-Oriented I4. 0 System Architecture Design
593. Deconstructing the Refactoring Process from a Problem-solving and Decision-making Perspective
594. Deep Within-Class Covariance Analysis for Robust Deep Audio Representation Learning
595. Deriving a State Model of a Control Program by Symbolic Execution
596. Design Debt Prioritization ? A Design Best Practice-Based Approach
597. Detecting Wear in a Ball Screw using a Data-Driven Approach
598. Discrete Real-world Problems in a Black-box Optimization Benchmark
599. Distributed Simulation Execution on a High-Performance Cluster using Heuristiclab Hive
600. Divider and Unique Inverse Benchmarks Submitted to the SAT Competition 2018
601. Does the propagation of artifact changes across tasks reflect work dependencies?
602. Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations
603. Drowsiness Detection and Warning in Manual and Automated Driving: Results from Subjective Evaluation
604. Dualizing Projected Model Counting
605. Dynamic Fitness Functions for Genetic Improvement in Compilers and Interpreters
606. Efficient Aggregation Methods for Probabilistic Data Streams
607. Efficient Mapping of Quantum Circuits to the IBM QX Architecture
608. Efficient and deterministic record & replay for actor languages
609. End-to-End Learning of Pharmacological Assays from High-resolution Microscopy Images
610. Evaluating Customer Satisfaction: Using Behavioral Analytics of Data-Intensive Software Systems
611. Evaluating Language Models of Tonal Harmony
612. Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
613. Event-driven stereo vision algorithm based on silicon retina sensors
614. Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
615. Expansion-Based QBF Solving Without Recursion
616. Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company
617. Exploiting Coding Techniques for Logic Synthesis of Reversible Circuits
618. EyeControl: Towards Unconstrained Eye Tracking in Industrial Environments
619. Eyes are different than Hands: An Analysis of Gaze as Input Modality for Industrial Man-Machine Interactions
620. Fast and Flexible Drug Screening Using a Pure Hydrodynamic Droplet Control
621. Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations
622. Feature-Based Reuse in the ERP Domain: An Industrial Case Study
623. Few versatile vs. many specialized collections: how to design a collection library for exploratory programming?
624. First Order Generative Adversarial Networks
625. First Order Generative Adversarial Networks
626. Formal Verification and Safety Assessment of a Hemodialysis Machine
627. Fréchet ChemNet Distance: A Metric for Generative Models for Molecules in Drug Discovery
628. GANs and Poses: An Interactive Generative Music Installation Controlled by Dance Moves
629. GPU-driven Deep Learning Paves New Ways for Drug Discovery Through High-Content Imaging
630. Gaze Based Magnification to Assist Visually Impaired Persons
631. Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-valued Logic
632. Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios
633. Generation of C++ Unit Tests from Abstract State Machines Specifications
634. Genre-Agnostic Key Classification With Convolutional Neural Networks
635. Guidance or No Guidance? A Decision Tree Can Help
636. Guided Query Composition with Semantic OLAP Patterns
637. Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models
638. Handling Reparation in Incremental Construction of Realizable Conversation Protocols
639. IC/IP Piracy Assessment of Reversible Logic
640. IUI?18 Workshop on Intelligent Music Interfaces for Listening and Creation (MILC)
641. Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories
642. Improved Chord Recognition by Combining Duration and Harmonic Language Models
643. Improved Synthesis of Clifford+T Quantum Functionality
644. Improving and Extending the Algebraic Approach for Verifying Gate-Level Multipliers
645. Incremental Construction of Realizable Choreographies
646. Initial Trust in Mobile Apps Based on Landing Page Information: Results of an Online Experiment
647. Interpretable Deep Learning in Drug Development
648. Introspection for C and its Applications to Library Robustness
649. Investigating Cross-Country Relationship Between Users´ Social Ties and Music Mainstreaminess
650. Investigating Label Noise Sensitivity of Convolutional Neural Networks for Fine-grained Audio Signal Labelling.
651. Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems
652. Iterative Knowledge Distillation in R-CNNS for Weakly-Labeled Semi-Supervised Sound Event Detection
653. Large Area 3D Human Pose Detection Via Stereo Reconstruction in Panoramic Cameras
654. Large-scale weakly labeled semi-supervised sound event detection in domestic environments
655. Learning to Listen, Read, and Follow: Score Following as a Reinforcement Learning Game.
656. Let Me Finish before I Take Over: Towards Attention Aware Device Integration in Highly Automated Vehicles
657. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
658. MMTF-14K: A Multifaceted Movie Trailer Dataset for Recommendation and Retrieval
659. Making Sense of Very Rare and Private Single-Nucleotide Variants
660. Making Sense: Experiences with Multi-Sensor Fusion in Industrial Assistance Systems
661. Measuring Process Experience: A Collaborative Modelling Instrument for Determining the Impact of a New Law on Public Service Experience
662. Measuring Process Management Capability in Disaster Management
663. Microservice Design Space Analysis and Decision Documentation: A Case Study on API Management
664. Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report
665. Monitoring CPS at Runtime -- A Case Study in the UAV Domain
666. Multi-Channel and Fault-Tolerant Control Multiplexing for Flow-Based Microfluidic Biochips
667. Multi-Objective Optimization for Reverse Engineering of Apo-Games Feature Models
668. Multimedia Recommender Systems
669. Multiplicative aggregation for ERP upgrade decision making
670. Natural Pursuits for Eye Tracker Calibration
671. NeuroIS: A Survey on the Status of the Field
672. New Paths in Music Recommender Systems Research
673. Numerical simulation of fluid structure interaction in a pump with hyperelastic components
674. Oink: An Implementation and Evaluation of Modern Parity Game Solvers
675. On Data-Driven Network Performance Modeling for Mobile Cloud Computing
676. On the Importance of Considering Country-specific Aspects on the Online-Market: An Example of Music Recommendation Considering Country-Specific Mainstream
677. On the Suitability of a Portfolio-Based Design Improvement Approach
678. OnChip Detektion von Störungen auf den Versorgungs- bzw. Signalleitungen in ICs
679. Optimized Sampling for View Interpolation in Light Fields with Overlapping Patches
680. Optimizing ?Ts? in the Synthesis of Clifford+T Quantum Circuits
681. Overview and New Challenges of Music Recommendation Research in 2018
682. PESTEL Modeler: Strategy Analysis Using MetaEdit+, iStar 2.0, and Semantic Technologies
683. Parallel Simulation of Electrophoretic Deposition for Industrial Automotive Applications
684. Parallel Trace Register Allocation
685. Parallelization of dynamic languages: synchronizing built-in collections
686. Position kernels as a key to making sense of very rare and private single-nucleotide variants
687. Predicting Higher Order Structural Feature Interactions in Variable Systems
688. Preismodelle für Software-as-a-Service - Ein empirischer Vergleich des B2B- und B2C-Marktes
689. Pseudonymizing Log Entries with time-selective Disclosure
690. Pushing the Number of Qubits Below the Minimum: Realizing Compact Boolean Components for Quantum Logic
691. QMDD-based One-pass-design of Reversible Logic: Exploring the Available Degree of Freedom
692. Quality Assessment of Generated Hardware Designs Using Statistical Analysis and Machine Learning
693. Quasi-bistability of walk-based landscape measures in stochastic fitness landscapes
694. RecSys Challenge 2018: Automatic Music Playlist Continuation
695. Recovery of Encrypted Mobile Device Backups from Partially Trusted Cloud Servers
696. Regressing Controversy of Music Artists from Microblogs
697. Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models
698. Requirements Engineering for People with Cognitive Disabilities ? Exploring New Ways for Peer-Researchers and Developers to Cooperate
699. Resilient Ontology Support Facilitating Multi-Perspective Process Integration in Industry 4.0
700. Resource constrained project scheduling: a real-world extension for steel industry
701. Rethinking Summarization and Storytelling for Modern Social Multimedia
702. Robust On-Line Polynomial Path Planning for Agricultural Vehicles in Greenland Farming
703. Rule Module Inheritance with Modification Restrictions. International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE)
704. Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine
705. Scaffolding RAMI4. 0-Exploration as Design Support
706. Self-Interference in LTE-Advanced and 5G NR Transceivers
707. Semantics-Based Summarization of ATM Data to Manage Information Overload in Pilot Briefings
708. Sensor-based Modeling of Radial Fans
709. Soft Failure in Integrated Circuits due to ESD Induced EMS Problems
710. Soft failures in integrated circuits as a matter of ESD events
711. Sound Valve-Control for Programmable Microfluidic Devices
712. Specializing ropes for ruby
713. Steer-By-WiFi: Lateral Vehicle Control for Take-Overs with Nomadic Devices
714. Storage-Aware Sample Preparation Using Flow-based Microfluidic Lab-on-Chip
715. Streaming Synthetic Time Series for Simulated Condition Monitoring
716. Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
717. Supporting Diagnosis of Requirements Violations in Systems of Systems
718. Supporting Feature-Oriented Development and Evolution in Industrial Software Ecosystems
719. Supporting Virtual Learning for Digital Literacy: First Experiences with a Mobile App and Gamification Elements
720. Surrogate-Assisted High-Dimensional Optimization on Microscopic Traffic Simulators
721. Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
722. Synchronization of Clocked Field-Coupled Circuits
723. Synthesis of Reversible Circuits Using Conventional Hardware Description Languages
724. System response time as a stressor in a digital world: Literature review and theoretical model
725. Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Journal-First Abstract)
726. Techniques for Improved Speech-Based Access to Diagrammatic Representations
727. The Blockchain Muddle
728. The Case for Contextualized Knowledge Graphs in Air Traffic Management
729. The Clock has Fallen Off the Wall?-Emergence of BPM-relevant Knowledge based on Cascading Stakeholder Perspectives
730. The Effect of Scrambling CNFs
731. The Effects of Real-world Events on Music Listening Behavior: An Intervention Time Series Analysis
732. The Impact of Gestures on Formal Language Learning and Its Neural Correlates: A Study Proposal
733. The Impact of UI on Privacy Awareness - Connecting Online Polls and Social Media
734. The MediaEval 2018 Movie Recommendation Task:
735. The Other Kind of Machine Learning: Modeling Worker State for Optimal Training of Novices in Complex Industrial Processes
736. The Role of Validation in Refinement-Based Formal Software Development
737. The Semantic Container Approach: Techniques for ontology-based data description and discovery in a decentralized SWIM knowledge base
738. TokenAccess: Improving Accessibility of Automatic Teller Machines (ATMs) by Transferring the Interface and Interaction to Personal Accessible Devices
739. Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment
740. Towards Full-Pipeline Handwritten OMR with Musical Symbol Detection by U-Nets.
741. Towards Scalability Guidelines for Semantic Data Container Management
742. Towards a fault-detection benchmark for evaluating software product line testing approaches
743. Towards a framework for detecting energy drain in mobile applications: an architecture overview
744. Towards a framework for stochastic performance optimizations in compilers and interpreters: an architecture overview
745. Towards a value-added Information Layer for SWIM: The Semantic Container Approach
746. Towards unambiguous IT risk definition
747. Trace Comprehension Operators for Executable DSLs
748. Training General-Purpose Audio Tagging Networks with Noisy Labels and Iterative Self-Verification.
749. Transferring Expert Knowledge through Video Instructions
750. Trustworthy Multi-Modal Framework for Life-Critical System Security
751. Two flavors of DRAT
752. Ubiquitous Security Needs Ubiquitous Evidence
753. Usage of ESD detector circuit for analyzing soft failures in IC cores
754. User-defined Classification and Multi-level Grouping of Objects in Memory Monitoring
755. Using Crash Frequency Analysis to Identify Error-prone Software Technologies in Multi-System Monitoring
756. Using Multi-System Monitoring Time Series to Predict Performance Events
757. Using VizDSL for Modelling Visualization Processes
758. Utilizing Object Reference Graphs and Garbage Collection Roots to Detect Memory Leaks in Offline Memory Monitoring
759. Validation of Business Process Models through Interactively Enacted Simulation
760. Validation of Transformation from Abstract State Machine Models to C++ Code
761. Variability Extraction and Modeling for Product Variants (Journal-First Abstract)
762. Virtual Navigation Environment for Blind and Low Vision People
763. VisDSL: A Visual DSL for Interactive Information Visualization
764. Visual sensory cortices facilitate translation of auditory foreign language words
765. Visually Perceived Relevance of Objects reveals Learning Improvements and Task Difficulty
766. What a Difference a Variable Makese
767. Which concepts do inexperienced modelers use to model work? ? An exploratory study
768. Who is Generation A?: Investigating the Experience of Automated Driving for Different Age Groups
769. Workaholistic: On balancing typing- and handover-performance in automated driving
770. Zero-mean convolutions for level-invariant singing voicedetection
771. geMsearch: Personalized Explorative Music Search
772. A 15-Bit 28nm CMOS Fully-Integrated 1.6W Digital Power Amplifier for LTE IoT
773. A Benchmark for Component-based Hybrid Systems Safety Verification
774. A Case Study of Success Factors for Data Warehouse Implementation and Adoption in Sales Planning
775. A Comparison of Attention Estimation Techniques in a Public Display Scenario
776. A Comprehensive Java Benchmark Study on Memory and Garbage Collection Behavior of DaCapo, DaCapo Scala, and SPECjvm2008
777. A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
778. A Dashboard for Microservice Monitoring and Management
779. A Decade of NeuroIS Research: Status Quo, Challenges, and Future Directions
780. A Discrete Model for Networked Labs-on-Chip: Linking the Physical World to Design Automation
781. A Domain-Specific Language for Coordinating Collaboration
782. A Duality-Aware Calculus for Quantified Boolean Formulas
783. A Feature-based Approach for Variability Exploration and Resolution in Model Transformation Migration
784. A Hybrid Approach to Music Playlist Continuation Based on Playlist-Song Membership
785. A Little Blocked Literal Goes a Long Way
786. A Location-Based Educational Game for Understanding the Traveling Salesman Problem: A Case Study.
787. A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
788. A Multiparametric View on Answer Set Programming
789. A Nearest Neighbor Quantum Cost Metric for the Reversible Circuit Level
790. A Review of Ultra-Low-Power and Low-Cost Transceiver Design
791. A Robust Drowsiness Detection Method based on Vehicle and Driver Vital Data
792. A Survey on the Importance of Object-oriented Design Best Practices
793. A Systematic Mapping Study on DSL Evolution
794. A classification of variation control systems
795. A hybrid approach with multi-channel i-vectors and convolutional neural networks for acoustic scene classification
796. A principled approach towards debuggin communication event-loops
797. A short journey through 25 Years of IDIMT Conferences
798. Addressing Multiple Nodes in Networked Lab-on-a-Chips without Payload Re-injection
799. Advanced Load Balancing for SPH Simulations on Multi-GPU Architectures
800. Advancing Student Support for ODL: Experiences from the EMPOWER Project
801. Aktuelle Entwicklungen in der Automatischen Musikverfolgung
802. An Abstract Dual Propositional Model Counter
803. An Efficient Physical Design of Fully-testable BDD-based Circuits
804. An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems
805. An Experimental Analysis of the Entanglement Problem in Neural-Network-based
806. An Exploratory Experiment on Meteamodel-Transformation Co-Evolution
807. An Extensible and Privacy-preserving Mobile eID System for Real-world Identification and Offline Verification
808. An Interview Study on Sustainability Concerns in Software Development Projects
809. An OLAP Endpoint for RDF Data Analysis Using Analysis Graphs
810. Analyse von "Soft Fails" aufgrund von ESD Ereignissen in Integrierten Schaltungen
811. Analyzing closeness of code dependencies for improving IR-based Traceability Recovery
812. Application Areas of Predictive Analytics in Healthcare
813. Applying Optimizations for Dynamically-typed Languages to Java
814. Are CISQ Reliability Measures Practical? A Research Perspective (Best Paper Award)
815. Artist Preferences and Cultural, Socio-economic Distances Across Countries: A Big Data Perspective
816. Assisting People with Nystagmus Through Image Stabilization: Using an ARX Model to Overcome Processing Delays
817. Augmented Lifecycle Space for traceability and consistency enhancement
818. Automatic Estimation of Harmonic Tension by Distributed Representation of Chords
819. Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits
820. Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static Analysis
821. BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips
822. Blocked Clauses in First-Order Logic
823. Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
824. Blood Pressure Measurement: A Classic of Stress Measurement and Its Role in Technostress Research
825. Box-Type Boom Design using Surrogate Modeling: Introducing an Industrial Optimization Benchmark
826. Business Process Elaboration through Virtual Enactment
827. CaDiCaL, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2017
828. Challenges in Verifying Arithmetic Circuits Using Computer Algebra
829. Change and Delay Contracts for Hybrid System Component Verification
830. Classifying Short Acoustic Scenes with I-Vectors and CNNs: Challenges and Optimisations for the 2017 DCASE ASC Task
831. Close-to-Optimal Placement and Routing for Continuous-Flow Microfluidic Biochips
832. Column-Wise Verification of Multipliers Using Computer Algebra
833. Comparison of Alpha/Beta and High-Gamma Band for Motor-Imagery based BCI Control
834. Composite Risk Modeling For Automated Threat Mitigation In Medical Devices
835. Context for the Intelligent Search of Information
836. Contour-Guided Gaze Gestures: Eye-based Interaction with Everyday Objects and IoT Devices
837. Convolutional Neural Networks for Subcellular Protein Localization
838. Create and Play your Pac-Man Game with the GEMOC Studio
839. Data Integration and Analysis in Precision Dairy Farming: A Semantic Data Warehousing Approach
840. Decision Guidance Models for Microservice Monitoring
841. Decision Guidance Models for Microservices ? Service Discovery and Fault Tolerance
842. Decision Models for Microservices - Design Areas, Stakeholders, Use Cases and Requirements
843. Dedicated Synthesis for MZI-based Optical Circuits based on AND-Inverter Graphs
844. Deep Bound Hardware Model Checking Instances, Quadratic Propagation Benchmarks and Reencoded Factorization Problems Submitted to the SAT Competition 2017
845. Deep Learning Yields Virtual Assays
846. Deep Learning for Prediction of Synergistic Effects of Anti-cancer Drugs
847. DeepRuby: Extending Ruby with Dual Deep Instantiation
848. DeepSynergy: Prediction of synergies of anti-cancer drugs with Deep Learning
849. Design Automation for Labs-on-Chip: A New Playground for SoC Designers
850. Design of a smart headwear
851. Die "Neuheit" einer Öffentlichkeit im Urheberrecht - Zugleich Anmerkung zu OGH 4 Ob 249/15v
852. Digital signatures for electronic assessments benefits and challenges of operating an electronic examination room
853. Digitale Signierung elektronischer Prüfungen: Organisation und Arbeitsumgebung im Prüfungsraum
854. Distance- and Rank-based Music Mainstreaminess Measurement
855. Do Moral Robots Always Fail? Investigating Human Attitudes Towards Ethical Decisions of Automated Systems
856. Driving Hotzenplotz: A Hybrid Interface for Vehicle Control Aiming to Maximize Pleasure in Highway Driving
857. Drum Transcription from Polyphonic Music with Recurrent Neural Networks
858. Drum Transcription via Joint Beat and Drum Modeling using Convolutional Recurrent Neural Networks
859. DuckTracks: Path-based Object Allocation Tracking
860. Dynamic Observation of Genotypic and Phenotypic Diversity for Different Symbolic Regression GP variants
861. E-Mail Monitoring and Management with MS Social Bots
862. ESD Test Integrierter Schaltungen im Betrieb
863. ESD induced EMS problems in digital IOs
864. Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions
865. Efficient Sampling-based Lock Contention Profiling for Java
866. Empowering road vehicles to learn parking situations based on optical sensor measurements
867. End-to-End Musical Key Estimation Using a Convolutional Neural Network
868. Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods
869. Entanglement Problem in Neural-Network -Based Music Transcription s
870. Enterprise interoperability as framework for project knowledge management
871. Ex-situ Technology Appropriation of an e-Deliberation Platform in an Art Gallery
872. Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A*
873. Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
874. Exploiting Reversible Logic Design for Implementing Adiabatic Circuits
875. Exploring Code Clones in Programmable Logic Controller Software
876. Extensions to the Reversible Hardware Description Language SyReC
877. Extraction Methodology of Implicit Didactics in Math Schoolbooks for the Blind
878. Eyes are faster than Hands: An Analysis of Mobile Gaze-based Interaction with IoT Devices
879. Formulating Model Verification Tasks Prover-Independently as UML Diagrams
880. From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach
881. From Requirements Monitoring to Diagnosis Support in System of Systems
882. Fully-Reflective VMs for Ruling Software Adaptation
883. GANs Trained by a Two Time-Scale Update Rule Converge to a Nash Equilibrium
884. Gamification Elements and Online Games in the Recruiting Process
885. Gans trained by a two time-scale update rule converge to a local nash equilibrium
886. Garbage Collection and E�ciency in Dynamic Metacircular Runtimes
887. Gaze-based Action Zones: A universal interaction modality for IoT devices
888. Gazor: A gaze aware Industrial IoT-based Instructor
889. Genetic improvement in code interpreters and compilers
890. Getting Through - Modality Selection in a Multi-Sensor-Actuator Industrial IoT Environment
891. Global Learning Network Analytics to Enhance PLN Understanding
892. GugerOptimal Bandpower Estimation and Tracking via Kalman Filtering for Real-Time Brain-Computer Interfaces
893. HapRFN: Rectified Factor Networks for identifying short IBD segments
894. Hardware Model Checking Competition 2017
895. How Item Discovery Enabled by Diversity Leads to Increased Recommendation List Attractiveness
896. IUI?17 Companion-Workshop Summary for HUMANIZE?17
897. IVOLUNTEER - A Digital Ecosystem for Life-long Volunteering
898. Identifying Synthesis Approaches for IP Piracy of Reversible Circuits
899. Improving Object-Oriented Design Quality: A Portfolio- and Measurement-Based Approach
900. Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs
901. Indicators of Country Similarity in Terms of Music Taste, Cultural, and Socio-economic Factors
902. Instance-Based Algorithm Selection on ƒquadratic Assignment Problem Landscapes
903. Intelligent User Interfaces for Social Music Discovery and Exploration of Large-scale Music Repositories
904. Interactive Demo: Rapid, Live Data Supported Prototyping with U.S.E.
905. Introducing Fundamental Concepts of Process Modeling Through Participatory Simulation
906. Introducing Global and Regional Mainstreaminess for Improving Personalized Music Recommendation
907. Introducing Surprise and Opposition by Design in Recommender Systems.
908. Kompos: A Platform for Debugging Complex Concurrent Applications
909. Learning Audio - Sheet Music Correspondences for Score Identification And offline Alignment
910. Learning From Intuitive Decision-Making
911. Learning Musical Relations using Gated Autoencoders
912. Learning Transformations of Musical Material using Gated Autoencoders
913. Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code
914. Level-Aware Ecosystem Transformations for Industrial Lifecycle Interoperability
915. Likelihood Estimation for Generative Adversarial Networks
916. Machine Learning-Based Risk Profile Classification: A Case Study for Heart Valve Surgery
917. Make It Reversible: Efficient Embedding of Non-reversible Functions
918. Mapping Visual Attention of Duo Musicians During Rehearsal of Temporally-ambiguous Music
919. MediaEval 2017 AcousticBrainz Genre Task: Multilayer Perceptron Approach
920. Microservices in a Small Development Organization ? An Industrial Experience Report
921. MinIAttention: Attention Management in Minimal Invasive Surgery using an IoT Synchronization Approach
922. Mining Constraints for Event-based Monitoring in Systems of Systems
923. Mining Culture-Specific Music Listening Behavior from Social Media Data
924. Model-Based API Testing for SMT Solvers
925. Model-based testing of end-user collaboration intensive systems
926. Modeling Harmony with Skip-Grams
927. Modificiation Operations for Context-Aware Business Rule Management
928. More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models
929. Music Genre Classification Revisited: An In-Depth Examination Guided by Music Experts
930. Music Playlist Continuation by Learning from Hand-Curated Examples and Song Features.
931. Music Recommender Systems: Challenges and Opportunities for Non-Superstar Artists.
932. Natural Pursuit Calibration: Using Motion Trajectories for Unobtrusive Calibration of Mobile Eye Trackers
933. Non-visually Performing Analytical Tasks on Statistical Charts
934. OR-Inverter Graphs for the Synthesis of Optical Circuits
935. On Competitiveness of Nearest-Neighbor Based Music Classification: A Methodological Critique
936. On Power ESD Test of Integrated Circuits
937. On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution Approaches
938. On the Futility of Learning Complex Frame-Level Language Models for Chord Recognition
939. On the Potential of Fully Convolutional Neural Networks
940. Online Music Listening Culture of Kids and Adolescents: Listening Analysis and Music Recommendation Tailored to the Young
941. Ontology-Based Data Description and Discovery in a SWIM Environment
942. Optimization Networks for Real-World Production and Logistics Problems
943. PRuning Through Satisfaction
944. Parameter Selection for ?PCMA*? Using Surrogate-Assisted Black-Box Optimization and Microscopic Traffic Simulation
945. Passive functional mapping guides electrical cortical stimulation for efficient determination of eloquent cortex in epilepsy patients
946. Peer review as a quality management tool embedded in an inquiry-based learning scenario
947. Personality Traits and Music Genre Preferences: How Music Taste Vary Over Age Groups
948. Personality Traits and Music Genres: What Do People Prefer to Listen To?
949. Personalizing Online Educational Tools: A Proposal
950. Piece Identification in Classical Piano Music Without Reference Scores
951. Practical partial evaluation for high-performance dynamic language runtimes
952. Predicting Genre Preferences from Cultural and Socio-economic Factors for Music Retrieval
953. Prediction of User Demographics from Music Listening Habits
954. Prediction of User Demographics from Music Listening Habits.
955. Privacy and Security - Friends or Enemies?
956. Real-world Identification for an Extensible and Privacy-preserving Mobile eID
957. RecSys Challenge 2018: Automatic Playlist Continuation
958. Resilience Management: from Fukushima Disaster to Boiling Oceans and Northward Viral Spread (Abstract no. 3194)
959. Resilient Context-Aware Medical Device Security
960. Robust Learning by Conditional Independence of Hidden Units
961. Self-Determined Easy Access to Different Literacy Levels
962. Self-Normalizing Neural Networks
963. Semantic Data Containers for Realizing the Full Potential of System Wide Information Management
964. Semantic OLAP Patterns: Elements of Reusable Business Analytics
965. Sentence Boundary Disambiguation for Indonesian Language
966. Simulation-based Code Duplication for Enhancing Compiler Optimizations
967. Size does matter - positioning on the wrist a comparative study: SmartWatch vs. SmartPhone
968. Skipping Embedding for Scalable Synthesis of Reversible Circuits
969. Skipping Embedding in the Design of Reversible Circuits
970. Skolem Function Continuation for Quantified Boolean Formulas
971. Smart Maintenance Lifecycle Management: A Design Proposal
972. Software-basierte Prozessunterstützung für lebenswertes Altern
973. Spatio-thermal depth correction of RGB-D sensors based on Gaussian Processes in real-time
974. Strengthening the Resilience of Aging Societies (Abstract)
975. Subject-oriented Design of Smart Hyper-connected Logistics Systems
976. Superimposed Multidimensional Schemas for RDF Data Analysis
977. Supporting Active and Healthy Aging - An Assistive Process Improvement Approach
978. TACO: Visualizing Changes in Tables Over Time
979. Tagged BDDs: Combining Reduction Rules from Different Decision Diagram Types
980. Taking One-to-one Mappings for Granted: Advanced Logic Design of Encoder Circuits
981. Teaching Tutors to Train Online: Quality Assurance in a Blended Learning Setting
982. Test Pattern Generation Effort Evaluation of Reversible Circuits
983. The Accompanion v0.1: An Expressive Accompaniment System
984. The Effect of Different Video Summarization Models on the Quality of Video Recommendation Based on Low-level Visual Features
985. The Importance of Song Context in Music Playlists
986. The Level of Harmony: A Validation Strategy for Brand & User Experience
987. The Semantic Data Warehouse for the AgriProKnow Project
988. The VADA Architecture for Cost-Effective Data Wrangling
989. To Be The Hub or Not: Explaining the Diffusion of Communication Apps
990. Toward Virtual Machine Adaption Rather than Reimplementation
991. Towards BPM Skill Assessment using Computerized Adaptive Testing
992. Towards Contextualized Rule Repositories for the Semantic Web
993. Towards Customised Visualisation of Ontologies: State of the Art and Future Applications for Online Polls Analysis
994. Towards Formal Strategy Analysis with Goal Models and Semantic Web Technologies
995. Towards Lightweight Satisfiability Solvers for Self-Verification
996. Towards Predicting the Popularity of Music Artists
997. Towards VHDL-based Design of Reversible Circuits
998. Towards a Cognitive Screenreader
999. Toxicity Prediction Using Self-normalizing Networks
1000. Trace Register Allocation Policies: Compile-time vs. Performance Trade-offs
1001. Traffic Augmentation as a Means to Increase Trust in Automated Driving Systems
1002. Traffic Statistics of a High-Bandwidth Tor Exit Node
1003. Transferring a Question-Based Dialog Framework to a Distributed Architecture
1004. Understanding needs and requirements of target group - Systematic perspective on interaction between system and environment
1005. Unity in Diversity - Making the Implicit Explicit
1006. User-centered Offline Analysis of Memory Monitoring Data
1007. Verification of Networked Labs-on-Chip Architectures
1008. Verifikation von Networked Labs-on-Chip Architekturen
1009. Vibro-Tactile Evoked Potentoals for BCI Communication of People with Disordersof Consciousness and Locked-in Syndrome
1010. Vielfältiges Lernen in universitären Großlehrveranstaltungen - Effekte von Flipped Classroom Formaten auf Partizipationsmöglichkeiten von Studierenden mit unterschiedlichen Bedürfnissen
1011. Visualization Support for Requirements Monitoring in Systems of Systems
1012. Web of Social Things: Socially-Influenced Interaction Modeling
1013. What Do We Really Talk About When We Talk About Context in Pervasive Computing: A Review and Exploratory Analysis.
1014. What Were You Expecting? Using Expectancy Features to Predict Expressive Performances of Classical Piano Music
1015. Workshop on User-Centered Design for Automated Driving Systems
1016. agriProKnow - Prozessbezogenes Informationsmanagement in Precision Dairy Farming
1017. panelcn.MOPS - a mixture of Poissons model for copy number detection
1018. panelcn.MOPS: Copy-number detection in targeted NGS panel data for clinical diagnostics
1019. 3-D Shape Recovery of the Left Heart Chamber from Biplane X-Ray Projections Using Anatomical A-Priori Information Learned from CT.
1020. A Component-Based Approach to Hybrid Systems Safety Verification
1021. A Cosine-Distance based Neural Network for Music Artist Recognition Using Raw I-vector Features
1022. A DSL-Based Approach for Event-Based Monitoring of Systems of Systems
1023. A Dataset of Multimedia Material About Classical Music: PHENICX-SMM
1024. A Fully Convolutional Deep Auditory Model for Musical Chord Recognition
1025. A Hybrid Approach Using Binaural i-vectors and Deep Convolutional Neural Networks
1026. A LaTeX to Braille Conversion Tool for Creating Accessible Schoolbooks in Austria
1027. A Personality-based Adaptive System for Visualizing Classical Music Performances
1028. A Platform for Social Microlearning
1029. A Proposal for Self-Service OLAP Endpoints for Linked RDF Datasets
1030. A Prototype-based Approach for Managing Clones in Clone-and-Own Product Lines
1031. A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems
1032. A source level empirical study of features and their interactions in variable software
1033. AL17: triggering interactions in an ecosystem of wearables
1034. Accelerometer based Gait Recognition using Adapted Gaussian Mixture Models
1035. Accessible eLearning - eLearning for Accessibility/AT
1036. An Accessible Environment to Integrate Blind Participants into Brainstorming Sessions
1037. An Agent-Based Model of Crowd Evacuation Integrating Agent Perception and Proximity Pressure
1038. An Analysis of Agreement in Classical Music Perception and Its Relationship to Listener Characteristics
1039. An Improved Gate Library for Logic Synthesis of Optical Circuits
1040. An Intelligent Musical Rhythm Variation Interface
1041. Analysis of Implicit Didactics in Math Schoolbooks for Interactive Non-visual User Interface Develpment
1042. Anonymisierung: Methoden und Zulässigkeit
1043. Anticipation and Systems Thinking: A Key to Resilient Systems
1044. Anticipation and Systems Thinking: A Key to Resilient Systems
1045. Art Karshmer Lectures in Access to Mathematics, Science and Engineering
1046. Assessing the Usefulness of a Requirements Monitoring Tool: A Study Involving Industrial Software Engineers
1047. Automated Detection and Guessing without Semantics of Sender-Receiver Relations in Computer-Mediated Discourses
1048. Blended learning for non-traditional learners. Seven years of experience and future challenges at a dual mode university
1049. Bluetooth Low Energy as Enabling Technology for Be-In/Be-Out Systems
1050. Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
1051. Building Custom, Efficient, and Accurate Memory Monitoring Tools for Java Applications
1052. Building efficient and highly run-time adaptable virtual machines
1053. Checking Reversibility of Boolean Functions
1054. Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits
1055. Clausal Proof Compression
1056. Clocks vs. Instants Relations: Verifying CCSL Time Constraints in UML/MARTE Models
1057. Cold-Start Software Analytics
1058. Combination of group sequential methods in R and sample size re - estimation with PsyStatAlpha
1059. Community Engagement or Funding ? How does Crowdfunding Contribute to the Market Success of Video Games?
1060. Conditions Facilitating the Aversion of Unpopular Norms: An Agent-Based Simulation Study
1061. Conversations with Expert Users in Music Retrieval and Research Challenges for Creative MIR
1062. Converting Opinion into Knowledge: Improving User Experience and Analytics of Online Polls
1063. Cross-Language Compiler Benchmarking: Are we Fast Yet?
1064. Cyber Security
1065. Cyber Security, Technology, and Privacy Regulation in the Digital Age
1066. DAMN - A Debugging and Manipulation Tool for Android Applications
1067. Data Wrangling for Big Data: Towards a Lingua Franca for Data Wrangling
1068. Deep Learning for Drug Target Prediction
1069. Deep Learning for predicting synergy effects of drug combinations
1070. Deep Linear Discriminant Analysis
1071. DeepTelos: Multi-Level Modeling with Most General Instances
1072. Demonstrator for extracting cognitive load from pupil dilation for attention management services
1073. Design, Management, and Customization of Data Analysis Reference Models Using Indyco Builder and XQuery
1074. Designing and Evaluating Barrier-Free Travel Assistance Services
1075. Designing of Digital Business Models for Barrier-Free Travel Assistance Service
1076. Downbeat Tracking Using Beat-synchronous Features and Recurrent Neural Networks
1077. Driven by Rewards: A Ridesharing System Addressing Flexible Commuting Requirements
1078. DynamoGraph: A Distributed System for Large-Scale Temporal Graph Processing, its Implementation and First Observations
1079. ECDL PD: 15 Years Later
1080. Easy Reader - or the importance of Being Understood
1081. Efficient Memory Traces with Full Pointer Information
1082. Efficient Tracing and Versatile Analysis of Lock Contention in Java Applications on the Virtual Machine Level
1083. Efficient and Viable Handling of Large Object Traces
1084. Efficient and thread-safe objects for dynamically-typed languages
1085. Efficient detection of inconsistencies in a multi-developer engineering environment
1086. Embedding of Large Boolean Functions for Reversible Logic
1087. Employing Aviation-specific Contexts for Business Rules and Business Vocabularies Management in SemNOTAM
1088. Event Capture and Compare for Runtime Monitoring of Systems of Systems
1089. Evolutionary Procedural 2D Map Generation using Novelty Search
1090. Evolving simple symbolic regression models by multi-objective genetic programming
1091. Exploring Music Diversity Needs Across Countries
1092. Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs)
1093. Fault Detection in Parity Preserving Reversible Circuits
1094. Feature Learning for Chord Recognition: The Deep Chroma Extractor
1095. Feature-Oriented Development in Industrial Automation Software Ecosystems: Development Scenarios and Tool Support
1096. Frame Conditions in Symbolic Representations of UML/OCL Models
1097. From Biochips to Quantum Circuits: Computer-Aided Design for Emerging Technologies
1098. From Reversible Logic to Quantum Circuits: Logic Design for an Emerging Technology
1099. Fusing Web and Audio Predictors to Localize the Origin of Music Pieces for Geospatial Retrieval
1100. GEMs: shared-memory parallel programming for Node.js
1101. Generalized Depth-of-Field Light-Field Rendering, International Conference on Computer Vision and Graphics (ICCVG)
1102. Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits
1103. Greedy combinatorial test case generation using unsatisfiable cores
1104. Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding
1105. HapRFN: a deep learning method for identifying short IBD segments
1106. HapRNF: a deep learning method to identify short IBD segments
1107. Health Informatics: Educational Programs for Clinical and Non-Clinical Workforce
1108. In-flight Provisioning and Distribution of ATM Information
1109. Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
1110. Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits
1111. Integrating an SMT-based Model Finder into USE
1112. Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report
1113. Investigating the Relationship Between Diversity in Music Consumption Behavior and Cultural Dimensions: A Cross-Country Analysis
1114. Joint Beat and Downbeat Tracking with Recurrent Neural Networks
1115. Kulturelle Unterschiede und ihr Einfluss auf Software-Entwicklungsprozesse und -Produkte
1116. Landmark-based Audio Fingerprinting for DJ Mix Monitoring
1117. Learning to Pinpoint Singing Voice from Weakly Labeled Examples
1118. Leveraging Executable Language Engineering for Domain-Specific Transformation Languages
1119. Lifelogging as a Viable Data Source for NeuroIS Researchers: A Review of Neurophysiological Data Types Collected in the Lifelogging Literature
1120. Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers
1121. Live Score Following on Sheet Music Images
1122. Location-based Risk Assessment for Mobile Authentication
1123. Logic Synthesis for Quantum State Generation
1124. Long Short-Term Memory For Autonomous Driving Cars
1125. MIR Web Interface for Shaping Musical Creativity
1126. Making Computers Understand Coalition and Opposition in Parliamentary Democracy
1127. Making the Case for Centralized Software Architecture Management
1128. Mining the Disaster Hotspots - Situation-Adaptive Crowd Knowledge Extraction for Crisis Management
1129. Mobile Gait Match-on-Card Authentication from Acceleration Data with Offline-Simplified Models
1130. Mobility Support for People with Dementia
1131. Model While You Work ? Towards Effective and Playful Acquisition of Stakeholder Processes
1132. Modeling Context for Business Rule Management
1133. Modular Change Impact Analysis for Configurable Software
1134. Multi Actor Architecture for Schedule Optimisation based on Lagrangian Relaxation
1135. Music Information Retrieval: Overview, Recent Developments and Future Challenges
1136. Music Tweet Map: A Browsing Interface to Explore the Microblogosphere of Music
1137. Near Real-time Detection of Crisis Situations
1138. Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation
1139. Noise-Robust Music Artist Recognition Using I-vector Features
1140. Non-CNF QBF Solving with QCIR
1141. On the Potential of Simple Framewise Approaches to Piano Transcription.
1142. Optimization Knowledge Center: A Decision Support System for Heuristic Optimization
1143. Personality Traits as Design Impetus for Learning Support
1144. Personality-Based User Modeling for Music Recommender Systems
1145. Personalized Retrieval and Browsing of Classical Music and Supporting Multimedia Material
1146. Picky: Efficient and Reproducible Sharing of Large Datasets using Merkle-Trees
1147. Pinpointing the Eye of the Hurricane - Creating A Gold-Standard Corpus for Situative Geo-Coding of Crisis Tweets Based on Linked Open Data
1148. Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories
1149. Prozessmanagement im Katastropheneinsatz: agil, strikt, tolerant und robust?
1150. Pupil Dilation as Online Input for non-laboratory Attention-aware systems
1151. Re-writing HDL Descriptions for Line-aware Synthesis of Reversible Circuits
1152. Real-World Identification: Towards a Privacy-Aware Mobile eID for Physical and Offline Verification
1153. Realization of Line Current Differential Protection over IP-based Networks using IEEE 1588 for Synchronous Sampling
1154. Rectified Factor Networks for Biclustering
1155. Recurrent Neural Networks for Drum Transcription
1156. Reducing the test effort of variability-rich systems by using feature interaction knowledge and variability-aware source code analysis
1157. Reuseable Architecture Variants for Customer-Specific Automation Soluations
1158. Rigorous Modeling and Analysis of Interoperable Medical Devices
1159. Rumors during Crises - The dark Brothers of Social Media
1160. SEEV-Effort - Is it Enough to Model Human Attentional Behavior in Public Display Settings
1161. Scaffolding Stakeholder-centric Enterprise Model Articulation
1162. Searching for Audio by Sketching Mental Images of Sound ? A Brave New Idea for Audio Retrieval in Creative Music Production
1163. Semantic Enrichment of DNOTAMs to Reduce Information Overload in Pilot Briefings
1164. ShakeUnlock: Securely Transfer Authentication States Between Mobile Devices
1165. Snapscreen - Linking Traditional TV and the Internet
1166. Social Microlearning Motivates Learners to Pursue Higher-Level Cognitive Objectives
1167. Speeding up Semantic Segmentation for Autonomous Driving
1168. Standards, Tools and Procedures in Accessible eBook Production
1169. State of the Art in Knowledge Extraction from Online Polls: A Survey of Current Technologies
1170. Sulong - Execution of LLVM-Based Languages on the JVM
1171. Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
1172. Super-Blocked Clauses
1173. Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned
1174. Supporting Variability Exploration and Resolution During Model Migration
1175. Systemic Survival Strategies for Catastrophes
1176. The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
1177. The Dial: Exploring Computational Strangeness
1178. The GiantSteps Project: A Second-Year Intermediate Report
1179. The Influence of Users' Personality Traits on Satisfaction and Attractiveness of Diversified Recommendation Lists.
1180. The LFM-1b Dataset for Music Retrieval and Recommendation
1181. Timbral and Semantic Features for Music Playlists. Accepted presentation at the Machine Learning for Music Discovery.
1182. Towards Deep and Discriminative Canonical Correlation Analysis
1183. Towards End-to-End Audio-Sheet-Music Retrieval
1184. Towards Score Following in Sheet Music Images
1185. Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models
1186. Towards a Model-Based Verification Methodology for Complex Swarm Systems
1187. Towards efficient risk-identification in risk-driven development processes
1188. Towards scaffolding collaborative articulation and alignment of mental models
1189. Towards the exploitation of formal methods for information fusion
1190. Trace-based Register Allocation in a JIT Compiler
1191. Understanding Very Deep Networks via Volume Conservation
1192. Understanding individuals in masses: case study vienna city marathon
1193. Using "piDDs" for Nearest Neighbor Optimization of Quantum Circuits. In Conference on Reversible Computation
1194. Using Instagram Picture Features to Predict Users' Personality
1195. Using a Model-driven, Knowledge-based Approach to Cope with Complexity in Filtering of Notices to Airmen
1196. Vom Seminarraum zur wissenschaftlichen Konferenz - Interuniversitäres forschendes Lernen in virtuellen Teams
1197. Vorwort: Software-Prozesse und -Produkte im Licht kultureller Unterschiede
1198. Workshop: Software-Entwicklungsprozesse und -Produkte im Licht kultureller Unterschiede
1199. madmom: a new Python Audio and Music Signal Processing Library
1200. madmom: a new Python Audio and Music Signal Processing Library
1201. panelcn.MOPS: CNV detection in targeted panel sequencing data for diagnostic use
1202. "I?d like it to do the opposite": Music-Making Between Recommendation and Obstruction
1203. "Quality control" of model development for successful systems interventions
1204. 2D Presentation Techniques of Mind-maps for Blind Meeting Participants
1205. A Comparative Study on Java Technologies for Focus and Cursor Handling in Accessible Dynamic Interactions
1206. A Conceptual Framework for Large-scale Ecosystem Interoperability
1207. A Dataset for Violent Scenes Detection in Hollywood Movies and Web Videos.
1208. A Domain Specific Language for Organisational Interoperability
1209. A Domain-Expert Centered Process Model for Knowledge Discovery in Medical Research: Putting the Expert-in-the-Loop
1210. A First Systematic Mapping Study on Combinatorial Interaction Testing for Software Product Lines
1211. A Formal Foundation for Trace-based JIT Compilers
1212. A Range-based Clustering Method Supporting Similarity Search in Big Data
1213. A Requirements Monitoring Model for Systems of Systems
1214. A Scalable Monitoring Solution for Large-Scale Distributed Systems
1215. A Scalable Monitoring Solution for Large-Scale Distributed Systems
1216. A Study on Architectural Decision-Making in Context
1217. A Tablet App to Enrich the Live and Post-Live Experience of Classical Concerts
1218. A robust alternative to correlation networks for identifying fault systems
1219. AIRM-based, Fine-grained Semantic Filtering of Notices to Airmen
1220. ATM Security - A Case Study of a Logical Risk Assessment (Best Paper Award)
1221. Accurate Tempo Estimation based on Recurrent Neural Networks and Resonating Comb Filters
1222. Accurate and Efficient Object Tracing for Java Applications
1223. Adaptation Engine for Large-Scale Distributed Systems
1224. Adaptation Engine for Large-Scale Distributed Systems
1225. Addressing Tempo Estimation Octave Errors in Electronic Music by Incorporating Style Information Extracted from Wikipedia
1226. An Attributed Predicate RDF
1227. An Efficient Document Indexing-Based Similarity Search in Large Datasets
1228. An Efficient State-Space Model for Joint Tempo and Meter Tracking
1229. An Integration of Software Engineering Methods and Semantic Technologies for Drafting and Modeling Statutes and Legal Rules
1230. An Interactive Exploration Tool for Detailed E-Vehicle Range Analysis
1231. An OLAP Client for Hetero-Homogeneous Data Warehouses (Demo Paper)
1232. Arbeitende im Spannungsfeld IT-unterstu?tzter Arbeitsprozesse ? von der disponierbaren Ressource zum sich selbsterma?chtigenden Individuum
1233. Articulation of Subject-oriented Business Process Models
1234. Artificial Intelligence in the Concertgebouw
1235. AsthMate -- Supporting Patient Empowerment through Location-Based Smartphone Applications
1236. Automatic Debug Circuit for FPGA Rapid Prototyping
1237. Be-In/Be-Out with Bluetooth Low Energy: Implicit Ticketing for Public Transportation Systems
1238. Better Lemmas with Lambda Extraction
1239. Bitcoin & Co: An Ontology for Categorising Cyptocurrencies
1240. Bitemporal Support for Business Process Contingency Management
1241. Blocked Literals are Universal
1242. Bridging the Gap between Software Variability and System Variant Management: Experiences from an Industrial Machinery Product Line
1243. Building Blocks Identification Based on Subtree Sample Counts for Genetic Programming
1244. Business Processes to Touch: Engaging Domain Experts in Process Modelling
1245. Classical Music on the Web - User Interfaces and Data Representations
1246. CloudGazer: A Divide-and-Conquer Approach to Monitoring and Optimizing Cloud-Based Networks
1247. Cognitive load estimation in the car: Practical experience from lab and on-road tests
1248. Collaborating with Intelligent Machines: Interfaces for Creative Sound
1249. Collecting Requirements and Ideas for Architectural Group Decision-Making Based on Four Approaches
1250. Component-based CPS Verification: A Recipe for Reusability
1251. Compositional Propositional Proofs
1252. Confidence and Risk Estimation Plugins for Multi-Modal Authentication on Mobile Devices using CORMORANT
1253. Configuration-Aware Change Impact Analysis
1254. Consistent Co-Evolution of Models and Transformations
1255. Constraint-driven Modeling through Transformation
1256. CoopIS 2015 PC Co-Chairs? Message
1257. Cormorant: Towards Continuous Risk-aware Multi-modal Cross-device Authentication
1258. Cross Pocket Gait Authentication using Mobile Phone Based Accelerometer Sensor
1259. Crowd-Sensing Meets Situation Awareness - A Research Roadmap for Crisis Management
1260. Data, Information & Knowledge Sources in the Agricultural Domain
1261. DesignSpace - An Infrastructure for Multi-User/Multi-Tool Engineering
1262. Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned
1263. Digital Collaboration - Veränderung der Mediennutzung in interuniversitären Lerngruppen
1264. Directional Super-Resolution by means of Coded Sampling and Guided Upsampling
1265. Disaster-management: Challenges for computer-supported process and project management (abstract 2508)
1266. Distinction of Individual Finger Responses in Somatosensory Cortex using ECoG High-Gamma Activation Mapping
1267. Dynamically composing languages in a modular way: supporting C extensions for dynamic languages
1268. ELU-Networks - Fast and Accurate CNN Learning on ImageNet
1269. Early Interbreeding between Ancestors of Humans, Neandertals, and Denisovans within Africa
1270. Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
1271. Efficient Rebuilding of Large Java Heaps From Event Traces
1272. Engaging Interactions with Public Multi-Display Systems: Immersive Assessment
1273. Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
1274. Environment crowd-sensing for asthma management
1275. Erweiterung des Lernraumes: Regionalisierung des Lernangebotes als Beitrag zum Life - Long - Learning
1276. Evaluating CDCL Restart Schemes
1277. Evaluation of Historical Electric Vehicle (EV) Driving Data to Suggest Improvements in Driving Efficiency
1278. Evolution in Dynamic Software Product Lines: Challenges and Perspectives
1279. Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities
1280. Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results
1281. Exploring Data Augmentation for Improved Singing Voice Detection with Neural Networks
1282. Extending Knowledge-Based Profile Matching in the Human Resources Domain
1283. Extracting Variability-Safe Feature Models from Source Code Dependencies in System Variants
1284. Eye-gaze Based Attention Estimation in Minimal Invasive Surgery
1285. Feature Modeling of Two Large-scale Industrial Software Systems: Experiences and Lessons Learned
1286. Field Studies to Investigate Safety Distance Violation with a Low-cost Observation System
1287. Flexible Score Following: The Piano Music Companion and Beyond
1288. Formal Methods for Emerging Technologies
1289. Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation
1290. Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation
1291. From Research to Industry: Interactive Mobile Services for Accelerating Logistics Processes
1292. Generalized Depth-of-Field Light-Field Rendering
1293. Genetic Improvement for Software Product Lines: An Overview and a Roadmap
1294. Gross-Version Singing Voice Detection in Classical Opera Recordings
1295. High-performance cross-language interoperability in a multi-language runtime
1296. How many people can control a motor imagery based BCI using common spatial patterns?
1297. Hybrid FPGA debug approach
1298. I-Vectors for Timbre-Based Music Similarity and Music Artist Classification
1299. IT in der Normsetzung - Semantische Technologien als Lösungsansatz
1300. Imitating Near Field Communication with Bluetooth Low Energy
1301. Improving Local Search For Bit-Vector Logics in SMT with Path Propagation
1302. Improving Music Recommendations with a Weighted Factorization of the Tagging Activity
1303. Influence of Inattentively Perceived Auditory Stimulation on Driving Performance
1304. Insights on Pupil Dilation, Interaction Technique and Effort
1305. Iron Maiden while jogging, Debussy for dinner? - An analysis of music listening behavior in context.
1306. JKU-Satellite at Media Eval 2015: An Intuitive Approach to Locate Single Pictures Within a Session
1307. Java-to-JavaScript translation via structured control flow reconstruction of compiler IR
1308. Judgement and Analysis Rules for Ontology-driven Comparative Data Analysis in Data Warehouses
1309. KUR-Algorithm: From Position to Trajectory Privacy Protection in Location-Based Applications
1310. KeBABS: an R/Bioconductor package for kernel-based analysis of biological sequences
1311. KeYmaera X - An Axiomatic Tactical Theorem Prover for Hybrid Systems
1312. Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid
1313. Lightweight Java Profiling with Partial Safepoints and Incremental Stack Tracing
1314. Listener-Inspired Automated Music Playlist Generation
1315. Listener-aware Music Recommendation from Sensor and Social Media Data
1316. Listener-aware Music Search and Recommendation
1317. Measuring Maintainability of OO-Software - Validating the IT-CISQ Quality Model
1318. Measuring Object-Oriented Design Principles
1319. MediaEval 2015: JKU-Tinnitus Approach to Emotion in Music Task
1320. Memory-safe Execution of C on a Java VM
1321. Model-Based 3-D Shape Recovery in Biplane X-Ray Angiography: A-Priory Information Learned from CT
1322. Model-Driven Co-Evolution for Agile Development
1323. Model-based testing of stateful APIs with Modbat
1324. Modelling Knowledge about Data Analysis Processes in Manufacturing
1325. Modelling a Clustered Generalized Quadratic Assignment Problem
1326. Models in Healthcare Simulation: Typology and Security Issues
1327. Monaural Blind Source Separation in the Context of Vocal Detection
1328. Multilevel Mapping of Ecosystem Descriptions
1329. Multilevel Modeling for Business Process Automation
1330. Multiple-Views Analysis of Computer-Mediated Discourses
1331. Music Retrieval and Recommendation: A Tutorial Overview
1332. On the Influence of User Characteristics on Music Recommendation Algorithms
1333. On the Validity of the IT-CISQ Quality Model for Automatic Measurement of Maintainability
1334. Ontology-based Semantic Support to Improve Accessibility of Graphics
1335. Optimization of Combinatorial Testing by Incremental SAT Solving
1336. PHENICX: Innovating the Classical Music Experience
1337. PODKAT: a software package implementing the position-dependent kernel association test
1338. PONS ? Mobility Assistance on Footpaths for Public Transportation
1339. Paving the Way for Civilian Fleets of Unmanned Aerial Vehicles: A Networking Perspective
1340. Personality & Emotional States: Understanding Users' Music Listening Needs
1341. Personality Correlates for Digital Concert Program Notes
1342. Personality Traits Predict Music Taxonomy Preferences.
1343. Practical Experiences in Measuring and Modeling Drivers Driver-Vehicle Interactions (Summary Article)
1344. Predicting Personality Traits with Instagram Pictures
1345. Property Hypergraphs as an Attributed Predicate RDF
1346. Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality
1347. RFA at MediaEval 2015 Affective Impact of Movies Task: A Multimodal Approach
1348. Real-time Music Tracking Using Multiple Performances as a Reference
1349. Rectified Factor Networks
1350. Resilience 2.0: ICT for Resilience of Systems
1351. Rigorous semantics and refinement for business processes
1352. Sampling-based Steal Time Accounting under Hardware Virtualization
1353. Semantic Mapping Relational to a Directed Property Hypergraph Model
1354. Semi-Automatically Generated Hybrid Ontologies for Information Integration
1355. Simplifying Problem Definitions in the HeuristicLab Optimization Environment
1356. Simulation-based Set-up Time Optimization using Sim# and HeuristicLab
1357. Sliding Window Symbolic Regression for Detecting Changes of System Dynamics
1358. Smart-Home Security
1359. Stepwise approach to Accessible MOOC development
1360. Stochastic Local Search for Satisfiability Modulo Theories
1361. Strategies for Negotiation between Autonomous Vehicles and Pedestrians
1362. Subject-Oriented BPM as the Glue for Integrating Enterprise Processes in Smart Factories
1363. Supporting Blind Students in STEM Education in Austria
1364. Systematic Co-Evolution of OCL Expressions
1365. Tailoring Music Recommendations to Users by Considering Diversity, Mainstreaminess, and Novelty
1366. Techniques and Applications for Guest-Language Safepoints
1367. The ECCO Tool: Extraction and Composition for Clone-and-Own
1368. The MediaEval 2015 Affective Impact of Movies Task
1369. The REMINDS Tool Suite for Runtime Monitoring of Systems of Systems
1370. The Soundtrack of My Life: Adjusting the Emotion of Music
1371. Theorizing Technostress in Organizations: A Cybernetic Approach
1372. Timbral Modeling for Music Artist Recognition Using i-Vectors
1373. Time Matters: Minimizing Garbage Collection Overhead with Minimal Effort
1374. Towards Device-to-User Authentication: Protecting Against Phishing Hardware by Ensuring Mobile Device Authenticity using Vibration Patterns
1375. Towards Flexible and Efficient Process and Workflow Support in Enterprise Modeling
1376. Towards Ontology-Driven RDF Analytics
1377. Towards Personalizing Classical Music Recommendations
1378. Towards Safe Model Transformation for Constraint-driven Modeling
1379. Towards an Architecture for Human-aware Modeling and Execution of Production Processes
1380. Towards context-aware processes in people-centered factories of the future
1381. Towards the Trustworthiness of Data, Information, Knowledge and Knowledge Processing Systems in Smart Homes
1382. Trace register allocation
1383. Two Data Sets for Tempo Estimation and Key Detection in Electronic Dance Music Annotated from User Corrections
1384. Using Big Data for Emotionally Intelligent Mobile Services through Multimodal Emotion Recognition
1385. Using DynamoGraph: Application Scenarios for Large-scale Temporal Graph Processing
1386. Using Feature Feeds to Improve Developer Awareness in Software Ecosystem Evolution
1387. Using Traceability for Incremental Construction and Evolution of Software Product Portfolios
1388. Variability Management for a Runtime Monitoring Infrastructure
1389. Variability Support in Architecture Knowledge Management Approaches: A Systematic Literature Review
1390. Verification and Debugging of UML/OCL Models
1391. Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems
1392. Verordnungen erstellen ohne Rechtskenntnisse - Demonstration eines Curriculum-Designprozesses
1393. Verwendung der Bürgerkarte (Digitale Signatur) für E - Assessment : Realisierung von sicherheitstechnischen und rechtlichen Anforderungen an elektronische Prüfungen
1394. What can Software Engineering Do for Sustainability: Case of Software Product Lines
1395. What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines
1396. Worker-Driven Improvement of Processes in Smart Factories
1397. Workshop Automotive Human-Machine Interfaces (Proceedings)
1398. Zum Verbot von Produktempfehlungen per E-Mail
1399. crowdSA - Towards Adaptive and Situation-Driven Crowd-Sensing for Disaster Situation Awareness
1400. panelcn. MOPS reaches clinical standards as a CNV detection tool for targeted panel sequencing data
1401. "Easy-to-Read on the Web": State of the Art and Needed Research
1402. 3D Progressive Education Environment for S-BPM
1403. A Benchmarking-based Model for Technical Debt Calculation
1404. A Case Study on Software Ecosystem Characteristics in Industrial Automation Software
1405. A Case Study on Testing, Commissioning, and Operation of Very-Large-Scale Software Systems
1406. A Cloud-based GWAS Analysis Pipeline for Clinical Researchers
1407. A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems
1408. A Data Quality Index with Respect to Case Bases within Case-Based Reasoning
1409. A Dynamic Service Module Oriented Framework for Real-World Situation Representation
1410. A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures
1411. A Fresh Look at Codification Approaches for SAKM: A Systematic Literature Review
1412. A Generic Effort-Based Behavior Description for User Engagement Analysis
1413. A Hash-Based Index Method for Securing Biometric Fuzzy Vaults
1414. A High-Performance Hardware Architecture for a Frameless Stereo Vision Algorithm Implemented on a FPGA Platform.
1415. A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines
1416. A Meta-model Guided Expression Engine
1417. A Mobile Guidance Platform for Public Transportation
1418. A Requirements Monitoring Infrastructure for Systems of Systems
1419. A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems
1420. A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
1421. A Survey on Teaching of Software Product Lines
1422. A Systematic Taxonomy of Metamodel Evolution Impacts on OCL Expressions
1423. A Tempo- and Transposition-Invariant Piano Music Companion
1424. A Unified Proof System for QBF Preprocessing
1425. A domain-specific language for building self-optimizing AST interpreters
1426. A formal model of client-cloud interaction,
1427. A multi-model approach to beat tracking considering heterogeneous music styles.
1428. A parallel evolutionary algorithm for prioritized pairwise testing of software product lines
1429. A theoretical framework for knowledge-based entity resolution
1430. Abstract vs Concrete Clabjects in Dual Deep Instantiation
1431. Accessibility of Brainstorming Sessions for Blind People
1432. An Ambient ASM Model of Client-to-Client Interaction via Cloud Computing and an Anonymously Accessible Docking Service
1433. An Efficient Similarity search in Large Data Collections with MapReduce, in Future Data and Security Engineering,Proceedings of the first International Conference, FDSE 2014,HO Chi Minh City Vietnam Nov
1434. An Elastic Approximate Similarity Search in Very Large Datasets with MapReduce
1435. An Open S-BPM Runtime Environment based on Abstract State Machines
1436. An efficient approach for accessing C data structures from JavaScript
1437. An object storage model for the truffle language implementation framework
1438. Analysis and Prediction of Expressive Dynamics Using Bayesian Linear Models
1439. Assessing and obtaining the value of crowd-sourced data with respect to structural health monitoring and case-based reasoning
1440. Automated Configuration of Applications for People with Specific Needs
1441. Automated Stereo Calibration for Event-based Silicon Retina Imagers.
1442. Automatic Authentication to Cloud-Based Services
1443. Automatic Reference Architecture Conformance Checking for SOA-based Software Systems
1444. Automatic and Incremental Product Optimization for Software Product Lines
1445. Behavior-based Decomposition of BPMN 2.0 Control Flow
1446. Behavioral Model Synthesis of PLC Programs from Execution Traces
1447. Benchmarking Violent Scenes Detection in Movies
1448. Bigraph-Ensured Interoperability for System(-of-Systems) Emergence
1449. Blocking Communication Grid via Ill-intentioned Traffic
1450. Bridging the Audio-Symbolic Gap: The Discovery of Repeated Note Content Directly from Polyphonic Music Audio.
1451. Business Process Management for Knowledge Work: Considerations on Current Needs, Basic Concepts and Models
1452. CARE - A Constraint-Based Approach for Re-Establishing Conformance-Relationships
1453. CHI 2039: Speculative Research Visions
1454. Cloud Computing: Risks and Chances
1455. Cloud Security Problems Caused By Virtualization Technology Vulnerabilities And Their Prevention
1456. Coded Exposure HDR Light-Field Video Recording
1457. Collective Data Sharing to Improve on Driving Efficiency and Safety
1458. Collective Wristwear: The World in the Hands of Humankind
1459. Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines.
1460. Conceptual Modelling of Collaboration for Information Systems
1461. Conceptual Modelling with Specific Focus on Service-Oriented Systems
1462. Context variability modeling for runtime configuration of service-based dynamic software product lines
1463. Context-Based Energy Saving Strategies for Continuous Determination of Position on iOS Devices
1464. Cross-Platform End-to-End Encryption of Contact Data for Mobile Platforms using the Example of Android
1465. Customization of Domain-Specific Reference Models for Data Warehouses
1466. DeepSAR: Drug Target Prediction using Deep Learning
1467. Delineating Worker-Centered Organizational Work: Blending BPMS and Social Software Features
1468. Design and Evaluation of the Multimodal Indoor Wayfinding System for the Visually Impaired People
1469. Designing a General Architecture for Data Interchange
1470. Designing and Executing Interoperable IoT Manufacturing Systems
1471. Detecting biomarkers on label-free mass spectrometry data using biclustering
1472. Detecting cardinality constraints in CNF
1473. Detection of Copy Number Variations in Cancer Genomes from High Throughput Sequencing Data
1474. Didactic Support of Diversity of Learning Styles? Potential Analysis of Three Collaborative Learning Methods within e-Business Education
1475. Directed Effort - a generic measurand for higher level behavior analysis
1476. Diversity in Locked and Unlocked Mobile Device Usage
1477. Dual Deep Instantiation and Its ConceptBase Implementation
1478. Early Detection of Critical Faults Using Time-Series Analysis on Heterogeneous Information Systems in the Automotive Industry
1479. Efficient Extraction of Skolem Functions from QRAT Proofs
1480. Efficient and Accurate Stack Trace Sampling in the Java Hotspot Virtual Machine (Work In Progress Paper)
1481. Embedded Web Device Security
1482. Embedding formal models into Latex documents
1483. Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants
1484. Enhancing Music Recommender Systems with Personality Information and Emotional States: A Proposal.
1485. Evaluating the evaluation measures for beat tracking
1486. Evaluation of Driver Stress while Transiting Road Tunnels
1487. Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask)
1488. Experimenting with SAT Solvers in Vampire
1489. FABIA: A Probabilistic Model for Biclustering and its Application to Analyzing Big Data in Drug Design
1490. Fast Java Profiling with Scheduling-Aware Stack Fragment Sampling and Asynchronous Analysis
1491. Feature Interaction and Emergent Properties
1492. Feature Model Synthesis with Genetic Programming
1493. Formant Analysis of Altered Notes in a Diatonic Harmonica
1494. From Safety to Guilty and from Liveness to Niceness
1495. Generating an excerpt of a service level agreement from a formal definition of non-functional aspects using owl
1496. Genre-based Analysis of Social Media Data on Music Listening Behavior
1497. Goal Oriented Smart Watches for Cyber Physical Superorganisms
1498. High-performance language interoperability in multi-language runtimes
1499. Human Decisions in User Modeling: Motivation, Procedure and Example Application
1500. Identifying Differential Expression in RNA-Seq Studies with Unknown Conditions
1501. Identifying Inactive Code in Product Lines with Configuration-Aware System Dependence Graphs
1502. Identity by descent between humans, Denisovans, and Neandertals
1503. Impact of Listening Behavior on Music Recommendation.
1504. Improved Musical Onset Detection with Convolutional Neural Networks
1505. Improving Neighborhood-Based Collaborative Filtering by Reducing Hubness.
1506. Improving implementation of SLS solvers for SAT and new heuristics for k-SAT with long clauses
1507. Inconsistency Resolution in Merging Versions of Architectural Models
1508. Inferring Variability from Customized Standard Software Products
1509. Large-scale Analysis of Group-specific Music Genre Taste From Collaborative Tags
1510. Learning for Sustainable Organisational Interoperability
1511. Listen2dRoom: Helping visually impaired people navigate indoor environments using an ultrasonic sensor-based orientation aid
1512. Location-Aware Music Artist Recommendation
1513. LumiConSense: A Transparent, Flexible, Scalable, and Disposable Image Sensor Using Thin-Film Luminescent Concentrators
1514. MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing
1515. Making Tabletop Interaction Accessible for Blind Users
1516. Mobile Application to Java Card Applet Communication using a Password-authenticated Secure Channel
1517. Mobile Device Usage Characteristics: The Effect of Context and Form Factor on Locked and Unlocked Usage
1518. Mobile Music Genius: Reggae at the Beach, Metal on a Friday Night?
1519. Model Checking of CTL-Extended OCL Specifications
1520. Modeling Multiplicity and Hierarchy in Product Line Architectures: Extending a Decision-Oriented Approach
1521. Modeling a Web Application for Cloud Content Adaptation with ASMs
1522. Monitoring of Client-Cloud Interaction
1523. Mutually Reenforcing Innovations in ICT, Business, and Society
1524. OCP2XI Bridge: an OCP to AXI Protocol Bridge
1525. Objective Safety Compliance Checks for Source Code
1526. Obtaining a data quality index with respect to case bases
1527. On Context- and Sequence-Aware Document Enrichment and Retrieval towards Personalized Recommendations
1528. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
1529. On the Reduction of False Positives in Singing Voice Detection
1530. On the Utilization of Smart Gadgets for Energy Aware Sensitive Behavior
1531. Optimal Derotation of Shared Acceleration Time Series by Determining Relative Spatial Alignment
1532. Optimizing Reaction and Processing Times in Automotive Industry's Quality Management - A Data Mining Approach
1533. Orientation Independent Cell Phone Based Gait Authentication
1534. Panorama Light-Field Imaging
1535. Partial Escape Analysis and Scalar Replacement for Java
1536. Partial witnesses from preprocessed quantified Boolean formulas
1537. Peer-Review from Learners? Perspective
1538. Population specific patterns of novel haplotype groups at the PAH locus
1539. Presenting Non-Verbal Communication to Blind Users in Brainstorming Sessions
1540. Probabilistic Extraction of Beat Positions from a Beat Activation Function
1541. Process Models for Disaster Management - Standardization and Assessment
1542. Quad-Based Audio Fingerprinting Robust to Time and Frequency Scaling
1543. Query Handling in Geometric Conceptual Modelling
1544. Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems
1545. Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems
1546. Renement of BPMN 2.0 Inclusive and Complex Gateway Activation Concept towards Process Engine
1547. Roadmap to eAccessibility
1548. SAT-Based Synthesis Methods for Safety Specs
1549. SEM² Suite - Towards a Tool Suite for Supporting Knowledge Management in Situation Awareness Systems
1550. SPLTea 2014: First International Workshop on Software Product Line Teaching
1551. STo Post or Not to Post: The Effects of Persuasive Cues and Group Targeting Mechanisms on Posting Behavior.
1552. Second International Workshop on Reverse Variability Engineering (REVE 2014)
1553. Separation of Concerns in Model Elicitation - Role-based Actor-driven Business Process Modeling
1554. Separation of Concerns in Model Elicitation ? Role-based Actor-driven Business Process Modeling
1555. Service Development and Architecture Management for an Enterprise SOA
1556. ShakeUnlock: Securely Unlock Mobile Devices by Shaking them Together
1557. Show Me the Invisible: Visualizing Hidden Content
1558. Similarity Analysis within Product Line Scoping: An Evaluation of a Semi-Automatic Approach
1559. SoMeRA 2014: Social Media Retrieval and Analysis Workshop
1560. Social Driving Services: Very Cool, But How To Guarantee Application On Broad-Scale?
1561. Social Media and Classical Music? - A first analysis within the PHENICX project: "Performances as Highly Enriched aNd Interactive Concert eXperiences"
1562. Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study
1563. Specifying Transaction Control to Serialize Concurrent Program Executions
1564. Speculation without regret: reducing deoptimization meta-data in the Graal compiler
1565. Staying Aware in an Evolving World - Specifying and Tracking Evolving Situations
1566. Subject-Oriented Employee Involvement and Empowerment in Organizational Innovation
1567. Subject-Oriented Process Design Across Organizational Control Layers
1568. Subliminal Visual Information to Enhance Driver Awareness and Induce Behavior Change
1569. Supporting Multiplicity and Hierarchy in Model-based Configuration: Experiences and Lessons Learned
1570. Technologies for Web and Cloud Service Interaction
1571. Tempo- and Transposition-invariant Identification of Piece and Score Position
1572. The Complete Classical Music Companion v0.9
1573. The Human Face of Mobile
1574. The Piano Music Companion
1575. The Superorganism of Massive Collective Wearables
1576. The Use of Social Media for Music Analysis and Creation Within the GiantSteps Project
1577. The Value of Software Documentation Quality
1578. The taming of the shrew: increasing performance by automatic parameter tuning for java
1579. Towards Cloud-based Distributed Scaleable Processing over Large-scale Temporal Graphs
1580. Towards Methodological Support for the Engineering of Process Reference Models for Product Software
1581. Towards Model-and-Code Consistency Checking
1582. Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines
1583. Towards a Drum Transcription System Aware of Bar Position
1584. Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments
1585. Tracking the 'Odd': Meter Inference in a Culturally Diverse Music Corpus
1586. TruffleC: dynamic execution of C on a Java virtual machine
1587. Turbo-Charging Lemmas on Demand with Don't Care Reasoning
1588. Unsupervised Learning and Refinement of Rhythmic Patterns for Beat and Downbeat Tracking.
1589. User Geospatial Context for Music Recommendation in Microblogs
1590. Using social media mining for estimating theory of planned behaviour parameters
1591. Using the Juliet Test Suite to compare Static Security Scanners
1592. Utilizing Private Variants in Large Genome-Wide Association Studies: Issues, Techniques, Experiences
1593. Variability in Artifact-Centric Process Modeling: The Hetero-Homogeneous Approach
1594. Variability-Aware Change Impact Analysis of MultiLanguage Product Lines
1595. Virtual Braille-Keyboard in Co-located Meetings
1596. What Really Moves Us in Music: Expressivity as a Challenge to Semantic Audio Research
1597. Where Has All My Memory Gone? Determining Memory Characteristics of Product Variants using Virtual-Machine-Level Monitoring
1598. Who cares about trust, grade of traveling & quality of user experience in a world of autonomous cars?
1599. Workshop "Social, Natural, and Peripheral Interactions: Together and Separate"
1600. iDQ: Instantiation-Based DQBF Solving
1601. A User Modelling Wizard for People with Motor Impairments
1602. HapFABIA: Identification of very short segments of identity by descent (IBD) via biclustering
1603. How to improve the statistical power of the 10-fold cross validation scheme in recommender systems
1604. Learning Binary Codes for Efficient Large-Scale Music Similarity Search
1605. Managing Irrelevant Contextual Categories in a Movie Recommender System.
1606. Musical Onset Detection with Convolutional Neural Networks
1607. Parameters for service level agreements generation in cloud computing.
1608. Personality and Social Context : Impact on Emotion Induction from Movies
1609. The Million Musical Tweet Dataset: What We Can Learn From Microblogs.
1610. Adapting Quality Models for Assessments - Concepts and Tool Support
1611. Guided Generation and Evaluation of Accessible Scalable Vector Graphics
1612. Real-Time Gaze Tracking for Public Displays
1613. An Approach for a Method and a Tool Supporting the Evaluation of the Quality of Static Code Analysis Tools
1614. Experiment for Comparing the Automatically Assessed Source Code Quality with Experts' Opinions
1615. Benchmarking-oriented Analysis of Source Code Quality - Experiences with the QBench Approach
1616. On the Relation between External Software Quality and Static Code Analysis
1617. SemWIQ - Semantic Web Integrator and Query Engine
1618. A Tool for Calculating eReadiness
1619. Transitioning to a Software Product Family Approach - Challenges and Best Practices
1620. Smart Roads in the Pervasive Computing Landscape

Publikationstyp: Aufsatz / Paper in Tagungsband (nicht-referiert)

1. Efficient Post-Silicon Run-Time Error Detection for Systems-on-Chip (Extended Abstract)
2. Validation of Formal Models by Timed Probabilistic Simulation
3. Acoustic Scene Classification with Mismatched Recording Devices
4. Automatisiertes Simulationsmodell für Transformatorwicklungen
5. CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020
6. Comparison of two Teleconferencing Systems with respect to Accessibility and Usability for Blind Persons: Zoom and BigBlueButton
7. ENTELIS+: Accessibility skills for a technology enhanced learning in an inclusive society
8. How to Select an Accessible Learning Management System for Distance Education
9. Including Students with Disabilities in Distance Education
10. Methode und Werkzeugkette zur Thermischen Optimierung mit Finite Elemente Simulationen
11. Project RADAR: Vocational Guidance and Employability for Blind and Partially Sighted People
12. Arithmetic Verification Problems Submitted to the SAT Race 2019
13. Artificial Intelligence - Unterstützung für die Interne Revision oder Konkurrenz?
14. CaDiCaL at the SAT Race 2019
15. CryptoMiniSat 5.6 with YalSAT at the SAT Race 2019
16. Evaluate Your Test Program's Performance - A Virtual Test for Industrial Needs
17. Truth Assignments as Conditional Autarkies
18. Wahrnehmung von digitalem Stress im Arbeitsalltag
19. Elektrostatische Entladung ? Grundlagen, Messvorschriften, Modelle und Simulationen bzgl. elektronischen Geräten/Systemen und Integrierten Schaltungen
20. Feature-Oriented Development in Industrial Automation Ecosystems, In: Report from Dagstuhl Seminar 18182 (Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research)
21. First International Workshop on Variability and Evolution of Software-intensive Systems (VariVolution)
22. Importance of Risk Definition for IT Risk Control
23. Preface to the 5th international Workshop on multi-Level modelling (MULTI 2018) - Co-located with the ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (Models 2018), Copenhagen, Denmark
24. SPLtea 2018: Third International Workshop on Software Product Line Teaching
25. Social Video Learning im Inverted Classroom
26. Zum Umgang mit Heterogenität in gestaltungsorientierten Lehrveranstaltungen durch Flipped-Classroom-Formate und Design-Thinking-Projekte
27. BioViz: An Interactive Visualization Engine for Microfluidic Biochips
28. Establishing Trace-Links for Runtime Diagnosis Support in System of Systems
29. MoLS 2017 Workshop Chairs' Welcome / Introduction
30. Networked Labs-on-Chips (NLoCs): A Passive Droplet Routing Concept for Two-Phase Flow Microfluidics
31. Adopting Concepts of Freinet Pedagogy in Higher Education - A Report on the Design and Evolution of a Didactical Experiment
32. Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016
33. Extraktion von Frame Conditions aus Operation Contracts
34. Long Short-Term Memory For Autonomous Driving Cars
35. Meinung wird zu Wissen: Semantische Analyse und Verwertung von Online-Abstimmungen in den Medien
36. Message from Organizing Chairs
37. Optimized Realizations of Expressions for HDL-based Synthesis of Reversible Logic Circuits
38. Reversible Logic: Whats next?
39. Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016
40. Synthesis of Optical Circuits with Contradictory Optimization Objectives
41. When Embedded Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare
42. Advanced and Emerging Solutions: ICT and AT in Education of Low Vision and Blind Students
43. Arbeitende im Spannungsfeld IT-unterstützter Arbeitsprozesse
44. SPLTea 2015: Second International Workshop on Software Product Line Teaching
45. Sensor Based Activity Recognition - A Pervasive Computing Perspective
46. Public-Key-Infrastruktur für elektronische Lehrveranstaltungsprüfungen
47. Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014

Publikationstyp: Aufsatz / Paper in Sammelwerk (referiert)

1. Actively Involving Students by Formative eAssessment: Students Generate and Comment on E-exam Questions
2. (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
3. An Efficient Nearest Neighbor Design for 2D Quantum Circuits
4. Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks
5. Autonomous Vehicles: Vulnerable Road User Response to Visual Information Using an Analysis Framework for Shared Spaces
6. Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips
7. Path Planning for Semi-autonomous Agricultural Vehicles
8. Simulation and Design of Quantum Circuits
9. Tindustry: Matchmaking for I4. 0 Components
10. Disposable dynamic accumulators: toward practical privacy-preserving mobile eIDs with scalable revocation
11. Early Fault Detection in Reciprocating Compressor Valves by Means of Vibration and pV Diagram Analysis
12. Explaining and Interpreting LSTMs
13. Interpretable Deep Learning in Drug Discovery
14. Live and global consistency checking in a collaborative engineering environment
15. NeuralHydrology ? Interpreting LSTMs in Hydrology
16. Technological intrapreneurs ? intrapreneurial orientation and potential of IT students
17. Tools and Applications for Cognitive Accessibility
18. Visual Scene Understanding for Autonomous Driving Using Semantic Segmentation
19. Active, Real-Time, and Intellective Data Warehousing
20. CrossTeaching Interuniversity Research-Based Learning in Virtual Teams
21. Digitales Peer Review in der Hochschullehre. Wie eine Evaluierungsmethode den Lernprozess direkt unterstützt
22. Emerging Circuit Technologies: An Overview on the Next Generation of Circuits
23. Intertwining e-learning technologies and pedagogies at the system design stage to support personalized learning
24. Multilevel Modeling
25. Transactional Value Analytics in Organizational Development
26. A Fair Performance Comparison of Dierent Surrogate Optimization Strategies
27. A General Solution Approach for the Location Routing Problem
28. Analysing a Hybrid Model-Based Evolutionary Algorithm for a Hard Grouping Problem
29. Analysis and Visualization of the Impact of Different Parameter Configurations on the Behavior of Evolutionary Algorithms
30. Analysis of Schema Frequencies in Genetic Programming
31. Counterexample-Guided Model Synthesis
32. Embedding Interuniversity Peer Review in Virtual Learning Groups. A Research-based Learning Scenario
33. Facilitating Evolutionary Algorithm Analysis with Persistent Data Structures
34. Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability
35. Integrating Exploratory Landscape Analysis into Metaheuristic Algorithms
36. Long-Term Analysis of the Open ACS Community Framework
37. Measures for the Evaluation and Comparison of Graphical Model Structures
38. Medical Device Security
39. Multilevel Modeling
40. Need for Continous Evolution of Systems Engineering Practices for Modern Vehicle Engineering
41. Offspring Selection Genetic Algorithm Revisited: Improvements in Efficiency by Early Stopping Criteria in the Evaluation of Unsuccessful Individuals
42. Optimization Networks for Integrated Machine Learning
43. Propagation Based Local Search for Bit-Precise Reasoning
44. Short Proofs Without New Variables
45. Sliding Window Symbolic Regression for Predictive Maintenance using Model Ensembles
46. Solving the Traveling Thief Problem using Orchestration in Optimization Networks
47. Wirtschaftsinformatik an der JKU ? Über die Wirkung eines Memorandums
48. A Research Agenda for Human Computer Confluence
49. Biclustering Methods in Chemoinformatics and Molecular Modeling
50. Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
51. FABIA
52. Gene Expression Experiments in Drug Discovery
53. HapFABIA: Biclustering for Detecting Identity by Descent
54. Human-Car Confluence: ?Socially-Inspired Driving Mechanisms?
55. Introduction
56. Lernstiladaptierte Lehre in Wirtschaftsfächern: Unterstützung der Diversität des Lernens durch verschiedene kollaborative Lernmethoden
57. Music Recommender Systems
58. Peer Review from Teachers? Perspective
59. Public Key Infrastructure for e-Assessment
60. Q-Resolution with Generalized Axioms
61. Ranking of Biclusters in Drug Discovery Experiments
62. The BiclustGUI Package
63. The Plaid Model
64. Third Person Data
65. Using Geometric Symbolic Fingerprinting to Discover Distinctive Patterns in Polyphonic Music Corpora
66. biclustGUI Shiny App
67. ?-biclustering and FLOC Algorithm
68. A Formal Model of Client-Cloud Interaction
69. Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection
70. Chapter 12: Localization, Cultural Preferences and Global Commerce - Software Like a Cooperative Partner
71. Codesign of Web Information Systems
72. Complexity Measures for Multi-Objective Symbolic Regression
73. Diversity-based Offspring Selection Criteria for Genetic Algorithms
74. Evaluating CDCL Variable Scoring Schemes
75. Heinz Zemanek: Ingenieur, Wissenschafter und Weichensteller mit Weitblick
76. Modeling a Lot-Aware Slab Stack Shuffling Problem
77. Monitoring of Client-Cloud Interaction
78. On the Effectiveness of Genetic Operations in Symbolic Regression
79. Optimal derotation of shared acceleration time series by determining relative spatial alignment (2nd Edition)
80. Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems
81. Optimizing Set-up Times using the HeuristicLab Optimization Environment
82. Proofs for Satisfiability Problems
83. What Constitutes a Service on the Web?
84. A combined model of sensory and cognitive representations underlying tonal expectations in music: from audio signals to behavior
85. Configuring and Generating Technical Documents
86. Intercultural Collaborative Learning Scenarios in E-Business Education
87. Learning-Oriented Question Recommendation Using Bloom's Taxonomy and Variable Length Hidden Markov Models
88. On the Interoperability Contributions of S-BPM
89. Ontology of Enterprise Interoperability extended for Complex Adaptive Systems
90. Ontology-driven Business Intelligence for Comparative Data Analysis
91. Requirements for Supporting Enterprise Interoperability in Dynamic Environments
92. Boehm's Spiral Model Revisited
93. PARIS ? Personal Augmented Reality Information System

Publikationstyp: Aufsatz / Paper in Sammelwerk (nicht-referiert)

1. ACM SIGSOFT International Workshop on Software-Intensive Business: Start-ups, Platforms, and Ecosystems
2. Foreword to the special issue on empirical research in requirements engineering: Best papers of REFSQ 2019
3. Informationstechnologie: Grundlagen
4. Voice Movement Icons in der Praxis des Fremdsprachenunterrichts (am Beispiel von italienisch)
5. Voice Movement Icons: Wenn der Körper Wörter in der Fremdsprache lernt
6. A Survey on Applications of Quantified Boolean Formulas
7. A Virtual Development and Evaluation Framework for ADAS?Case Study of a P-ACC in a Connected Environment
8. Der Beitrag der Informatik zur Musikwirtschaftsforschung
9. Informatik als Schlüsseldisziplin der Zukunft
10. A Review of ICT Status and Development: Tajikistan Case Study
11. Arbeitsprozesse artikulieren - auf dem Weg zu einem gemeinsamen Verständnis
12. Augmented Reality (AR)
13. Das Web - Vergangenheit
14. Design Automation for Labs-on-Chip
15. Digital Education
16. Digitale Universítät
17. Freizeit und Sport
18. Internet als gesellschaftsspaltendes Phänomen
19. Internettechnologien
20. Machine Learning-Based Individualized Prognosis
21. Networked Labs-on-Chips: From the Specification to the Physical Realization
22. SENEX Sensor Networks for Exploring Dementia
23. Schutz von und vor Datenverwendung?
24. Security for Medical Data and Processes
25. Semantic Data Warehousing & Process-Oriented Medical Information Management
26. Semantic Web
27. Smart Home und Smart Entertainment im Grenzbereich zwischen Gegenwart und Zukunft
28. Smart, mobil, geolokalisiert - Mobile Business
29. Social Networking
30. Surgical Instruments Featuring Embedded Intelligence
31. TourGuide - Navigation System for Capturing and Analyzing Complex Clinical Data
32. Vom Geschäft mit Nutzerdaten bis zum Big Data
33. Webwissenschaften
34. Wireless Communication Networks
35. Zukünftige Entwicklungen der Verkehrsmobilität
36. Die Einführung von hochautomatisiertem Fahren: Potenziale, Risiken, Probleme
37. Towards a Crowd-Sensing Enhanced Situation Awareness System for Crisis Management
38. Runtime Traceability Challenges in Systems of Systems
39. Das individuelle Gesetzbuch - Open Government Data aus dem RIS
40. Sustainability in Software Product Lines

Publikationstyp: Aufsatz / Paper in Online-Archiv (referiert)

1. How Can We Learn Foreign Language Vocabulary More Easily?
2. Rainfall-Runoff Prediction at Multiple Timescales with a Single Long Short-Term Memory Network
3. A Statistical View on Synthetic Aperture Imaging for Occlusion Removal
4. Benchmarking a catchment-aware Long Short-Term Memory Network (LSTM) for large-scale hydrological modeling
5. Light-Field Microscopy: A Review
6. Ordino: a visual cancer analysis tool for ranking and exploring genes, cell lilnes and tissue samples
7. Quantum Optical Experiments Modeled by Long Short-Term Memory
8. A Parity Game Tale of Two Counters
9. Frechet ChemblNet Distance: A metric for generative models for molecules
10. Revisiting Decision Diagrams for SAT
11. Which design best practices should be taken care of?
12. Applicability of keystroke dynamics as a biometric security feature for mobile touchscreen devices with virtualised keyboards
13. Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems
14. Collaborative Subject-oriented Workplace Re-design
15. OPC UA Interface for a BPM Suite to Enable Seamless Process Management
16. A Tactile Presentation Method of Mind maps in co-located Meetings
17. Aiding Drug Design with Deep Neural Networks
18. An Architecture for Secure Mobile Devices
19. Deep Learning as an Opportunity in Virtual Screening
20. Deep Learning as an Opportunity in Virtual Screening
21. Deep Learning for Drug Target Prediction
22. Multi-Task Deep Networks for Drug Target Prediction
23. Rectified Factor Networks and Dropout

Publikationstyp: Aufsatz / Paper in Online-Archiv (nicht-referiert)

1. A Deep Learning Approach for Network Anomaly Detection
2. MC-LSTM: Mass-Conserving LSTM
3. Machine Learning based COVID-19 Diagnosis from Blood Tests with Robustness to Domain Shifts
4. Modern Hopfield Networks for Few- and Zero-Shot Reaction Prediction
5. Trusted Artificial Intelligence: Towards Certification of Machine Learning Applications
6. immuneML: an Ecosystem for Machine Learning Analysis of Adaptive Immune Receptor Repertoires
7. Adolf Adam - Ein Leben in Anekdoten (PDF-Version)
8. Adversary Models for Mobile Device Authentication
9. Align-RUDDER: Learning From Few Demonstrations by Reward Redistribution
10. Convergence Proof for Actor-Critic Methods Applied to PPO and RUDDER
11. Cross-Domain Few-Shot Learning by Representation Fusion
12. DeepRC: Immune repertoire classification with attention-based deep massive multiple instance learning
13. End-to-End Adversarial White Box Attacks on Music Instrument Classification
14. Fuzzy Spreadsheet: Understanding and Exploring Uncertainties in Tabular Calculations
15. Hopfield Networks is All You Nee
16. Large-scale ligand-based virtual screening for SARS-CoV-2 inhibitors using deep neural networks
17. Modern Hopfield Networks and Attention for Immune Repertoire Classification
18. On Data Augmentation and Adversarial Risk: An Empirical Analysis
19. Post Behind the Paper in Nature Electronics: Promoting-trust-in-self-driving-vehicles
20. Provectories: Embedding-based Analysis of Interaction Provenance Data
21. Receptive-Field Regularized CNNs for Music Classification and Tagging
22. Towards Musically Meaningful Explanations Using Source Separation
23. Uncertainty Estimation with Deep Learning for Rainfall-Runoff Modelling
24. Barrierefreiheit von Medien für die Wissensgesellschaft und für inklusive Lernprozesse
25. Coulomb GANs: Provably Optimal Nash Equilibria via Potential Fields
26. Cryptanalysis and improvement of a Multi-Server Authenticated Key Agreement by Chen and Lee?s Scheme
27. RUDDER: Return Decomposition for Delayed Rewards
28. GANs Trained by a Two Time-Scale Update Rule Converge to a Nash Equilibrium
29. Repurposed High-Throughput Images Enable Biological Activity Prediction For Drug Discovery
30. Self-Normalizing Neural Networks
31. Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications
32. Rectified Factor Networks
33. The QBF Gallery: Behind the Scenes
34. Toxicity Prediction using Deep Learning
35. Ein integrativer Ansatz zur semantischen Modellierung von Rechtstexten
36. Sharing of Very Short IBD Segments between Humans, Neandertals, and Denisovans

Publikationstyp: Monographie (Erstauflage)

1. Adolf Adam - Ein Leben in Anekdoten
2. Designing Droplet Microfluidic Networks: A Toolbox for Designers
3. Digitaler Stress: Wie er uns kaputt macht und was wir dagegen tun können
4. Enhanced Virtual Prototyping
5. Funktionale Programmierung in Java
6. Introducing Design Automation for Quantum Computing
7. Designing Digital Work - Concepts and Methods for Human-centered Digitization
8. Exact Design of Digital Microflluidic Biochips
9. Runter vom Sofa
10. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
11. Commoning - Prozessgestaltung und Transformation
12. Ganzheitliche Digitalisierung von Prozessen: Perspektivenwechsel-Design Thinking-wertegeleitete Interaktion
13. NeuroIS Retreat: 10 Years Anniversary Book
14. Automatic Methods for the Refinement of System Models
15. Compact Representations for the Design of Quantum Logic
16. Next Generation JKU
17. Pattern Discovery in High-Dimensional Problems Using Biclustering Methods for Binary Data
18. Displays: Fundamentals and Applications
19. Information Systems and Neuroscience: Gmunden Retreat on NeuroIS 2015 (Lecture Notes in Information Systems and Organisation)
20. Multilevel Business Processes: Modeling and Data Analysis
21. A Rigorous Semantics for BPMN 2.0 Process Diagrams
22. Der Dalton Plan im E-Learning : Transformation einer Reformpädagogik ins Web
23. Learning-oriented Question Recommendation

Publikationstyp: Monographie (Folgeauflage)

1. Kompaktkurs C# 7
2. Displays: Fundamentals and Applications
3. Kompaktkurs C# 6.0
4. Kompaktkurs C# 5.0

Publikationstyp: Handbuch (Erstauflage)

1. Bewegtes Lernen - Handbuch für Forschung und Praxis
2. Contextual Process Digitalization. Changing Perspectives ? Design Thinking ? Value-Led Design
3. Cube-and-Conquer for Satisfiabilityn
4. Parallel Solving of Quantified Boolean Formulas
5. SAT-Based Model Checking
6. Music Similarity and Retrieval ? An Introduction to Audio- and Web-based Strategies

Publikationstyp: Lehrbuch (Erstauflage)

1. Fundamentals of NeuroIS - Information Systems and the Brain.
2. Fundamentals of NeuroIS: Information Systems and the Brain (Studies in Neuroscience, Psychology and Behavioral Economics)
3. UML@Classroom: An Introduction to Object-Oriented Modeling

Publikationstyp: Lehrbuch (Folgeauflage)

1. Management von Informatik-Projekten: Digitale Transformation erfolgreich gestalten
2. Computernetzwerke - Grundlagen, 2. aktualisierte und erweiterte Auflage
3. Informationsmanagement - Grundlagen, Aufgaben, Methoden (11. Auflage)
4. Sprechen Sie Java?

Publikationstyp: Fachbuch als Band einer Schriftenreihe/Serie (Erstauflage)

1. Lifelogging for Organizational Stress Measurement: Theory and Applications
2. Meilensteine der Elektrizität
3. Vom Morsetelegraphen zum Computer
4. Der Nutzen semantischer Technologien bei Erstellung und Pflege von Rechtstexten am Beispiel von Curricula
5. Metaheuristic Algorithms for the Quadratic Assignment Problem: Performance and Comparison
6. Methods for Genealogy and Building Blocks Analysis in Genetic Programming
7. Multi-Population Genetic Programming with Data Migration for Symbolic Regression in Computational Intelligence and Efficiency in Engineering Systems
8. Simulation-Based Optimization with HeuristicLab: Practical Guidelines and Real-World Applications
9. Hugo Gernsback uns seine technischen Magazine
10. Aufsätze zur Geschichte der Informationstechnik

Publikationstyp: Kommentar

1. Tüfteln an der Autonomie
2. Towards an Integrated View on QoE and UX: Adding the Eudaimonic Dimension

Publikationstyp: Entscheidungsbesprechung

1. OGH 6 Ob 58/14v: Zum Auskunftsanspruch nach § 18 Abs 4 ECG bei dynamischen IP-Adressen

Publikationstyp: Wissenschaftliche Fachzeitschrift (Herausgeberschaft)

1. Journal on Satisfiability, Boolean Modeling and Computations: Special volume on SAT 2018 Competitions and Evaluations
2. International Journal of Pervasive Computing and Communications
3. International Journal of Pervasive Computing and Communications
4. International Journal of Pervasive Computing and Communications
5. International Journal of Pervasive Computing and Communications
6. International Journal of Pervasive Computing and Communications

Publikationstyp: Tagungsband Herausgeberschaft (Erstauflage)

1. ICCHP 2020 - Computers Helping People with Special Needs, Part I
2. ICCHP 2020 - Computers Helping People with Special Needs, Part II
3. ICCHP Open Access Compendium - Future Perspectives of AT, eAccessibility and eInclusion
4. Computers Helping People with Special Needs, ICCHP 2018, Part 1
5. Computers Helping People with Special Needs, ICCHP 2018, Part 2
6. Proceedings of the Workshops Subject-orientation in Digitalization and Community Support, and Work-In-Progress Contributions at S-BPM ONE 2018 (SBPM-ONE-WS-WiP)
7. Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
8. MSM 2017 - Proceedings of the Symposium on Modeling and Simulation in Medicine
9. Abstract State Machines, Alloy, B, TLA, VDM, and Z
10. Computer Helping People with Special Needs
11. Computer Helping People with Special Needs
12. MSM 2016 - Proceedings of the Symposium on Modeling and Simulation in Medicine
13. Proccedings of the 10th European Conference on Software Architecture Workshops
14. Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016
15. MSM 2015 - Proceedings of the Symposium on Modeling and Simulation in Medicine
16. Proceedings of the 3rd Workshop on Emotions and Personality in Personalized Systems (EMPIRE)
17. Workshop on In-Vehicle Auditory Interactions (Proceedings)
18. Workshop on Practical Experiences in Measuring and Modeling Drivers and Driver-Vehicle Interactions (Proceedings)
19. Computers Helping People with Special Needs
20. Computers Helping People with Special Needs
21. Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)
22. Proceedings of the 8th International Conference on Tests and Proofs

Publikationstyp: Tagungsband Mitherausgeberschaft (Erstauflage)

1. Big Data Analytics and Knowledge Discovery - 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (2020)
2. Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I (2020)
3. Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part II (2020)
4. Database and Expert Systems Applications - DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings
5. Electronic Government and the Information Systems Perspective - 9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (2020)
6. Information Systems and Neuroscience: NeuroIS Retreat 2020
7. Proceedings of the 18th International Conference on Advances in Mobile Computing & Multimedia (MoMM2020) - Chiang Mai, Thailand, November 2020
8. Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS '20), Chiang Mai, Thailand, November 2020
9. Trust, Privacy and Security in Digital Business - 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (2020)
10. Big Data Analytics and Knowledge Discovery - 21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019
11. Database and Expert Systems Applications - DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26-29, 2019, Proceedings
12. Electronic Government and the Information Systems Perspective - 8th International Conference, EGOVIS 2019, Linz, Austria, August 26-29, 2019, Proceedings
13. First International Workshop on Languages for Modelling Variability (MODEVAR 2019)
14. Fourth International Workshop on Languages for Modelling Variability (SPLTea 2019)
15. IDIMT-2019, Innovation and Transformation in a Digital World, 27th Interdisciplinary Information Management Talks
16. Industrial Applications of Holonic and Multi-Agent Systems - 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings
17. Information Systems and Neuroscience: NeuroIS Retreat 2019
18. Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp 2019)
19. Proceedings of the 17th International Conference on Advances in Mobile Computing and Multimedia (MoMM2019)
20. Proceedings of the 21st International Conference on Information Integration and Web-based Applications and Services (iiWAS2019)
21. Proceedings of the International Workshop on Petri Nets and Software Engineering
22. SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B
23. Software Evolution in Time and Space: Unifying Version and Variability Management
24. Software-Intensive Business: Start-ups, Platforms, and Ecosystems -- Proceedings of the 2nd ACM SIGSOFT International Workshop (IWSiB'19)
25. Systems: from science to practice - Proceedings of the 19th IFSR Conversation 2018
26. Trust, Privacy and Security in Digital Business - 16th International Conference, TrustBus 2019, Linz, Austria, August 26-29, 2019, Proceedings
27. 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)
28. IDIMT-2018, Strategic Modeling in Management, Economy and Society
29. Proceedings of the 16th International Conference on Advances in Mobile Computing and Multimedia, MoMM 2018, Yogyakarta, Indonesia, November 19-21, 2018
30. Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2018, Yogyakarta, Indonesia, November 19-21, 2018
31. SPLC'18: Proceedings of the 22nd International Conference on Systems and Software Product Line - Volume 1
32. 25 Years of IDIMT: A History of Continuity and Change
33. IDIMT-2017, Digitalization in Management, Society and Economy
34. Proceedings of The 15th International Conference on Advances in Mobile Computing & Multimedia (MoMM2017)
35. Proceedings of The 19th International Conference on Information Integration and Web-based Applications & Services (iiWAS2017)
36. Proceedings of the Seventh International Conference on the Internet of Things, IOT 2017, Linz, Austria, October 22-25, 2017
37. Systems Literacy - Proceedings of the Eighteenth IFSR Conversation 2016
38. IDIMT-2016, Information Technolog, Society and Economy, Strategic Cross-Influences
39. Information systems and neuroscience: Gmunden Retreat on NeuroIS 2016
40. Proceedings of The 14th International Conference on Advances in Mobile Computing and Multimedia (MoMM2016)
41. Proceedings of The 18th International Conference on Information Integration and Web-based Applications & Services (iiWAS2016)
42. Assistive Technology
43. Database and Expert Systems Applications, Proceedings of the 26th International Conference, Dexa Valencia 2015 Part I
44. Database and Expert Systems Applications, Proceedings of the 26th International Conference, Dexa Valencia 2015 Part II
45. IDIMT-2015, Information Technology and Society - Interaction and Interdependence
46. Information and Communication Technology (Third IFIP TC 5/8 International Conference, ICT-EurAsia 2015, and 9th IFIP WG 8.9 Working Conference, CONFENIS 2015, Held as Part of WCC 2015, Daejeon, Korea, October 4-7, 2015, Proceedings)
47. On the Move to Meaningful Internet Systems: OTM 2015 Conferences: Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015
48. Proceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia (MoMM2015)
49. Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services (iiWAS2015)
50. Systems Thinking - New Directions in Theory, Practice and Applications
51. Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX Special Issue on Big Data and Open Data
52. Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
53. Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII Selected Papers from DaWaK 2013
54. Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII Special Issue on Database-and Expert-Systems Applications
55. Transactions on Large-Scale Data- and Knowledge-Centered Systems XX Special Issue on Advanced Techniques for Big Data Managment
56. Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI Selected Papers from DaWaK 2012
57. Twenty-Sixth International Workshop on Database and Expert Systems Applications in Valencia 2015
58. Abstract State Machines, Alloy, B, VDM and Z - ABZ 2014, Toulouse, Proceedings
59. Database and Expert Systems Applications Proceedings of the 25th International Conference, Dexa Munich 2014 Part I
60. Database and Expert Systems Applications Proceedings of the 25th International Conference, Dexa Munich 2014 Part II
61. Future Data and Security Engineering, Proceedings of the first International Conference, FDSE 2014, Vietnam
62. IDIMT-2014 Networking Societies - Cooperation and Conflict
63. On the Move to Meaningful Internet Systems: OTM 2014 Workshops
64. Proceedings of the 12th International Conference on Advances in Mobile Computing and Multimedia (MoMM2014)
65. Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services (iiWAS2014)
66. Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII
67. Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV
68. Transactions on Large-Scale Data-and Knowledge-Centered Systems XV Selected Papers from ADBIS 2013 Satellite Events
69. Twenty-Fifth International Workshop on Database and Expert Systems Applications in Munich 2014
70. Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII
71. On the Move to Meaningful Internet Systems: OTM 2012, Part 1
72. On the Move to Meaningful Internet Systems: OTM 2012, Part 2
73. Constructing Ambient Intelligence: AMI 2007 Workshops
74. Pervasive Computing: Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings

Publikationstyp: Tagungsband Mitherausgeberschaft (Folgeauflage)

1. Does consumer impulsiveness affect trustworthiness evaluations in online environments? Evidence from a brain imaging study.
2. Neuroscience in design-oriented research: Exploring new potentials.
3. On the role of neuroscience in design-oriented research.

Publikationstyp: Wissenschaftliches Sammelwerk Herausgeberschaft (Erstauflage)

1. Proceedings of the 10th International Conference on Subject-Oriented Business Process Management
2. Proceedings of the 30th European Conference on Cognitive Ergonomics
3. Von der Datenverarbeitung zum Digital Business. Ein Rück- und Ausblick auf 25 Jahre Web, 30 Jahre Datenverarbeitung und 50 Jahre JKU
4. Whitebook Medical Technology Upper Austria
5. Applied Biclustering Methods for Big and High-Dimensional Data Using R
6. Human Computer Confluence: Transforming Human Experience Through Symbiotic Technologies
7. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL
8. In Memoriam Heinz Zemanek 1920-2014
9. Systemic Flexibility and Business Agility

Publikationstyp: Wissenschaftliche Fachzeitschrift (Mitherausgeberschaft)

1. Journal of Data Intelligence (JDI)
2. Empirical Software Engineering Journal (Springer) - Editorial Board
3. Information and Software Technology Journal (Elsevier) - Editorial Board
4. Journal of Mobile Multimedia
5. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
6. Journal of Mobile Multimedia
7. Journal of Systems and Software, Special Issue on Quality Engineering and Management of Software-Intensive Systems
8. Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering
9. Editorial Board Member of the International Journal of Information and Software Technology (Elsevier)
10. Emerging Topics in Multiple-Valued Logic and Its Applications, Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS)
11. Guest Editor for the Journal of Software and Systems Modeling (SOSYM)
12. Journal of Mobile Multimedia
13. Special Issue of the 44th IEEE International Symposium on Multiple-Valued Logic, Multiple-Valued Logic and Soft Computing
14. Central European Journal of Computer Science (CEJCS)
15. IEEE Transactions for Software Engineering (TSE)
16. International Journal of Mobile Computing and Multimedia Communications (IJMCMC)
17. International Journal of Software and Informatics (IJSI)
18. Journal of Mobile Multimedia
19. Software and System Modeling (SoSyM)
20. International Journal of Mobile Computing and Multimedia Communications (IJMCMC)
21. Journal of Mobile Multimedia
22. Special Issue on The Social Car: Socially-inspired Mechanisms for Future Mobility Services

Publikationstyp: Wissenschaftliches Sammelwerk Mitherausgeberschaft (Erstauflage)

1. Special Issue on Quality Engineering and Management of Software-Intensive Systems
2. ICT Trends and Scenarios: Lectures 2000 - 2017
3. Requirements Engineering: Foundation for Software Quality
4. Evolutionary Computation for Software Product Line Testing: An Overview and Open Challenges
5. Guest Editors? Introduction: Special section on Software Engineering and Advanced Applications
6. Using the WinWin Spiral Model: A Case Study

Publikationstyp: Wissenschaftliches Sammelwerk Mitherausgeberschaft (Folgeauflage)

1. Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada
2. FSERF - Fallstudie Erfolgsfaktorenanalyse.
3. INVER - Informationsverhalten, Informationsmanagement - Planung, Steuerung und Überwachung der Informationsinfrastruktur (10. Auflage)

Publikationstyp: Schriftenreihe (Herausgeberschaft)

1. Journal of Artificial Intelligence Research
2. Advances in Next Generation Mobile Multimedia (ANGMM)
3. Atlantis Ambient and Pervasive Intelligence (AmPI)

Publikationstyp: Schriftenreihe (Mitherausgeberschaft)

1. Proceedings of the 18th Fundamental Approaches to Software Engineering (ETAPS)
2. Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
3. Formal Methods in System Design
4. Journal of Automated Reasoning (JAR)
5. Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

Publikationstyp: Wissenschaftlicher Film

1. A Framework for Opportunistic Context and Activity Recognition
2. PowerSaver - Activity-Based Implicit Energy Management

Publikationstyp: Forschungsbericht über Auftragsforschung

1. Vienna City Marathon 2019 - Online-Services für eine Laufcommunity
2. Vienna City Marathon 2018 ? Online-Services für eine Laufcommunity
3. Vienna City Marathon 2017 ? Online-Services für eine Laufcommunity
4. Attentive Machines: Modeling Cognitive State
5. Attentive Machines: Zwischenbericht 1

Publikationstyp: Forschungsbericht: geförderte Forschung (EU)

1. AIRM Compliance Validator
2. Experimental ontology modules formalising concept definition of ATM data
3. Ontology-based techniques for data distribution and consistency management in a SWIM environment
4. Prototype Use Case Scenarios ? BEST Deliverable D3.1
5. Scalability Guidelines for Semantic SWIM-based Applications
6. Techniques for ontology-based data description and discovery in a decentralized SWIM knowledge base

Publikationstyp: Forschungsbericht: geförderte Forschung (FFG)

1. EyeControl: Appendix 1
2. EyeControl: Appendix 2
3. EyeControl: Appendix 3
4. EyeControl: Appendix 4
5. EyeControl: Appendix 5
6. EyeControl: Final Report
7. MinIAttention: Appendix 1
8. MinIAttention: Appendix 2
9. MinIAttention: Appendix 3
10. MinIAttention: Appendix 4
11. MinIAttention: Appendix 5
12. MinIAttention: Final Report
13. Attentive Machines: Endbericht
14. Attentive Machines: PY3 Report
15. Attentive Machines: Project Report
16. EyeControl: Interim Report 2
17. EyeControl: PY2 Report
18. MinIAttention: D3.1
19. MinIAttention: D5.1
20. MinIAttention: Zwischenbericht 2
21. Attentive Machines: PY2 Report
22. Attentive Machines: Zwichenbericht 2
23. EyeControl: Interim Report 1
24. EyeControl: PY1 Report
25. EyeControl: Requirements profile
26. MinIAttention: D1.1
27. MinIAttention: Zwischenbericht 1
28. Attentive Machines: PY1 Report
29. 360Light PY2 Report

Publikationstyp: Anderer Forschungsbericht / Technischer Bericht

1. CP-JKU Submissions to Dcase?20: Low-Complexity Cross-Device Acoustic Scene Classification with RF-Regularized CNNs
2. Knowledge Graph OLAP: Appendix
3. Acoustic scene classification with reject option based on resnets
4. CP-JKU submissions to DCASE?19: Acoustic Scene Classification and Audio Tagging with Receptive-Field-Regularized CNNs
5. Missbräuchliche Nutzung des Tor-Netzwerks
6. Boolector at the SMT competition 2018
7. Ein Tor Exit-Knoten in Österreich - geht das?
8. Boolector at the SMT competition 2017
9. Boolector at the SMT competition 2016
10. Open Mobile API: Accessing the UICC on Android Devices
11. Boolector at the SMT competition 2015. Technical Report 15/1
12. Design of Microfluidic Biochips (Dagstuhl Seminar 15352)
13. Evaluation of Contactless Smartcard Antennas
14. Vorstudie - Migration von COBOL-Systemen nach PL/I Umgebungen ("nur für interne Verwendung")
15. CanDo im Krisen- und Katastrophenmanagement - Lastenheft
16. INSARAG-XML - A multi-functional XML-version of the INSARAG GUIDELINES

Publikationstyp: Habilitationsschrift

1. Conceptualizing Analytics: Kumulative Habilitationsschrift zur Erlangung der Lehrbefugnis im Fach Wirtschaftsinformatik
2. Facilitating organizational alignment through people-centric articulation of knowledge about work
3. Variability in Software Engineering: Definition, Utilization, and Evolution
4. Software Engineering Methods in the Industrial Automation Domain
5. Perceptual Computer Science: Human-centric and reality-based human-machine interaction

Publikationstyp: Dissertation

1. Driver Drowsiness Detection Systems: Potential of Smart Wearable Devices to Improve Vehicle Safety
2. Instant Distribution of Consistency-relevant Change Information in a Hierarchical Multi-Developer Engineering Environment
3. Supporting Feature-Oriented Evolution in Industrial Software Ecosystems
4. A Novel Method for Simulation-based Testing and Validation of Automotive Surround Sensors under Adverse Weather Conditions
5. Automated Driving: Towards Trustworthy and Safe Human-Machine Cooperation
6. Automatic Mining of Constraints for Event-based Systems Monitoring
7. Consistent Change Propagation within Software Models
8. Formal Verification of Multiplier Circuits using Computer Algebra
9. On SAT-based Solution Methods for Computational Problems
10. Recognizing IT-induced opportunities : Conceptual, Organizational, and Individual Perspectives on a Central Challenge for Information Management in Modern Organizations
11. Smart Manufacturing Systems: Model-Driven Integration of ERP and MOM
12. Supporting Microservice Architecture with Decision Models
13. Technostress in organizations
14. The DAUX Framework: A Need-Centered Development Approach for User Experience in Driving Automation
15. Visual Perception and Interaction Using Synthetic Data in Manufacturing
16. Automatic Methods for the Design of Droplet Microfluidic Networks
17. Contextualized Business Rule Repositories: Business Rule Organization Through Contexts
18. Continuous Risk-Aware Multi-Modal Authentication Across Mobile Devices
19. Deep Learning methods for generative learning and applications in drug discovery
20. Design Automation for Quantum Computing
21. Interactive Focus+Context Analysis of Time-Series and Provenance Data
22. Representation Learning and Inference from Signals and Sequences
23. Thread-Safe and Efficient Data Representations in Dynamically-Typed Languages
24. Applying Smart Cards for Security Critical Mobile Applications
25. Coded Light-Field Sampling
26. Harmonic Analysis of Musical Audio Using Deep Neural Networks.
27. Machine Learning Approaches to Hybrid Music Recommender Systems
28. Safe and Efficient Execution of LLVM-based Languages
29. Secure Protection Interface Communication for Line Current Differential Protection Systems
30. The Structure of Variable Software and its use for Testing
31. Trace Register Allocation
32. A Transparent, Flexible and Scalable Image Sensor Based on Luminescent Concentrators and ist Applications
33. Accurate and Efficient Memory Monitoring in a Java Virtual Machine
34. Analysis of Computer-Mediated Discourses Focusing on Automated Detection and Guessing of Structural Sender-Receiver Relations
35. Analyzing NGS Data with Machine Learning - From IBD Segments to Copy Number Variations
36. Audio Identification via Fingerprinting: Achieving Robustness to Severe Signal Modifications,
37. Bit Precise Reasoning Beyond Bit-Blasting
38. Capabilities of Invasive Brain-Computer Interfaces and Their Contribution to Brain Surgery
39. Co-evolution in model-driven engineering : contributions to variability and consistency
40. Configuration-aware Program Analysis for Maintenance and Evolution in Industrial Software Product Lines
41. DLP und ILP im Anwendungsbereich der Informationssicherheit
42. Deep Learning for Event Detection, Sequence Labelling and Similarity Estimation in Music Signals
43. Design Science and Behavioral Science in Information Systems and Wirtschaftsinformatik
44. IT-Management in Unternehmen: Erfolgsmodelle für den Chief Information Officer
45. Implicit Biometric Authentication for Smartphones
46. Implicit Biometric Authentication for Smartphones
47. Lambdas, Arrays and Quantifiers
48. Measuring and Assessing Object-oriented Design Principles
49. Neuro-Information Systems: Methodological developments
50. Real-Time Processing of Non-Invasive and Invasive Electro-Physiological Data for Brain-Computer Interfaces
51. Sensor-based Online Assessment of Human Attention
52. Unobtrusive Mutual Mobile Authentication with Biometrics and Mobile Device Motion
53. Visually Guiding Users in Selection, Exploration, and Presentation Tasks
54. Zur Beziehung zwischen Chief Information Officer (CIO) und Chief Executive Officer (CEO): Konzeptionelles Rahmenwerk und Interview-Studie mit Fokus auf partnerschaftliche Beziehung und Vertrauen
55. Combining Speculative Optimizations with Flexible Scheduling of Side-effects
56. DynamoGraph : large-scale temporal graph processing and its application scenarios
57. Event Detection in Musical Audio: Beyond Simple Feature Design
58. Flexible and Robust Music Tracking
59. Hardware Architecture of an Event-Driven Stereo Vision Algorithm Based on Silicon Retina Sensors
60. Improving the User Experience of Music Recommender Systems Through Personality and Cultural Information
61. Managing and Engineering Variability Intensive Systems
62. Method Profiling and Lock Contention Profiling on the Java Virtual Machine Level
63. Metrical Analysis of Musical Audio Using Probabilistic Models
64. Multi-Level Feature Modeling in Industrial Software Ecosystems
65. Requirements Monitoring for Systems of Systems
66. Staying Aware in an Evolving World: Evolution Support for Situation Awareness in Control Centers
67. Theoretical and Practical Aspects of Bit-Vector Reasoning
68. Wide-Field-of View Light-Field Acquisition and Processing
69. A Client-Centric Model For Managing Availability and Performance Conditions of Service Level Agreements in Cloud Computing
70. An Ontology-based Process and Software Infrastructure for Domain-Expert-Centered Knowledge Discovery in Medical Research
71. Client-Centric Identity and Access Management in Cloud Computing
72. Cross-Language Interoperability in a Multi-Language Runtime
73. Direct Integration of Collaboration into Broadcast Content Formats
74. Elicitation and Validation of Requirements-to-Code Traceability
75. Enabling Accurate, Energy-Aware, and Scalable Simulation of Industrial Wireless Sensor Networks
76. Fremdsprachenlernen an Wirtschaftsfakultäten im Sinne der Lissabon Strategie
77. Generalized Trace Compilation for Java
78. Goal Oriented Sensing in Pervasive Computing
79. Multilevel Business Processes: Modeling and Data Analysis
80. Optimising the Storage Location Assignment Problem Under Dynamic Conditions
81. Verfahren zur Bildung eines zu einem Einsatzkontext passenden Prozessmodells aus (Vorgehensmodell-)Prozessmustern
82. Behavior approached decomposition of the BPMN 2.0 with enhanced refinements preserving the semantics of the ground model
83. Bitemporal Complex Event Processing of Web Event Advertisements
84. Case-Based Reasoning with Respect to Banking driven by Knowledge
85. Decision Guidance for Optimizing Information Quality - A Recommendation Model for Completing Information Extraction Results
86. Defining and Assessing Software Quality by Quality Models
87. Der Nutzen semantischer Technologien bei Erstellung und Pflege von Rechtstexten am Beispiel von Curricula
88. Kommunikative und kollaborative Lernmethoden in unterschiedlichen Lernumgebungen
89. Konzepte, Modelle und Methoden der logischen Abhängigkeitsanalyse
90. Machine Learning Techniques for the Analysis of High Throughput DNA and RNA Sequencing Data
91. Monitoring System for Reciprocating Compressor Valves - A data-driven Approach
92. Partial Escape Analysis and Scalar Replacement for Java
93. Plugin-based Distributed Multi-user Web Applications with Plux
94. Simulation-Based Evolutionary Dynamic and Stochastic Optimization for Smart Electric Power Systems
95. Deployment komponentenbasierter Softwaresysteme

Publikationstyp: Diplom- oder Masterarbeit

1. Dynamic password expiration based on a multimodal password strength meter
2. Efficient Implementation of Hash-based Signature Schemes - LMS and HSS
3. Extracting Information about Currently Watched Videos from the Pupil Diameter
4. Passive Engineering Process Management Framework
5. Prototypische Umsetzung und Evaluierung von Zugriffsmöglichkeiten auf GML-Daten für ein deduktives Datenbanksystem basierend auf F-Logic
6. SemNOTAM Container Management with a Task-Based Retrieval Service
7. Spooq: A Software Library for ETL Processes in Data Lakes
8. Umsetzung eines Systems zur Prozessoptimierung im Recruiting basierend auf einem Process-Cube
9. A Truffle-based Compiler for IEC Language
10. Acceptance of Business Intelligence-Technology in Austrian Organizations
11. Allocation Profiling Analysis
12. Auswirkungen bezahlter Anzeigen auf organische Ergebnisse in der Google Suche
13. Automated Internationalization and Localization Testing of GUIs
14. Automating the anonymization of personal data in court judgments
15. Classifying Air Traffic Scenarios and Associated Environment Conditions With Respect to Operation Risk
16. Corporate Company Building in österreichischen Unternehmen - Anwendung - Prozesse - Kriterien der Partnerauswahl
17. Design, Implementation and Evaluation of a Mobile Security Scanner App for Smart Home Users
18. Detection of Vulnerable Software Components Using Runtime Analysis
19. Development of a multi-modal gesture recognition system for applications in the vehicle passenger compartment
20. Digital Watermarking of Medical Sensor Data for Data Leakage Detection - a Proof-of-Concept Prototype
21. Digitale Herausforderungen für Schulbuchverlage - neue Produkte und Strategien
22. Early Detection of Spruce Bark Beetles using Semantic Segmentation and Image Classification
23. Efficient Vulnerable Path Detection with Light-weight Code Property Subgraphs at Runtime
24. Ein Business Process Model Repository für die Automatisierung von mehrstufigen Geschäftsprozessen mit Multilevel Business Artifacts
25. Einbindung von IT-Consultants bei der Einführung von Business-Intelligence-Lösungen in Organisationen: Eine qualitative Untersuchung der Interaktionen externer und interner MitarbeiterInnen im Projektteam
26. Entwurf und Implementierung einer quantensicheren Chat Applikation
27. Exploration Algorithms
28. Extening the Memory Monitoring Tool AntTracks to Guide Users During Heap Evolution Analysis
29. Feedback Modalities for Attention Management in Minimally Invasive Surgery
30. Gait recognition using neural networks
31. Kursreaktionen bei Digitalisierungsnachrichten am österreichischen Kapitalmarkt
32. Learnings aus gescheiterten VOD-Geschäftsmodellen
33. Neue Organisationsformen von Arbeit als Chance zur Erhöhung des Frauenanteils in IKT-Unternehmen
34. Nutzerzufriedenheit in Video-on-Demand-Diensten
35. Nutzung von Mobile Loyalty Apps
36. Online-Buchungs-Plattform für Eventlocations
37. Open Data in der COVID-19-Pandemie: Eine empirische Erhebung von Wahrnehmungen mittels Twitter
38. Open Data ? Auswirkung auf die Entwicklung neuer Geschäftsideen
39. Open Data ? Entwicklungen und Auswirkungen auf Organisationen in Österreich
40. Prototype of a Tool for Managing and Executing OLAP Patterns
41. Rahmenbedingungen zur Implementierung von künstlicher Intelligenz in das betriebliche E-Learning
42. Reactive and Event-based Mail Processing based on ReactiveX
43. SymJEx: Symbolic Execution on GraalVM
44. Symbolic Execution for Compiler Optimizations
45. Truffle CIL Interpreter
46. Using Tree Visualizations to Facilitate Memory Leak Analysis
47. Zur Nutzungsabsicht von Facebook Libra und digitalen Zahlungsmitteln
48. A Truffle-based Interpreter for x86 Binary Code
49. Analyse von Fingerabdrücken für die biometrische Identifikation
50. Architecture and Prototypical Implementation for a Reactive and Distributed Conversion Server
51. Asterisk VoIP over TOR
52. Auswirkungen von Customization auf ERP-Ablöseprojekte
53. Benchmarking of IT procurement prices with bundles: Methods and implementation
54. Bitcoin Eclipse Attack - Statistical Analysis on Selfish Mining and Double-Spending Attack
55. Continuous Authentication using Keystroke Dynamics on Android Devices
56. Corporate Digital Responsibility - Unternehmerische Verantwortung im digitalen Zeitalter
57. Das Konzept der digitalen Grundbildung im österreichischen Bildungssystem
58. Decision support concept for the identification of use cases for additive manufacturing in an industrial context
59. Dialogbasierte Benutzungsschnittstelle für interaktive Datenanalyse in natürlicher Sprache
60. Die elektronische Rechnungslegung
61. Eine empirische Studie zur Vertrauenswürdigkeit von Datenschutzrichtlinien österreichischer Online-Shops
62. Eine grafische Benutzungsschnittstelle für Online Analytical Processing auf Basis von Analysesituationen und inkrementellen Manipulationsoperationen
63. Einfluss von Cookie-Hinweisen auf die Wahrnehmung von Datenschutz und Vertrauen im E-Commerce
64. Einführung agiler Projektmethodiken am Beispiel der Energie AG Oberösterreich
65. Entwicklung eines Data-Cleaning-Prozesses für das Voestalpine Treasury
66. Entwicklung eines Rasters zum Vergleich von Digitalisierungsstrategien
67. Evaluation the use of big data analytics to facilitate compliance and fraud prevention : an empirical study about usefulness and usage of big data analytics to prevent occupational fraud in German speaking companies
68. Exploring Supervised Event Prediction in Multi-System Monitoring
69. Factors influencing the legacy system modernization strategy
70. Fingerprint Orientation Field Estimation using Convolutional Neural Networks
71. Hybrid Face Detection by Thresholding in Diverse Color Spaces
72. Implementation of a Register Allocation Verifier for the Graal Compiler
73. Integration der Legal Compliance Vorgaben der DSGVO in ein ISO/IEC zertifiziertes Information Security Management System am Fallbeispiel der Energie AG Oberösterreich
74. Integration of Feature Modeling and Static Code Analysis in the FORCE² Tool Environment
75. Investigating Web-based Attacks on Tor Onion Services using Honeypots
76. Linking of Artifacts In a cloud-based Environment
77. Memory Leak Investigation using Graph-based Visualization
78. Modeling OPC UA from IEC61131-3
79. Next Place Prediction with Hidden Markov Models
80. Only 40ms left! Neural networks for AR in live TV sports broadcasts
81. Performance Analyse von softwarebasierter Verschlüsselung auf low-cost Systemen
82. Personal Agent Prototype in Rust
83. Proper Orthogonal Decomposition for Model-Order Reduction of Nonlinear Mechanical Systems
84. Quantitative Marktanalyse der VOD Branche in Österreich
85. Security Model Comparison in PoW and PoS Decentralized Blockchain Consensus Algorithms
86. Security attacks and countermeasures in DOCSIS networks
87. Sicherheitsaspekte bei der Beschaffung von IoT-Systemen
88. Ultra-Low Power Wide Dynamic Range CMOS ASK Demodulator for RFID Applications
89. Vermarktung einer technischen Innovation in der Sportfischereibranche. Eine Case Study mit Schwerpunkt auf den B2B Bereich
90. Vermarktungsstrategien von Startups in App-Märkten
91. Verständnis und Strategien digitaler Transformation im öffentlichen Sektor
92. Websystem zur Förderung der Transparenz im Hochschulbereich
93. Österreichische Datenschutzbestimmungen im Cloud-Computing und Datenschutzbewusstsein von Cloud-Usern
94. A Framework for Teaching Programming with Gamification
95. A Probabilistic Approach to Wireless Indoor Positioning based on Time Differences of Arrival
96. A Proof-of-Concept Prototype of a Database Management System for Versioning and Distributed Storage of Semantic Containers in Project BEST
97. A Tool Chain for Analysis and Model Abstraction of C Control Programs
98. A disaster and crisis alerting approach employing home automation systems
99. An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
100. Analysis and Visualization of Linux Core Dumps
101. Authentifikation: Protokolle, Anwendung, Vergleich
102. Bewertung von Initial Coin Offerings
103. Client/Server Benchmarking and Dashboard
104. Cluster Analysis for Multivariate Application Performance Management Issues
105. Eignung von Kryptowährungen als Zahlungsart im E-Commerce
106. Einhaltung von IT-Sicherheitsvorschriften: Gründe & Maßnahmen
107. Einsatz des SharePoint-Workflow Managers zur Automatisierung des Bestell- und Konfigurationsprozesses von Software für Formgebungsmaschinen
108. Einzelfallstudie SKILLYARD - Initiierung und Formulierung einer Strategie nach dem strategischen Planungsprozess von Efraim Turban zur Vermeidung des Scheiterns bei Start-ups
109. Entwicklung einer Methodik zur Entscheidungsunterstützung bei IT-Sourcing-Entscheidungen am Beispielunternehmen Energie AG
110. Entwicklung eines generischen Frameworks zur Sensoranbindung im Kontext von Internet of Things
111. Evaluierung von Softwarequalität nach dem Quamoco Ansatz durch SonarQube
112. Extension of an existing P2P-Client for Evidence Collection
113. Information Support For Organizational Development Structures
114. Informationen und Funktionalitäten von Immobilienplattformen
115. Isogenies for Post-Quantum Cryptography
116. Konzeption und Umsetzung von RDF-Summarization-Cubes in SPARK-SQL für das Profiling von Schema.org-Daten
117. Live Queries in the CELUM Reactive Server Platform
118. Messung der digitalen Kollaboration in Unternehmen
119. On-stack Replacement in Truffle Interpreters for Non-structured Languages
120. Online-Plattform für regionale Lebensmittel : Erhebung der Anforderungen von KonsumentInnen
121. PESTEL Modeler: Ein Werkzeug für die Strategische Umweltanalyse nach der PESTEL-Methode unter Verwendung von MetaEdit+, iStar 2.0 und Semantischen Technologien
122. Playground Environment for Solfing Traveling Salesman Problems
123. Probabilistische Verschlüsselung
124. Social Media im Wahlkampf - Zusammenhänge zwischen der Nutzung von Facebook durch Parteien vor der Bundestagswahl 2017 in Deutschland und dem Gewinn oder Verlust beim Wahlergebnis im Vergleich zur Wahl 2013
125. Source-Level Debugging Support in an LLVM-IR Interpreter
126. Unternehmensplanspiel Digitalisierung als Lehrmethode im Digitalen Wandel
127. Veränderung ausgewählter Handlungsfelder des Personalmanagements im Zuge der Digitalisierung
128. Website-Barrierefreiheit - Automatisierte Barrierefreiheits-Überprüfungen mit Browsererweiterungen
129. Zusammenhang zwischen Suchmaschinenoptimierung und barrierefreier Webgestaltung
130. 3D Gesichtserkennung
131. 802.1x for home users and guest networks
132. A Distributed and Version-Controlled Development Approach for the Feature-Oriented Development System FORCE
133. A Monitoring Agent for Go (Golang)
134. About gradient based importance weighting in feed-forward artificial neural networks
135. Abstraction of UML Diagrams
136. Airplane Heading Correction with Wind Prediction
137. Allocating Precise Object Allocation Data to a Sampled Calling Context Tree
138. Analyse der Beacon Technologie im Hinblick auf die Kunden des europäischen stationären Einzelhandels mit Filialsystem : Erhebung der Chancen und Risiken für den Unternehmer bzw. die Unternehmerin anhand einer literaturgestützten Analyse und Deduktion
139. Authentication by Keystroke Analysis
140. Automatic Updates for IoT devices exemplified by OpenWRT
141. Barrierefreiheit Österreichs meistbesuchter Websites eine Statuserhebung
142. Comparison of Rare Variant Association Tests on UK10K Whole Genome Sequencing Data
143. Contour-Guided Gaze Gestures: Eye-based Interaction with Everyday Objects
144. Controversy Detection of Music Artists
145. Convolutional LSTM for Next Frame Prediction
146. Critical success factors in ERP upgrade projects
147. Das Millionärsproblem
148. Debugging support for non-deterministic actor programs
149. Dependency Browser for Program Comprehension and Change Impact Analysis of PLC Programs
150. Die Rolle der Informations- und Kommunikations-Tools fu?r die Fu?hrung von virtuellen Teams am Beispiel eines Softwareunternehmens
151. Die digitale Transformation der universitären Lehre : am Beispiel des MuSSS-Blended Learning-Studienangebots der Johannes Kepler Universität Linz
152. Digitalisierung des Angebots bei Schulbuchverlagen in Österreich
153. Digitalisierung des Transportprozesses
154. Ducktracks: Path-based Allocation Tracking
155. E-Mail Monitoring and Management with MS Social Bots
156. Efficient Sampling-based Lock Contention Profiling in Java
157. Ein Dashboard für die dynamische Dokumentation microservice-basierter Softwaresysteme
158. Einsatz von RDF und SPARQL zur strategischen Analyse mit Geschäftsmodellontologien am Beispiel ausgewählter Fallstudien
159. Einzelfallstudie GymBuddy : Fallstudie zum ?Strategic Planning Process" von Efraim Turban
160. Enabling Factors for Initialising Digital Transformation Programs
161. Ethical analysis of selected videos with product placements of Austrian and German YouTube channels
162. Gait Recognition Using Optical Flow
163. Heap and Lifetime Visualization in a Memory Monitoring System
164. Herausforderungen im Bankensektor und Chancen durch den Einsatz eines Persönlichen Finanzmanagements
165. Implementation of a Graph Coloring Register Allocator for the Graal Compiler
166. Information Security of Industrial Automation Products and Measures of Improvement
167. Institutionenübergreifende Lehrveranstaltungsanmeldung - Entwicklung eines Prototyps für das mobile Zeitalter
168. Investigating Typing and Take-Over Performance in SAE Level 3-4 Automated Driving
169. Konzeption und Weiterentwicklung einer MuSSS Lehrveranstaltung anhand des Einsatzes eines Peer Review-Verfahrens
170. Kritische Erfolgsfaktoren bei der Einführung von Business Intelligence Systemen
171. Kritische Erfolgsfaktoren für die Einführung eines ERP Systems in kleinen und mittleren österreichischen Unternehmen
172. Leistungsarmer ADC fu?r energieautarke Systeme
173. Modelle einer IT-Strategie
174. Moment Dynamics in Self-Normalising Neural Networks
175. Natural Pursuits for Eye Tracker Calibration
176. Prediction of User Traits from Music Listening Habits
177. Project Management Integration in the DesignSpace
178. Real-Time Face Detection in HD Videos
179. Robuste Wasserzeichenverfahren Unter Verwendung Von DWT und SVD
180. Schrifterkennung am Notenblatt
181. Systematik und Analyse von Big Data Praxisbeispielen
182. Techniques for Measuring the Loading Speed of Web Pages
183. The Evolution of a DSL-Based Approach for Runtime Monitoring of Systems of Systems
184. Transmediales Storytelling für produzierende Unternehmen aus Österreich. Die Nutzung in der externen Online-Kommunikation.
185. User-defined Classification and Multi-grouping of Data in a Memory Monitoring Tool
186. Utilizing Bluetooth keyboard emulation and optical character recognition to securely transfer passwords
187. Variationen und Darstellung von Applikationsarchitekturen in Theorie und Praxis
188. Virtual Reality GPS Route Visualization for Mobile Devices
189. Vollautomatischer Warenübergang mit Bluetooth Low Energy im Physical Internet Umfeld
190. Who is looking for me online?
191. A Generic Approach for Static Code Analysis of PLC-Programs
192. A Peer-to-Peer Based Cloud Storage File Synchronization System
193. A Web Framework for Interactive Trace Visualization
194. Accurate detection of tumor copy number variations in high-throughput sequencing data
195. An Automated Approach for Constructing Concrete Reparis for model Inconsistencies
196. Anonymität von Kryptowährungen
197. App Store for Massive Scale Software Diversity
198. Augmented Reality Support for Aerial Navigation
199. Automatisierte Analyse und Visualisierung von Softwarequalitäten
200. Automatisierung von mehrstufigen Geschäftsprozessen mittels SCXML, XQuery und RestXQ
201. Chancen und Risiken beim Einsatz von Technologie im Unterricht
202. Classification of (alternatively) spliced exons using state-of-the-art sequence kernels
203. Comparative Visualization of Large Tabular Data
204. Corporate Social Software - Die Verwendung in Unternehmen
205. Deep Learning for Drug Combination Synergy Prediction
206. Design und Implementierung einer interaktiven Programmiersprache
207. Development and Introduction of a Web based Software for the Administration of Inventions at the University
208. Digitalisierung in der Möbelindustrie - Analyse des Potenzials von E-Commerce für das Premiumsegment aus Herstellersicht
209. Dynamische Webanwendungen: Konzepte und Techniken der Frameworks AngularJS and React
210. Dynamische Webanwendungen: Konzepte und Techniken der Frameworks AngularJS und React
211. Ein Ansatz zur Unterstützung von Gruppenentscheidungsprozessen im Architekturdesign
212. Ein Werkzeug zur Unterstützung des Angebotslegungsprozesses in der Industrieautomatisierung
213. Einbettung eines Capture/Replay-Verfahrens für SPS-Programme in das KEBA Laufzeitsystem
214. Erfolgsbegünstigende Faktoren bei Crowdfundingprojekten im Sportbereich
215. Erfolgsfaktoren für die Übertragung digitaler Geschäftsmodelle auf andere Märkte
216. Erstellung, Verwaltung und Anpassung von Referenzmodellen für Data Warehouses unter Verwendung von Indyco Builder, BaseX und XQuery
217. Exploiting Code Dependencies to Assist in Early Requirement-to-Code Trace Capture
218. External Security Analysis of Existing Windows Software based on a Case Study
219. Grammar Inference for Variability Management
220. Human Attention Estimation - Comparison Machine Learning and Rule Based Methods
221. Increasing Electric Vehicle Range with a Recommendation App providing Context-Specific Trip Rankings
222. Instant Messaging - Dienste in der internen Unternehmenskommunikation in Kleinunternehmen
223. Interactive Visualization of Provence Graphs for Reproducible Biomedical Research
224. Light Field Global Illumination
225. Long Short-Term Memory and convolutional neural networks for SNV-based phenotype prediction
226. Lösungsansätze zur Verringerung der Last-Mile Problematik im Onlinehandel - Eine systematische Analyse der Möglichkeiten durch Kooperationen von Paketdienstleistern, unterstützt durch kundenorientierte, web-basierte Applikationen
227. Messung der Zuverlässigkeit auf Basis des SICQ-Qualitätsstandards
228. Monitoring Infrastruktur für Microservices
229. Multi-Target Deep Neural Networks for Toxicity Prediction
230. Multiple Sequence Alignment with R
231. Near Field Communication mit Bluetooth Low Energy
232. Parallel Long Short Term Memory LSTM
233. PhonyKeyboard: Sensor-enhanced Keystroke Dynamics Authentication on Mobile Devices
234. Runtime Analysis of High-Level Java Synchronization Mechanisms on the Virtual Machine Level
235. SPARC Backend for Graal
236. Signing and Verifying Session Data in the Context of Small Embedded Systems in Electric Charging Stations
237. Similarity-Based Steering in Provenance-Graphs
238. Smalltalk Interpreter in Java
239. Social Engineering in Information Security - Awareness and Training Program
240. Steganography in File Systems for Mobile Environments with Plausible Deniability
241. Structured Assembler
242. Synchrone Zusammenarbeit mit Cloud-basierter Office Software in Unternehmen
243. Szenarioanalyse über die Geschäftsmodellentwicklung von Retail-Banken
244. The Maximum Common Subgraph Kernel For Predicting Kinase Inhibitors
245. The Semantic Data Warehouse for the AgriProKnow Project: A First Prototype
246. Threat Modeling for Data Protection in the Cloud
247. Towards Deep Learning Driven Design Pattern Detection
248. Truffle DSL: A DSL for Building Self-Optimizing AST Interpreters
249. Umsetzung ausgewählter Methoden für die quantitative und qualitative Analyse von mehrstufigen Geschäftsprozessen mittels XQuery: Ist- und What-If-Analyse der Duchlaufzeit sowie Fehler-Ursachen-Analyse
250. Verschlüsselung mittels Query-Rewriting auf der Cloud-Datenbank Amazon DynamoDB
251. Wirtschaftliche Betrachtung von A/B-Tests als Ansatz zur Conversion-Optimierung
252. jSpyder - A Java Profiling API
253. panelcn.MOPS reaches clinical standards as a copy number variation detection tool for targeted panel sequencing
254. A Calculation Framework für Twitter Messages based on Machine Learning and Information Extraction techniques
255. A Program Analysis Tool Chain for Programmable Logic Controller Programs
256. A Requirements Monitoring Model for Systems of Systems
257. A copy number analysis and genome-wide association study of schizophrenia data
258. An Interpreter for a Data Definition and Query Language for Hetero-Homogeneous Data Warehouses
259. An OLAP API for Cubes with Ontology-Valued Measures
260. An appraisal of IT requirements in the context of industry 4.0 and of organizational agility
261. Analyse des Potenzials des Konzepts Industrie 4.0 in der Stahlindustrie am Beispiel der voestalpine Stahl GmbH
262. Anforderungen an ein grafisches Webanalyse-Werkzeug, dargestellt am Beispiel der Prüfungsaktivität von Studierenden
263. Anforderungsanalyse an IT-Systeme in der Produktionstechnik am Beispiel eines Expertensystems zur Detailkalkulation von Tischlereiangeboten
264. Auswirkungen der Novelle des Buchpreisbindungsgesetzes auf das Geschäftsmodell von Thalia in Österreich
265. Automatic Extraction of Musical Style Information from Wikipedia Articles
266. Automatische Fahrgelderhebung mit Bluetooth Low Energy im öffentlichen Personenverkehr
267. Automatisierte Erstellung persönlicher und adaptiver Trainingspläne auf Basis personenbezogener Zeitpläne und Social Media Daten
268. Automatisierte identifikation von Encapsulation Design Smells
269. Betrachtung der Migrationsmöglichkeiten bei Geschäftsprozessen - Umgang mit bestehenden Prozessinstanzen bei Änderungen an den zugrundeliegenden Prozessmodellen.
270. Botnetze im Browser: Eine Fallstudie
271. Browser-Add-ons für besseren Datenschutz
272. Businessplan zur Minimierung von Wartezeiten in Arztpraxen
273. Character Recognition and Verification of Identification Papers through Pictures takenby Handheld Devices
274. Corporate Social Responsibility - Aspekte von Corporate Social Responsibility in Energieerzeugungsunternehmen und ihre Auswirkungen
275. Crowdfunding Plattformen in Österreich - Erfolgsfaktoren für Crowdfinancing Projekte in Österreich
276. Cypherpunk Anonymous Remailer focusing on Natural Language Processing
277. Database synchronization between mobile devices and classical relational database managment systems
278. Der Einsatz von Online-Games als Self-Assessment im Recruiting
279. Der Einsatz von Wikis und Yellow Pages für die Entwicklung und den Transfer von Wissen in Unternehmen - Ein Integrative Literature Review zur Erfassung der für Unternehmen kritischen Erfolgsfaktoren
280. Detecting CNVs in the 1000 Genomes Project Data Using cn.MOPS and Relating the Results to Transcriptome Sequencing Data
281. Detecting Invalid Choices in Merged Code and Software Models
282. Developing and optimizing a mobile driver assistant system for vehicles in public transport
283. Development, application and analysis of a pipeline for genotype-to-phenotype whole-genome based predictions
284. Die Entwicklung des Persönlichkeitsschutzes vom Beginn der betrieblichen Datenverarbeitung bis zu den sozialen Netzwerken
285. Die Rolle des Menschen im Konzept Industrie 4.0
286. Die Rolle von Product Lifecycle Management Systemen im Kontext von Industrie 4.0
287. Dynamic Visualization of Compiler Graphs
288. E-Commerce Systeme im Vergleich
289. EUF-Proofs for SMT4J
290. Eignung von SilkTest für die Testautomatisierung eines temperaturgeführten Transportmanagementsystems
291. Ein System für ortsbezogene Musikauswahl durch Nutzerpartizipation
292. Eine Bibliothek zum Anzeigen und Editieren von Architekturdiagrammen in Webclients
293. Eine Modellierungs- und Konfigurationsanwendung für Architekturvarianten in der Industrieautomatisierung
294. Eine generische Web-of-Things Plattform für Smart Vending unter besonderer Betrachtung von Multi-Tenancy und Templates
295. Eine generische Web-of-Things Plattform für Smart Vending unter besonderer Betrachtung von REST-basierter Architektur und Business Rules
296. Einführung eines Data-Warehouse-Systems für die Vertriebsplanung am Beispiel der W&H Gruppe Fallstudie und vergleichende Analyse
297. Einsatz von Bluetooth Low Energy in Be-In/Be-Out Systemen - Evaluierung der Eignung zur Personenerfassung in öffentlichen Verkehrsmittel
298. Einsatzmöglichkeit von SAP-ME in der KRONES AG
299. EncryptedCassandra - Client-Side Encryption through Query-Rewriting of CQL
300. Entwicklung eines Kennzahlenkatalogs zur Geschäftsprozessüberwachung und -steuerung an Beispiel der Abteilung "Beschaffung" und "Vertrieb" eines Biodiesel-Betriebes
301. Entwicklung eines Projektmanagement-Handbuchs für die Firma New Technology Systems GmbH
302. Erfolgsfaktoren des afrikanischen Online-Handels - Fallbeispiele: Nigeria, Sudan, Südafrika
303. Erweiterung eines werkzeugbasierten Ansatzes zur Qualitätssicherung von Softwaredokumentation
304. Erweiterung von Protégé zur intuitiven Multi-Level Modellierung
305. Evaluierung eines E-Learning-Systems für Magna in St. Valentin
306. Evaluierung eines Vorgehensmodells zur Einführung von Wissensmanagement
307. Evaluierung von Access Control Mechanismen für Mobile Systeme
308. Evaluierung von Persistierungstechnologien für den DesignSpace
309. Female Commerce in der Möbelbranche - Geschlechtsspezifische Gestaltung von Möbel-Onlineshops im Premiumsegment unter spezieller Berücksichtigung der weiblichen Zielgruppe
310. Gender Mainstreaming in der Wirtschaftsinformatik: Analyse des Publikationsverhaltens von Wirtschaftsinformatikerinnen und Wirtschaftsinformatikern
311. Generieren einer Benchmark Verteilung auf Basis von Projektdaten im Sonarqube Server
312. Graal AOT JS: A Java to JavaSricpt Comiler
313. IT-Risikomanagement in KMUs mit hohem Risikopotential (gesperrt bis 31.8.2020)
314. Implementation of an Extensible Mapper of Aeronautical Information Exchange Model Data to ObjectLogic
315. Inferring Regulatory Interactions from Microarray Data Using the FABIA Biclustering Method: A Case Study for E.coli K-12
316. Informationssicherheitsanforderungen im Enterprise Content Managment
317. Interactive System for Live Voting
318. Introduction of an ISM-process prototype at a foreign site of an international corporation
319. KeBABS - An R Package for Kernel-Based Analysis of Biological Sequences
320. Kritische Erfolgsfaktoren 'Gesetze Österreich'
321. Management von Social Engineering in der Informationssicherheit
322. Mobile Strategien im E-Commerce - Technologien und Usability auf mobilen Endgeräten
323. Mode- und Schmuckunternehmen in Facebook.
324. Nagios für Android - Monitoring von Android-Geräten mittels Nagios
325. Object Extraction and Evolution in Crowd Situation Awareness
326. Online Analytical Processing mit hetero-homogenen Data Warehouses: Prototypische Implementierung und Benutzerstudie
327. Online Collection of Algorithms
328. Online-PR für die Medienkunst - Handlungsempfehlungen für die Ars Electronica Linz GmbH
329. OpenDox - Eine dokumentenzentrierte Softwarearchitektur auf Basis von Plux.Net
330. Optimierung und Analyse eines Prüfprozesses und Prüfdatenverwaltungssystems
331. Performance Monitoring of Ruby Applications
332. Plattformübergreifende App-Entwicklung am Beispiel von HTML5 (10.6.2020)
333. Post-Mortem Memory Profiling for Java Applications
334. Potential und Einsatzmöglichkeiten von Online Micro Volunteering für den Nonprofit Sektor
335. Potential und Entwicklung eines Geoparsers
336. Privatsphäre im Stromnetz mit intelligenten Stromzählern
337. Prototypische Umsetzung der Automatisierung eines Prozesses für Nach- und Aufrüstung von Komponenten einer Formgebungsmaschine
338. Prozessbewertung im Kontext der Automatisierung von Geschäftsprozessen
339. Reaktive Terminorganisation im Semantic Web
340. Relevanz von Projektmanagement/-Tools in österreichischen Startups
341. SASHERD: Eine einfache ad-hoc Suchmaschine für relationale Datenbanken
342. Security Development in Open Source Projekten
343. Semantic Enriched Aggregation of Social Media in Crowd Situation Awareness
344. Sicherheitslücken bei ARM Prozessoren, verifiziert am Beispiel von Texas Instruments OMAP CPUs (Gesperrt bis 8.6.2020)
345. Similarity-based clustering of big data: A parallel ensemble variant of leveraged affinity propagation
346. Smart City - Mode oder Trend
347. Smart Sports Gear - Die Eignung von Sportartikeln als Smart Gear
348. Social Media Management ausgewählter österreichischer Landtechnikbetriebe
349. Standardisierte, werkzeugunterstützte Lasten- und Pflichtenhefterstellung im Ausschreibungsprozess von IT-Projekten
350. Strategische Herausforderungen und deren Umsetzung im Wintersport Online Tourismus am Beispiel von INTERSPORT Rent
351. Studie zur Anwendbarkeit von geospatialer Social Software am Beispiel der Plattform "BuddyMe" in der Verbesserung des Informationsmanagements von Organisationen
352. Support Vector Regression vs. Neural Network Regression in the Field of Predicting Drug-Target Binding Activities
353. Tracking im Internet: Möglichkeiten und Gegenmaßnahmen
354. Truffle Clojure: A self-optimizing AST-Interpreter for Clojure
355. Verarbeitung und Modellierung von Ereignissen im Semantic Web of Things - Ein Überblick
356. Vor- und Nachteile von IOS Programmierschnittstellen bei der Konzeption und Entwicklung von Location-Based Services
357. WatchMe: Entwicklung eines Empfehlungssystems für den Kabelnetzbetreiber LIWEST
358. Werkzeuge zur Überwachung von Designvorgaben
359. Wissensmanagement 2.0 - Ein Vorgehensmodell zur Einführung von Wissensmanagement 2.0
360. Wrist-worn Activity Recognition Based on Smart Watches
361. Your place in my heart - The effects of presence on the cardiovascular system
362. eHausbesuch - Elektronisches Visitenbuch für niedergelassene Ärzte
363. A web-based Sound- and Music-Browser
364. AArch64 Backend For Graal Compiler
365. ATM Security: A Case Study of al Logical Risk Assesment (gesperrt bis 17.6.2019)
366. Active Appearance Models for Face Recognition
367. An Approach for Template-Based Requirements Reuse
368. Approximate Datatypes for Anomaly Detection in XML-Based Protocols
369. Attempts at Improving the Efficiency of t-SNE
370. Augmented Reality in der Architekturvisualisierung
371. CassandraCrypt - Eine transparente clientseitige Verschlüsselung für Cassandra
372. Closed-Source - Ein leichtgewichtiges Vorgehensmodell in der Softwareentwicklung
373. Die Integration von Qualitätsmanagement in das Prozessmanagement auf Basis allgemeiner Standards
374. Diskrete Ereignissimulation und Animation mit Javascript
375. Einsatz der Mnemotechnik und E-Learning zur Steigerung der Effizienz und Effektivität bei Fortbildungen: Fallstudie in einem Unternehmen
376. Einsatz von Usability Engineering Methoden in mobilen Augmented Reality Anwendngen am Beispiel einer AR Sportanwendung für HMDS
377. Embedded Web Device Security: Gefahren und Gegenmaßnahmen - Fallstudie: Steuerung von Wasserversorgungsanlagen
378. Empfehlung für B2C-Unternehmen in Deutschland und Österreich bei der Anwendung ausgewählter Bezahlmethoden am Beispiel eines Online-Shops
379. Enterprise Resource Planning-Systementscheidung basierend auf einem Prozessanpassungsszenario bei der DELACON Biotechnik GmbH
380. Entwicklung eines Editors in Eclipse zur Erstellung eines Bitemporal Comlex Event Processing System
381. Erkennung von inkonsistentem Wissen in einem autonomen Multiagentensystem mit lokalen Wissensbasen
382. Extending data warehouses with reasoning over multi-dimensional ontologies: a proof-of-concept prototype using PL/SQL and OWL
383. Extracting Hardware Circuits from CNF Formulas
384. Feature-Based Composition of Software-Systems
385. Ganzheitliche Informationssysteme für Schiregionen und deren Beitrag zu einer gesteigerten Wertschöpfung
386. Gesicherte Kommunikation von iOS Anwendungen mit SAP Systemen unter ortsabhängiger Zugriffskontrolle
387. Hierarchical Temporal Memory -- Investigations, Ideas, and Experiments
388. Implementation of a Bitemporal Comlex Event Processor (BiCEP) with H2 and a Compiler for its Language (BiCEPL)
389. Implementierung und Evaluierung der Qualitätsmessung nach dem CISQ-Softwarequalitätsstandard
390. Implementing Judgement and Analysis Rules for Comparative Data Analysis in Oracle
391. Information Hiding in Ext2-Dateisystemen
392. Interactive Visualisation of Musical Structure with a Focus on Automatic Pattern Discovery
393. Komponentenbasierte Spieleentwicklung
394. Konzeption und Entwicklung eines Terminverwaltungssystems für Einzelunternehmen
395. Lernsequenz zum experimentellen Einstieg in die imperative Programmierung
396. Mobile Usability Enhancement with Augmented Reality for Industrial Use
397. Modelbildung und Simulation: Einführung und Anwendung am Beispiel eines Rasenroboter-Mähsimulator
398. Neuimplementierung und Funktionserweiterungen für ein Vague Query System
399. On-line Event Detection in Music Performances
400. Online Beat-Tracking with Particle-Filters
401. Operationalisierung von strukturbasierten Design Smells in Java Softwareprodukten
402. Opportunities to add value to Customer Relationship Management by applying E-learning for B2B clients
403. PBoolector: A Parallel SMT Solver for QF_BV by Combining Bit-Blasting with Look-Ahead
404. Parallel Algorithms for Regular Expression Matching in Network Intrusion Detection Systems
405. Portable Sicherungs- und Analysesoftware für E-Mail und Office-Dokument
406. Qualität von Geschäftsprozessmodellen
407. RABBLS - A Rotationg Beam Antenna Based Localization System
408. Rapid Experimentation for High-Performance Computing
409. Robustes Watermarking für digitale Bilder
410. Sicherheitsaspekte bei Virtualisierungen
411. Software Benchmarking - Ein Plugin für Sonarqube
412. Spatial Abstraction based on Depth Information
413. String Optimizations for Graal
414. Studienabbruch unter besonderer Betrachtung der MuSSS-Variante im Vergleich mit dem Präsenzstudium
415. Truffle/C Interpreter
416. Usability moderner Technologien: Anforderungen an Mensch und IT-Infrastruktur
417. Using Interactive to Validate Executing State Machines
418. Vergleich von Ansätzen wertbasierter Integritätsbedingungen in XML
419. Vergleich von Source Code Security Scannern anhand des Juliet Testsuite
420. Web Regression Testing for Dynamic Web Pages uring Selenium 2.0
421. An Evaluation of Bit-Parallelization applied to Failed Literal Probing
422. Cloudification of Visual SQL
423. Optimierung von Geschäftsprozessen in Krankenanstalten- Evaluierung und konzeptioneller Entwurf
424. Erweiterung eines Architekturwerkzeuges um Konzepte der aspektorientierten Programmierung
425. Ein Modell und Werkzeuge zum Management von Services
426. Integration von Java-basierten Portalen und Content Management-Systemene
427. Ein fehlertoleranter Kommunikationsdienst für eine agentenbasierte Verteilungsplattform
428. Eine fehlertoleranter Ereignisdienst für eine agentenbasierte Verteilungsplattform
429. Plattformen für mobile Java Agenten - Grundlagen, Konzepte, Standards und Ansätze
430. Eine Sicherheitsinfrastruktur für eine agentenbasierte Verteilungsplattform
431. Ein Ansatz zur Installation und Konfiguration von Komponenten in heterogenen verteilten Systemen
432. Ein Verzeichnisdienst für eine agentenbasierte Verteilungsplattform
433. Eine plattformunabhängige Programmierschnittstelle für Mobile Agenten
434. Generische Benutzerschnittstellen mit Java und XML
435. Mobile Agenten und eCommerce Konzepte und Einsatzmöglichkeiten
436. Ein trader-basiertes Werkzeug zur Konstruktions- und Dokumentationsunterstützung objektorientierter Softwarearchitekturen
437. Ein Desktopeditorframework in Java
438. Design und Implementierung einer Klassenbibliothek zur Kommunkation in verteilten objektorientierten Systemen
439. Entwurf und Implementierung eines objektorientierten Wertpapiermanagement- und Wertpapieranalyse-Werkzeuges
440. Prototypingorientierte Spezifikation eines Werkzeuges zur Unterstützung des prototypingorientierten Softwarekonstruktionsprozesses

Publikationstyp: Sonstige

1. Artikel in Presse OÖNachrichten
2. Kooperation: Autonomes Fahrzeug aus Linz machte Halt an FH Technikum Wien
3. Lehrstuhl Nachhaltige Transportlogistik 4.0 an der JKU forscht an autonomen Fahren
4. Pressemitteilung "Kooperation: Autonomes Fahrzeug aus Linz machte Halt an FH Technikum Wien" 
5. Pressemitteilung, Mobilität der Zukunft im Rahmen von Open4Innovation, "Lehrstuhl Nachhaltige Transportlogistik 4.0. an der JKU forscht an autonomen Fahren"
6. Pressemitteilung, Tüfteln an der Autonomie, Horizont
7. Produkte
8. ÖWGP Positionspapier 2021
9. Con coches sin conductor el trafico sera mas fluido y seguro
10. Diese Kappe liest Gedanken
11. Memory Cities: Visualizing Heap Memory Evolution Using the Software City Metaphor - Artifact (Binaries, Data Sets, Video, Instructions).
12. Pro²Future: Human Intelligence trifft auf Artificial Intelligence
13. Security? and safety?critical cyber?physical systems (Editorial)
14. A hearty welcome to the 27th IDIMT Conference!
15. Die Bedeutung der Impulsivität auf die Vertrauensbildung in Online-Settings: Erste Ergebnisse der Consumer Neuroscience
16. How can we simulate a ?lab-on-a-chip??
17. How can we work with quantum computers today?
18. Modellbasiertes Digital Twin Engineering
19. Voxelizing Light-Field Recordings (Poster)
20. Wenn die künstliche Intelligenz mitfliegt
21. A hearty welcome to the 26th IDIMT Conference!
22. Divide and Allocate: The Trace Register Allocation Framework
23. Good Bye IFSR! The last Newsletter edited by Gerhard Chroust
24. IFSR Newsletter vol 35, No 1 (October 2018)
25. Zukunftsfibel - Digitalisierung: Na und?!
26. A hearty welcome to the 25th IDIMT Conference!
27. IFSR Newsletter No. 34, no. 1 (Sept 2017)
28. IFSR Newsletter No. 34, no. 2 (Dec 2017)
29. Optimized Sampling for View Interpolation in Light Fields Using Local Dictionaries (Poster)
30. Provenance-Based Visualization Retrieval (Poster)
31. Reproducible Research in the Cloud with the Refinery Platform (Extended Abstract)
32. Secretary General's Message
33. Taggle: Scaling Table Visualization through Aggregation (Poster)
34. Von der Therapie zur Prävention - mit dem Sensor zum Menschen - technologiegestützte Erhaltung und Verbesserung der Lebensqualität im Alter
35. A DSL-based approach for event-based monitoring of systems of systems
36. A preliminary empirical assessment of similarity for combinatorial interaction testing of software product lines
37. Ing. Josip Sliskovic (1902-1984) Leben und Wirken im Dienste der Radiotechnik in Österreich
38. TaCo: Comparative Visualization of Large Tabular Data (poster)
39. Towards Visualization of Feature Interactions in Software Product Lines
40. Visual Evaluation of Cloud Infrastructure Performance Predictions (poster)
41. Visualization for Software Product Lines: A Systematic Mapping Study
42. Welcome to IDIMT 2016!
43. a variablility aware configuration management and revision control platform
44. An Image Sensor based on Optical Radon Transform (Festschrift)
45. Caleydo Web: An Integrated Visual Analysis Platform for Biomedical Data (Poster IEEE InfoVis 2015)
46. Das Nervensystem unseres Planeten
47. Interactive Visualization of Provenance Graphs for Reproducible Biomedical Research (Poster IEEE Symposium VDS'15)
48. Pathfinder: Visual Analysis of Paths in Heterogeneous Graphs (Poster IEEE Symposium on Visualization in Data Science)
49. Big Data - Chancen und Risiken
50. ConTour: Data-Driven Exploration of Multi-Relational Datasets for Drug Discovery (Poster)
51. Editorial
52. Editorial
53. Editorial
54. Editorial of the Special Issue: Evolving Soft Computing Techniques and Applications
55. Guest Editorial
56. Information Overload und Noise
57. Informations- und Kommunikationssysteme im Tourismus - Mobile Apps
58. Interoperabilität im E-Government
59. Refinery Platform: A Foundation for Integrative Data Visualization Tools (Poster)
60. Soziale Auswirkungen durch Mobile Computing
61. Touch Screen as Input Device: Does it Influence Memory Retrieval?
62. Transparent Layering for Visualizing Dynamic Graphs Using the Flip Book Metaphor (Poster)
63. Verbesserung von Datenqualität durch Geschäftsprozessverbesserung - dargestellt anhand einer Fallstudie zum Geschäftsprozess Vertragserstellung bei Microsoft Österreich GmbH
64. Verändert IT die Rolle von Patienten?
65. A short History of Linz
66. Mayor of Hai Phong visits Vienna and the IFSR
67. Twelfth International Workshop on Web Semantics and Web Intelligence (WebS) 2013 - Preface
68. Ein Verhaltensleitfaden für soziale Netzwerke in Organisationen am Beispiel der JKU
69. Guided Visual Analysis for the Identification of Cancer Subtypes (Poster)
70. Bytecode Analysis for Checking Java Access Modifiers

Vortragstyp: Eingeladener Vortrag an anderen Institutionen

1. Cognitive Products, Online (Webmeeting-Serie), (10.11.2020) 
2. Seeing through Forrest, Klosterneuburg, I.S.T., (09.11.2020) 
3. Technology Matters!, Online, (05.11.2020) 
4. Die Darm-Gehirn-Achse ? wie der Darm fühlt und denkt, online aufgrund von COVID-19, (15.10.2020) 
5. Was ist Demenz und wie schützen wir uns davor?, online aufgrund von COVID-19, (17.09.2020) 
6. Digitale Identitäten - Was, Warum, Wie?, Linz, (14.07.2020) 
7. Embodiment and technology ? Science Talk, online aufgrund von COVID-19, (01.07.2020) 
8. Embodiment and the brain ? Science Talk, online aufgrund von COVID-19, (30.06.2020) 
9. Embodiment: Mit dem Körper Wörter in einer Fremdsprache lernen, online aufgrund von COVID-19, (25.06.2020) 
10. Mikrofluidische Systeme: Das Labor auf dem Chip, Softwarepark Hagenberg, (27.05.2020) 
11. Beweg dich und dein Gehirn sagt Danke, online aufgrund von COVID-19, (14.05.2020) 
12. Deep Learning - die Schlüsseltechnologie für künstliche Intelligenz, Linz, (07.05.2020) 
13. Beweg dich und dein Gehirn sagt Danke, Wien, (15.03.2020) 
14. Visual Data Science & Explainable AI (keynote address), Leverkusen, (12.02.2020) 
15. Studieninformationsmesse HTL Braunau 2020: Informatik@JKU, Braunau, (10.02.2020) 
16. Deep Learning - the Key to Enable Artificial Intelligence, IST Austria, Klosterneuburg, (28.01.2020) 
17. Beweg dich und dein Gehirn sagt Danke, Salzburg, (16.01.2020) 
18. Runter vom Sofa, Wilhering, (09.01.2020) 
19. Mit dem Körper Lernen, Konferenz: Embodiment und Repräsentation, (07.11.2019) 
20. Deep Learning - the Key Technology of Artificial Intelligence, Wien, (06.11.2019) 
21. Embodiment: Mit dem Körper Lernen, Zürich, (25.09.2019) 
22. Visualization & Explainable AI, Berlin, (17.09.2019) 
23. Proof Systems for Quantified Boolean Formulas, Dagstuhl Seminar 19371, (10.09.2019) 
24. Design Automation for Quantum Computing, Indian Institute of Technology, Kharagpur, West Bengal, (28.08.2019) 
25. Virtuelle Sucht: Smartphone, Games, Social Media, wie sie unser Gehirn verändern und warum, Ars Electronica Center, Linz, (16.05.2019) 
26. Light-Field Microscopy: A Review, , (21.02.2019) 
27. QBF Competitions, Lorentz Workshop, (18.02.2019) 
28. Informatik@JKU, HTL-Braunau, (28.01.2019) 
29. Informatik studieren, Brigittenauer Gymnasium, Wien, (25.01.2019) 
30. TEMACC ? Technology Enabled Maternal and Child Health Care in Ethiopia, Kepler Universitätsklinikum Med Campus VI, (29.11.2018) 
31. Warum das Gehirn will, dass wir glücklich sind ?, Ars Electronica Center Linz, (08.11.2018) 
32. Revitalising Drug Discovery With AI and Deep Learning, Berlin, (07.11.2018) 
33. Digitalisierung und Digitale Transformation - Nicht digitale Digitalisierungskompetenzen und -faktoren, Linz, (22.10.2018) 
34. Spielen und Lernen aus Sicht des Gehirns, Ars Electronica Center Linz, (11.10.2018) 
35. The Symmetry Rule for Quantified Boolean Formulas, , (30.08.2018) 
36. Monitoring und Evolution komplexer software-intensiver Systeme, Pro Scientia Linz, (04.07.2018) 
37. Freundschaft im Gehirn, Ars Electronica Center Linz, (28.06.2018) 
38. Artificial Intelligence - technologischer Schlüssel auf dem Weg in die Zukunft, Wien, (20.06.2018) 
39. Deep Learning A-Z: Jumping into artificial neural network with examples, Frankfurt, (19.06.2018) 
40. Deep Learning: methods, successes, applications, Frankfurt, (19.06.2018) 
41. Models for Assessing Software Quality, Firma : Software Quality Labs, Linz, (15.06.2018) 
42. Lernprozesse aus Sicht des Gehirns Vortrag und Workshop für Richter/innen, Staatsanwälte und Fortbildungsverantwortliche, Oberlandesgericht Innsbruck, (13.06.2018) 
43. Wein im Gehirn, Ars Electronica Center Linz, (07.06.2018) 
44. Qualitätsspirale nach oben: Künstliche Intelligenz verbessert sich selbst, WK OÖ, Linz, (05.06.2018) 
45. Deep Learning Meets Physic, CERN, (04.06.2018) 
46. Analyzing Crypto Currencies using ThermalPlot, Tabakfabrik Linz, (29.05.2018) 
47. Artificial Intelligence and Deep Learning for Autonomous Driving, Graz, (16.05.2018) 
48. Body for Brain: Der Einfluss von Bewegung auf Geist und Psyche, Wien, (09.05.2018) 
49. Deep Learning in Linz, München, (04.05.2018) 
50. Artificial Ethics? Moralische Entscheidungen durch KI und Machine Learning, , (26.04.2018) 
51. Collaborations between ?VIS / Bioinformatics / Bio Communities, Schloss Dagstuhl, Wadern, (17.04.2018) 
52. Deep Learning is Revolutionizing Artificial Intelligence, Traunkirchen, (03.04.2018) 
53. Quantum Computation: Prospects and Challenges, Kolkata, (28.03.2018) 
54. Deep Learning of High-Level Representations, , (08.03.2018) 
55. Vom Fluch der Diäten, die nicht funktionieren: Was sagt das Gehirn dazu?, Ars Electronica Center Linz, (08.03.2018) 
56. Interactive Exploration of Structured Data, Large (Biomedical) Graphs, and Black Box Models, Cambridge, MA, (06.03.2018) 
57. Deep Learning Revolutionizes Artificial Intelligence, Berlin, (22.02.2018) 
58. Collaborating with Domain Experts, Schloss Dagstuhl ? Leibniz-Zentrum, Wadern, (23.01.2018) 
59. Deep Learning: How Computers Learn to Interpret Images, HTL Leonding, (23.01.2018) 
60. Artificial intelligence methods for molecular data, Ludwigshafen, (18.01.2018) 
61. Smartphone und Tablet: Nutzen und Risiken bei Kindern und Jugendlichen aus Sicht des Gehirns, Linz, (10.01.2018) 
62. Babygehirn: Vom Mutterleib bis zum fünften Jahr, Ars Electronica Center Linz, (23.11.2017) 
63. Leveraging Provenance for Storytelling, Reproducibility, and Recall, Wien, Wien, (23.11.2017) 
64. Trump, Putin & Friends: Wie das Gehirn Macht erlebt und warum es sie haben will, Ars Electronica Center Linz, (16.11.2017) 
65. Künstliche Intelligenz - Ungeahnte Möglichkeiten für den Automobilsektor, Voest Alpine Stahlwelt Linz, (15.11.2017) 
66. REMINDS: Requirements-based Monitoring and Diagnosis of Systems of Systems, Siemens AG, Corporate Research and Technologies, Munich, (24.10.2017) 
67. Gedächtnis: Was es ist, wo es im Gehirn ist, wie man es steigert und wie man es erhält, Ars Electronica Center Linz, (19.10.2017) 
68. Neue Geschäftsmodelle durch neue digitale Lösungen: Geschäftsmodell-getriebene Planung von Digitalisierungsmaßnahmen, WKO Oberösterreich, Linz, (11.10.2017) 
69. Deep Learning Powers Artificial Intelligence, Ars Electronica Center Linz, (28.09.2017) 
70. Deep Learning Revolutionizes Toxicity and Target Predictio, Basel, (19.09.2017) 
71. Natürliche und künstliche Intelligenz, Ars Electronica Center Linz, (08.09.2017) 
72. Visualization for Decision Making: Going (Far) Beyond Static Plots, Stevenage, (23.08.2017) 
73. Requirements-based Monitoring and Diagnosis of Systems of Systems, Siemens AG, Corporate Research and Technologies, Munich, (20.07.2017) 
74. Design Automation for Labs on Chips, Kalkutta, (11.07.2017) 
75. Applications of Reversible Circuits and Directions for Future Work, Kalkutta, (05.07.2017) 
76. Self-normalizing Neural Networks and a Two Time-Scale Update Rule for GANs, Berlin, (29.06.2017) 
77. Deep Learning is Evolving into the Key Technology of Artificial Intelligence, amsec IMPULS, Hagenberg, (27.06.2017) 
78. Meine Spuren im Internet: Digitale Identitäten für die Physische Welt, Traunkichen, Internationale Akademie, (24.06.2017) 
79. Open Source Linzenzen & Urheberrechtsschutz von Software, Linz, (20.06.2017) 
80. Frauengehirn und Männergehirn: Stärken und Schwächen beider Geschlechter, Ars Electronica Center Linz, (08.06.2017) 
81. Deep Learning revolutioniert gerade die Künstliche Intelligenz, WK OÖ, Linz, (31.05.2017) 
82. Was ist tief beim Deep Learning und wo sind die Grenzen?, WK OÖ, Linz, (31.05.2017) 
83. Digitalisierung und Digitale Transformation: Kerninhalt der Wirtschaftsinformatik?, Linz, (11.05.2017) 
84. Socio-Inspired ICT, Wien, (09.05.2017) 
85. Light-Field Imaging, Processing, and Display, Vienna, (29.03.2017) 
86. Natürliche und künstliche Intelligenz: Ähnlichkeiten und Unterschiede in einer Welt, in der Gegenstände immer intelligenter werden, Ars Electronica Center Linz, (16.03.2017) 
87. Lernen mit Freude aus Sicht des Gehirns: Ein Vortrag für Lernende und für Lehrende, Wissensturm Linz, (15.03.2017) 
88. Daten sehen - Krebs verstehen. Mit Big Data-Analyse und Visualisierung dem Krebs auf der Spur, AEC Linz, (23.02.2017) 
89. Future & Emerging ICT ? Innovationen mit dem Ziel, Menschen zu dienen, St. Gilgen, (09.02.2017) 
90. Digitalisierung von Geschäftsmodellen, Wirtschaftskammer OÖ. Linz, (07.02.2017) 
91. Wo ein Wille ist...Willenskraft aus Sicht des Gehirns erklärt, Ars Electronica Center Linz, (26.01.2017) 
92. Emotion und Gefühl im Gehirn - Wiederholung, Ars Electronica Center Linz, (19.01.2017) 
93. Wirtschaftsinformatik - Software Engineering, Hagenberg, (12.12.2016) 
94. Zwei Sprachen in einem Kopf: Wie Mehrsprachigkeit die Leistungsfähigkeit des Gehirns steigert, Pädagogische Hochschule Tirol, (21.11.2016) 
95. Emotion und Gefühl im Gehirn, Ars Electronica Center Linz, (17.11.2016) 
96. Schokolade: Essen für die Seele? Wie sich Ernährung auf unser Gehirn und unsere Psyche auswirkt ? Wiederholung, Ars Electronica Center Linz, (10.11.2016) 
97. Anti-Aging für das Gehirn, Akademie Wels, (17.10.2016) 
98. Interactive Data Exploration: Going (Far) Beyond Static Plots, Vienna, (17.10.2016) 
99. Talent und Talentförderung aus Sicht des Gehirns, VHS-Wissensturm Linz, (13.10.2016) 
100. TourGuide - Navigation System for Capturing and Analyzing Complex Clinical Data, , (13.10.2016) 
101. TourGuide - Personalisierte Medizin durch Navigationssystem für die Erfassung & Analyse großer, komplexer Daten, Linz, (13.10.2016) 
102. Deep Learning Revolutionizes Information Technology, TU München, (11.10.2016) 
103. Schokolade: Essen für die Seele? Wie sich Ernährung auf unser Gehirn und unsere Psyche auswirkt, Ars Electronica Center Linz, (06.10.2016) 
104. Assistive Technology and eAccessibility, Warsaw, (05.10.2016) 
105. Spezifische Voraussetzungen für benachteiligte Gruppen (Behinderte, Jugendliche mit besonderem Förderbedarf), , (03.10.2016) 
106. Digitaler Stress: Forschungsergebnisse und Bewältigungsstrategien, Wels, (12.09.2016) 
107. Intelligent machines that make humans learn Symposium Virtual Reality im Bildungs- Sozial- und Gesundheitsbereich, Ars Electronica Center Linz, (09.09.2016) 
108. Perspektiven der physisch-digitalen Systeme der Zukunft, Steyr, (30.08.2016) 
109. Music Retrieval and Intelligent Machines in Sound Production, NY, (01.08.2016) 
110. Medical Device Security, Johannes Kepler Universität Linz, (29.06.2016) 
111. Freier Wille und Gehirnforschung: Können oder können wir nicht selbst entscheiden?, Ars Electronica Center Linz, (16.06.2016) 
112. How Visualization Helps to? Understand Biomedical Data, Mainz, (14.06.2016) 
113. Lehrgang "WebAccessibility - Barrierefreies Webdesign", Salzburg, (09.06.2016) 
114. Unser Gehirn, unser Potential: Warum Lernen in Kindheit und Jugend so wichtig ist, Ars Electronica Center Linz, (09.06.2016) 
115. DeepTox - Deep Learning for Toxicity Prediction, Berlin, (07.06.2016) 
116. LSTM as a Key Technology for IT Companies, Berlin, (06.06.2016) 
117. Burnout - Moderne Epidemie?, Ars Electronica Center Linz, (02.06.2016) 
118. Bewegung ist Balsam für das Gehirn, JKU Linz, (19.05.2016) 
119. Towards a Flexible, Scalable, and Transparent Thin-Film Camera, Faak am See, (18.05.2016) 
120. Towards a Flexible, Scalable, and Transparent Thin-Film Camera, Wels, (11.05.2016) 
121. Die Schönheit liegt im Auge des Betrachters: Ästhetik aus Sicht des Gehirns, Ars Electronica Center Linz, (21.04.2016) 
122. Deep Learning: a Key Technology for Target and Toxicity Prediction, Hinxton, EMBL European Bioinformatics Institute, (20.04.2016) 
123. Lernen aus Sicht des Gehirns: Theorie und Praxis, Kepler Society Linz, (12.04.2016) 
124. Sicherheit mobiler Geräte: Können wir unseren Smartphones noch trauen (und sie uns)?, Linz, (04.04.2016) 
125. Searching for a Needle in a Data Stack: How Visualization Helps to Understand Biomedical Data, Berlin, (24.03.2016) 
126. Digital Lightfields, Laval, (23.03.2016) 
127. Freier Wille und Gehirnforschung: Können oder können wir nicht selbst entscheiden?, Ars Electronica Center Linz, (10.03.2016) 
128. Integrated Visual Analysis for Data?Driven Sciences, Klosterneuburg, (10.03.2016) 
129. Rausch und Gehirn: Warum keine Droge harmlos ist, Ars Electronica Center Linz, (04.02.2016) 
130. Tour Guide - Personalisierte Medizin durch Navigationssystem für die Erfassung und Analyse großer, komplexer Daten, Linz, (03.02.2016) 
131. Anti-Aging für das Gehirn, Ars Electronica Center Linz, (21.01.2016) 
132. Assistierende Technologien, , (20.01.2016) 
133. Stress im Gehirn: Kann uns der Beruf krank machen?, SCHEZ, Linz, (19.01.2016) 
134. Digital Lightfields, Stuttgart, (25.11.2015) 
135. Visual Analysis of Large and Heterogeneous Biological Data, Leuven, (24.11.2015) 
136. Wein im Kopf, Volksbank Vöcklabruck, (18.11.2015) 
137. Deep Learning: from self-driving cars to drug design, Darmstadt, Merck KGaA, (17.11.2015) 
138. Rausch und Gehirn: Warum keine Droge harmlos ist, Ars Electronica Center Linz, (12.11.2015) 
139. Hirn braucht Bewegung, SPES Familienakademie, (05.11.2015) 
140. Gehirnforschung: Hype oder wichtige Grundlage für die Pädagogik?, Schez und Bruckner Privatuniversität, (03.11.2015) 
141. Deep Learning: a Key Technology for Target and Toxicity Prediction, Hinxton, EMBL European Bioinformatics Institute, (21.10.2015) 
142. Ipad & Co: Freunde oder Feinde unserer Kinder?, SCHEZ, Linz, (29.09.2015) 
143. REMINDS: Requirements Monitoring for Systems of Systems -- Princeton, Princeton, (04.09.2015) 
144. Deep Learning as a Key Technology for Target and Toxicity Prediction, Frankfurt, Sanofi-Aventis Deutschland GmbH, (13.07.2015) 
145. Stress im Gehirn, Ars Electronica Center Linz, (11.06.2015) 
146. Searching for a Needle in a Data Stack: How Visualization Helps to Understand Data, Austrian Computer Society, 40th Anniversary Celebration, (10.06.2015) 
147. Wide-field-of-view light-field processing and coded sampling, Saarbrücken, (09.06.2015) 
148. Unternehmen mit Gefühl Workshop aus der Reihe Gehirn für Unternehmen, , (27.05.2015) 
149. Towards a transparent and flexible image sensor, Dagstuhl Seminar, Computational Imaging, Schloss Dagstuhl, Wadern, (22.05.2015) 
150. Deep Learning: a tech break through, Berlin, Zalando SE, (21.05.2015) 
151. Visual Analysis of Heterogeneous ?Biomolecular Data, London, Imperial College London, (12.05.2015) 
152. Techniken des maschinellen Lernens zur Analyse von Hochdurchsatz-DNA- und RNA-Sequenzierungsdaten, Dagstuhl Seminar 15202 "Kolloquium zum GI Dissertationspreis 2014", (11.05.2015) 
153. Glück im Gehirn, Ars Electronica Center Linz, (07.05.2015) 
154. Lernen aus Sicht des Gehirns, WIFI Linz, (30.04.2015) 
155. Gehirn für Einsteiger, Ars Electronica Center Linz, (25.04.2015) 
156. Parallel SAT Solving or To Share or Not To Share, Dagstuhl, (23.04.2015) 
157. Stress im Gehirn, Ars Electronica Center Linz, (23.04.2015) 
158. Deep Learning in Bioinformatics, Zürich, IBM Research, (21.04.2015) 
159. Make love not war: Warum das Gehirn gegen Krieg ist, Ars Electronica Center Linz, (12.03.2015) 
160. Frühförderung von Kindern: Was sagt das Gehirn dazu?, Akademikerbund Oberösterreich, (04.03.2015) 
161. Lichtfelder - Die Zukunft digitaler Bilder, Traunkirchen, (05.02.2015) 
162. Towards a Transparent and Flexible Image Sensor, Saarbrücken, (30.01.2015) 
163. Towards a Transparent and Flexible Image Sensor, Paris, (16.01.2015) 
164. Bioinformatics: Key Technology in Biology and Medicine, HTL Grieskirchen, (22.12.2014) 
165. Visual Analysis of Heterogeneous Molecular Data with Caleydo, Ghent, (25.11.2014) 
166. Webwissssenschaften studieren - Wofür und für wen?, Wien, (25.11.2014) 
167. Wie trifft unser Gehirn Entscheidungen?, Bank für Tirol und Vorarlberg, Imst, (19.11.2014) 
168. Enterprise Interoperability from a Complex Adaptive Systems Point of View, , (18.11.2014) 
169. Visual Data Science, Pro2Future Workshop: Towards a Competence Center on Products and Production of the Future in Upper Austria, Linz, (18.11.2014) 
170. Wie trifft unser Gehirn Entscheidungen?, Bank für Tirol und Vorarlberg, Fügen, (18.11.2014) 
171. Emotion und Gehirn, Österreichische Gesellschaft für Lebensberatung, Wirtschaftskammer Vorarlberg, (17.11.2014) 
172. Wie lernt das Gehirn?, Don Bosco Gymnasium Unterwaltersdorf, (14.11.2014) 
173. Stress im Gehirn, Ars Electronica Center Linz, (06.11.2014) 
174. Tage des Gehirns ?Denken, Lernen, Fühlen aus Sicht des Gehirns?, SLÖ Niederösterreich, (17.10.2014) 
175. Glück im Gehirn, VHS Steyr und Lernwelt, Steyr, (07.10.2014) 
176. Soziale und asoziale Gehirne: Wie entstehen sie, wie werden sie geprägt?, Ars Electronica Center Linz, (02.10.2014) 
177. Visualizing Heterogeneous, Multi-Dimensional Data, Cambridge, MA, (24.09.2014) 
178. Grammatikvermittlung mittels Satzklax!, eine single-page Web-Application, , (19.09.2014) 
179. Mensch und Maschine: Ein Blick in das menschliche Gehirn, Science Brunch; Upper Austria Research Linz, (04.09.2014) 
180. Fundamentals of Visualizing Biological Data, Boston, MA, (12.07.2014) 
181. Essen, Gehirn und Verhalten: ein gefährliches Zusammenspiel, Ars Electronica Center Linz, (26.06.2014) 
182. Visual Analysis of Heterogeneous Data for Molecular Biology, Bergen, (23.05.2014) 
183. Warum bin ich so, wie ich bin? Gene, Umwelteinflüsse und Gehirn ab der Zeugung, Ars Electronica Center Linz, (15.05.2014) 
184. Sprache im Gehirn sehen: Methoden der Neurowissenschaft zur Erforschung sprachlicher Phänomene, SCHEZ, Linz, (05.05.2014) 
185. TIM - Expertentag Produktentwicklung für ein unterstütztes Leben, , (18.03.2014) 
186. Was macht das Gehirn den ganzen Tag? Es lernt (Fremd-)Sprache!, SLÖ NÖ, Zwentendorf, (18.03.2014) 
187. Application Performance Management: Synergien zwischen Compuware und JKU, Perg, (15.03.2014) 
188. Intelligenz: Was im Kopf unserer Kinder steckt, Familien- und Sozialzentrum Schärding, (25.02.2014) 
189. Was macht das Gehirn den ganzen Tag? Es genießt Bewegung, gutes Essen und gestaltet Freizeit!, Himberg bei Wien, (18.02.2014) 
190. Facilitating Articulation and Reflection about Work, , (11.02.2014) 
191. Was macht das Gehirn den ganzen Tag? Es ist für den Menschen da!, SLÖ NÖ, Amstetten, (14.01.2014) 
192. Digitale Medien und Gehirn, Ars Electronica Center Linz, (21.11.2013) 
193. Macht liebevolle Zuwendung intelligent? Wie Gefühle das kindliche Gehirn prägen., Katholisches Bildungswerk Linz, (12.10.2013) 
194. Embodiment: Warum Körper und Geist eine Einheit bilden, Ars Electronica Center Linz, (10.10.2013) 
195. Gehirnforschung: Wie lernt Ihr Kind?, Volksschule Ottensheim, (08.10.2013) 
196. Konzepte von Typescript mit Fallstudie zu struktureller statischer Typisierung, , (26.09.2013) 
197. Wie lernt das Gehirn?, Landesschulrat Network Steiermark, Graz, (02.07.2013) 
198. Herausforderungen und Trends im Software Engineering, Wirtschaftskammer OÖ. Linz, (20.06.2013) 
199. Lebensspuren im Gehirn, Ars Electronica Center Linz, (23.05.2013) 
200. Similarity-based clustering of compounds and its application to knowledge discovery from kernel-based QSAR models, Dagstuhl Seminar 13212 "Computational Methods Aiding Early-Stage Drug Design", (23.05.2013) 
201. Detecting differentially expressed genes in RNA-Seq drug design studies, Dagstuhl Seminar 13212 "Computational Methods Aiding Early-Stage Drug Design", (21.05.2013) 
202. Liebe im Gehirn, Wirtschaftsbund Oberösterreich, Linz, (29.04.2013) 
203. Kunst im Gehirn, Ars Electronica Center Linz, (18.04.2013) 
204. Gehirn für Einsteiger, Ars Electronica Center Linz, (14.03.2013) 
205. Warum uns Gott die Liebe schenkte: Betrachtungen und Überlegungen aus Sicht des Gehirns, Katholisches Bildungswerk Oberösterreich, Wels, (08.03.2013) 
206. Was ist Intelligenz aus Sicht des Gehirns?, SCHEZ, Linz, (05.03.2013) 
207. Chemie der Liebe und Gehirn, Wissensturm der VHS Linz, (04.02.2013) 
208. Mythos Lerntyp, Ars Electronica Center Linz, (22.01.2013) 
209. Auswirkungen von Bewegung im Jugendalter auf das Gehirn: Kognitive Leistung und Emotion, Gymnasium Dachsberg, (16.11.2012) 
210. Der Fehlerteufel im Gehirn, Ars Electronica Center Linz, (15.11.2012) 
211. Fit und erfolgreich: Wie man die geistige Leistung im Unternehmen verbessert, WIFI-Unternehmer-Akademie, Linz, (05.11.2012) 
212. Kunst im Gehirn, Donumenta, Regensburg, (27.10.2012) 
213. Denken, Lernen, Fühlen aus Sicht der Gehirnforschung, SCHEZ, Linz, (19.10.2012) 
214. Der Einfluss von Musik auf das Gehirn, Ars Electronica Center Linz, (18.10.2012) 
215. Lebensspuren im Gehirn: Wie das Leben unser Gehirn verändert und wie unser Gehirn das Leben beeinflusst, Lebensspurenmuseum, Wels, (10.10.2012) 
216. Wie das Gehirn Entscheidungen trifft, welche Faktoren sie beeinflussen, Ars Electronica Center Linz, (20.09.2012) 
217. Bewegung ist Balsam für das Gehirn, Sparkasse Oberösterreich, Wilhering, (18.09.2012) 
218. Bewegung ist Balsam für das Gehirn, Sparkasse Oberösterreich, Vöcklabruck, (03.07.2012) 
219. Bewegung ist Balsam für das Gehirn, Sparkasse Oberösterreich, St. Florian, (27.06.2012) 
220. Bewegung ist Balsam für das Gehirn, Sparkasse Oberösterreich, Linz (Lederfabrik), (25.06.2012) 
221. Aufmerksamkeit und Bewusstsein, Ars Electronica Center Linz, (14.06.2012) 
222. Warum Laufen fit und schlau macht, Welser Running Team, Wels, (22.05.2012) 
223. Warum Barack Obama Präsident der USA wurde: Erfolg aus Sicht des Gehirns, Ars Electronica Center Linz, (10.05.2012) 
224. Netzwerke des Geistes, Ars Electronica Center Linz, (19.04.2012) 
225. Bewegung ist Balsam für das Gehirn, Sparkasse Oberösterreich, Griskirchen, (18.04.2012) 
226. Was macht das Gehirn den ganzen Tag? Es lernt (Fremd-)Sprache!, SCHEZ, Linz, (16.04.2012) 
227. Warum das Gehirn unserer Kinder Krabbelstube und Hort braucht: Aktuelle Erkenntnisse aus der Neurowissenschaft, Karl Renner Institut Oberösterreich, Linz, (31.03.2012) 
228. Der Schlüssel ins Gehirn: Methoden der Neurowissenschaft, Ars Electronica Center Linz, (22.03.2012) 
229. Zuhören und Spracherwerb - Welche Rolle spielt das Gehirn?, Leipzig, (15.03.2012) 

Vortragstyp: Hauptvortrag / Eingeladener Vortrag auf einer Tagung

1. Kognitive Industriesysteme, Online, (22.06.2021) 
2. Beherrschung der Software-Variantenvielfalt in Produktionssystemen, Linz, (17.06.2021) 
3. Seeing through Forrest, , (16.02.2021) 
4. Seeing through Forrest, , (21.12.2020) 
5. Intelligent Technologies for Efficient Mobility and Transport, online aufgrund von COVID-19 (geplant: USA), (30.11.2020) 
6. Mechanismen des Lernens und des Vergessens im Gehirn, online aufgrund von COVID-19 (geplant: DEU), (26.11.2020) 
7. Deep Learning for Perception in Autonomous Vehicles, online aufgrund von Covid-19, (23.11.2020) 
8. Modern Hopfield Networks, online aufgrund von COVID-19 (geplant: ITA), (18.11.2020) 
9. Motivation und Entscheidungsfindung im Gehirn, online aufgrund von COVID-19, (17.11.2020) 
10. Intelligent Vehicles ? Automated Vehicles Impact on Road Users and Safety, online aufgrund von COVID-19 (geplant: USA), (05.11.2020) 
11. Edge-Combining for QPSK and FSK Modulation Using a Single Delay-Line, Vienna, Austria, (07.10.2020) 
12. Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning - A Survey, online, (24.09.2020) 
13. Formal Verification of Integer Multiplier Circuits using Computer Algebra, online, (24.09.2020) 
14. SAT in Master Class Recent Advances in Optimisation Paradigms and Solving Technology, Cyberspace, (21.09.2020) 
15. Nullstellensatz-Proofs for Multiplier Verification, online, (14.09.2020) 
16. The Pangolin Scales & BR41N.IO Hackathon, JKU Linz, (09.09.2020) 
17. Digital Authentication in the Real World without Sacrificing Privacy, online aufgrund von COVID-19 (geplant: GBR), (16.07.2020) 
18. Opening & Closing Words, virtuell, (08.07.2020) 
19. Android Device Security Database, virtuell, (06.07.2020) 
20. Opening & Closing Words, virtuell, (06.07.2020) 
21. Chasing Target Phases, Cyberspace, (03.07.2020) 
22. Body and Mind: How your body enhances second language learning, online aufgrund von COVID-19 (geplant: DEU), (28.05.2020) 
23. From DRUP to PAC and Back, online, (11.03.2020) 
24. Aware Systems: Reversing Interaction Principles, St. Gilgen, (23.01.2020) 
25. Sozio-technisches Design sozio-technischer Systeme, , (12.12.2019) 
26. Analyzing Memory Errors in Production, Stockholm, (04.12.2019) 
27. Research and Development in ICT for better Inclusion of People with Disabilities, , (28.11.2019) 
28. Überblicksvortrag neue Medien, Basel, (20.11.2019) 
29. Beyond Business Analytics: From Data to Decision - Caveats and Pitfalls, Tabakfabrik Linz, (16.11.2019) 
30. CON ESPRESSIONE, Bukarest, (15.11.2019) 
31. Web-Accessibility ? Wirtschaftliche und soziale Innovation, OCG Wien, (07.11.2019) 
32. Interaction with Vehicular Robots, , (05.11.2019) 
33. Human Machine Interaction in a vehicular environment, , (04.11.2019) 
34. Big Data for Smart Healthy Aging, Tangerang, (30.10.2019) 
35. Truth Assignments as Conditional Autarkies, Taipei, (30.10.2019) 
36. Software-Entwicklung im Lichte kultureller Unterschiede, GI Tagung Lörrach, (25.10.2019) 
37. Knowledge-assisted Visual Analytics meets Guidance and Onboarding, Vancouver, Canada, (24.10.2019) 
38. Visualizing Multivariate Networks, Vancouver, Canada, (20.10.2019) 
39. Beweg dich! Wie Sport unser Gehirn verändert, Internationales Eröffnungssymposiums des Zentrums für klinische Neuroplastizität, (19.10.2019) 
40. Beweg dich und dein Gehirn sagt Danke, Reed Messe, Wien, (12.10.2019) 
41. Design Science for Model-Driven Software and Systems Engineering, Munich, (17.09.2019) 
42. Visual Data Science & Explainable AI, Berlin, (17.09.2019) 
43. Assistive Technology Best Practices and Challenges in Higher Education in Europe, Bologna, (30.08.2019) 
44. Recent QBF Reasoning Techniques, , (08.07.2019) 
45. SAT, Computer Algebra, Multipliers, Lissabon, (07.07.2019) 
46. Algebra, Proofs and Multipliers, EPFL Lausanne, (22.06.2019) 
47. Ich bitte um Ihre Aufmerksamkeit! Wahrnehmungsgesteuerte Selbstanpassung zukünftiger IT-basierter Produktionssysteme, Linz, (18.06.2019) 
48. Business Analytics: From Data to Decision - Caveats and Pitfalls, Wien, (06.06.2019) 
49. Reflections on Teaching Computing, Wien, (03.06.2019) 
50. Cognitive IT: The Dawn of the Age of Machine Thinking, Venice, (08.05.2019) 
51. Anregungen zur Entwicklung der Sozietät, , (25.04.2019) 
52. Smarte Produktion, Wien, (31.01.2019) 
53. Digitale Geschäftsmodelle, , (12.12.2018) 
54. Informatik als Schlüsseldisziplin der Zukunft, Austrian Computer Society, Vienna, (03.12.2018) 
55. Analytical Query Patterns: Domain Independent and Domain Specific Cores of Analytical Queries, Schloß Dagstuhl Dagstuhl, (23.11.2018) 
56. ERP-Systeme - Hemmschuh oder Vorbedingung für die digitale Transformation?, , (13.11.2018) 
57. Dualizing Projected Model Counting, Volos, (07.11.2018) 
58. Shaping the cognitive productions systems of the future, Wien, (31.10.2018) 
59. Juniper: A Tree+Table Approach to Multivariate Graph Visualization, Berlin, (25.10.2018) 
60. Invited Talk: A Roadmap for Engineering Safe and Secure Cyber Physical Systems, Marrakesh, (24.10.2018) 
61. (e)Accessibility, Barcelona, (05.10.2018) 
62. Solving parity games with tangles, Berlin, (19.09.2018) 
63. The Future of Products and Production Systems is Cognitive, Linz, (18.09.2018) 
64. Artificial Intelligence - Unterstützung für IR oder Konkurrenz?, Salzburg, (13.09.2018) 
65. Assistierende Technologien: Barrieren abbauen, Brücken schlagen, Zürich, (04.09.2018) 
66. From Big Data to Smart Data, , (07.08.2018) 
67. Using work-stealing to parallelize symbolic algorithms and parity game solvers, Oxford, UK, (18.07.2018) 
68. Attracting Tangles to Solve Parity Games, Oxford, UK, (17.07.2018) 
69. Intelligence in the Age of Big Data, Tanjir, (12.07.2018) 
70. Big Data for Smart Healthy Aging, Bejing, (27.06.2018) 
71. IoT in a Nutshell, Sattledt, (20.06.2018) 
72. Bounded Model Checking and CBMC, Oxford, (15.06.2018) 
73. Truffle - A Framework for Writing Self-optimizing Language Interpreters, Salzburg, (15.06.2018) 
74. Developements in AT and eAccessibility over the past 20 years, Paris, (14.06.2018) 
75. Assistive Technology and Accessibility: Prerequisite, Risk and Responsibility for an Inclusive School and Society, Koper, (24.05.2018) 
76. Spotlight 5 ? IoT, the thinking things, Linz, (26.04.2018) 
77. Advanced and Emerging Solutions: ICT and AT in Education of Low Vision and Blind People, Sofia, (25.04.2018) 
78. The only thing stable is change. Coping with the challenges of the information age in service provision, Stockholm, (18.04.2018) 
79. Oink: An Implementation and Evaluation of Modern Parity Game Solvers, Thessaloniki, (17.04.2018) 
80. PROQUALIS: We do it our way! People with Cognitive Disability (PwCD) taking over ownership!, Macau, (16.04.2018) 
81. Design Automation for Labs-on-Chip, Wien, (13.04.2018) 
82. Quantum Computation: Prospects and Challenges, Sizilien, Taormina, (11.04.2018) 
83. Decision Diagrams for the Design of Reversible and Quantum Circuits, Kolkata, (30.03.2018) 
84. Deep Learning is Revolutionizing Artificial Intelligence, Prag, (24.03.2018) 
85. Information and Communication Technology, Assistive Technology, Accessibility, , (01.02.2018) 
86. Exklusion -> Inklusion und die Rolle neuer Technologien, Schloss Hartheim Alkoven, (26.01.2018) 
87. Towards Lightweight Satisfiability Solvers for Self-Verification, Durgapur, (19.12.2017) 
88. Über den Umgang mit Heterogenität in Großlehrveranstaltungen, Graz, (21.11.2017) 
89. Der Tor Exit Node an der JKU ? Erfahrungsbericht, Linz, (17.11.2017) 
90. Deep Learning in Big Pharma, Graz, Messe Graz, (16.11.2017) 
91. Der Betrieb eines Tor-Exit-Nodes in Österreich, Wien, (26.10.2017) 
92. Mechanismen der Kooperation im Gehirn, Land OÖ, (04.10.2017) 
93. Challenges in Verifying Arithmetic Circuits Using Computer Algebra, Timisoara, (28.09.2017) 
94. Search at Petabyte Scale: Approximate-Nearest-Neighbor-Suche, Heidelberg, (27.09.2017) 
95. Effectively Using and Reusing Engineering Knowledge in a Collaborative Engineering Environment, , (15.09.2017) 
96. Deep Learning is Evolving into the Key Technology of Artificial Intelligence, WU Wirtschaftsuniversität Wien, (04.09.2017) 
97. Deep Learning: More Than Classification, WU Wirtschaftsuniversität Wien, (04.09.2017) 
98. Omnipresent Multimedia - Pain and Gain of the Always Connected Paradigm, Lyon, (28.08.2017) 
99. Deep Learning ? Mo?glichkeiten, Chancen und Konflikte, Alpbach, (25.08.2017) 
100. Data Intelligence: Intelligence in the Age of Big Data, Bali, (08.08.2017) 
101. Assisting People with Nystagmus Through Image Stabilization: Using an ARX Model to Overcome Processing Delays, , (12.07.2017) 
102. Spatial Abstractions for Individuals in Superorganisms, Salzburg, (05.07.2017) 
103. Tor exit node - Zwischenbericht, Klagenfurt, (19.05.2017) 
104. Tatort Digitalisierung: Menschliche Motive und ihr symbiotischen IT-Systeme, Innsbruck, (04.05.2017) 
105. Unser Gehirn, unser Potenzial: Warum lernen in der Kindheit und Jugend so wichtig ist, Land OÖ, (27.04.2017) 
106. Omnipresent Multimedia - enabling new ways of communication and cooperation, Fes, (17.04.2017) 
107. Tag des Gehirns: Gehirngerechtes Lernen, AKH Wien, (30.03.2017) 
108. AT and eAccessibility - Public Private Partnership, , (28.03.2017) 
109. Business and Technologies Going Green, Wien, (25.01.2017) 
110. Neurowissenschaftliche Grundlagen zum Spracherwerb - Spracherwerbsstörungen, Wien, (23.01.2017) 
111. Cognitive Collective Adaptive Systems, Wien, (18.01.2017) 
112. Deep Learning Revolutionizes Artificial Intelligence, Universität Tübingen, DE, (13.01.2017) 
113. First Steps with Virtual Trainers Teaching Second Language, Nijmegen, (13.01.2017) 
114. Engineering the "Cloud within us", Rabat, (16.12.2016) 
115. Your Face as a Universal Passport: Digital Identity for Physical Authentication, , (29.11.2016) 
116. Computer und Musikinterpretation: Eine Entdeckungsreise in die Welt der Artificial Intelligence Forschung, Linz, Ars Electronica Center, (12.11.2016) 
117. Digitaler Stress: Forschungsergebnisse und Bewältigungsstrategien, Wien, (09.11.2016) 
118. Trends in der Digitalisierung, Zell am See, (09.11.2016) 
119. Embedding Interuniversity Peer Review in Virtual Learning Groups. A Research-based Learning Scenario, Sapienza University Rome, (27.10.2016) 
120. Bit-Blasting Considered Harmful, Telc, (22.10.2016) 
121. IKT der Zukunft - Projektserie IPC, Linz, (19.10.2016) 
122. Digitaler Stress als Killer von Gesundheit und Produktivität: Was CIOs darüber wissen sollten, Loipersdorf, (18.10.2016) 
123. Barrierefreie Literatur als Voraussetzung für ein Studium für blinde und sehbehinderte Studierende, , (13.10.2016) 
124. Converging Technologies for the Web of Everything - People included, Santa Marta, (12.10.2016) 
125. Digitalisierung: Wo bleibt die Sicherheit?, Linz, (07.10.2016) 
126. Cyberphysische Produkte und Produktionssysteme, Salzburg, (04.10.2016) 
127. Das Internet der Dinge, Wien, (03.10.2016) 
128. Gehirn für EinsteigerInnen, Wien, (29.09.2016) 
129. Decision Heuristics and Restarts in SAT, Klagenfurt, (26.09.2016) 
130. Verschränkte Welt: Die Separierung der "Physischen" von der "Digitalen" Welt ist obsolet!, Wien, (15.09.2016) 
131. Energy Efficiency in Mobility-Driven Ad-hoc Wireless Networks, Trinity College Dublin, (13.09.2016) 
132. Computational Music Perception, JKU Linz, (12.09.2016) 
133. Weaknesses of CDCL Solvers, Fields Institute, Toronto, (16.08.2016) 
134. Towards a Transparent, Flexible, and Scalable Image Sensor, Heidelberg, (26.07.2016) 
135. May I Have Your Attention, Please?, Linz, (15.07.2016) 
136. The World beyond the Web Pages: Impact of the ?Web of Things? for Users with Special Needs, Linz, (15.07.2016) 
137. Low Cost Assistive Technology Solutions for Everyday Living, Learning and Working, Linz, (14.07.2016) 
138. The Evolution of Responsibility in the Anthropocene, Linz, (13.07.2016) 
139. Towards a Flexible, Scalable, and Transparent Thin-Film Camera, Hannover, (22.06.2016) 
140. Perspectives on Smart Digital Education in Universities and Medical Education, , (17.06.2016) 
141. Leveraging Provenance for Storytelling and Reproducibility, Groeningen, (07.06.2016) 
142. The Cloud is not "there", We are the cloud!, Florianopolis, (18.05.2016) 
143. Reversible Logic: Whats next?, Hokkaido, (17.05.2016) 
144. The Mobile Phone - High-Tech in Your Pocket, Wien, (28.04.2016) 
145. Taking Cooperation to the Cloud, Bandung, (26.04.2016) 
146. Studierendenausweis als Bürgerkarte - Digitale Signierung elektronischer Prüfungen, , (25.04.2016) 
147. SMT Solvers, , (15.04.2016) 
148. Cyber-Physische Produkte und Produktionssysteme, Augsburg, (07.04.2016) 
149. Importance Weights for RNNs, Sestri Levante, (30.03.2016) 
150. Collaborative Engineering across Disciplines and Tools, Leuven, (03.03.2016) 
151. Die Partnerschaft von IT & Management als Schlüssel zum Erfolg, Waidhofen/Ybbs, (01.03.2016) 
152. Attentive Things, Graz, (04.02.2016) 
153. Foundations and Engineering of Collective Adaptive Systems, Arlington, Virginia, (13.01.2016) 
154. Software Engineering and its industrial Transition, Linz, (07.01.2016) 
155. HVC'15 Award, SAT Solving for Model Checking and Beyond, Haifa, (19.11.2015) 
156. ATTENTION ? Aufmerksamkeits-sensitive minimal-invasive Chirurgie, Linz, (11.11.2015) 
157. Big Data & Web Intelligence: Turing in Reverse, Jakarta, (27.10.2015) 
158. Menschenbewusste Maschinen - Was Maschinen über uns wissen sollten., Steyr, (22.10.2015) 
159. Aware Systems: Findings and Challenges, Vienna, (15.10.2015) 
160. Body talk: Wie Sprache und Körper im Gehirn eine Einheit bilden, Biologicum Almtal, (08.10.2015) 
161. Cyberphysische Produkte und Produktionssysteme - eine Forschungsherausforderung, Linz, (08.10.2015) 
162. Hardware Model Checking Competition 2015, Austin, Texas, (30.09.2015) 
163. PONS ? Mobility Assistance on Footpaths for Public Transportation, Budapest, (11.09.2015) 
164. Listener-aware Music Search and Recommendation, Porto, (07.09.2015) 
165. Truffle - A Self-Optimizing Language Implementation Framework, Targu Mures, (02.09.2015) 
166. Cyber-Physical Products, Alpbach, (28.08.2015) 
167. Deep Learning a Data-Intensive HPC Application, Frankfurt am Main, (14.07.2015) 
168. Body and Mind: Wie das Gehirn Sprache lernt, Pädagogische Hochschule Tirol, (13.07.2015) 
169. What is ?Industrie 4.0??, Linz, (25.06.2015) 
170. Awareness as a Mechanism of Coordination in Planetary Scale Distributed Systems, Grenoble, (02.06.2015) 
171. Deep Learning for target and toxicity prediction, Brüssel, (02.06.2015) 
172. Lernen, soziales Verhalten und Erziehung: Aktuelle Erkenntnisse aus der Gehirnforschung und Implikationen auf das soziale Lernen und Verhalten von Kindern und Jugendlichen, Kammer für Arbeiter und Angestellte für OÖ, (01.06.2015) 
173. Toxicity Prediction using Deep Learning, Bertinoro, (28.05.2015) 
174. Long Short-Term Memory for Uniform Credit Assignment, Bertinoro, (26.05.2015) 
175. Rectified Factor Networks, Bertinoro, (26.05.2015) 
176. LumiConSense: towards a fully transparent, flexible, and scalable thin-film image-sensor, Beijing, (25.04.2015) 
177. Verwendung der Bürgerkarte (Digitale Signatur) für E-Assessment, , (20.03.2015) 
178. Captioning and Sign Language: State of the Art, , (17.03.2015) 
179. Social Physics ? How Information Spreads, Zürs, (15.03.2015) 
180. Produkte der Zukunft, Linz, (10.03.2015) 
181. Advanced and Emerging Solutions: ICT and AT in Education of Low Vision and Blind Students, Athens, (13.02.2015) 
182. Aware ICT, Angers, (12.02.2015) 
183. Cognitive Accessibility, Mountain View, (10.02.2015) 
184. Endoskopie und Aufmerksamkeit, Linz, (23.01.2015) 
185. The Human Face of Mobile, Kaohsiung, (08.12.2014) 
186. Dumb Web, Smart Web, Knowledgable Web, Hanoi, (04.12.2014) 
187. Warum digitale Barrierefreiheit für alle immer wichtiger wird, Berlin, (02.12.2014) 
188. Current Trends in Database Research, , (26.11.2014) 
189. Kognitive Assistenz, JKU Linz, (18.11.2014) 
190. Sicherheit auf mobilen Endgeräten am Beispiel Android, Fürstenfeld, (04.11.2014) 
191. Sifting through the Rubble of Big Data, Jakarta, (03.11.2014) 
192. Challenges in Bit-Precise Reasoning, Lausanne, (21.10.2014) 
193. Decision Making, Personality and Emotions, Bolzano, (18.09.2014) 
194. Josef Ressel Center for User-friendly Secure Mobile Environments, Bad Blumau, (18.09.2014) 
195. Collective Wristwear: The World in the Hands of Humankind, Seattle, Washington, (13.09.2014) 
196. Angenommene und erlebte Stigmatisierung - Differenzen zwischen Eigen- und Fremdsicht von Studierenden mit Nicht-Sichtbarer Behinderung, Karl-Franzens-Universität Graz, (12.09.2014) 
197. Sensor Based Activity Recognition - A Pervasive Computing Perspective, Wien, (11.09.2014) 
198. "Will the Data Deluge Makes the Scientific Method Obsolete?", Scheibbs, (10.09.2014) 
199. The QBF Gallery 2014, Vienna Summer of Logic, (17.07.2014) 
200. Lingeling Essentials - Design and Implementation Aspects, Wien, (13.07.2014) 
201. A Mobile Guidance Platform for Public Transportation, , (09.07.2014) 
202. Automated Configuration of Applications for People with Specific Needs, , (09.07.2014) 
203. Sozio-Technische Systeme, Linz, (02.07.2014) 
204. From Context Awareness to Socially Aware Computing, Wien, (04.06.2014) 
205. Wie funktioniert Sprache im Gehirn?, Bratislava, Sprachsymposium (Amt der NÖ Landesregierung), (02.06.2014) 
206. Cyber-Physical Things: Connecting Bits and Atoms!, Linz, (27.05.2014) 
207. Predicting Drug-Target Interactions on Massive Data using Machine Learning, Brüssel, (27.05.2014) 
208. Unterstützung von Studierenden mit kognitiven Behinderung, , (26.05.2014) 
209. Human Computer Interaction Perspective, Wien, (22.05.2014) 
210. Dropout, National Institute of Informatics, NII Shonan Meeting, Shonan Village Center, (20.05.2014) 
211. Long Short-Term Memory (LSTM), National Institute of Informatics, NII Shonan Meeting, Shonan Village Center, (20.05.2014) 
212. Integration ist ? was wir daraus machen! ? Potenziale entfalten, Innovation ermöglichen., OÖ Kulturquartier, 7. Integrationskonferenz des Landes Oberösterreich, (14.05.2014) 
213. Autorship Trends in Software Engineering, , (12.05.2014) 
214. HABA - MABA, Linz, (06.05.2014) 
215. Sifting through the Rubble of Big Data, Bali, (15.04.2014) 
216. May I have Your Attention, Please!, Zürs, (23.03.2014) 
217. Developing a Research Roadmap for the Future of Production, Linz, (04.02.2014) 
218. Why the Symbiosis of Society and Technology is a Complex Matter, Eger, (31.01.2014) 
219. What Really Moves Us in Music: Expressivity as a Challenge to Semantic Audio Research, London, (28.01.2014) 
220. Recent trends in QBF solving, , (23.01.2014) 
221. Accessible Coference Organisation AAATE Meeting, Bologna, (17.01.2014) 
222. Fremdsprache im Gehirn, TELC Schulkongress in NRW, Köln, (23.11.2013) 
223. Integriert Studieren - 20 Jahre zwischen Wünsche, Anforderungen und Wirklichkeit der Inklusion an der Universität, St. Pölten, (27.09.2013) 
224. Coding for a Cause Competition, Vilamoura, (20.09.2013) 
225. Was Hänschen nicht lernt, lernt Hans nimmermehr, SLÖ Kärnten, Villach, (08.06.2013) 
226. Mehrere Sprachen in einem Gehirn. Wie funktioniert Mehrsprachigkeit?, Pädagogische Hochschule Steiermark Graz, (20.04.2013) 
227. (Fremd)Sprache im Gehirn, Niederösterreichische Akademie, Lanzenkirchen, (14.03.2013) 
228. Lebensspuren im Gehirn, Salzburger Bildungswerk, (11.03.2013) 
229. Come apprende il cervello, Istituto Comprensivo di Gonars, Udine, (25.02.2013) 
230. Development and evaluation of systems engineering strategies: An assessment-based approach, Vienna, Austria, (15.01.2013) 
231. Projekt Gehirn: Wie pädagogische Arbeit Gene verändern kann, Linz/Leonding, (28.11.2012) 
232. Was Hänschen nicht lernt, lernt Hans nimmer mehr...? Gehirnforschung und (Fremd-)Sprachenlernen, Pädagogische Hochschule Burgenland, Eisenstadt, (27.09.2012) 
233. Die Rolle der Emotionen beim Fremdsprachenlernen, TELC, Frankfurt am Main, (08.06.2012) 
234. Warum Erwachsene Fremdsprachen "schwer(er)" lernen, TELC, Frankfurt am Main, (08.06.2012) 
235. Anti-Aging für das Gehirn, SELBA, Wels, (01.06.2012) 
236. Omnipresent Multimedia - enabling new ways of communication and cooperation, Linz, (17.08.2010) 
237. Machine Learning Challenges in Bioinformatics, Porto, (11.09.2007) 
238. Informationstechnologie als Werkzeug fuer Alle, Eisenstadt, (07.10.2004) 
239. Wohin fahren wir in Zukunft am Datenhighway?, , (07.07.2004) 

Vortragstyp: Eingeladener Vortrag an Universität

1. Decision Diagrams for Quantum Computing, Berlin, (30.06.2021) 
2. Quantified Boolean Formulas, TU Wien, (23.02.2021) 
3. The Android Platform Security Model (and the security status of actual devices), online aufgrund von COVID-19 (geplant: GBR), (30.11.2020) 
4. Deep Learning - the Key to Enable Artificial Intelligence, online aufgrund von COVID-19, (27.11.2020) 
5. Hopfield Networks is All You Need, Online-Vortrag, (27.11.2020) 
6. Digital Transformation: Strategies and Individual Readiness, online aufgrund von COVID-19 (geplant: TUR), (16.11.2020) 
7. Seeing through Forrest, Graz, TU, (04.11.2020) 
8. ITS Development in Europe: Connected and Automated Vehicles, , (06.03.2020) 
9. Light Field Reloaded, University of Arizona, Tucson, (11.02.2020) 
10. Light Fields Reloaded, EPLF, Lausanne, (12.12.2019) 
11. Traffic Modelling and Simulation, , (12.12.2019) 
12. Combining SAT and Computer Algebra to Successfully Verify Large Multiplier Circuits, Pittsburgh, PA, (06.12.2019) 
13. Combining SAT and Computer Algebra to successfully verify Large Multiplier Circuits, Kopenhagen, (27.11.2019) 
14. Visual Analysis of Heterogeneous Biomolecular Data, University of Vienna, (14.11.2019) 
15. OLAP Patterns: Elements of Reusable Data Analysis, School of Computer Science, University of Auckland, New Zealand, (31.10.2019) 
16. Reflections on Multi-Level Modeling, Bergen, Western Norway University of Applied Sciences, (24.10.2019) 
17. Potential of Design Automation for Emerging Technologies, Nanyang Technological University, (27.08.2019) 
18. Individual Digital Readiness of Organization Members: Conceptualization and Scale Development, , (16.07.2019) 
19. Spuren im Netz: Was verrät dein Smartphone über dich?, , (09.07.2019) 
20. Intelligent Music Processing: Artificial Intelligence Meets Music, Charles University, (05.03.2019) 
21. Light Field Reloaded, Erlangen, (21.02.2019) 
22. Reasoning on QBF, , (11.02.2019) 
23. Light Field Reloaded, München, (17.01.2019) 
24. Memory Systems in the brain and how they master language learning, Wien, (20.11.2018) 
25. When your virtual trainer knows about your brain ?, Johannes Kepler Universita?t Linz, (14.11.2018) 
26. Light Field Reloaded - Designs to Structured Light (keynote address), Wien, TU Wien, (25.10.2018) 
27. Light Field Reloaded (ceremonial address), Festkolloquiumsvortrag IGD Rostock, (18.10.2018) 
28. Multi-Modal Joint Embedding Space Learning for Cross-Modalit Retrieval, Med-Uni Wien, (16.10.2018) 
29. Leveraging Provenance for Storytelling, Reproducibility, and Recall, Salt Lake City, UT, (12.07.2018) 
30. Multi-Dimensional Data Vis in Drug Discovery: From Target Identification to Validation, Cambridge, U.K., (13.06.2018) 
31. DeepSynergy: predicting anti-cancer drug synergy with Deep Learning, Cambridge, (16.05.2018) 
32. Human-Interpretable AI, , (03.05.2018) 
33. If Only I knew that 33 years ago !!, A commencement speech at Syarif Hidayatullah Jakarta State Islamic University [UIN], Jakarta, (02.05.2018) 
34. The Editor Guide to Getting Published, Workshop at Al Azhar University Indonesia, UAI, Jakarta, (02.05.2018) 
35. On the Problem of Arithmetic Circuit Verification Using Computer Algebra, Stockholm, (23.04.2018) 
36. The Editor Guide to Getting Published, Workshop at Sunan Gunung Djati Islamic State University, UIN-Bandung, Bandung, (23.04.2018) 
37. parity games, the current state of the art, with emphasis on the attractor-based algorithms, Leiden, (20.04.2018) 
38. Übersetzerbau in österreichischen Softwarefirmen, Wien, (12.04.2018) 
39. Leveraging Provenance for Storytelling, Reproducibility, and Recall, Darmstadt, (16.03.2018) 
40. Leveraging Provenance for Storytelling, Reproducibility, and Recall, Groningen, (14.03.2018) 
41. Injecting Life into Visualizations for Biomedical Research, Cambridge, MA, (07.03.2018) 
42. Pervasive Computing and the Industrial IoT, Linz, (22.01.2018) 
43. Proof System for Practical QBF Reasoning, , (14.12.2017) 
44. Reasoning with SMT, Slowenien, (12.12.2017) 
45. Measuring, Evaluation and Improving Design Quality, University Hamburg, (06.12.2017) 
46. Design Automation for Labs on Chips, TU Dresden, (21.11.2017) 
47. Research Talk "Analyzing and Exploiting User-generated Listening Data for Listener Modeling and Music Recommendation, Barcelona, (15.11.2017) 
48. Multi-Modal Joint Embedding Space Learning for Cross-Modalit Retrieval, Wien, (16.10.2017) 
49. Deep Learning in Physics: From the Higgs Boson to Quantum Chemistry, Institut für Hochenergiephysik der österr. Akad. der Wissenschaften, Wien, (22.08.2017) 
50. A Survey on Volunteer Management Systems State of the Art and Future, Western Sydney University, School of Computing, Engineering & Mathematics, (18.08.2017) 
51. Requirements-based Monitoring and Diagnosis of Systems of Systems, University of Hildesheim, (13.07.2017) 
52. Deep Learning in Health and Life Sciences, FH St. Pölten, (30.06.2017) 
53. Schutz von Software durch das Urheberrecht & Ein Überblick über die wichtigsten Open Source Lizenzen (GPL, LGPL, MIT, Apache, BSD?) 7.2.2017, Linz, KMU Transfertag, Datensicherheit, Innsbruck, (13.06.2017) 
54. Design Automation for Quantum Circuits, Universität Innsbruck, (08.05.2017) 
55. Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact, Universität Innsbruck, (08.05.2017) 
56. From Visual Exploration of Biomedical Data to Storytelling and Back Again, Edinburgh, (20.04.2017) 
57. Error Detection and Change Propagation in a Collaborative, Multi-Tool Engineering Environment, Lissabon, Portugal, (12.04.2017) 
58. Component-based CPS, Carnegie Mellon University, Pittsburgh, PA, (10.04.2017) 
59. Industrie 4.0 ? Digitalisierung der Arbeitswelt, Linz, (06.04.2017) 
60. Deep Learning Revolutionizes Artificial Intelligence, Universität Hamburg, (31.03.2017) 
61. NutzerInnen als InnovatorInnen in Gestaltung und Erweiterung von Informationssystemen und Informationsgütern, Johannes Kepler Universität, (20.03.2017) 
62. Warum Musik hilft, Fremdsprache zu lernen, Anton Bruckner Privatuniverstität Linz Linz, (03.03.2017) 
63. From Visual Exploration to Storytelling and Back Again, Thuwal, (27.02.2017) 
64. The Interplay of Physical Mobility and Wireless Networked Systems, Alpen-Adria Universität Klagenfurt, (21.02.2017) 
65. The QRAT Proof System, KTH Royal Institute of Technology, (18.01.2017) 
66. Compressive Sensing for Imaging and Illumination, DAQRI/TU Graz, (16.12.2016) 
67. Cloud computing and its use, Université Moulay Ismail, Meknès, (15.12.2016) 
68. Deep Learning Revolutionizes Data Science and Artificial Intelligence, Philipps-Universität Marburg, (11.11.2016) 
69. Articulation and Alignment of Knowledge about Organizational Work, Otto-Friedrich-Universität Bamberg, (10.11.2016) 
70. NeuroIS: Some Fundamentals, HEC Montréal, (25.10.2016) 
71. Searching for a Needle in a Data Stack: How Visualization Helps to Understand Biomedical Data, JKU Linz, (20.10.2016) 
72. From Visual Exploration to Storytelling and Back Again, Vienna, (07.10.2016) 
73. UAV Networks - Are They Something Special? Challenges and Opportunities in Networks of UAVs, Uppsala University, (22.09.2016) 
74. Hardware Model Checking Competition, Churchill College, Cambridge, (16.09.2016) 
75. Listener- and Context-sensitive Music Information Research, Reykjavik University, (25.08.2016) 
76. Conceptualizing Analytics: A Conceptual-Modeling Perspective on Grasping Complex Information, College of Management, University of Massachusetts Boston (UMB), (24.08.2016) 
77. Results from a decade of design science research on supporting reflection-on-action for organizational design via collaborative conceptual modeling techniques, HAN University of Applied Sciences, (28.06.2016) 
78. SAT/SMT solving, , (26.05.2016) 
79. Adaptive Music Retrieval and Recommender Systems, FH Hagenberg, (17.05.2016) 
80. Automated Reasoning with SAT/QBF/SMT, Sapientia Hungarian University of Transylvania, Cluj-Tg.Mures-M.Ciuc, (03.05.2016) 
81. Deep Learning in Drug Desig, Cambridge, U.K. Cambridge, (26.04.2016) 
82. Übersetzerbau in österreichischen Softwarefirmen, TU Wien, (14.04.2016) 
83. Privacy on the Web, University of Arizona, Department of Electrical and Computer Engineering, (07.04.2016) 
84. Vortrag zu Industrie 4.0, München, (04.04.2016) 
85. Literacy in socio-technical dichotomies, , (10.12.2015) 
86. Begabung und Lernschwäche am Beispiel Fremdsprache, Schez und Bruckner Privatuniversität, (09.12.2015) 
87. Requirements Monitoring in Systems of Systems, Chalmers University Gothenburg, (03.12.2015) 
88. Teaching Plastic Film How To See, TU Darmstadt, (03.12.2015) 
89. Model checking, SAT and bit-vectors + Evaluating CDCL restart schemes, KTH Royal Institute of Technology, (30.11.2015) 
90. Effective Reuse across Many Variants of Software Systems, Luxemburg, (26.11.2015) 
91. ModelPlex: Verified Runtime Validation of CPS Models, Carnegie Mellon University, Pittsburgh, PA, (30.10.2015) 
92. Hetero-Homogeneous Data Warehouses, University of South Australia (UniSA), School of Computer & Information Systems Adelaide, (02.10.2015) 
93. Extracting, Comparing, and Manipulating? Subsets Across Tabular Data, Virtual Reality and Visualization Research Group, (07.07.2015) 
94. Visual Analysis of Heterogeneous ?Biomolecular Data, Dept. of Vascular Biology and Thrombosis Research, (19.06.2015) 
95. Extracting, Comparing, and Manipulating ?Subsets Across Tabular Data, London, City University London, (13.05.2015) 
96. Ontologies and OLAP, Université François Rabelais de Tours, (13.05.2015) 
97. Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants, Paris, (29.04.2015) 
98. REMINDS: Requirements Monitoring for Systems of Systems -- Milano, MAILAND, Politecnico di Milano, (22.04.2015) 
99. REMINDS: Requirements Monitoring for Very-Large-Scale Software Systems -- Prague, Prag, (14.04.2015) 
100. Embodiment and second language learning: Mapping multi-sensory experience into linguistic representation, Universität Leiden, (07.04.2015) 
101. Teaching second language with gestures: How the body helps the mind, Universität Leiden, (07.04.2015) 
102. Extracting, Comparing, and Manipulating ?Subsets Across Tabular Data, University of Vienna, VDA Colloquium, (12.02.2015) 
103. Depth of encoding through gestures in foreign language word learning, University College London, (10.01.2015) 
104. Judgement and Analysis Rules for Ontology-driven Comparative Data Analysis in Data Warehouses, Skövde, (05.12.2014) 
105. Fundamentals of Collective Adaptive Systems, ETH Zürich, (27.11.2014) 
106. Research Talk "Intelligent Music Access Systems", Wien, (12.11.2014) 
107. Reuniting back the body and the mind: How gesture empowers language learning, Natbrainlab Centre for Neuroimaging Science, King's College London, (10.11.2014) 
108. Second language learning with gestures, Donders Institute, Radboud University, Nijmegen, (28.10.2014) 
109. Hybrid Systems Engineering - Verified Runtime Validation and Proof-Aware Refactoring, McMaster University, Hamilton, ON, (19.09.2014) 
110. Fahrer-Fahrzeug Interaktion: Stand der Technik und Zukunftsausblick, Linz, (17.09.2014) 
111. Dual Deep Instantiation - A Modeling Technique for Multi-Level Abstraction, Zürich, (06.08.2014) 
112. Human centered approach in driver-vehicle interaction & future automotive UIs, Hagenberg, (11.07.2014) 
113. Visual Analysis of Tabular Data Subsets, Boston, MA, (08.07.2014) 
114. Musik im Gehirn, Anton Bruckner Privatuniverstität Linz Linz, (23.06.2014) 
115. Research Talk "User-aware Music Retrieval", Hagenberg, (16.06.2014) 
116. Embedded Automotive Systems: Contribution and Challenges, Graz, (11.06.2014) 
117. LumiConSense: Towards a Fully Transparent, Flexible, and Scalable Thin-Film Image- and Depth-Sensor, Graz, (06.06.2014) 
118. Research Overview and Perspective in the field of ?Perceptual Computer Science? (Focus: Driver-Vehicle Interaction), Skelleftea, (14.05.2014) 
119. Multilevel Business Process Modeling, ETH Zürich, Dept. of Computer Science, Global Information Systems Group, (04.04.2014) 
120. Related Event Management Tool for Conferences in the Accessibility & AT Field, San Diego, (20.03.2014) 
121. Suche nach der Nadel im Genhaufen: Wie Visualisierung hilft, Krebs zu verstehen, JKU Linz, (18.02.2014) 
122. "Watermarking and tracing strategies for information systems - Unique challenges of relational database watermarking",, , (11.02.2014) 
123. Scenarios for Collaborative Architectures for Monetizing Broadcast Archive Clips, , (23.01.2014) 
124. AT Certification , HFB Trust Meeting, Liverpool, (17.12.2013) 
125. Identity by Descent - Applications in Disease Mapping and Population Genetics, Medizinischen Universität Innsbruck, (11.12.2013) 
126. Unterstützung von Studierenden mit kognitiven Behinderungen, Oberösterreich, (07.05.2013) 
127. Body and Mind: Improving language learning with your body, Universität Bielefeld, Institut für künstliche Intelligenz, (14.01.2013) 
128. "Embodiement of language: the tight connection between body and mind", Karl Franzens Universität Graz, Institut für kognitive Psychologie und Neurowissenschaft, (26.11.2012) 
129. AWPS - an architecture for pro active web performance management, , (04.05.2011) 
130. Software-Verkostung - Ein neuer Ansatz zur Validierung von Software Qualitätsmanagement-Werkzeugen, JKU, LInz, (23.04.2010)