Daniel Baier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2011–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | 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 | TACAS | CPAchecker 2.3 with Strategy Selection - (Competition Contribution). | 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 |
| 2021 | CAV | JavaSMT 3: Interacting with SMT Solvers in Java. | Daniel Baier, Dirk Beyer, Karlheinz Friedberger |
| 2018 | ICIS | Conversational User Interfaces for Online Shops? A Categorization of Use Cases. | Daniel Baier, Alexandra Rese, Maximilian Rglinger |
| 2015 | ICIS | Towards Lifestyle Segmentation via Uploaded Images from Surveys and Social Networks. | Ines Daniel, Daniel Baier |
| 2012 | ECAI | Can Adaptive Conjoint Analysis perform in a Preference Logic Framework? | Adrian Giurca, Ingo Schmitt, Daniel Baier |
| 2012 | FedCSIS | Adaptive Conjoint Analysis. Training Data: Knowledge or Beliefs?. | Adrian Giurca, Ingo Schmitt, Daniel Baier |
| 2011 | FedCSIS | Performing Conjoint Analysis within a Logic-based Framework. | Adrian Giurca, Ingo Schmitt, Daniel Baier |