| A Practical Data-Flow Verification Scheme for Business Processes |
Christine Tex, Jutta Mülle, Klemens Böhm |
Karlsruhe Reports in Informatics; 2016,10
DOI: 10.5445/IR/1000054474
|
| A Security Language for BPMN Process Models |
Jutta Mülle, Silvia von Stackelberg, Klemens Böhm |
Karlsruhe Reports in Informatics |
| Automatic Generation of Optimized Process Models from Declarative Specifications |
Richard Mrasek, Jutta Mülle, Klemens Böhm
|
Karlsruhe Reports in Informatics ; 2014,15
|
| Deploying and Evaluating Pufferfish Privacy for Smart Meter Data (Technical Report '15) |
Stephan Kessler, Erik Buchmann, Klemens Böhm
|
Karlsruhe Reports in Informatics ; 2015,1
|
| Embedding 'Break the Glass' into Business Process Models |
Silvia von Stackelberg, Klemens Böhm and Matthias Bracht |
Technical Report, Faculty of Informatics, to be published |
| Energy-Efficient Processing of Spatio-Temporal Queries in Wireless Sensor Networks (Extended Version) |
Markus Bestehorn
Klemens Böhm
Erik Buchmann
Stephan Kessler |
Technical Report (No. 2010,12), Karlsruhe Institute of Technology
Fakultät für Informatik
Insttitute for Program Structures and Data Organization (IPD) |
| FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing (Extended Version) |
Clemens Heidinger, Klemens Böhm, Erik Buchmann, Kai Richter
|
Karlsruhe Reports in Informatics
|
| FRESCO: A Framework for the Energy Estimation of Computers (Extended Version) |
Pavel Efros, Erik Buchmann, Klemens Böhm
|
Karlsruhe Reports in Informatics; 2014,4 ISSN: 2190-4782
|
| Finding Optimal Diverse Feature Sets with Alternative Feature Selection |
|
arXiv [cs.LG] (2023). DOI: 10.48550/arXiv.2307.11607 |
| How Much do Digital Natives Disclose on the Internet - a Privacy Study |
Erik Buchmann, Klemens Böhm |
Karlsruhe Reports in Informatics |
| Maximum Mean Discrepancy on Exponential Windows for Online Change Detection |
Florian Kalinke, Marco Heyden, Edouard Fouché, Klemens Böhm |
arXiv [cs.LG] (2022). DOI: 10.48550/arXiv.2205.12706 |
| Nyström M-Hilbert-Schmidt Independence Criterion |
Florian Kalinke, Zoltán Szabó |
arXiv [stat.ML] (2023). DOI: 10.48550/arXiv.2302.09930 |
| On the Usability of a Break-the-Glass Annotation Language for Process Models |
Silvia von Stackelberg, Klemens Böhm, Stefan Grabatin, Jürgen Wäsch
|
Karlsruhe Reports in Informatics ; 2014,16
ISSN: 2190-4782
|
| On the Usefulness of Weight-Based Constraints in Frequent Subgraph Mining |
Frank Eichinger, Matthias Huber, Klemens Böhm |
Proceedings of the 30th BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI), Cambridge, UK, 2010
Karlsruhe Reports in Informatics 2010,10, Department of Informatics, Karlsruhe Institute of Technology (KIT) |
| On the Various Semantics of Similarity in Word Embedding Models |
Ábel Elekes, Martin Schäler, Klemens Böhm |
Karlsruhe Reports in Informatics 2017,3
ISSN 2190-4782 |
| Towards Efficient Equilibria of Combinations of Network-Formation and Interaction Strategies |
Björn-Oliver Hartmann, Klemens Böhm, and Christian Hütter. |
Karlsruhe Institute of Technology (KIT), Tech. Rep. 2010-6, 2010. |
| Verifying Workflow Models with Data Values - a Case Study of SMR Spectrum Auctions |
Elaheh Ordoni, Jutta Mülle, Klemens Böhm |
Karlsruhe Reports in Informatics 2019,4
ISSN 2190-4782 |
