Daniel Baier

53 papers C 4Journal 12Unranked 28
YearRankTypeTitle / Venue / Authors
2026 — conf
Keys in Flux: A Forensic Perspective on Implementation Diversity in Cryptographic Protocols.
DFDS
Daniel Baier, Julian Lengersdorff
2024 — conf
CPAchecker 2.3 with Strategy Selection - (Competition Contribution).
TACAS (3)
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler
2024 J jnl
Forensic implications of stacked file systems.
Forensic Sci. Int. Digit. Investig.
Jan-Niclas Hilgert, Martin Lambertz, Daniel Baier
2024 J jnl
One-stage product-line design heuristics: an empirical comparison.
OR Spectr.
Daniel Baier, Sascha Voekler
2024 J jnl
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).
CoRR
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler
2024 — conf
Software Verification with CPAchecker 3.0: Tutorial and User Guide.
FM (2)
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler
2024 J jnl
TLS key material identification and extraction in memory: Current state and future challenges.
Forensic Sci. Int. Digit. Investig.
Daniel Baier, Alexander Basse, Jan-Niclas Hilgert, Martin Lambertz
2023 J jnl
[Solution] Algorithmic Heap Layout Manipulation in the Linux Kernel.
J. Syst. Res.
Max Jens Ufer, Daniel Baier
2021 — conf
JavaSMT 3: Interacting with SMT Solvers in Java.
CAV (2)
Daniel Baier, Dirk Beyer, Karlheinz Friedberger
2020 J jnl
Predicting brand confusion in imagery markets based on deep learning of visual advertisement content.
Adv. Data Anal. Classif.
Atsuho Nakayama, Daniel Baier
2019 — ch.
Digital Technologies for Ordering and Delivering Fashion: How Baur Integrates the Customer's Point of View.
Digitalization Cases
Daniel Baier, Alexandra Rese, Nikita Nonenmacher, Steve Treybig, Benjamin Bressem
2018 C conf
Conversational User Interfaces for Online Shops? A Categorization of Use Cases.
ICIS
Daniel Baier, Alexandra Rese, Maximilian Röglinger
2018 J jnl
Relating brand confusion to ad similarities and brand strengths through image data analysis and classification.
Adv. Data Anal. Classif.
Daniel Baier, Sarah Frost
2017 J jnl
Guest Editors' Introduction: Smart Interaction with Consumers: From Co-Creation to Smart Partnership.
Int. J. Electron. Commer.
Eleonora Pantano, Constantinos-Vasilios Priporas, Daniel Baier
2015 C conf
Towards Lifestyle Segmentation via Uploaded Images from Surveys and Social Networks.
ICIS
Ines Daniel, Daniel Baier
2014 — conf
Market Oriented Product Design and Pricing: Effects of Intra-Individual Varying Partworths.
ECDA
Stephanie Löffler, Daniel Baier
2013 — conf
A Game Theoretic Product Design Approach Considering Stochastic Partworth Functions.
ECDA
Daniel Krausche, Daniel Baier
2013 — conf
A Statistical Software Package for Image Data Analysis in Marketing.
ECDA
Thomas Böttcher, Daniel Baier, Robert Naundorf
2013 — conf
Combination of Distances and Image Features for Clustering Image Data Bases.
ECDA
Sarah Frost, Daniel Baier
2013 — ch.
Comparing Earth Mover's Distance and its Approximations for Clustering Images.
Algorithms from and for Nature and Life
Sarah Frost, Daniel Baier
2013 — ch.
Lifestyle Segmentation Based on Contents of Uploaded Images Versus Ratings of Items.
Algorithms from and for Nature and Life
Ines Daniel, Daniel Baier
2013 — ch.
Logic Based Conjoint Analysis Using the Commuting Quantum Query Language.
Algorithms from and for Nature and Life
Ingo Schmitt, Daniel Baier
2013 — conf
Multivariate Landing Page Optimization Using Hierarchical Bayes Choice-Based Conjoint.
ECDA
Stefanie Schreiber, Daniel Baier
2013 — conf
Preference Measurement in Complex Product Development: A Comparison of Two-Staged SEM Approaches.
ECDA
Jörgen Eimecke, Daniel Baier
2013 — ch.
Product Design Optimization Using Ant Colony And Bee Algorithms: A Comparison.
Algorithms from and for Nature and Life
Sascha Voekler, Daniel Krausche, Daniel Baier
2013 — conf
Ratings-/Rankings-Based Versus Choice-Based Conjoint Analysis for Predicting Choices.
ECDA
Daniel Baier, Marcin Pelka, Aneta Rybicka, Stefanie Schreiber
2013 — conf
What Is in a Like? Preference Aggregation on the Social Web.
ECDA
Adrian Giurca, Daniel Baier, Ingo Schmitt
2012 C conf
Adaptive Conjoint Analysis. Training Data: Knowledge or Beliefs?.
FedCSIS
Adrian Giurca, Ingo Schmitt, Daniel Baier
2012 — conf
Can Adaptive Conjoint Analysis perform in a Preference Logic Framework?
KESE@ECAI
Adrian Giurca, Ingo Schmitt, Daniel Baier
2012 — conf
Image Feature Selection for Market Segmentation: A Comparison of Alternative Approaches.
GfKl
Susanne Rumstadt, Daniel Baier
2012 J jnl
Image data analysis and classification in marketing.
Adv. Data Anal. Classif.
Daniel Baier, Ines Daniel, Sarah Frost, Robert Naundorf
2012 — conf
Solving Product Line Design Optimization Problems Using Stochastic Programming.
GfKl
Sascha Voekler, Daniel Baier
2012 J jnl
Special issue on data analysis and classification in marketing - preface by the guest editors.
Adv. Data Anal. Classif.
Daniel Baier, Reinhold Decker
2012 — conf
The Validity of Conjoint Analysis: An Investigation of Commercial Studies Over Time.
GfKl
Sebastian Selka, Daniel Baier, Peter Kurz
2011 C conf
Performing Conjoint Analysis within a Logic-based Framework.
FedCSIS
Adrian Giurca, Ingo Schmitt, Daniel Baier
2010 — conf
Image Clustering for Marketing Purposes.
GfKl
Daniel Baier, Ines Daniel
2010 — conf
Improving the Validity of Conjoint Analysis by Additional Data Collection and Analysis Steps.
GfKl
Sebastian Selka, Daniel Baier, Michael Brusch
2010 — conf
Lead User Identification in Conjoint Analysis Based Product Design.
GfKl
Alexander Sänn, Daniel Baier
2008 — conf
Analyzing the Stability of Price Response Functions: Measuring the Influence of Different Parameters in a Monte Carlo Comparison.
GfKl
Michael Brusch, Daniel Baier
2008 — conf
Designing Products Using Quality Function Deployment and Conjoint Analysis: A Comparison in a Market for Elderly People.
GfKl
Samah Abu-Assab, Daniel Baier
2008 — conf
Real Options in the Assessment of New Products.
GfKl
Said Esber, Daniel Baier
2007 — conf
Conjoint Analysis for Complex Services Using Clusterwise Hierarchical Bayes Procedures.
GfKl
Michael Brusch, Daniel Baier
2007 — conf
Scenario Evaluation Using Two-mode Clustering Approaches in Higher Education.
GfKl
Matthias J. Kaiser, Daniel Baier
2005 — book
Data Analysis and Decision Support
Daniel Baier, Reinhold Decker, Lars Schmidt-Thieme
2005 — conf
Improving the Predictive Validity of Quality Function Deployment by Conjoint Analysis: A Monte Carlo Comparison.
OR
Daniel Baier, Michael Brusch
2005 — ch.
Linking Quality Function Deployment and Conjoint Analysis for New Product Design.
Data Analysis and Decision Support
Daniel Baier, Michael Brusch
2005 — ch.
Stages, Gates, and Conflicts in New Product Development: A Classification Approach.
Data Analysis and Decision Support
Alexandra Rese, Daniel Baier, Ralf Woll
2005 — conf
System Dynamics Based Prediction of New Product Diffusion: An Evaluation.
OR
Sabine Schmidt, Daniel Baier
2003 — conf
Elektronische Marktplätze in der Bauwirtschaft.
Innovationen im E-Business
Matthias Koch, Daniel Baier
2002 — conf
E-Business in Energieversorgungsunternehmen.
Modelle im E-Business
Matthias Koch, Claudia Meng, Daniel Baier
1995 J jnl
Positioning analysis using knowledge-based support.
Ann. Oper. Res.
Daniel Baier, Wolfgang Gaul, Frank Wartenberg
1994 J jnl
Comparing proposals for the solution of data analysis problems in a knowledge-based system.
Ann. Oper. Res.
Wolfgang Gaul, Frank Wartenberg, Daniel Baier
1994 — —
Konzipierung und Realisierung einer Unterstützung des kombinierten Einsatzes von Methoden bei der Positionierungsanalyse.
Daniel Baier