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. Institut für Systemsoftware


17. Institut für Telekooperation


18. Abteilung für Kooperative Informationssysteme


19. Institut Integriert Studieren


20. Abteilung für Integrierten Schaltungs- und Systementwurf


21. Abteilung für Energieeffiziente Analoge Schaltungen


22. Linz Center of Mechatronics


23. LIT Artificial Intelligence Lab


24. LIT Secure and Correct Systems Lab


25. Institut für Symbolic Artificial Intelligence


26. Institut für Produktions- und Logistikmanagement


27. Institut für Business Analytics und Technology Transformation


28. Abteilung für Intelligente Transportsysteme


29. LIT Cyber-Physical Systems Lab

Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift

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

Publikationstyp: Aufsatz / Paper in SSCI-Zeitschrift

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

Publikationstyp: Aufsatz / Paper in nicht-referierter Fachzeitschrift

1. Anomalieerkennung in der Operational Technology ? eine Übersicht der Systeme
2. Carbon Footprint Minimization of Electric Powertrains by Multi-Objective Design Optimization
3. High-Speed Synchronous Reluctance Machine Rotor Using Multi-Material Additive Manufacturing
4. Multi-Objective Bayesian Optimization of Squirrel-Cage Induction Machine
5. Reduced-Order Observer-Based Position Control of a Magnetic-Geared Servo Drive
6. Dezentrale Gesichtserkennung
7. Digital Detoxing als Maßnahme gegen digitalen Stress: Auf die Verwendung digitaler Technologien temporär verzichten
8. A Mixer-First Receiver With Class-F Adiabatic Switching
9. A Novel Experimental Method for Identifying the Flux Linkage Map of a High-Power Medium-Voltage Electrically Excited Synchronous Machine with Double Stator Winding
10. Aufnahmeverfahren MedAT
11. COMPO*SED: Composite Parallel Coordinates for Co-Dependent Multi-Attribute Choices
12. A Deep Learning Approach for Network Anomaly Detection
13. Digitaler Stress: Wie Homeoffice Belastungen verstärkt
14. Fifty Nifty Variations of Two-Transistor Circuits: A tribute to the versatility of MOSFETs
15. IFSR Newsletters 1981 - 2018
16. Low-power integrated transmitter design using frequency multiplication techniques: Edge-combining and third harmonic extraction
17. Model Assisted Distributed Root Cause Analysis
18. DRIVER+ Portfolio of Solutions - An online catalogue for sharing solutions in Crisis Management
19. Data-driven vibration-based bearing fault diagnosis using non-steady-state training data
20. Industrielogistik, Intelligente Transportsysteme
21. Post Behind the Paper in Nature Electronics: Promoting-trust-in-self-driving-vehicles
22. World's-50-Renowned-Women-in-Robotics
23. 50 Jahre Informatik @ JKU
24. Mining Cross-Task Artifact Dependencies from Developer Interactions
25. Approximate Q-Learning for Stacking Problems with Continuous Production and Retrieval
26. Barrierefreiheit von Medien für die Wissensgesellschaft und für inklusive Lernprozesse
27. Cryptanalysis and improvement of a Multi-Server Authenticated Key Agreement by Chen and Lee?s Scheme
28. Digitale Medien und Inklusion ? Chancen und Umsetzung, in Schulentwicklung
29. Durchblick - Combining Sensor Outputs and Supporting Forensic Investigations in Robot-Assisted Analysis of Suspicious Objects
30. Novel Robustness Measures for Engineering Design Optimisation
31. Schema Analysis in Tree-based Genetic Programming
32. Stress durch E-Mail: Forschungsbefunde und Praxisimplikationen
33. Wi-Fi Data Transmission: Android \& iOS Interoperability
34. EHR Acceptance among Austrian Residents
35. Rechtsfragen im Zusammenhang mit dem Betrieb eines Anonymisierungsdienstes
36. Keine Almosen sondern Grund- und Menschenrecht
37. Rohstoff Daten
38. Sprechende Mathematiksysteme

Publikationstyp: Editorial in Fachzeitschrift

1. Driver Behavior in Intelligent Transportation Systems (Guest Editorial)
2. 2021 Editorial IEEE Open Journal of Intelligent Transportation Systems
3. Security? and safety?critical cyber?physical systems (Editorial)
4. Guest editorial: selected areas in automated software engineering
5. Guest Editorial: Cooperative Information Systems in the Digital Age
6. Editorial
7. Editorial
8. Editorial
9. Editorial of the Special Issue: Evolving Soft Computing Techniques and Applications
10. Guest Editorial
11. Guest editorial: Crisis management and recovery projects and programs
12. Special Issue on "The Social Car: Socially-inspired Mechanisms for Future Mobility Services" (Editorial)

Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)

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

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

1. A flexible operation-based infrastructure for collaborative model-driven engineering
2. Ethics and Transparency in Game Data
3. Inadequate contrast ratio of road markings as an indicator for ADAS failure
4. Current ANSP Practices Towards Reducing the Environmental Impact of Air Traffic Operations
5. Gait Recognition Using 3D View-Transformation Model
6. JKU-ITS Automobile for Research on Autonomous Vehicles
7. Variations in Excess Losses in Thin FeSi Sheets Due to the Cutting Process
8. 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
9. Distilling Knowledge For Low-Complexity Convolutional Neural Networks From a Patchout Audio Transformer
10. Künstliche Intelligenz in der Forensik ? Einsatzmöglichkeiten und Herausforderungen
11. Context-Adaptive Reinforcement Learning using Unsupervised Learning of Context Variables
12. Convergence Proof for Actor-Critic Methods Applied to PPO and RUDDER
13. Efficient Post-Silicon Run-Time Error Detection for Systems-on-Chip (Extended Abstract)
14. IDIMT 2020 - A Mixed Reality Conference and Mixed Feelings
15. Preface to the 8th International Workshop on Multi-Level Modelling (MULTI 2021)
16. A Hearty Welcome to IDIMT 2020!
17. A New Knowledge Capitalization Framework in the Big Data Context Through Shared Parameters Experiences
18. Acoustic Scene Classification with Mismatched Recording Devices
19. Automatisiertes Simulationsmodell für Transformatorwicklungen
20. CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020
21. Comparison of two Teleconferencing Systems with respect to Accessibility and Usability for Blind Persons: Zoom and BigBlueButton
22. ENTELIS+: Accessibility skills for a technology enhanced learning in an inclusive society
23. Exploiting Twitter for Informativeness Classification in Disaster Situations
24. How to Select an Accessible Learning Management System for Distance Education
25. Human and Cultural Impacts on Projects
26. Including Students with Disabilities in Distance Education
27. Methode und Werkzeugkette zur Thermischen Optimierung mit Finite Elemente Simulationen
28. Project RADAR: Vocational Guidance and Employability for Blind and Partially Sighted People
29. Arithmetic Verification Problems Submitted to the SAT Race 2019
30. Artificial Intelligence - Unterstützung für die Interne Revision oder Konkurrenz?
31. CaDiCaL at the SAT Race 2019
32. CryptoMiniSat 5.6 with YalSAT at the SAT Race 2019
33. Evaluate Your Test Program's Performance - A Virtual Test for Industrial Needs
34. Truth Assignments as Conditional Autarkies
35. Voxelizing Light-Field Recordings (Poster)
36. Wahrnehmung von digitalem Stress im Arbeitsalltag
37. Data Analytics for Industrial Process Improvement A Vision Paper (Workshop Paper)
38. Divide and Allocate: The Trace Register Allocation Framework
39. Elektrostatische Entladung ? Grundlagen, Messvorschriften, Modelle und Simulationen bzgl. elektronischen Geräten/Systemen und Integrierten Schaltungen
40. Evaluation of Cybersecurity Management Controls and Metrics of Critical Infrastructures: A Literature Review Considering the NIST Cybersecurity Framework
41. Feature-Oriented Development in Industrial Automation Ecosystems, In: Report from Dagstuhl Seminar 18182 (Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research)
42. First International Workshop on Variability and Evolution of Software-intensive Systems (VariVolution)
43. Importance of Risk Definition for IT Risk Control
44. 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
45. Reflecting Peer Reviews in Inquiry Based Learning Scenarios An Analysis of Peer Feedback Levels and their Implementation
46. SPLtea 2018: Third International Workshop on Software Product Line Teaching
47. Social Video Learning im Inverted Classroom
48. Zum Umgang mit Heterogenität in gestaltungsorientierten Lehrveranstaltungen durch Flipped-Classroom-Formate und Design-Thinking-Projekte
49. BioViz: An Interactive Visualization Engine for Microfluidic Biochips
50. Computational Challenges in Modeling and Simulation
51. Establishing Trace-Links for Runtime Diagnosis Support in System of Systems
52. MoLS 2017 Workshop Chairs' Welcome / Introduction
53. Models for Predicting the Development of Insulin Resistance
54. Networked Labs-on-Chips (NLoCs): A Passive Droplet Routing Concept for Two-Phase Flow Microfluidics
55. Optimized Sampling for View Interpolation in Light Fields Using Local Dictionaries (Poster)
56. A preliminary empirical assessment of similarity for combinatorial interaction testing of software product lines
57. Adopting Concepts of Freinet Pedagogy in Higher Education - A Report on the Design and Evolution of a Didactical Experiment
58. Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016
59. Extraktion von Frame Conditions aus Operation Contracts
60. Long Short-Term Memory For Autonomous Driving Cars
61. Meinung wird zu Wissen: Semantische Analyse und Verwertung von Online-Abstimmungen in den Medien
62. Message from Organizing Chairs
63. Optimized Realizations of Expressions for HDL-based Synthesis of Reversible Logic Circuits
64. Reversible Logic: Whats next?
65. Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016
66. Synthesis of Optical Circuits with Contradictory Optimization Objectives
67. TaCo: Comparative Visualization of Large Tabular Data (poster)
68. Towards Visualization of Feature Interactions in Software Product Lines
69. Visual Evaluation of Cloud Infrastructure Performance Predictions (poster)
70. Visualization for Software Product Lines: A Systematic Mapping Study
71. When Embedded Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare
72. a variablility aware configuration management and revision control platform
73. Accessing and Dealing with Mathematics as a Blind Individual: State of the Art and Challenges
74. Advanced and Emerging Solutions: ICT and AT in Education of Low Vision and Blind Students
75. Arbeitende im Spannungsfeld IT-unterstützter Arbeitsprozesse
76. Caleydo Web: An Integrated Visual Analysis Platform for Biomedical Data (Poster IEEE InfoVis 2015)
77. Interactive Visualization of Provenance Graphs for Reproducible Biomedical Research (Poster IEEE Symposium VDS'15)
78. Pathfinder: Visual Analysis of Paths in Heterogeneous Graphs (Poster IEEE Symposium on Visualization in Data Science)
79. SPLTea 2015: Second International Workshop on Software Product Line Teaching
80. Sensor Based Activity Recognition - A Pervasive Computing Perspective
81. Workshop on In-Vehicle Auditory Interactions (Proceedings)
82. Genetic Programming with Data Migration for Symbolic Regression
83. Integrated Simulation and Optimization in HeuristicLab
84. Public-Key-Infrastruktur für elektronische Lehrveranstaltungsprüfungen
85. Scripting and Framework Integration in Heuristic Optimization Environments
86. Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014
87. Twelfth International Workshop on Web Semantics and Web Intelligence (WebS) 2013 - Preface
88. Bytecode Analysis for Checking Java Access Modifiers
89. Servicing Components with Connector Systems

Publikationstyp: Aufsatz / Paper in Sammelwerk (referiert)

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

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

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

Publikationstyp: Beitrag in Enzyklopädie/Lexikon

1. Active, Real-Time, and Intellective Data Warehousing
2. Multilevel Modeling
3. Multilevel Modeling

Publikationstyp: Monographie (Erstauflage)

1. Erweiterte virtuelle Prototypen für heterogene Systeme
2. Formal Verification of Structurally Complex Multipliers
3. Verbessertes virtuelles Prototyping Mit RISC-V-Fallstudien
4. Design Automation for Field-coupled Nanotechnologies
5. From Digital Twins to Digital Selves and Beyond
6. Quantum Key Distribution Networks: A Quality of Service Perspective
7. New Deal in Production
8. Adolf Adam - Ein Leben in Anekdoten
9. Designing Droplet Microfluidic Networks: A Toolbox for Designers
10. Digitaler Stress: Wie er uns kaputt macht und was wir dagegen tun können
11. Enhanced Virtual Prototyping
12. Funktionale Programmierung in Java
13. IDIMT 2020 - Digitalized Economy, Society and Information Management, 28th Interdisciplinary Information Management Talks
14. Introducing Design Automation for Quantum Computing
15. Designing Digital Work - Concepts and Methods for Human-centered Digitization
16. Exact Design of Digital Microflluidic Biochips
17. Runter vom Sofa
18. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
19. Commoning - Prozessgestaltung und Transformation
20. Ganzheitliche Digitalisierung von Prozessen: Perspektivenwechsel-Design Thinking-wertegeleitete Interaktion
21. NeuroIS Retreat: 10 Years Anniversary Book
22. Automatic Methods for the Refinement of System Models
23. Compact Representations for the Design of Quantum Logic
24. Next Generation JKU
25. Displays: Fundamentals and Applications
26. Information Systems and Neuroscience: Gmunden Retreat on NeuroIS 2015 (Lecture Notes in Information Systems and Organisation)
27. Multilevel Business Processes: Modeling and Data Analysis
28. A Rigorous Semantics for BPMN 2.0 Process Diagrams
29. Der Dalton Plan im E-Learning : Transformation einer Reformpädagogik ins Web
30. 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. SAT-Based Model Checking
5. 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. Wirtschaftsinformatik: Einführung und Grundlegung
2. Management von Informatik-Projekten: Digitale Transformation erfolgreich gestalten
3. Computernetzwerke - Grundlagen
4. Informationsmanagement - Grundlagen, Aufgaben, Methoden
5. Sprechen Sie Java?

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

1. Lifelogging for Organizational Stress Measurement: Theory and Applications
2. Meilensteine der Elektrizität
3. Vom Morsetelegraphen zum Computer
4. Der Nutzen semantischer Technologien bei Erstellung und Pflege von Rechtstexten am Beispiel von Curricula
5. Hugo Gernsback uns seine technischen Magazine
6. Aufsätze zur Geschichte der Informationstechnik

Publikationstyp: Entscheidungsbesprechung

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

Publikationstyp: Wissenschaftliche Fachzeitschrift (Herausgeberschaft)

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

Publikationstyp: Tagungsband Herausgeberschaft (Erstauflage)

1. 15th International Symposium on Magnetic Bearings 2016 (ISMB 15)
2. 17th International Symposium on Magnetic Bearings (ISMB17)
3. 18th International Symposium on Magnetic Bearings (ISMB18)
4. Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8?12, 2024, Proceedings, Part I
5. Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8?12, 2024, Proceedings, Part II
6. IDIMT-2024: Changes to ICT, Management and Business Processes through AI, 32nd Interdiciplinary Information Management Talks
7. Information Systems and Neuroscience: NeuroIS Retreat 2023
8. Open Access Compendium Future Perspectives on Accessibility, AT and (e)Inlcusion
9. EWSN '22: Proceedings of the 2022 International Conference on Embedded Wireless Systems and Networks
10. IDIMT-2023 : New Challenges for ICT and Management, 31st Interdisciplinary Information Management Talks
11. ICCHP-AAATE 2022 Open Access Compendium "Assistive Technology, Accessibility and (e)Inclusion", Part I
12. ICCHP-AAATE 2022 Open Access Compendium "Assistive Technology, Accessibility and (e)Inclusion", Part II
13. ICCHP-AAATE 2022, Computers Helping People with Special Needs, Part 1
14. ICCHP-AAATE 2022, Computers Helping People with Special Needs, Part II
15. Recent Findings in Boolean Techniques
16. ICCHP 2020 - Computers Helping People with Special Needs, Part I
17. ICCHP 2020 - Computers Helping People with Special Needs, Part II
18. ICCHP Open Access Compendium - Future Perspectives of AT, eAccessibility and eInclusion
19. Computers Helping People with Special Needs, ICCHP 2018, Part 1
20. Computers Helping People with Special Needs, ICCHP 2018, Part 2
21. 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)
22. Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
23. MSM 2017 - Proceedings of the Symposium on Modeling and Simulation in Medicine
24. Computer Helping People with Special Needs
25. Computer Helping People with Special Needs
26. Proccedings of the 10th European Conference on Software Architecture Workshops
27. 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
28. MSM 2015 - Proceedings of the Symposium on Modeling and Simulation in Medicine
29. Proceedings of the 3rd Workshop on Emotions and Personality in Personalized Systems (EMPIRE)
30. Workshop on Practical Experiences in Measuring and Modeling Drivers and Driver-Vehicle Interactions (Proceedings)
31. Computers Helping People with Special Needs
32. Computers Helping People with Special Needs
33. Proc. 26th Intl. Conf. on Computer Aided Verification (CAV'14)

Publikationstyp: Tagungsband Herausgeberschaft (Folgeauflage)

1. Features Integration in Last Mile Delivery Robots

Publikationstyp: Tagungsband Mitherausgeberschaft (Erstauflage)

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

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: Nicht-textuelle Veröffentlichung

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

Publikationstyp: Forschungsbericht über Auftragsforschung

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