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. Abteilung für Intelligente Transportsysteme


29. LIT Cyber-Physical Systems Lab

Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift

1. Rethinking data augmentation for adversarial robustness
2. A Model-based Mode-switching Framework based on Security Vulnerability Scores
3. Acoustic Material Monitoring in Harsh Steelplant Environments
4. Analysis of Cell Viability in Microuidic Spheroid Arrays By Image Analysis And Neural Networks
5. Automatic Note-Level Score-to-Performance Alignments in the ASAP Dataset.
6. CLOOME: contrastive learning unlocks bioimaging databases for queries with chemical structures
7. Characterization of High-Gamma Activity in Electrocorticographic Signals
8. Constructing Adversarial Examples to Investigate The Plausibility of Explanations in Deep Audio And Image Classifiers
9. Counting Activities Using Weakly Labeled Raw Acceleration Data: A Variable-Length Sequence Approach with Deep Learning to Maintain Event Duration Flexibility
10. Digital Process Twins as Intelligent Design Technology for Engineering Metaverse/XR Applications
11. Drone swarm strategy for the detection and tracking of occluded targets in complex environments
12. Emotion-aware Music Tower Blocks (EmoMTB): An Intelligent Audiovisual Interface for Music Discovery and Recommendation
13. Enriching Socio-Technical Sustainability Intelligence through Sharing Autonomy
14. GRuM ? A Flexible Model-Driven Runtime Monitoring Framework and its Application to Automated Aerial and Ground Vehicles
15. Introduction to the ICWE 2022 Special Issue
16. Modular and On-demand Bias Mitigation with Attribute-Removal Subnetworks
17. Natural language processing for humanitarian action: Opportunities, challenges, and the path toward humanitarian NLP
18. News From the Open Source Community
19. ParaDime: A Framework for Parametric Dimensionality Reduction
20. ReuseKNN: Neighborhood Reuse for Differentially-Private KNN-Based Recommendations
21. SSCS PICO Chronicles: News from the Open Source Commuity
22. SSCS PICO Chronicles: The Open Source Community is Growing Further and Supported by SSCS PICO
23. Synthetic Aperture Anomaly Imaging for Through-Foliage Target Detection
24. Videoconference fatigue from a neurophysiological perspective: experimental evidence based on electroencephalography (EEG) and electrocardiography (ECG)
25. Visualizing the Spatio-Temporal Evolution of Gameplay using Storyline Visualization: A Study with League of Legends
26. A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips
27. A Process Model for Dashboard Onboarding
28. AMon: A Domain-Specific Language and Framework for Adaptive Monitoring of Cyber-Physical Systems
29. Adversary Models for Mobile Device Authentication
30. Alpine Skiing Activity Recognition Using Smartphone?s IMUs
31. Approximating Perfect Recall When Model Checking Strategic Abilities: Theory and Applications
32. Attentional and Behavioral Disengagement as Coping Responses to Technostress and Financial Stress: An Experiment Based on Psychophysiological, Perceptual, and Behavioral Data
33. Avoiding Barren Plateaus Using Classical Shadows
34. ChemInformatics Model Explorer (CIME): Exploratory analysis of chemical model explanations
35. Clinical data classification with noisy intermediate scale quantum computers
36. Combined person classification with airborne optical sectioning
37. Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems
38. Decentralized, Privacy-Preserving, Single Sign-On
39. Deep Reinforcement Learning for Optimization at Early Design Stages
40. Developing a collaboration system for pancreatic cancer research: a clinical design science study
41. Digital Twin Platforms: Requirements, Capabilities, and Future Prospects
42. Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests
43. Evolving software system families in space and time with feature revisions
44. Exploring the dynamics of graph algorithms
45. Faster quantum and classical SDP approximations for quadratic binary optimization
46. Feature-Oriented Clone and Pull Operations for Distributed Development and Evolution
47. Fingerprinting Smartphones Based on Microphone Characteristics from Environment Affected Recordings
48. Geo-Spatial Context Provision for Digital Twin Generation
49. HoneyCar: A Framework to Configure Honeypot Vulnerabilities on the Internet of Vehicles
50. Improving Few- and Zero-Shot Reaction Template Prediction Using Modern Hopfield Networks
51. Indoor Drone Positioning: Accuracy and Cost Trade-off for Sensor Fusion
52. Inverse Airborne Optical Sectioning
53. LCMOpen-source software product line extraction processes: the ArgoUML-SPL and Phaser cases
54. Live Feedback for Training Through Real-Time Data Visualizations: A Study with League of Legends
55. Message on Inauguration of the New ITSS President
56. Motivating Users to Manage Privacy Concerns in Cyber-Physical Settings?A Design Science Approach Considering Self-Determination Theory
57. OLAP Patterns: A Pattern-Based Approach to Multidimensional Data Analysis
58. Performance Analysis of Resonant-Fin Transistors and Their Application in RF-Circuit Design
59. Projected Least-Squares Quantum Process Tomography
60. Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery
61. Provably efficient machine learning for quantum many-body problems
62. Quantum advantage in learning from experiments
63. Randomizing multi-product formulas for Hamiltonian simulation
64. Software product line scoping: A systematic literature review
65. Structured Development of Digital Twins - A Cross-Domain Analysis towards a Unified Approach
66. Studying the Utilization of a Map-Based Visualization with Vitality Datasets by Domain Experts
67. Symmetry-resolved dynamical purification in synthetic quantum matter
68. Tackling Denial of Service Attacks on Key Management in Software-Defined Quantum Key Distribution Networks
69. The JKU DORA Traffic Dataset
70. The randomized measurement toolbox
71. Through-Foliage Tracking with Airborne Optical Sectioning
72. Uncertainty estimation with deep learning for rainfall?runoff modeling
73. Visualization Onboarding Grounded in Educational Theories
74. Visualization of aggregated information to support class-level software evolution
75. 2021 Editorial IEEE Open Journal of Intelligent Transportation Systems
76. A Game Theory-Based Approach For Modeling Autonomous Vehicles Behavior in Congested, Urban Lane-Changing Scenarios
77. A note on leveraging synergy in multiple meteorological datasets with deep learning for rainfall-runoff modeling
78. Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from Performance Counters
79. Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform
80. Advanced Equivalence Checking for Quantum Circuits
81. An autonomous drone for search and rescue in forests using airborne optical sectioning
82. Artificial neural networks and pathologists recognize basal cell carcinomas based on different histological patterns
83. Autonomous Vehicles Technological Trends
84. Binary Component Decomposition Part I: The Positive-Semidefinite Case
85. Brain and autonomic nervous system activity measurement in software engineering: A systematic literature review
86. Choosing response strategies in social media crisis communication: An evolutionary game theory perspective
87. Concentration for Random Product Formulas
88. Concepts of variation control systems
89. Convergence Proof for Actor-Critic Methods Applied to PPO and RUDDER
90. Coral: a web-based visual analysis tool for creating and characterizing cohorts
91. Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
92. Design and Implementation of a Gesture-Aided E-Learning Platform
93. Digital Twin Generation: Re-Conceptualizing Agent Systems for Behavior-Centered Cyber-Physical System Development
94. Efficient Estimation of Pauli Observables by Derandomization
95. Efficient One-Pass Synthesis for Digital Microfluidic Biochips
96. Exploring the Potential Benefits of Alternative Quantum Computing Architectures
97. Flux Estimator for Salient Pole Synchronous Machines Driven by the Cycloconverter Based on Enhanced Current and Voltage Model of the Machine with Fuzzy Logic Transition
98. Focus issue introduction: 3D image acquisition and display: technology, perception, andapplications
99. Foreword to the Special Issue on Configurable Systems
100. Fuzzy Spreadsheet: Understanding and Exploring Uncertainties in Tabular Calculations
101. Genetic programming for feature model synthesis: a replication study
102. Guiding Feature Model Evolution by Lifting Code-Level Dependencies
103. How value-sensitive design can empower sustainable consumption
104. Information-Theoretic Bounds on Quantum Advantage in Machine Learning
105. JKU-ITS featured in the top-ranked IEEE Intelligent Transportations Systems Magazine
106. Knowledge Graph OLAP: A Multidimensional Model and Query Operations for Contextualized Knowledge Graphs
107. Machine learning-based risk profile classification of patients undergoing elective heart valve surgery
108. Micro Activities Recognition in Uncontrolled Environments
109. Modeling and Analysis of High-<italic>Q</italic> Resonant-Fin Transistors
110. Models of Quantum Complexity Growth
111. Musical consumption, self-control and smartphone addiction: a dual-systems theory perspective and evidence from a survey study
112. Niederschlags-Abfluss-Modellierung mit Long Short-Term Memory (LSTM)
113. On the effectiveness of multi-feature evacuation systems: an agent-based exploratory simulation study
114. Pose Error Reduction forFocus Enhancement in Thermal Synthetic Aperture Visualization
115. Projection Path Explorer: Exploring Visual Patterns in Projected Decision-Making Paths
116. Provectories: Embedding-based Analysis of Interaction Provenance Data
117. Providing Packages of Relevant ATM Information: An Ontology-based Approach
118. REVSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal
119. Rainfall?runoff prediction at multiple timescales with a single Long Short-Term Memory network
120. Support the Underground: Characteristics of Beyond-Mainstream Music Listeners
121. Symmetry-resolved entanglement detection using partial transpose moments
122. The Promise of AI for DILI Prediction
123. Toward RISC-V CSR Compliance Testing
124. Towards a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors
125. Transforming abstract to concrete repairs with a generative approach of repair values
126. Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
127. Uncertainty Estimation with Deep Learning for Rainfall-Runoff Modelling
128. Visual Sensory Cortices Causally Contribute to Auditory Word Recognition Following Sensorimotor-Enriched Vocabulary Training
129. Visual recognition of words learned with gestures induces motor resonance in the forearm muscles
130. Visualizing Change in Agile Safety-Critical Systems
131. A Hearty Welcome to IDIMT 2020!
132. A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications
133. A Systematic Review of Personalized Collaborative Systems
134. A visual approach to explainable computerized clinical decision support
135. Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation
136. Advanced Exact Synthesis of Clifford+T Circuits
137. Advancing a NeuoIS Research Agenda with Four Areas of Society Contributions
138. Affect in Multimedia: Benchmarking Violent Scenes Detection
139. Airborne Optical Sectioning for Nesting Observation
140. AlgorithmicOverdependence: Fostering Awareness throughDigital Facilitationand (Re-)Construction
141. An Efficient Memristor Crossbar Architecture for Mapping Boolean Functions using Binary Decision Diagrams (BDD)
142. Assessment of the Potential of Wrist-Worn Wearable Sensors for Driver Drowsiness Detection
143. Audio-Based Music Structure Analysis: Current Trends, Open Challenges, and Applications.
144. Automated Driving: A Literature Review of the Take over Request in Conditional Automation
145. Automatic Design of Droplet-Based Microfluidic Ring Networks
146. Autonomous Vehicles: Vehicle Parameter Estimation Using Variational Bayes and Kinematics
147. Behavioral interfaces for executable DSLs
148. Beneath (or beyond) the surface: Discovering voice-leading patterns with skip-grams
149. Charles Francois (1922-2019): Being an Encyclopedia and Creating an Encyclopedia
150. Combination of Sensor Data and Health Monitoring for Early Detection of Subclinical Ketosis in Dairy Cows
151. Concepts of Variation Control Systems
152. Consistent change propagation within models
153. DeepNOG: Fast and accurate protein orthologous group assignment
154. Design Science as Methodological Approach to Interoperability Engineering in Digital Production
155. Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice
156. Design-Integrated IoT Capacity Building using Tangible Building Blocks
157. Discrete- and Continuous-State Trajectory Decoders for Positioning in Wireless Networks
158. Dynamic Coupling of Learning with Operational Processes
159. Dynamic Taint Tracking Simulation
160. Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism
161. Evolution in Dynamic Software Product Lines
162. Fast Automatic Visibility Optimization for Thermal Synthetic Aperture Visualization
163. Fast state tomography with optimal error bounds
164. Feasibility of smart wearables for driver drowsiness detection and its potential among different age groups
165. Game-playing as an effective learning resource for elderly people: encouraging experiential adoption of touchscreen technologies
166. How Secure are Checkpoint-based Defenses in Digital Microfluidic Biochips? IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
167. Hsa-miR-375/RASD1 Signaling May Predict Local Control in Early Breast Cancer
168. Human and Cultural Impacts on Projects
169. Improved Mapping of Quantum Circuits to IBM QX Architectures
170. Industry-scale application and evaluation of deep learning for drug target prediction
171. InstanceFlow: Visualizing the Evolution of Classifier Confusion on the Instance Level
172. Intelligent User Interfaces for Music Discovery
173. Machine learning?based prediction of transfusion
174. Mixed-State Entanglement from Local Randomized Measurements
175. Modal effective electromechanical coupling coefficient of shear-mode piezoceramic sandwich cantilevers with segmented multicore: Experimental and numerical assessments
176. Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study
177. Modeling and Simulation of Electrophoretic Deposition Coatings
178. Multi-criteria test cases selection for model transformations
179. On failure modes in molecule generation and optimization
180. On the stress potential of an organisational climate of innovation: a survey study in Germany
181. Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
182. Passive Droplet Control in Two-Dimensional Microfluidic Networks
183. Positive effects of grasping virtual objects on memory for novel words in a second language
184. Preface to the Special Issue on User Modeling for Personalized Interaction with Music
185. Promoting Trust in Self-Driving Vehicles
186. RISC-V based virtual prototype: An extensible and configurable platform for the system-level
187. Recommender Systems Leveraging Multimedia Content
188. Robust Multi-Target Sample Preparation on MEDA-Biochips Obviating Waste Production
189. Robustness Analysis for Droplet-Based Microfluidic Networks
190. Search and rescue with airborne optical sectioning
191. Supporting Feature-Oriented Evolution in Industrial Automation Product Lines
192. Task-Based Design of Cyber-Physical Systems?Meeting Representational Requirements with S-BPM
193. The Dance on the Volcano - A Knowledge Management Perspective on Capacity Building in times of Systemic Crises
194. Touchsreen for All? Angeleitetes Spielen als Einstieg für Senioren und Seniorinnen in digitale Technologien
195. Towards Knowledge Co-Creation for Effective Study Counseling
196. User Models for Culture-Aware Music Recommendation: Fusing Acoustic and Cultural Cues
197. Visualizing Change in Agile, Safety-Critical Systems
198. What Role Does Hydrological Science Play in the Age of Machine Learning?
199. Wissenscontrolling in kreativen Expertenorganisationen
200. A Distributed Architecture for Human-Drone Teaming: Timing Challenges and Interaction Opportunities
201. A Domain Analysis of Resource and Requirements Monitoring: Towards a Comprehensive Model of the Software Monitoring Domain
202. A Feature-Based Classification of Formal Verification Techniques for Software Models
203. A No-Trim, Scaling-Friendly Thermal Sensor in 16nm FinFET Using Bulk Diodes as Sensing Elements
204. A User-Centered Perspective on Interoperability: Capturing Stakeholder Interaction for Mediating Design
205. Accurate prediction of biological assays with high-throughput microscopy images and convolutional networks
206. An Introduction to Signal Processing for Singing-Voice Analysis: High notes in the effort to automate the understanding of vocals in music
207. Augmented Shopping Experience for Sustainable Consumption Using the Internet of Thing
208. Change Impact Analysis for Maintenance and Evolution of Variable Software Systems
209. Community assessment to advance computational prediction of cancer drug combinations in a pharmacogenomic screen
210. Contents for a Model-Based Software Engineering Body of Knowledge
211. Critical success factors in ERP upgrade projects
212. Deep Learning in Music Recommendation Systems
213. Developing Scientific Work Practice in Business Informatics-Digital Support for a Design Science-based Research Project
214. Disposable dynamic accumulators: toward practical privacy-preserving mobile eIDs with scalable revocation
215. Empirical Analysis of Safe Distance Calculation by the Stereoscopic Capturing and Processing of Images through the Tailigator System
216. Flexible Production Systems: Automated Generation of Operations Plans based on ISA-95 and PDDL
217. Global and country-specific mainstreaminess measures: Definitions, analysis, and usage for improving personalized music recommendation systems
218. Grasping the Multiple Facets of Intelligence. Challenging Organisations and Society
219. Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for optimizing Droplet Routing in Biochips
220. Herausforderungen in der interdisziplinären Entwicklung von Cyber-Physischen Produktionssystemen
221. Implant health and factors affecting peri-implant marginal bone alteration for implants placed in staged maxillary sinus augmentation: A 5-year prospective study
222. Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces (Journal First)
223. Introduction to the special issue on quality engineering and management of software-intensive systems
224. Juniper: A Tree+Table Approach to Multivariate Graph Visualization
225. KnowledgePearls: Provenance-Based Visualization Retrieval
226. Machine Learning in Drug Discovery
227. Machine learning identifies an immunological pattern associated with multiple juvenile idiopathic arthritis subtypes
228. Makerspaces in Academic Education: An Exploratory Analysis and Design Framework
229. Managing Inter-Model Inconsistencies in Model-Based Systems Engineering: Application in Automated Production Systems Engineering
230. Metabolism of cholesterol and progesterone is differentially regulated in primary trophoblastic subtypes and might be disturbed in recurrent miscarriages
231. Multi-view refactoring of class and activity diagrams using a multi-objective evolutionary algorithm
232. MultiControl: Advanced Control Logic Synthesis for Flow-Based Microfluidic Biochips
233. Near Zero-Energy Computation Using Quantum-dot Cellular Automata
234. Neural networks detect cutaneous basal cell carcinomas in histological sections
235. Personal access to documents using different literacy levels
236. Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
237. Reversible Circuits: IC/IP Piracy Attacks and Countermeasures
238. Semantics-based summarisation of ATM information: Managing information overload in pilot briefings using semantic data containers
239. Specifying Quantities in Software Models
240. Storage-Aware Algorithms for Dilution and Mixture Preparation with Flow-Based Lab-on-Chip
241. Synthetic Aperture Imaging with Drones
242. Taggle: Combining Overview and Details in Tabular Data Visualizations
243. The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
244. The State of the Art in Visualizing Multivariate Networks
245. Thirteen years of SysML: a systematic mapping study
246. Time-Controlled and FinFET Compatible Sub-Bandgap References Using Bulk-Diodes
247. Toward Improved Predictions in Ungauged Basins: Exploiting the Power of Machine Learning
248. Towards Exploration of Social in Social Internet of Vehicles Using an Agent-Based Simulation
249. Towards learning universal, regional, and local hydrological behaviors via machine learning applied to large-sample datasets.
250. Towards learning universal, regional, and local hydrologicalbehaviors via machine learning applied tolarge-sample datasets
251. Using Machine Learning for Predicting Area and Firmware Metrics of Hardware Designs from Abstract Specifications
252. Advanced Simulation of Quantum Computations
253. An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
254. Application of bioactivity profile-based fingerprints for building machine learning models
255. Automated Dimensioning of Networked Labs-on-Chip
256. Automatic Droplet Sequence Generation for Microfluidic Networks with Passive Droplet Routing
257. Building an Active Semantic Data Warehouse for Precision Dairy Farming
258. Current Challenges and Visions in Music Recommender Systems Research
259. Data Analytics for Industrial Process Improvement A Vision Paper (Workshop Paper)
260. Defining objective clusters for rabies virus sequences using affinity propagation clustering
261. Design of Application-Specific Architectures for Networked Labs-on-Chips
262. Error-Oblivious Sample Preparation With Digital Microfluidic Lab-on-Chip
263. Estimating Collective Attention toward a Public Display
264. Foreword to the special issue on empirical research in requirements engineering
265. Fréchet ChemNet Distance: A Metric for Generative Models for Molecules in Drug Discovery
266. Game-playing as an effective learning resource for elderly people: encouraging experiential adoption of touchscreen technologies
267. Guest editorial: selected areas in automated software engineering
268. Large-scale comparison of machine learning methods for drug target prediction on ChEMBL
269. Local Redundancy in SAT: Generalizations of Blocked Clauses
270. Micro-lens aperture array for enhanced thin-film imaging using luminescent concentrators
271. Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems
272. Multivariate analytics of chromatographic data: Visual computing based on moving window factor models
273. Omniscient Debugging for Executable DSLs
274. Optimized Sampling for View Interpolation in Light Fields Using Local Dictionaries
275. Predicting User Demographics from Music Listening Information
276. Quality-of-user-experience: a position paper
277. Repurposed high-throughput image assays enables biological activity prediction for drug discovery
278. Simulation before fabrication: a case study on the utilization of simulators for the design of droplet microfluidic networks
279. Special Issue Highlights from ECCE2018
280. TACO: Visualizing Changes in Tables Over Time
281. Tactical contract composition for hybrid system component verification
282. The digital Dalton Plan: Progressive education as integral part of web-based learning environments
283. The future of CSR-Selected findings from a Europe-wide Delphi study
284. A Comparison Framework for Runtime Monitoring Approaches
285. A Fexible Framework for Studying Trace-Based Just-In-Time Compilation
286. A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
287. A conceptual framework for large-scale ecosystem interoperability and industrial product lifecycles
288. CASE Tool Support for Variability Management in Software Product Lines
289. CASE Tool Support for Variability Management in Software Product Lines
290. Characterizing Guidance in Visual Analytics
291. Computational Imaging, Relighting and Depth Sensing Using Flexible Thin-Film Sensors
292. DeepSynergy: predicting anti-cancer drug synergy with Deep Learning
293. Learning the High-Dimensional Immunogenomic Features That Predict Public and Private Antibody Repertoires
294. Motivations of application developers: Innovation, Business model choice, release policy, and success
295. Nonuniform spatial deformation of light fields by locally linear transformations
296. Rectified factor networks for biclustering of omics data
297. Resilience 2.0: Computer-Aided Disaster Management
298. Route or Carry: Motion-driven Packet Forwarding in Micro Aerial Vehicle Networks
299. Smartphone-Based Gait Recognition: From Authentication to Imitation
300. Solution Validation and Extraction for QBF Preprocessing
301. Synthesis of Optical Circuits Using Binary Decision Diagrams
302. Taggle: Scalable Visualization of Tabular Data through Aggregation
303. Teaching Software Product Lines: A Snapshot of Current Practices and Challenges
304. The unfolded protein response impacts melanoma progression by enhancing FGF expression and can be antagonized by a chemical chaperone
305. Thin-Film Camera using Luminescent Concentrators and an Optical Söller Collimator
306. Towards a Flexible, Scalable, and Transparent Thin-Film Camera
307. Uncovering Sustainability Concerns in Software Product Lines
308. WeightLifter: Visual Weight Space Exploration for Multi-Criteria Decision Making
309. panelcn.MOPS: Copy-number detection in targeted NGS panel data for clinical diagnostics
310. 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
311. AVOCADO: Visualization of Workflow-Derived Data Provenance for Reproducible Biomedical Research
312. An analysis of ontologies and their success factors for application to business
313. Anti-mesothelioma mechanism of action studies of a complex Cynara scolymus fraction using in silico target prediction and gene expression profiling
314. Articulation of work process models for organizational alignment and informed information system design
315. Challenges and Current Developments for Sensing, Smart and Sustainable Enterprise Systems
316. Data-driven Human Mobility Modeling: A Survey and Engineering Guidance for Mobile Networking
317. DeepTox: Toxicity Prediction using Deep Learning
318. Distribution of waiting time for dynamic pickup and delivery problems
319. DynamoGraph: extending the Pregel paradigm for large-scale temporal graph processing
320. Evaluation of collaborative modeling processes for knowledge articulation and alignment
321. From Visual Exploration to Storytelling and Back Again
322. Guest Editorial: Cooperative Information Systems in the Digital Age
323. IBD Sharing between Africans, Neandertals, and Denisovans
324. Monitoring Requirements in Systems of Systems
325. Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems
326. Non-Uniform Spatial Deformation of Light Fields by Locally Linear Transformations
327. Pathfinder: Visual Analysis of Paths in Graphs
328. PeaCE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events
329. REMINDS: A Flexible Runtime Monitoring Framework for Systems of Systems
330. Recognition of paper-based conceptual models captured under uncontrolled conditions
331. Reference Modeling for Data Analysis: The BIRD Approach
332. Requirements Monitoring Frameworks: A Systematic Review
333. Robust Quad-based Audio Fingerprinting
334. SAT Race 2015
335. Software architecture knowledge management approaches and their support for knowledge management activities: A systematic literature review
336. Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application
337. Supporting Interoperability in Complex Adaptive Enterprise Systems: A Domain Specific Language Approach
338. The Architect's Role in Practice: From Decision Maker to Knowledge Manager?
339. The QBF Gallery: Behind the scenes
340. ThermalPlot: Visualizing Multi-Attribute Time-Series Data Using a Thermal Metaphor
341. Transcriptome profiling of antimicrobial resistance in Pseudomonas aeruginosa
342. Volumetric Light-Field Excitation
343. Weighted similarity-based clustering of chemical structures and bioactivity data in early drug discovery
344. A classification sensor based on compressed optical Radon transform
345. Active Guidance for Light-Field Photography on Smartphones
346. An Expert Survey on Kinds, Influence Factors and Documentation of Design Decisions in Practice
347. An Image Sensor based on Optical Radon Transform
348. Clause Elimination for SAT and QSAT
349. Connecting gene expression data from connectivity map and in silico target predictions for small molecule mechanism-of-action analysis
350. Extending Driver-Vehicle Interface Research Into the Mobile Device Commons: Transitioning to (nondriving) passengers and their vehicles
351. Graded dominance and related graded properties of fuzzy connectives
352. Handling measurement function changes with Slowly Changing Measures
353. Highlights from the 5th Symposium on Biological Data Visualization: Part 1
354. Highlights from the 5th Symposium on Biological Data Visualization: Part 2
355. Inferring Metrical Structure in Music Using Particle Filters
356. Intra- and interdiagram consistency checking of behavioral multiview models
357. KeBABS: an R package for kernel-based analysis of biological sequences
358. Logic-based modeling approaches for qualitative and hybrid reasoning in dynamic spatial systems
359. Multi-exposure color imaging with stacked thin-film luminescent concentrators
360. Only play in your comfort zone: interaction methods for improving security awareness on mobile devices
361. Points of View: Temporal data
362. Prediction of human population responses to toxic compounds by a collaborative competition
363. Rchemcpp: a web service for structural analoging in ChEMBL, Drugbank and the Connectivity Map
364. Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches
365. System-of-systems support ? A bigraph approach to interoperability and emergent behavior
366. The Second International Workshop on Cross-Disciplinary and Multicultural Perspectives on Musical Rhythm and Improvisation
367. Totally ordered monoids based on triangular norms
368. Using transcriptomics to guide lead optimization in drug discovery projects
369. msa: an R package for multiple sequence alignment
370. A comprehensive assessment of RNA-seq accuracy, reproducibility and information content by the Sequencing Quality Control Consortium
371. A tour of BeAware - A situation awareness framework for control centers
372. A transparent thin-film sensor for multi-focal image reconstruction and depth estimation
373. Assessing Technical Performance in Differential Gene Expression Experiments with External Spike-in RNA Control Ratio Mixtures
374. Attention Management in Pervasive Computing
375. Attention, Please!
376. Coded Exposure HDR Light-Field Video Recording
377. ConTour: Data-Driven Exploration of Multi-Relational Datasets for Drug Discovery
378. Diagnostic performance of direct traction MR arthrography of the hip: detection of chondral and labral lesions with arthroscopic comparison
379. Domino: Extracting, Comparing, and Manipulating Subsets across Multiple Tabular Datasets
380. Enhanced Genetic Operators Design for Waveband Selection in Multivariate Calibration by NIR Spectroscopy
381. Enhanced learning-based imaging with thin-film luminescent concentrators
382. Facilitating shared understanding of work situations using a tangible tabletop interface
383. Furby: Fuzzy Force-Directed Bicluster Visualization
384. GENFIS: Towards an Effective Localist Network
385. Head Pose Based Attention Recognition on Large Public Display
386. Lck Mediates Signal Transmission from CD59 to the TCR/ CD3 Pathway in Jurkat T Cells
387. Modular simulation-based physical and emotional assessment of ambient intelligence in traffic
388. On the application of Big Data in future large-scale intelligent Smart City installations
389. Opening the Black Box: Strategies for Increased User Involvement in Existing Algorithm Implementations
390. PANFIS: A Novel Incremental Learning Machine
391. Panorama Light-Field Imaging
392. Points of View: Bar charts and box plots
393. Potential of subliminal information displays to change drivers? behavior
394. Residual-Based Fault Detection using Soft Computing Techniques for Condition Monitoring at Rolling Mills
395. Subliminal/Unaware Cues and Perception of Presence in Virtual, Telepresence, and Automotive Environments - Guest Editors' Introduction
396. The construction of left-continuous t-norms: a geometric approach in two dimensions
397. Thinking virtual
398. Trace transitioning and exception handling in a trace-based JIT compiler for java

Publikationstyp: Aufsatz / Paper in SSCI-Zeitschrift

1. Efficacy of Labial Split-Thickness Eversion Periosteoplasty for Soft Tissue Management in Posterior Mandibular Horizontal Ridge Augmentation Procedures: A Prospective Clinical Study
2. The Role of Internet-of-Things for service transformation
3. User-Informed Adaptation in IoT Home Healthcare: Grounding Development in Empirical Evidence.
4. An exploratory study on the acoustic musical properties to decrease self-perceived anxiety.
5. Benchmarking Violent Scenes Detection
6. Capturing Time Dynamics from Speech using Neural Networks for Surgical Masks Detection
7. ConfusionFlow: A Model-Agnostic Visualization for Temporal Analysis of Classifier Confusion
8. Enhancing Brick-and-Mortar Store Shopping Experience with an Augmented Reality Shopping Assistant Application using Personalized Recommendations and Explainable Artificial Intelligence
9. Explainability in Music Recommender Systems
10. Exploring Online and In-Store Purchase Willingness: Associations With the Big Five Personality Traits, Trust, and Need for Touch
11. Immediately loaded implants simultaneously placed in fresh extraction and healed sites supporting four-implant-supported fixed mandibular prostheses using the all-on-4 concept: A 5-year prospective study
12. Is trust in artifcial intelligence systems related to user personality? Review of empirical evidence and future research directions
13. Our ACM community
14. Recommender Systems Under European AI Regulations
15. Supervised Machine Learning with Plausible Deniability
16. Twelve? and Fourteen?Year?Old School Children Diferentially Beneft from Sensorimotor? and Multisensory?Enriched Vocabulary Training
17. An analysis of social interaction between novice older adults when learning gesture-based skills through simple digital games
18. Community Support or Funding Amount: Actual Contribution of Reward-Based Crowdfunding to Market Success of Video Game Projects on Kickstarter
19. Context-Adaptive Reinforcement Learning using Unsupervised Learning of Context Variables
20. Electronic Performance Monitoring in the Digital Workplace: Conceptualization, Review of Effects and Moderators, and Future Research Opportunities
21. Influence of Personality Traits on Choice of Retail Purchasing Channel: Literature Review and Research Agenda
22. Investigating Gender Fairness of Recommendation Algorithms in the Music Domain
23. Listener Modeling and Context-aware Music Recommendation Based on Country Archetypes, Frontiers in Artificial Intelligence
24. On End-to-End White-Box Adversarial Attacks in Music Information Retrieval
25. On Evaluation of Inter- and Intra-Rater Agreement in Music Recommendation
26. On the stress potential of videoconferencing: definition and root causes of Zoom fatigue
27. Psychology-informed Recommender Systems
28. Real-time Music Following in Score Sheet Images via Multi-resolution Prediction
29. Receptive Field Regularization Techniques for Audio Classification and Tagging With Deep Convolutional Neural Networks
30. The Digital Stressors Scale: Development and Validation of a New Survey Instrument to Measure Digital Stress Perceptions in the Workplace Context
31. The influence of different forms of sinus membrane perforation on the prevalence of postoperative complications in lateral window sinus floor elevation: A retrospective study
32. A Decade of NeuroIS Research: Progress, Challenges, and Future Directions
33. Learning Foreign Language Vocabulary with Gestures and Pictures Enhances Vocabulary Memory for Several Months Post-Learning in Eight-Year-Old School Children
34. Risk Factor Analysis Affecting Sinus Membrane Perforation During Lateral Window Maxillary Sinus Elevation Surgery
35. Stability and Development of User Innovation Strategies for Video Game Producers
36. Depth of Encoding Through Observed Gestures in Foreign Language Word Learning
37. Embodied Learning: Why at School the Mind Needs the Body
38. Impact of content characteristics and emotion on behavioral engagement in social media: Literature review and research agenda
39. Moving to Communicate, Moving to Interact: Patterns of Body Motion in Musical Duo Performance
40. The influence of acceptance and adoption drivers on smart home usage
41. Adding background music as new stimuli of interest to information systems research
42. An analysis of global and regional mainstreaminess for personalized music recommender systems
43. Investigating the impact of network security on the line current differential protection system
44. Online, Loudness-invariant Singing Voice Detection
45. Towards uBPMN-based patterns for modeling ubiquitous business processes
46. Trust me if you can: Neurophysiological insights on the influence of consumer impulsiveness on trustworthiness evaluations in online settings
47. A Consolidated View of Context for Intelligent systems
48. An Evaluation of Linear and Non-linear Models of Expressive Dynamics
49. Do online shops support customers? decision strategies by interactive information management tools? Results of an empirical analysis
50. How adverse outcome pathways can aid the development and use of computational prediction models for regulatory toxicology
51. Investigating Country-specific Music Preferences and Music Recommendation Algorithms with the LFM-1b Dataset
52. On the Interrelation between Listener Characteristics and the Perception of Emotions in Classical Orchestra Music.
53. The Multiple Faces of Peer Review in Higher Education. Five Learning Scenarios developed for Digital Business
54. Accurate clock synchronization for power systems protection devices over packet switched networks
55. Supporting the collaborative construction of a shared understanding about work with a guided conceptual modeling technique
56. Concurrent abstract state machines
57. Supporting the evolution and interoperability of organisational models with e-learning technologies
58. An Assessment of Learned Score Features for Modeling Expressive Dynamics in Music
59. Enhancement of Sparse Silicon Retina-based Stereo Matching Using Belief Propagation And Two-stage Postfiltering
60. 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. A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development
2. A Survey on Fingerprinting Technologies for Smartphones based on Embedded Transducers
3. Assessing industrial end-user programming of robotic production cells: A controlled experiment.
4. Bewältigungsstrategien von Videoconference Fatigue
5. Commentary on A Computational Approach to Detection and Prediction of (Ir)Regularity in Children's Folk Songs
6. Composite refactoring: Representations, characteristics and effects on software projects.
7. Differentiable Short-Term Models for Efficient Online Learning and Prediction in Monophonic Music
8. Differential Privacy in Collaborative Filtering Recommender Systems: A Review
9. Gait Recognition Using 3D View-Transformation Model
10. Histological Classification of Canine and Feline Lymphoma using a Modular Approach based on Deep Learning and Advanced Image Processing. Scientific Reports
11. Homomorphic technique for image separation
12. How do microservices evolve? An empirical analysis of changes in open-source microservice repositories.
13. Investigating autistic traits, social phobia, fear of COVID-19, and internet use disorder variables in the context of videoconference fatigue
14. Learning General Audio Representations With Large-Scale Training of Patchout Audio Transformers
15. Measuring digital stress in the workplace context - Short version of the Digital Stressors Scale (DSS)
16. Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions.
17. On the consequences of electronic performance monitoring in organizations: theory and evidence
18. Perception And Classification of Emotions in Nonsense Speech: Humans Versus Machines
19. Practical Delegatable Anonymous Credentials From Equivalence Class Signatures
20. Predicting the Price of Bitcoin Using Sentiment-Enriched Time Series Forecasting
21. ProCon: An automated process-centric quality constraints checking framework.
22. Self-Supervised Contrastive Learning for Robust Audio-Sheet Music Retrieval Systems
23. Spectrum-based feature localization for families of systems
24. Transsinusoidal lateral nasal floor augmentation for implant placement in the atrophic premaxilla: A within-patient, 5-year, prospective comparative study
25. Analysis of a many-objective optimization approach for identifying microservices from legacy systems.
26. Approximating Decision Diagrams for Quantum Circuit Simulation
27. Artificial Intelligence and Software Engineering: Are We Ready?
28. Audio Self-supervised Learning: A Survey
29. Balancing biasand performance in polyphonic piano transcription systems
30. Behavior-Centered Digital-Twin Design for Dynamic Cyber-Physical System Development
31. Chief Digital Officer (CDO): Literaturanalyse und Handlungsempfehlungen für die Praxis
32. Developers' perception matters: machine learning to detect developer-sensitive smells.
33. Differentiable Short-Term Models for Efficient Online Learningand Prediction in Monophonic Music
34. Does System-of-Systems Thinking Work for Self-Governance of Digitally Transforming Systems?
35. Domain object hierarchies inducing multi-level models
36. Driver Behavior in Intelligent Transportation Systems (Guest Editorial)
37. Dual Deep Modeling of Business Processes: A Contribution to the Multi-Level Process Challenge
38. Efficient design of labs-on-a-chip: Design automation and simulation for microfluidics
39. Evaluating Dynamic Tor Onion Services for Privacy Preserving Distributed Digital Identity Systems
40. Evaluation of Color AnomalyDetection in Multispectral Images For Synthetic Aperture Sensing
41. Fragebogen zur Messung von digitalem Stress im Arbeitskontext
42. Games over Probability Distributions Revisited: New Equilibrium Models and Refinements
43. Gesture based word (re)acquisition with a virtual agent in augmented reality: A preliminary study
44. Individual Digital Transformation Readiness; Conceptualisation and Scale Development
45. Individual finger movement decoding using a novel ultra-high-density electroencephalography-based brain-computer interface system
46. Instant and global consistency checking during collaborative engineering.
47. Intensifying the search-based optimization of product line architectures with crossover operators.
48. MANAi - An IntelliJ Plugin for Software Energy Consumption Profiling
49. Makes Digital Sensemaking Sense??A Roadmap for Digital Humanism in Increasingly Transhumanist Settings
50. Modelling proof-of-work agreement protocol by coloured Petri nets
51. NFC-Zahlungen und mögliche Sicherheitsrisiken
52. On the Ambiguous Nature of Theory in Educational Design-based Research ? Reflecting and Structuring from an IS Perspective
53. On the associations between videoconference fatigue, burnout and depression including personality associations
54. Practical Algebraic Calculus and Nullstellensatz with the Checkers Pacheck and Pastèque and Nuss-Checker
55. The Emotion Probe: On the Universality of Cross-Linguistic and Cross-Gender Speech Emotion Recognition via Machine Learning
56. VergilioCost-effective learning-based strategies for test case prioritization in continuous integration of highly-configurable software.
57. Virtual Reality als Trainingsmethode: Eine Laborstudie aus dem Industriebereich
58. ?Attention! A Door Could Open.??Introducing Awareness Messages for Cyclists to Safely Evade Potential Hazards
59. A Literature Review of Using Machine Learning in Software Development Life Cycle Stages
60. A Process Model for ERP Upgrade and Replacement Decisions
61. A Value Framework for Technology Potentials: Business Adoption of Emotion Detection Capabilities
62. Acceleration-Aware PathPlanning with Waypoints
63. Aggregating Multidimensional Criteria in Audit Decision Making
64. An adaptive system-of-systems approach for resilient manufacturing
65. Augmented Reality for Future Mobility: Insights from a Literature Review and HCI Workshop
66. Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
67. Caregiver burden in patients with behavioural variant frontotemporal dementia and non?fluent variant and semantic variant primary progressive aphasia
68. Caregiver strain in progressive supranuclear palsy and corticobasal syndromes
69. Developing an engineering tool for cyber-physical production systems
70. Digital Learning Support for Makers: Integrating Technical Development and Educational Design
71. Ensuring safe and consistent coengineering of cyber-physical production systems: A case study
72. Evolution in dynamic software product lines
73. Extended Authorization Policy for Graph-structured Data
74. Guided Exploration: A Method for Guiding Novice Users in Interactive Memory Monitoring Tools
75. Individuelle Digitalisierungsbereitschaft in der Praxis
76. Linking the technology acceptance model to smartphone use and smartphone use disorder tendencies: Results from a survey study
77. Listener Modeling and Context-aware Music Recommendation Based on Country Archetypes
78. Motor cortex causally contributes to vocabulary translation following sensorimotor-enriched training
79. Multiplicative aggregation in managerial multi-attribute decision making
80. QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking
81. Quantum Optical Experiments Modeled by Long Short-Term Memory
82. Quantum k-community detection: Algorithm proposals and cross-architectural evaluation
83. SlotMachine - A Privacy-preserving Marketplace for Slot Management
84. Synthetic Aperture Imaging with Drones
85. The Android Platform Security Model
86. Tools for Quantum Computing Based on Decision Diagrams
87. Verteiltes Nachverfolgen von OPC UA Methodenkommunikation
88. A New Knowledge Capitalization Framework in the Big Data Context Through Shared Parameters Experiences
89. Agiles Arbeiten in offenen Büroumgebungen und Mitarbeiterstress
90. An Updated Framework of Factors Enabling Digital Transformation
91. An overview on efforts to enhance the Si electrode stability for lithium ion batteries
92. Automated test reuse for highly configurable software
93. Capability-Based Process Modeling and Control
94. Coping with rapid changes in IT: An Update
95. Design and validation of a C++ code generator from Abstract State Machines specifications
96. Design of Paper-Based Visual Analogue Scale Items
97. Efficient plagiarism detection for software modeling assignments
98. Evaluating an Interactive Memory Analysis Tool: Findings from a Cognitive Walkthrough and a User Study
99. Exploiting Twitter for Informativeness Classification in Disaster Situations
100. Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks
101. Intelligent Autonomous Systems
102. Introduction to the Special Collection ?20th Anniversary of ISMIR?
103. Investigating the Relationship between Personality and Technology Acceptance from a Gender Perspective
104. Maintaining Consistency across Engineering Artifacts
105. Messung von digitalem Stress im organisationalen Umfeld: Erfahrungen aus einer Fallstudie
106. Microwatt power management: challenges of on-chip energy harvesting
107. Modeling Popularity and Temporal Drift of Music Genre Preferences
108. On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
109. Problembereiche verteilter agiler Teams: Literaturanalyse und Praxisimplikationen
110. ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
111. Runtime Monitoring for Executable DSLs
112. Secure Accelerometer-based Pairing of Mobile Devices in Multi-modal Transport
113. Strong Extension-Free Proof Systems
114. Towards Fault Localization via Probabilistic Software Modeling
115. Towards a One Millimeter Thin Foil Camera
116. Zur Wiedergewinnung des Realismus als notwendige Grundlage einer am Menschen orientierten Informationssystemgestaltung und Softwareentwicklung
117. scikit-hubness: Hubness Reduction and Approximate Neighbor Search
118. A Comparison of Vibration based Bearing Fault Diagnostic Methods
119. A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
120. An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing
121. Berichterstattung zum Bitcoin in deutschsprachigen Tageszeitungen
122. Co-Vival: Embracing Artificial and Human Intelligences. An Awareness Approach for Transhuman Futures
123. Comparison-based feature location in ArgoUML variants
124. Das Netz- und Informationssystemsicherheitsgesetz
125. Digitale Transformation im stationären Einzelhandel
126. Digitaler Stress im Smart Home: Eine empirische Untersuchung
127. Eye Gaze as a Means of Giving and Seeking Information During Musical Interaction
128. Faster manipulation of large quantum circuits using wire label reference diagrams
129. Feature-Combination Hybrid Recommender Systems for Automated Music Playlist Continuation
130. Fingerprint indexing via BRIEF minutia descriptors
131. Geschäftsmodell-getriebene Planung von Digitalisierungsmaßnahmen in Business-to-Business-Märkten ? Ein Vorgehensmodell
132. Human/machine/roboter: technologies for cognitive processes
133. Incremental column-wise verification of arithmetic circuits using computer algebra
134. Is my definition the same as yours?
135. Linking Internet communication and smartphone use disorder by taking a closer look at the Facebook and WhatsApp applications
136. Movie Genome: Alleviating New Item Cold Start in Movie Recommendation
137. Order, Context and Popularity Bias in Next-song Recommendations
138. Personality and Taxonomy Preferences, and the Influence of Category Choice on the User Experience for Music Streaming Services
139. Sensorimotor cortices casually contribute to auditory foreign language vocabulary translation following multisensory learning
140. Thermal Airborne Optical Sectioning
141. A Cognitive Assistance Framework for Supporting Human Workers in Industrial Tasks
142. A Systematic Mapping Study of Information Visualization for Software Product Line Engineering
143. A systematic literature review of the use of formal methods in medical software systems
144. Abstractions for security protocol verification
145. Airborne Optical Sectioning
146. An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
147. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study
148. Automatically Generating Meander Channel Designs. Micromachines
149. Capacity-Aware Topology Resilience in Software-Defined Networks
150. Critical Success Factors for the Implementation of Business Intelligence Systems
151. Cross-Language Interoperability in a Multi-Language Runtime
152. DeepSNP: An End-to-End Deep Neural Network with Attention-Based Localization for Breakpoint Detection in Single-Nucleotide Polymorphism Array Genomic Data
153. Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
154. Developing and evolving a DSL-based approach for runtime monitoring of systems of systems
155. Do code data sharing dependencies support an early prediction of software actual change impact set?
156. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic
157. Elektromagnetische Störfestigkeitsprobleme in integrierten Schaltungen aufgrund elektrostatischer Entladungen
158. End-to-End Cross-Modality Retrieval with CCA Projections and Pairwise Ranking Loss.
159. Evaluating the suitability of state-based formal methods for industrial deployment
160. Evaluation of Cybersecurity Management Controls and Metrics of Critical Infrastructures: A Literature Review Considering the NIST Cybersecurity Framework
161. Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems
162. Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements
163. From Microwatt to Gigabit: Challenges of Modern Radio Design
164. Guest Editors? Introduction: Special Issue on Software Safety and Security Risk Mitigation in Cyber-physical Systems
165. Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits
166. Informing Work Interaction Design by 3rd Generation Activity Theory
167. Integrating formal methods into medical software development: The ASM approach
168. Intelligent business transformation through market?specific value network analysis: Structured interventions and process bootstrapping in geomarketing
169. Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15)
170. Keine Bearbeitung des Datenbank-Programms durch einen Datenbank-Link
171. Key factors in the engineering process for systems for aging in place contributing to low usability and sucess
172. Learning Audio-Sheet Music Correspondences for Cross-Modal Retrieval and Piece Identification.
173. Maintaining Consistency across Engineering Artifacts
174. Meander Designer: Automatically Generating Meander Channel Designs
175. Measuring Object-Oriented Design Principles: The Results of Focus Group-Based Research
176. Mobile Match-on-Card Authentication Using Offline-Simplified Models with Gait and Face Biometrics
177. Nature-Inspired Computational Model of Population Desegregation under Group Leaders Influence
178. Non-invasive brain stimulation in information systems research: a proof-of-concept study
179. On the Difficulty of Inserting Trojans in Reversible Computing Architectures
180. Online, loudness-invariant vocal detectionin mixed music signals
181. Organisationsentwicklung mithilfe von Wertenetzen und subjekt-orientiertem Geschäftsprozessmanagement
182. Real-time detection and discrimination of visual perception using electrocorticographic signals
183. Reflecting Peer Reviews in Inquiry Based Learning Scenarios An Analysis of Peer Feedback Levels and their Implementation
184. Research directions for digital signage systems in retail
185. Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation
186. Synthesis of Circuits based on All-Optical Mach-Zehnder Interferometers Using Binary Decision Diagrams
187. Systemische Gestaltung emergenter Systeme am Beispiel mathetisch begründeter Lernunterstützung
188. Team 3: Active and Healthy Aging
189. Towards quantum reversible ternary coded decimal adder
190. Using superimposed multidimensional schemas and OLAP patterns for RDF data analysis
191. Verbreitung und Akzeptanz von Bauchentscheidungen im Management
192. Verwendung von Blockchain und Custom Tokens zur Projektkoordination - Ein Pilotversuch
193. Wireless Technologies for Emergency Response: A Comprehensive Review and Some Guidelines
194. A Cognitive Agent-based Model for Multi-Robot Coverage at a City Scale
195. A Large-Scale, Long-Term Analysis of Mobile Device Usage Characteristics
196. A flexible online platform for computerized adaptive testing
197. A survey of context recognition in surgery
198. Adopting Principles of Freinet Pedagogy for Research Skill Development in Higher Education
199. An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
200. An Intelligent Interface for Drum Pattern Variation and Comparative Evaluation of Algorithms
201. Bitcoin & Co: An Ontology for Categorising Cryptocurrencies
202. Cybercrime: Darknet
203. Data Intelligence in the Context of Big Data: A Survey
204. Der Chief Digital Officer (CDO): Eine empirische Untersuchung
205. Digitally Enhanced Recovery: Investigating the Use of Digital Self-Tracking for Monitoring Leisure Time Physical Activity of Cardiovascular Disease (CVD) Patients Undergoing Cardiac Rehabilitation
206. Ein Billie für alle Fälle
207. Enrichment effects of metaphoric gestures and pictures on abstract words in a second language
208. Exploiting Traceability Uncertainty between Software Architectural Models and Extra-Functional Results
209. Formal Methods for Reasoning and Uncertainty Reduction in Evidential Grid Maps
210. Interaktive Informationsmanagement-Tools in Online Shops: Studienergebnisse und Gestaltungsempfehlungen
211. KMS re-contextualization ? Recognizing learnings from OMIS research
212. Learning domain taxonomies: the TaxoLine approach
213. Modeling human factors influencing herding during evacuation
214. Multi-Criteria Recommender Systems: A Survey and a Method to Learn New User's Profile
215. Multi-objective reverse engineering of variability-safe feature models based on code
216. My-AHA: Stay Active, Detect Risks Early, Prevent Frailty!
217. One-pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic
218. Online scheduled execution of quantum circuits protected by surface codes
219. Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips
220. Protecting Touch: Authenticated App-To-Server Channels for Mobile Devices Using NFC Tags
221. Recently learned foreign abstract and concrete nouns are represented in distinct cortical networks similar to the native language
222. Reengineering Legacy Applications into Software Product Lines: A Systematic Mapping
223. Social media in the airline industry: acceptance of social seating
224. Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact
225. Technostress Research: A Nurturing Ground for Measurement Pluralism?
226. The Practical Use of Inconsistency Information in Engineering Design Tasks ? First Observations
227. The first reactive synthesis competition (SYNTCOMP 2014)
228. Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification
229. Variability Extraction and Modeling for Product Variants
230. Why Your Body Can Jog Your Mind
231. Zur Technizität von Software-Patenten, insb. Ansprüchen auf Datenstrukturen
232. A Risk Assessment of Logical Attacks on a CEN/XFS-based ATM Platform
233. Brief Multisensory Training Enhances Second Language Vocabulary Acquisition in Both High and Low Performers.
234. Co-evolution of metamodels and models through consistent change propagation
235. Consistent Merging of Model Versions
236. Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
237. Der Musikant mit Taschenrechner in der Hand ? Algorithmen zur Musikanalyse mit Anwendungen in der Kreativwirtschaft
238. Entscheidungsbesprechung OGH 4 Ob 142/15h: Zur Schutzfähigkeit von Schriftarten.
239. Exploring the Neural Representation of Novel Words Learned through Enactment in a Word Recognition Task
240. Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
241. Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks
242. IP-based communications for Line current Differential Protection
243. Impact of ICT-Mediated Collective Awareness on Urban Mobility
244. Introduction to Intelligent Music Systems and Applications
245. Is Bluetooth Low Energy an Alternative to Near Field Communication?
246. Linking natural modeling to techno-centric modeling for the active involvement of process participants in business process design
247. Measuring, Assessing and Improving Software Quality based on Object-Oriented Design Principles
248. Menschliches Informationsverhalten: Warum sich CIOs damit befassen sollten
249. Multi-objective test case prioritization in highly configurable systems: A case study
250. Parkinson Patients' Initial Trust in Avatars: Theory and Evidence
251. QMDDs: Efficient Quantum Function Representation and Manipulation
252. Quantifying the interplay of emotions and rationality in herding: A game-theoretic simulation study
253. Reliable quantum circuits have defects
254. Results and lessons learned in System, Software & Service Process Improvement & Innovation
255. Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
256. Selbstgesteuerte Reflexion und Gestaltung von Arbeitsprozessen
257. Special issue on software and service improvement in the scope of SMEs
258. The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games
259. Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
260. Understanding Coordination in the Information Systems Domain: Conceptualization and Implications.
261. Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
262. Verändert das digitale Zeitalter die Anforderungen an die strategische Führungskompetenz?
263. Virtual reality as an embodied tool to enhance episodic memory in elderly
264. Wire recycling for quantum circuit optimization
265. Ziele von Informationssystemen
266. A Password-authenticated Secure Channel for App to Java Card Applet Communication
267. A systematic mapping study of search-based software engineering for software product lines
268. An Assessment of Search-Based Techniques for Reverse Engineering Feature Models
269. Applying Multiobjective Evolutionary Algorithms to Dynamic Software Product Lines for Reconfiguring Mobile Applications
270. Boolector 2.0.
271. Campus-Wide Indoor Trackting Infrastructure
272. Can method data dependencies support the assessment of traceability between requirements and source code?
273. Change Propagation and Conflict Resolution for the Co-evolution of Business Processes
274. Complexity of Fixed-Size Bit-Vector Logics
275. Consistent Abstraction of Business Processes Based on Constraints
276. Consumers' cognitive lock-in on websites: Evidence from a neurophysiological study
277. Der Musikant mit Taschenrechner in der Hand ? Algorithmen zur Musikanalyse mit Anwendungen in der Kreativwirtschaft
278. Developing pervasive multi-agent systems with nature-inspired coordination
279. Die e-Identifizierungs- und Vertrauensdienste-Verordnung der EU - Teil I.
280. Die e-Identifizierungs- und Vertrauensdienste-Verordnung der EU - Teil II.
281. Do developers benefit from requirements traceability when evolving and maintaining a software system?
282. Electroencephalography (EEG) as a research tool in the information systems discipline: Foundations, measurement, and applications.
283. Exploiting Traceability Uncertainty among Artifacts and Code
284. Future research issues in IT and tourism
285. Horizontal Business Process Model Integration
286. How to model and prove hybrid systems with KeYmaera: A tutorial on safety
287. Learning Styles and Vocabulary Acquisition in Second Language: How the Brain Learns
288. Localization in an Industrial Environment: A Case Study on the Difficulties for Positioning in a Harsh Environment
289. Operationalised Product Quality Models and Assessment: The Quamoco Approach
290. Optimizing Early Detection of Production Faults by Applying Time Series Analysis on Integrated Information
291. Power-saving localization techniques for mobile devices: a comparison between iOS and Android
292. Security Challenges for Medical Devices
293. Technologies for Web and cloud service interaction: a survey
294. Trust behavior in Parkinson's disease: Results of a trust game experiment
295. Understanding Patients' Decision-Making Strategies in Hospital Choice: Literature Review and a Call for Experimental Research.
296. Visual and Motor Cortices Differentially Support the Translation of Foreign Language Words
297. A Bizarre Virtual Trainer Outperforms a Human Trainer in Foreign Language Word Learning
298. A Survey of User Interaction for Spontaneous Device Association
299. Améliorer SAT dans le cadre incrémental
300. An electrocorticographic BCI using code-based VEP for continuous control in video applications: a single-subject study
301. Bringing back the body into the mind: Gestures enhance word learning in foreign language.
302. Challenges in the Management of Federated Heterogeneous Scientific Clouds
303. Characterizing Cancer Subtypes using the Dual Analysis Approach in Caleydo
304. Chief Information Officer (CIO).
305. Collaborative Verification-Driven Engineering of Hybrid Systems
306. Consistency Checking in Early Software Product Line Specifications - The VCC Approach
307. Cultural values influencing project team success: An empirical investigation in Ethiopia
308. Das Design von Benutzeroberflächen.
309. Die Technizität von Programmlogiken im Gebrauchsmusterschutz
310. Do children accept virtual agents as foreign language trainers?
311. Ein Billie für alle Fälle
312. Emotions and ERP information sourcing: The moderating role of expertise.
313. Guest editorial: Crisis management and recovery projects and programs
314. Guided Visual Exploration of Genomic Stratifications in Cancer
315. Imitation of a pedagogical agent's gestures enhances memory for words in second language
316. Intelligent virtual agents as language trainers facilitate multilingualism
317. Long Term Effects of Gestures on Memory for Foreign Language Words Trained in the Classroom
318. LumiConSense, A Transparent, Flexible, and Scalable Thin-Film Sensor
319. MuSSS ? Multimedia Studien Service SoWi als Beitrag zur Vereinbarkeit von Studium und Berufstätigkeit
320. Pronunciation in foreign language: How to train?
321. Special Issue on "The Social Car: Socially-inspired Mechanisms for Future Mobility Services" (Editorial)
322. Towards a NeuroIS research methodology: Intensifying the discussion on methods, tools, and measurement.
323. Trusting humans and avatars: A brain imaging study based on evolution theory.
324. Understanding the dominance and advocacy of the design-oriented research approach in the business informatics community: A history-based examination
325. Virtual mobility trainer for visually impaire people
326. Wiki Based Collaborative Learning in Interuniversity Scenarios
327. Constraint-driven modeling through transformation
328. Personality-based active learning for collaborative filtering recommender systems
329. Determinants of information systems and information technology project team success: A literature review and a conceptual model.
330. On the use of neurophysiological tools in IS research: Developing a research agenda for NeuroIS.
331. Technostress aus einer neurobiologischen Perspektive: Systemabsturz führt bei Computerbenutzern zu einem Anstieg des Stresshormons Kortisol.
332. Technostress from a neurobiological perspective: System breakdown increases the stress hormone cortisol in computer users.
333. The biology of trust: Intergrating evidence from genetics, endocrinology and functional brain imaging
334. Body in Mind: How Gestures Rmpower Goreign Language Learning
335. Concepts and Architecture of a Simulation Framework based on JavaBeans

Publikationstyp: Aufsatz / Paper in nicht-referierter Fachzeitschrift

1. A Mixer-First Receiver With Class-F Adiabatic Switching
2. A Novel Experimental Method for Identifying the Flux Linkage Map of a High-Power Medium-Voltage Electrically Excited Synchronous Machine with Double Stator Winding
3. Aufnahmeverfahren MedAT
4. COMPO*SED: Composite Parallel Coordinates for Co-Dependent Multi-Attribute Choices
5. Nonlinear Position Control of a Magnetic-Geared Servo Drive With Unknown Load
6. The DAO to DeSci: AI for Free, Fair, and Responsibility Sensitive Sciences
7. Digitaler Stress: Wie Homeoffice Belastungen verstärkt
8. Fifty Nifty Variations of Two-Transistor Circuits: A tribute to the versatility of MOSFETs
9. Low-power integrated transmitter design using frequency multiplication techniques: Edge-combining and third harmonic extraction
10. Model Assisted Distributed Root Cause Analysis
11. DRIVER+ Portfolio of Solutions - An online catalogue for sharing solutions in Crisis Management
12. Data-driven vibration-based bearing fault diagnosis using non-steady-state training data
13. Industrielogistik, Intelligente Transportsysteme
14. World's-50-Renowned-Women-in-Robotics
15. 50 Jahre Informatik @ JKU
16. Mining Cross-Task Artifact Dependencies from Developer Interactions
17. Approximate Q-Learning for Stacking Problems with Continuous Production and Retrieval
18. Digitale Medien und Inklusion ? Chancen und Umsetzung, in Schulentwicklung
19. Durchblick - Combining Sensor Outputs and Supporting Forensic Investigations in Robot-Assisted Analysis of Suspicious Objects
20. Novel Robustness Measures for Engineering Design Optimisation
21. Schema Analysis in Tree-based Genetic Programming
22. Models for Predicting the Development of Insulin Resistance
23. Stakeholder-centered Process Implementation: Assessing S-BPM Tool Support
24. Stress durch E-Mail: Forschungsbefunde und Praxisimplikationen
25. Wi-Fi Data Transmission: Android \& iOS Interoperability
26. A Dynamic Multicommodity Network Flow Problem For Logistic Networks
27. Accessing and Dealing with Mathematics as a Blind Individual: State of the Art and Challenges
28. EHR Acceptance among Austrian Residents
29. Rechtsfragen im Zusammenhang mit dem Betrieb eines Anonymisierungsdienstes
30. Genetic Programming with Data Migration for Symbolic Regression
31. Integrated Simulation and Optimization in HeuristicLab
32. Keine Almosen sondern Grund- und Menschenrecht
33. Rohstoff Daten
34. Scripting and Framework Integration in Heuristic Optimization Environments
35. Sprechende Mathematiksysteme

Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)

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

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

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

Publikationstyp: Aufsatz / Paper in Sammelwerk (referiert)

1. Accessibility and Universal Design in Higher Education Curricula: the Athena Project
2. Aus Nutzung wird Gestaltung
3. Control Flow Duplication for Columnar Arrays in a Dynamic Compiler
4. Never Trust Your Solver: Certification for SAT and QBF
5. Systematic Software Reuse with Automated Extraction and Composition for Clone-and-Own
6. Validation of QBF Encodings with Winning Strategies
7. Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
8. FERPModels: A Certification Framework for Expansion-Based QBF Solving
9. Multimedia Recommender Systems: Algorithms and Challenges
10. Picture Classification into Different Levels of Narrativity Using Subconscious Processes and Behavioral Data: An EEG Study
11. Rate my Hydrograph: Evaluating the Conformity of Expert Judgment and Quantitative Metrics
12. Thermal Sensor and Reference Circuits Based on a Time-Controlled Bias of pn-Junctions in FinFET Technology
13. Using modules to manage the content of IEC 61499 type libraries
14. XAI and Strategy Extraction via Reward Redistribution
15. Actively Involving Students by Formative eAssessment: Students Generate and Comment on E-exam Questions
16. Alethe: Towards a Generic SMT Proof Format (extended abstract)
17. Bounded Model Checking
18. Co-creation in Transhuman Realities: Setting the Stage for Transformative Learning
19. Einsatz semantischer Technologien für die Informationsbereitstellung in der Flugsicherung
20. Modeling, Simulation, and Experimental Analysis of Liquid Sloshing Dynamics
21. NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization
22. Preprocessing in SAT Solving
23. Quantified Boolean Formulas
24. Recommending Assembly Work to Station Assignment Based on Historical Data
25. The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes
26. Zero Emission Cold Chain Distribution ? E-Fahrzeuge für die Lebensmitteldistribution
27. (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
28. An Efficient Nearest Neighbor Design for 2D Quantum Circuits
29. Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks
30. Autonomous Vehicles: Vulnerable Road User Response to Visual Information Using an Analysis Framework for Shared Spaces
31. Effect of Volumetric Split-Errors on Reactant-Concentration During Sample Preparation with Microfluidic Biochips
32. Path Planning for Semi-autonomous Agricultural Vehicles
33. Simulation and Design of Quantum Circuits
34. Tindustry: Matchmaking for I4. 0 Components
35. Early Fault Detection in Reciprocating Compressor Valves by Means of Vibration and pV Diagram Analysis
36. Explaining and Interpreting LSTMs
37. Interpretable Deep Learning in Drug Discovery
38. Live and global consistency checking in a collaborative engineering environment
39. NeuralHydrology ? Interpreting LSTMs in Hydrology
40. Technological intrapreneurs ? intrapreneurial orientation and potential of IT students
41. Tools and Applications for Cognitive Accessibility
42. Visual Scene Understanding for Autonomous Driving Using Semantic Segmentation
43. Active, Real-Time, and Intellective Data Warehousing
44. CrossTeaching Interuniversity Research-Based Learning in Virtual Teams
45. Digitales Peer Review in der Hochschullehre. Wie eine Evaluierungsmethode den Lernprozess direkt unterstützt
46. Emerging Circuit Technologies: An Overview on the Next Generation of Circuits
47. Intertwining e-learning technologies and pedagogies at the system design stage to support personalized learning
48. Multilevel Modeling
49. Transactional Value Analytics in Organizational Development
50. A Fair Performance Comparison of Dierent Surrogate Optimization Strategies
51. A General Solution Approach for the Location Routing Problem
52. Analysing a Hybrid Model-Based Evolutionary Algorithm for a Hard Grouping Problem
53. Analysis and Visualization of the Impact of Different Parameter Configurations on the Behavior of Evolutionary Algorithms
54. Analysis of Schema Frequencies in Genetic Programming
55. Counterexample-Guided Model Synthesis
56. Embedding Interuniversity Peer Review in Virtual Learning Groups. A Research-based Learning Scenario
57. Facilitating Evolutionary Algorithm Analysis with Persistent Data Structures
58. Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability
59. Integrating Exploratory Landscape Analysis into Metaheuristic Algorithms
60. Long-Term Analysis of the Open ACS Community Framework
61. Measures for the Evaluation and Comparison of Graphical Model Structures
62. Medical Device Security
63. Multilevel Modeling
64. Need for Continous Evolution of Systems Engineering Practices for Modern Vehicle Engineering
65. Offspring Selection Genetic Algorithm Revisited: Improvements in Efficiency by Early Stopping Criteria in the Evaluation of Unsuccessful Individuals
66. Optimization Networks for Integrated Machine Learning
67. Propagation Based Local Search for Bit-Precise Reasoning
68. Short Proofs Without New Variables
69. Sliding Window Symbolic Regression for Predictive Maintenance using Model Ensembles
70. Solving the Traveling Thief Problem using Orchestration in Optimization Networks
71. Wirtschaftsinformatik an der JKU ? Über die Wirkung eines Memorandums
72. A Research Agenda for Human Computer Confluence
73. Biclustering Methods in Chemoinformatics and Molecular Modeling
74. Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
75. FABIA
76. Gene Expression Experiments in Drug Discovery
77. HapFABIA: Biclustering for Detecting Identity by Descent
78. Human-Car Confluence: ?Socially-Inspired Driving Mechanisms?
79. Introduction
80. Lernstiladaptierte Lehre in Wirtschaftsfächern: Unterstützung der Diversität des Lernens durch verschiedene kollaborative Lernmethoden
81. Music Recommender Systems
82. Peer Review from Teachers? Perspective
83. Public Key Infrastructure for e-Assessment
84. Q-Resolution with Generalized Axioms
85. Ranking of Biclusters in Drug Discovery Experiments
86. The BiclustGUI Package
87. The Plaid Model
88. Third Person Data
89. Using Geometric Symbolic Fingerprinting to Discover Distinctive Patterns in Polyphonic Music Corpora
90. biclustGUI Shiny App
91. ?-biclustering and FLOC Algorithm
92. A Formal Model of Client-Cloud Interaction
93. Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection
94. Chapter 12: Localization, Cultural Preferences and Global Commerce - Software Like a Cooperative Partner
95. Codesign of Web Information Systems
96. Complexity Measures for Multi-Objective Symbolic Regression
97. Diversity-based Offspring Selection Criteria for Genetic Algorithms
98. Evaluating CDCL Variable Scoring Schemes
99. Heinz Zemanek: Ingenieur, Wissenschafter und Weichensteller mit Weitblick
100. Modeling a Lot-Aware Slab Stack Shuffling Problem
101. Monitoring of Client-Cloud Interaction
102. On the Effectiveness of Genetic Operations in Symbolic Regression
103. Optimal derotation of shared acceleration time series by determining relative spatial alignment (2nd Edition)
104. Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems
105. Optimizing Set-up Times using the HeuristicLab Optimization Environment
106. Proofs for Satisfiability Problems
107. What Constitutes a Service on the Web?
108. A combined model of sensory and cognitive representations underlying tonal expectations in music: from audio signals to behavior
109. Configuring and Generating Technical Documents
110. Intercultural Collaborative Learning Scenarios in E-Business Education
111. Learning-Oriented Question Recommendation Using Bloom's Taxonomy and Variable Length Hidden Markov Models
112. On the Interoperability Contributions of S-BPM
113. Ontology of Enterprise Interoperability extended for Complex Adaptive Systems
114. Ontology-driven Business Intelligence for Comparative Data Analysis
115. Requirements for Supporting Enterprise Interoperability in Dynamic Environments
116. Boehm's Spiral Model Revisited
117. PARIS ? Personal Augmented Reality Information System

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

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

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

1. Learning to Modulate pre-trained Models in RL
2. Pandemics: Impacts, Strategies and Responses - IDIMT 2021
3. Heinz Zemaneks akademischer Blumenstrauß
4. Run-Time Data Analysis in Dynamic Runtimes
5. Run-time Data Analysis to Drive Compiler Optimizations
6. How Can We Learn Foreign Language Vocabulary More Easily?
7. A Statistical View on Synthetic Aperture Imaging for Occlusion Removal
8. Light-Field Microscopy: A Review
9. Ordino: a visual cancer analysis tool for ranking and exploring genes, cell lilnes and tissue samples
10. Which design best practices should be taken care of?
11. Applicability of keystroke dynamics as a biometric security feature for mobile touchscreen devices with virtualised keyboards
12. Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems
13. Collaborative Subject-oriented Workplace Re-design
14. OPC UA Interface for a BPM Suite to Enable Seamless Process Management
15. A Tactile Presentation Method of Mind maps in co-located Meetings
16. Aiding Drug Design with Deep Neural Networks
17. An Architecture for Secure Mobile Devices
18. Deep Learning as an Opportunity in Virtual Screening
19. Deep Learning as an Opportunity in Virtual Screening
20. Deep Learning for Drug Target Prediction
21. Multi-Task Deep Networks for Drug Target Prediction
22. Rectified Factor Networks and Dropout

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

1. A Deep Learning Approach for Network Anomaly Detection
2. Fully Automatic Page Turning on Real Scores
3. IDIMT 2020 - A Mixed Reality Conference and Mixed Feelings
4. Looking back at 28 years of IFSR Newsletter
5. Adolf Adam - Ein Leben in Anekdoten (PDF-Version)
6. Post Behind the Paper in Nature Electronics: Promoting-trust-in-self-driving-vehicles
7. Seminar: Software-Entwicklung im Lichte kultureller Unterschiede. Technical report
8. Barrierefreiheit von Medien für die Wissensgesellschaft und für inklusive Lernprozesse
9. Cryptanalysis and improvement of a Multi-Server Authenticated Key Agreement by Chen and Lee?s Scheme
10. Ein integrativer Ansatz zur semantischen Modellierung von Rechtstexten

Publikationstyp: Monographie (Erstauflage)

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

Publikationstyp: Monographie (Folgeauflage)

1. Ganzheitliche Digitalisierung von Prozessen: Perspektivenwechsel?Design Thinking?Wertegeleitete Interaktion
2. Digitaler Stress: Wie er uns kaputt macht und was wir dagegen tun können
3. Technologies Changing Our World - 21 Perspectives 2000 bis 2020
4. Kompaktkurs C# 7
5. Displays: Fundamentals and Applications
6. Kompaktkurs C# 6.0
7. 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. Editor Book Technologies for Smart Cities
2. Lifelogging for Organizational Stress Measurement: Theory and Applications
3. Meilensteine der Elektrizität
4. Vom Morsetelegraphen zum Computer
5. Der Nutzen semantischer Technologien bei Erstellung und Pflege von Rechtstexten am Beispiel von Curricula
6. Metaheuristic Algorithms for the Quadratic Assignment Problem: Performance and Comparison
7. Methods for Genealogy and Building Blocks Analysis in Genetic Programming
8. Multi-Population Genetic Programming with Data Migration for Symbolic Regression in Computational Intelligence and Efficiency in Engineering Systems
9. Simulation-Based Optimization with HeuristicLab: Practical Guidelines and Real-World Applications
10. Hugo Gernsback uns seine technischen Magazine
11. Aufsätze zur Geschichte der Informationstechnik

Publikationstyp: Kommentar

1. Beyond the Game: Charting the Future of Game Data Science

Publikationstyp: Entscheidungsbesprechung

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

Publikationstyp: Übersetzung

1. Verbessertes virtuelles Prototyping Mit RISC-V-Fallstudien

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. EWSN '22: Proceedings of the 2022 International Conference on Embedded Wireless Systems and Networks
2. ICCHP-AAATE 2022 Open Access Compendium "Assistive Technology, Accessibility and (e)Inclusion", Part I
3. ICCHP-AAATE 2022 Open Access Compendium "Assistive Technology, Accessibility and (e)Inclusion", Part II
4. ICCHP-AAATE 2022, Computers Helping People with Special Needs, Part 1
5. ICCHP-AAATE 2022, Computers Helping People with Special Needs, Part II
6. Recent Findings in Boolean Techniques
7. ICCHP 2020 - Computers Helping People with Special Needs, Part I
8. ICCHP 2020 - Computers Helping People with Special Needs, Part II
9. ICCHP Open Access Compendium - Future Perspectives of AT, eAccessibility and eInclusion
10. Computers Helping People with Special Needs, ICCHP 2018, Part 1
11. Computers Helping People with Special Needs, ICCHP 2018, Part 2
12. 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)
13. Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
14. MSM 2017 - Proceedings of the Symposium on Modeling and Simulation in Medicine
15. Abstract State Machines, Alloy, B, TLA, VDM, and Z
16. Computer Helping People with Special Needs
17. Computer Helping People with Special Needs
18. MSM 2016 - Proceedings of the Symposium on Modeling and Simulation in Medicine
19. Proccedings of the 10th European Conference on Software Architecture Workshops
20. 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
21. MSM 2015 - Proceedings of the Symposium on Modeling and Simulation in Medicine
22. Proceedings of the 3rd Workshop on Emotions and Personality in Personalized Systems (EMPIRE)
23. Workshop on In-Vehicle Auditory Interactions (Proceedings)
24. Workshop on Practical Experiences in Measuring and Modeling Drivers and Driver-Vehicle Interactions (Proceedings)
25. Computers Helping People with Special Needs
26. Computers Helping People with Special Needs
27. Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)
28. Proceedings of the 8th International Conference on Tests and Proofs

Publikationstyp: Tagungsband Mitherausgeberschaft (Erstauflage)

1. Advances in Conceptual Modeling - Proceedings of the ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad
2. Advances in Mobile Computing and Multimedia Intelligence - 20th International Conference, MoMM 2022, Virtual Event, November 28?30, 2022, Proceedings
3. Big Data Analytics and Knowledge Discovery - 24th International Conference, DaWaK 2022, Vienna, Austria, August 22?24, 2022, Proceedings
4. Database and Expert Systems Applications - 33rd International Conference, DEXA 2022, Vienna, Austria, August 22?24, 2022, Proceedings, Part I
5. Database and Expert Systems Applications - 33rd International Conference, DEXA 2022, Vienna, Austria, August 22?24, 2022, Proceedings, Part II
6. Database and Expert Systems Applications - DEXA 2022 Workshops - 33rd International Conference, DEXA 2022, Vienna, Austria, August 22?24, 2022, Proceedings
7. Electronic Government and the Information Systems Perspective - 11th International Conference, EGOVIS 2022, Vienna, Austria, August 22?24, 2022, Proceedings
8. IDIMT-2022, Digitalization of Society, Business and Management in a Pandemic, 30th Interdisciplinary Information Management Talks
9. Information Integration and Web Intelligence - 24th International Conference, iiWAS 2022, Virtual Event, November 28?30, 2022, Proceedings
10. Big Data Analytics and Knowledge Discovery - 23rd International Conference, DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings
11. Database and Expert Systems Applications - 32nd International Conference, DEXA 2021 (Proceedings, Part I)
12. Database and Expert Systems Applications - 32nd International Conference, DEXA 2021 (Proceedings, Part II)
13. Decision and Game Theory for Security: 12th International Conference, GameSec 2021, Virtual Event, October 25-27, 2021, Proceedings
14. Electronic Government and the Information Systems Perspective - 10th International Conference, EGOVIS 2021
15. IDIMT-2021, Pandemics: Impacts, Strategies and Responses, 29th Interdisciplinary Information Management Talks
16. Trust, Privacy and Security in Digital Business - 18th International Conference, TrustBus 2021
17. Big Data Analytics and Knowledge Discovery - 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (2020)
18. Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I (2020)
19. Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part II (2020)
20. Database and Expert Systems Applications - DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings
21. Electronic Government and the Information Systems Perspective - 9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (2020)
22. Information Systems and Neuroscience: NeuroIS Retreat 2020
23. Proceedings of the 18th International Conference on Advances in Mobile Computing & Multimedia (MoMM2020) - Chiang Mai, Thailand, November 2020
24. Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS '20), Chiang Mai, Thailand, November 2020
25. Trust, Privacy and Security in Digital Business - 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (2020)
26. WiSec '20: Proceedings of the 13th ACM Conference on Security and Privacy in Wireless and Mobile Networks
27. WiseML '20: Proceedings of the 2nd ACM Workshop on Wireless Security and Machine Learning
28. Big Data Analytics and Knowledge Discovery - 21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019
29. Database and Expert Systems Applications - DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26-29, 2019, Proceedings
30. Electronic Government and the Information Systems Perspective - 8th International Conference, EGOVIS 2019, Linz, Austria, August 26-29, 2019, Proceedings
31. First International Workshop on Languages for Modelling Variability (MODEVAR 2019)
32. Fourth International Workshop on Languages for Modelling Variability (SPLTea 2019)
33. IDIMT-2019, Innovation and Transformation in a Digital World, 27th Interdisciplinary Information Management Talks
34. Industrial Applications of Holonic and Multi-Agent Systems - 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings
35. Information Systems and Neuroscience: NeuroIS Retreat 2019
36. 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)
37. Proceedings of the 17th International Conference on Advances in Mobile Computing and Multimedia (MoMM2019)
38. Proceedings of the 21st International Conference on Information Integration and Web-based Applications and Services (iiWAS2019)
39. Proceedings of the International Workshop on Petri Nets and Software Engineering
40. SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B
41. Software Evolution in Time and Space: Unifying Version and Variability Management, Dagstuhl Reports, Volume 9, Issue 5, pp. 1-30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
42. Software-Intensive Business: Start-ups, Platforms, and Ecosystems -- Proceedings of the 2nd ACM SIGSOFT International Workshop (IWSiB'19)
43. Systems: from science to practice - Proceedings of the 19th IFSR Conversation 2018
44. Trust, Privacy and Security in Digital Business - 16th International Conference, TrustBus 2019, Linz, Austria, August 26-29, 2019, Proceedings
45. 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)
46. IDIMT-2018, Strategic Modeling in Management, Economy and Society
47. Proceedings of the 16th International Conference on Advances in Mobile Computing and Multimedia, MoMM 2018, Yogyakarta, Indonesia, November 19-21, 2018
48. Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2018, Yogyakarta, Indonesia, November 19-21, 2018
49. SPLC'18: Proceedings of the 22nd International Conference on Systems and Software Product Line - Volume 1
50. 25 Years of IDIMT: A History of Continuity and Change
51. IDIMT-2017, Digitalization in Management, Society and Economy
52. Proceedings of The 15th International Conference on Advances in Mobile Computing & Multimedia (MoMM2017)
53. Proceedings of The 19th International Conference on Information Integration and Web-based Applications & Services (iiWAS2017)
54. Proceedings of the Seventh International Conference on the Internet of Things, IOT 2017, Linz, Austria, October 22-25, 2017
55. Systems Literacy - Proceedings of the Eighteenth IFSR Conversation 2016
56. IDIMT-2016, Information Technolog, Society and Economy, Strategic Cross-Influences
57. Information systems and neuroscience: Gmunden Retreat on NeuroIS 2016
58. Proceedings of The 14th International Conference on Advances in Mobile Computing and Multimedia (MoMM2016)
59. Proceedings of The 18th International Conference on Information Integration and Web-based Applications & Services (iiWAS2016)
60. Assistive Technology
61. Database and Expert Systems Applications, Proceedings of the 26th International Conference, Dexa Valencia 2015 Part I
62. Database and Expert Systems Applications, Proceedings of the 26th International Conference, Dexa Valencia 2015 Part II
63. IDIMT-2015, Information Technology and Society - Interaction and Interdependence
64. 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)
65. On the Move to Meaningful Internet Systems: OTM 2015 Conferences: Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015
66. Proceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia (MoMM2015)
67. Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services (iiWAS2015)
68. Systems Thinking - New Directions in Theory, Practice and Applications
69. Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX Special Issue on Big Data and Open Data
70. Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
71. Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII Selected Papers from DaWaK 2013
72. Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII Special Issue on Database-and Expert-Systems Applications
73. Transactions on Large-Scale Data- and Knowledge-Centered Systems XX Special Issue on Advanced Techniques for Big Data Managment
74. Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI Selected Papers from DaWaK 2012
75. Twenty-Sixth International Workshop on Database and Expert Systems Applications in Valencia 2015
76. Abstract State Machines, Alloy, B, VDM and Z - ABZ 2014, Toulouse, Proceedings
77. Database and Expert Systems Applications Proceedings of the 25th International Conference, Dexa Munich 2014 Part I
78. Database and Expert Systems Applications Proceedings of the 25th International Conference, Dexa Munich 2014 Part II
79. Future Data and Security Engineering, Proceedings of the first International Conference, FDSE 2014, Vietnam
80. IDIMT-2014 Networking Societies - Cooperation and Conflict
81. On the Move to Meaningful Internet Systems: OTM 2014 Workshops
82. Proceedings of the 12th International Conference on Advances in Mobile Computing and Multimedia (MoMM2014)
83. Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services (iiWAS2014)
84. Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII
85. Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV
86. Transactions on Large-Scale Data-and Knowledge-Centered Systems XV Selected Papers from ADBIS 2013 Satellite Events
87. Twenty-Fifth International Workshop on Database and Expert Systems Applications in Munich 2014
88. Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII
89. On the Move to Meaningful Internet Systems: OTM 2012, Part 1
90. On the Move to Meaningful Internet Systems: OTM 2012, Part 2
91. Constructing Ambient Intelligence: AMI 2007 Workshops
92. 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. Digitalisierung: Fallstudien, Tools und Erkenntnisse für das digitale Zeitalter
2. SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume B
3. Fifth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2022)
4. International Workshop on Variability Management for Modern Technologies (VM4ModernTech 2022)
5. REVE 2022: 10th International Workshop on REverse Variability Engineering
6. SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A
7. TD4ViS 2022: 1st International Workshop on Technical Debt for Variability-Intensive Systems
8. The IFSR Newsletters - A Mirror of the Systems Community
9. Proceedings of the 10th International Conference on Subject-Oriented Business Process Management
10. Proceedings of the 30th European Conference on Cognitive Ergonomics
11. Von der Datenverarbeitung zum Digital Business. Ein Rück- und Ausblick auf 25 Jahre Web, 30 Jahre Datenverarbeitung und 50 Jahre JKU
12. Whitebook Medical Technology Upper Austria
13. Applied Biclustering Methods for Big and High-Dimensional Data Using R
14. Human Computer Confluence: Transforming Human Experience Through Symbiotic Technologies
15. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL
16. In Memoriam Heinz Zemanek 1920-2014
17. Systemic Flexibility and Business Agility

Publikationstyp: Wissenschaftliche Fachzeitschrift (Mitherausgeberschaft)

1. Special Issue: Holistic Digitalisation: Strategy, Transformation, and Implementation
2. Journal of Data Intelligence (JDI)
3. Empirical Software Engineering Journal (Springer) - Editorial Board
4. Information and Software Technology Journal (Elsevier) - Editorial Board
5. Journal of Mobile Multimedia
6. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
7. Journal of Mobile Multimedia
8. Journal of Systems and Software, Special Issue on Quality Engineering and Management of Software-Intensive Systems
9. Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering
10. Editorial Board Member of the International Journal of Information and Software Technology (Elsevier)
11. Emerging Topics in Multiple-Valued Logic and Its Applications, Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS)
12. Guest Editor for the Journal of Software and Systems Modeling (SOSYM)
13. Journal of Mobile Multimedia
14. Special Issue of the 44th IEEE International Symposium on Multiple-Valued Logic, Multiple-Valued Logic and Soft Computing
15. Central European Journal of Computer Science (CEJCS)
16. IEEE Transactions for Software Engineering (TSE)
17. International Journal of Mobile Computing and Multimedia Communications (IJMCMC)
18. International Journal of Software and Informatics (IJSI)
19. Journal of Mobile Multimedia
20. Software and System Modeling (SoSyM)
21. International Journal of Mobile Computing and Multimedia Communications (IJMCMC)
22. Journal of Mobile Multimedia
23. 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. Handbook of Satisfiability
2. 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
3. FSERF - Fallstudie Erfolgsfaktorenanalyse.
4. INVER - Informationsverhalten, Informationsmanagement - Planung, Steuerung und Überwachung der Informationsinfrastruktur (10. Auflage)

Publikationstyp: Schriftenreihe (Herausgeberschaft)

1. IDIMT-2022, Digitalization of Society, Business and Management in a Pandemic, Schriftenreihe Informatik, Band 51
2. IDIMT-2021, Pandemics: Impacts, Strategies and Responses, 29th Interdisciplinary Information Management Talks, Schriftenreihe Informatik, Band 50
3. IDIMT-2020, Digitalized Economy, Society and Information Management, Schriftenreihe Informatik, Band 49
4. Journal of Artificial Intelligence Research
5. IDIMT-2018, Strategic Modeling in Management, Economy and Society, Schriftenreihe Informatik, Band 47
6. Advances in Next Generation Mobile Multimedia (ANGMM)
7. 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 2022 ? Informationsdienste für eine Laufcommunity
2. Vienna City Marathon 2021 ? Informationsdienste für eine Laufcommunity
3. Vienna City Marathon 2019 - Online-Services für eine Laufcommunity
4. Vienna City Marathon 2018 ? Online-Services für eine Laufcommunity
5. Vienna City Marathon 2017 ? Online-Services für eine Laufcommunity
6. Attentive Machines: Modeling Cognitive State
7. Attentive Machines: Zwischenbericht 1

Publikationstyp: Forschungsbericht: geförderte Forschung (EU)

1. Exploitation Plan and Return on Investment Analysis (EU-H2020-Project SlotMachine)
2. Report on State-of-the-Art of Relevant Concepts (EU-H2020-Project SlotMachine)
3. Requirements Specification (EU-H2020-Project SlotMachine)
4. Specification of Evolutionary Algorithm under Constraints Post-Filtering/Ordering
5. Specification of Evolutionary Algorithm under Constraints Post-Filtering/Ordering (EU-H2020-Project SlotMachine)
6. System Design Document (EU-H2020-Project SlotMachine)
7. KG-Prolog Mapper (AISA Deliverable D4.2)
8. Proof-of-concept KG system (AISA Deliverable D4.1)
9. AIRM Compliance Validator
10. Experimental ontology modules formalising concept definition of ATM data
11. Ontology-based techniques for data distribution and consistency management in a SWIM environment
12. Prototype Use Case Scenarios ? BEST Deliverable D3.1
13. Scalability Guidelines for Semantic SWIM-based Applications
14. 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: Forschungsbericht: geförderte Forschung (sonstige überwieg. aus öff. Hand)

1. UPDATE of the "Final Project Report: Digitalization of Charles Francois? Encyclopedia"

Publikationstyp: Anderer Forschungsbericht / Technischer Bericht

1. Analyzing the Reproducibility of System Image Builds from the Android Open Source Project
2. CPJKU Submission to DCASE21: Cross-Device Audio Scene Classification with Wide Sparse Frequency-Damped CNNs
3. Efficient All-UIP Learned Clause Minimization (Extended Version)
4. Group Signature Applications: Direct Anonymous Attestation
5. Non-Clausal Redundancy Properties (Extended Version)
6. Program Analysis Benchmarks Submitted to the Model Counting Competition MC 2020
7. Towards Threat Modeling for Private Digital Authentication in the Physical World
8. CP-JKU Submissions to Dcase?20: Low-Complexity Cross-Device Acoustic Scene Classification with RF-Regularized CNNs
9. Final Project Report: Digitalization of Charles Francois' Encyclopedia, Technical Report
10. Knowledge Graph OLAP: Appendix
11. The not so private way of tracing contacts: A first analysis of the NOVID20 Android SDK
12. Acoustic scene classification with reject option based on resnets
13. CP-JKU submissions to DCASE?19: Acoustic Scene Classification and Audio Tagging with Receptive-Field-Regularized CNNs
14. Missbräuchliche Nutzung des Tor-Netzwerks
15. Boolector at the SMT competition 2018
16. Design Quality Measurement: Technischer Bericht
17. Ein Tor Exit-Knoten in Österreich - geht das?
18. Hierarchical Task Analysis and Constraints: Technischer Bericht
19. Software Quality Benchmarking: Technischer Bericht
20. Boolector at the SMT competition 2017
21. Boolector at the SMT competition 2016
22. Open Mobile API: Accessing the UICC on Android Devices
23. Boolector at the SMT competition 2015. Technical Report 15/1
24. Design of Microfluidic Biochips (Dagstuhl Seminar 15352)
25. Vorstudie - Migration von COBOL-Systemen nach PL/I Umgebungen ("nur für interne Verwendung")
26. CanDo im Krisen- und Katastrophenmanagement - Lastenheft
27. 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. Autonomous and Robust Live Tracking of Complete Opera Performances
2. Machine-Learning-Based Optimization Heuristics in Dynamic Compilers
3. Model-Based Occlusion Removal for Synthetic Aperture Imaging
4. A Privacy Preserving Networking Approach for Distributed Digital Identity Systems
5. Advanced Redundancy-Based Methods for SAT
6. Analysis Process Modeling Notation For Business Intelligence (APMN4BI)
7. Augmented Reality Windshield Displays for Automated Driving
8. Computational Modeling of Expressive Music Performance with Linear and Non-linear Basis Function Models
9. Digital Maturity Model: Towards SMEs? transformation of strategic and operational digital capabilities
10. Digitalization of Retailing: Customer?s Experiences, Retail Channel Choices, and the Chief Digital Officer
11. Evolving System Families in Space and Time
12. Exploring Polyphonic Piano Transcription as an Inverse Problem
13. Formalizing Methods for Propositional Model Counting and Enumeration
14. Inductive Bias in Learning General Audio Representations
15. Modelling Emotional Expression in Music Using Interpretable and Transferable Perceptual Features
16. Multi-modal Deep Learning for On-line Music Following in Score Sheet Images
17. Pattern Mining and Genetic Improvement in Compilers and Interpreters
18. Skill Sensing in Industrial Production
19. Visual Explanations of High-dimensional and Temporal Processes
20. Bipolar Structures for Thermal Sensor and Reference Circuits in Advanced CMOS
21. Data Analysis and Error Analytics in Large-Scale Heterogeneous Software Systems
22. Detection and Analysis of Memory Anomalies in Managed Languages Using Trace-Based Memory Monitoring
23. Driver Drowsiness Detection Systems: Potential of Smart Wearable Devices to Improve Vehicle Safety
24. Instant Distribution of Consistency-relevant Change Information in a Hierarchical Multi-Developer Engineering Environment
25. OLAP Patterns: A Pattern-Based Approach to Multidimensional Data Analysis
26. Probabilistic Time Analysis for IT Project Management
27. Probalistic Software Modeling
28. Supporting Feature-Oriented Evolution in Industrial Software Ecosystems
29. Towards a Mobile Office: User Interfaces For Safety and Productivity in Conditionally Automated Vehicles
30. A Novel Method for Simulation-based Testing and Validation of Automotive Surround Sensors under Adverse Weather Conditions
31. Automated Driving: Towards Trustworthy and Safe Human-Machine Cooperation
32. Automatic Mining of Constraints for Event-based Systems Monitoring
33. Consistent Change Propagation within Software Models
34. Formal Verification of Multiplier Circuits using Computer Algebra
35. Formal Verification ofMultiplier Circuitsusing Computer Algebra
36. On SAT-based Solution Methods for Computational Problems
37. Recognizing IT-induced opportunities : Conceptual, Organizational, and Individual Perspectives on a Central Challenge for Information Management in Modern Organizations
38. Smart Manufacturing Systems: Model-Driven Integration of ERP and MOM
39. Supporting Microservice Architecture with Decision Models
40. Technostress in organizations
41. The DAUX Framework: A Need-Centered Development Approach for User Experience in Driving Automation
42. Visual Perception and Interaction Using Synthetic Data in Manufacturing
43. A Cognitive Ensemble Reference Architecture
44. Automatic Methods for the Design of Droplet Microfluidic Networks
45. Contextualized Business Rule Repositories: Business Rule Organization Through Contexts
46. Continuous Risk-Aware Multi-Modal Authentication Across Mobile Devices
47. Deep Learning methods for generative learning and applications in drug discovery
48. Design Automation for Quantum Computing
49. Interactive Focus+Context Analysis of Time-Series and Provenance Data
50. Representation Learning and Inference from Signals and Sequences
51. Thread-Safe and Efficient Data Representations in Dynamically-Typed Languages
52. Applying Smart Cards for Security Critical Mobile Applications
53. Coded Light-Field Sampling
54. Deep Learning Methods for Drum Transcription and Drum Pattern Generation
55. Detecting the Presence of Singing Voice in Mixed Music Signals
56. Harmonic Analysis of Musical Audio Using Deep Neural Networks.
57. Machine Learning Approaches to Hybrid Music Recommender Systems
58. Safe and Efficient Execution of LLVM-based Languages
59. Secure Protection Interface Communication for Line Current Differential Protection Systems
60. The Structure of Variable Software and its use for Testing
61. Trace Register Allocation
62. A Transparent, Flexible and Scalable Image Sensor Based on Luminescent Concentrators and ist Applications
63. Accurate and Efficient Memory Monitoring in a Java Virtual Machine
64. Analysis of Computer-Mediated Discourses Focusing on Automated Detection and Guessing of Structural Sender-Receiver Relations
65. Analyzing NGS Data with Machine Learning - From IBD Segments to Copy Number Variations
66. Audio Identification via Fingerprinting: Achieving Robustness to Severe Signal Modifications,
67. Bit Precise Reasoning Beyond Bit-Blasting
68. Capabilities of Invasive Brain-Computer Interfaces and Their Contribution to Brain Surgery
69. Co-evolution in model-driven engineering : contributions to variability and consistency
70. Configuration-aware Program Analysis for Maintenance and Evolution in Industrial Software Product Lines
71. DLP und ILP im Anwendungsbereich der Informationssicherheit
72. Deep Learning for Event Detection, Sequence Labelling and Similarity Estimation in Music Signals
73. Design Science and Behavioral Science in Information Systems and Wirtschaftsinformatik
74. IT-Management in Unternehmen: Erfolgsmodelle für den Chief Information Officer
75. Implicit Biometric Authentication for Smartphones
76. Lambdas, Arrays and Quantifiers
77. Measuring and Assessing Object-oriented Design Principles
78. Neuro-Information Systems: Methodological developments
79. Real-Time Processing of Non-Invasive and Invasive Electro-Physiological Data for Brain-Computer Interfaces
80. Sensor-based Online Assessment of Human Attention
81. Unobtrusive Mutual Mobile Authentication with Biometrics and Mobile Device Motion
82. Visually Guiding Users in Selection, Exploration, and Presentation Tasks
83. Zur Beziehung zwischen Chief Information Officer (CIO) und Chief Executive Officer (CEO): Konzeptionelles Rahmenwerk und Interview-Studie mit Fokus auf partnerschaftliche Beziehung und Vertrauen
84. Combining Speculative Optimizations with Flexible Scheduling of Side-effects
85. DynamoGraph : large-scale temporal graph processing and its application scenarios
86. Event Detection in Musical Audio: Beyond Simple Feature Design
87. Flexible and Robust Music Tracking
88. Hardware Architecture of an Event-Driven Stereo Vision Algorithm Based on Silicon Retina Sensors
89. Improving the User Experience of Music Recommender Systems Through Personality and Cultural Information
90. Managing and Engineering Variability Intensive Systems
91. Method Profiling and Lock Contention Profiling on the Java Virtual Machine Level
92. Metrical Analysis of Musical Audio Using Probabilistic Models
93. Multi-Level Feature Modeling in Industrial Software Ecosystems
94. Requirements Monitoring for Systems of Systems
95. Staying Aware in an Evolving World: Evolution Support for Situation Awareness in Control Centers
96. Theoretical and Practical Aspects of Bit-Vector Reasoning
97. Wide-Field-of View Light-Field Acquisition and Processing
98. A Client-Centric Model For Managing Availability and Performance Conditions of Service Level Agreements in Cloud Computing
99. An Ontology-based Process and Software Infrastructure for Domain-Expert-Centered Knowledge Discovery in Medical Research
100. Client-Centric Identity and Access Management in Cloud Computing
101. Cross-Language Interoperability in a Multi-Language Runtime
102. Direct Integration of Collaboration into Broadcast Content Formats
103. Elicitation and Validation of Requirements-to-Code Traceability
104. Enabling Accurate, Energy-Aware, and Scalable Simulation of Industrial Wireless Sensor Networks
105. Fremdsprachenlernen an Wirtschaftsfakultäten im Sinne der Lissabon Strategie
106. Generalized Trace Compilation for Java
107. Goal Oriented Sensing in Pervasive Computing
108. Multilevel Business Processes: Modeling and Data Analysis
109. Optimising the Storage Location Assignment Problem Under Dynamic Conditions
110. Verfahren zur Bildung eines zu einem Einsatzkontext passenden Prozessmodells aus (Vorgehensmodell-)Prozessmustern
111. Behavior approached decomposition of the BPMN 2.0 with enhanced refinements preserving the semantics of the ground model
112. Bitemporal Complex Event Processing of Web Event Advertisements
113. Case-Based Reasoning with Respect to Banking driven by Knowledge
114. Decision Guidance for Optimizing Information Quality - A Recommendation Model for Completing Information Extraction Results
115. Defining and Assessing Software Quality by Quality Models
116. Der Nutzen semantischer Technologien bei Erstellung und Pflege von Rechtstexten am Beispiel von Curricula
117. Kommunikative und kollaborative Lernmethoden in unterschiedlichen Lernumgebungen
118. Konzepte, Modelle und Methoden der logischen Abhängigkeitsanalyse
119. Machine Learning Techniques for the Analysis of High Throughput DNA and RNA Sequencing Data
120. Monitoring System for Reciprocating Compressor Valves - A data-driven Approach
121. Partial Escape Analysis and Scalar Replacement for Java
122. Plugin-based Distributed Multi-user Web Applications with Plux
123. Simulation-Based Evolutionary Dynamic and Stochastic Optimization for Smart Electric Power Systems
124. Deployment komponentenbasierter Softwaresysteme

Publikationstyp: Diplom- oder Masterarbeit

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