| 2013 | ||
|---|---|---|
| i1 | Oliver Obst, Joschka Boedecker, Benedikt Schmidt, Minoru Asada: On active information storage in input-driven systems. CoRR abs/1303.5526 (2013) | |
| 2012 | ||
| c17 | Sebastian Döweling, Benedikt Schmidt, Andreas Göb: A model for the design of interactive systems based on activity theory. CSCW 2012: 539-548 | |
| c16 | Benedikt Schmidt, Simon Meier, Cas J. F. Cremers, David A. Basin: Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF 2012: 78-94 | |
| c15 | Anton Pussep, Markus Schief, Benedikt Schmidt, Florian Friedrichs, Peter Buxmann: Topics in Software Industry Transformation Research: A Topic Analysis of Major IS Conferences. ICSOB 2012: 128-140 | |
| c14 | Cas J. F. Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun: Distance Hijacking Attacks on Distance Bounding Protocols. IEEE Symposium on Security and Privacy 2012: 113-127 | |
| 2011 | ||
| j2 | Benedikt Schmidt, Todor Stoitsev, Max Mühlhäuser: Task Models for Intention-Aware Systems. J. UCS 17(10): 1511-1526 (2011) | |
| j1 | David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Formal Reasoning about Physical Properties of Security Protocols. ACM Trans. Inf. Syst. Secur. 14(2): 16 (2011) | |
| c13 | Axel Schulz, Benedikt Schmidt, Heiko Paulheim: LiCoRMS - Towards a Resource Management System Based on Lifecycle and Content Information. CONTEXT 2011: 292-295 | |
| c12 | Benedikt Schmidt, Heiko Paulheim, Todor Stoitsev, Max Mühlhäuser: Towards a Formalization of Individual Work Execution at Computer Workplaces. ICCS 2011: 270-283 | |
| c11 | ||
| 2010 | ||
| c10 | Markus Schief, Benedikt Schmidt: Crossing the Chasm Between the Real World and Business Process Management. ISSS/BPSC 2010: 280-287 | |
| c9 | Benedikt Schmidt, Patrick Schaller, David A. Basin: Impossibility Results for Secret Establishment. CSF 2010: 261-273 | |
| c8 | Benedikt Schmidt, Todor Stoitsev, Max Mühlhäuser: Activity-centric support for weakly-structured business processes. EICS 2010: 251-260 | |
| c7 | Benedikt Schmidt, Markus Schief: Towards Agile Business Processes Based on the Internet of Things. Heinz Nixdorf Symposium 2010: 257-262 | |
| 2009 | ||
| c6 | Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun: Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. CSF 2009: 109-123 | |
| c5 | ||
| c4 | David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs 2009: 1-22 | |
| 2008 | ||
| c3 | Wolfgang Reinhardt, Christian Mletzko, Benedikt Schmidt, Johannes Magenheim, Tobias Schauerte: Knowledge Processing and Contextualisation by Automatical Metadata Extraction and Semantic Analysis. EC-TEL 2008: 378-383 | |
| c2 | Christian Mletzko, Benedikt Schmidt: Automatische Extraktion von Metadaten aus verschiedenen Dateiformaten. Informatiktage 2008: 181-184 | |
| c1 | Benedikt Schmidt, Wolfgang Reinhardt, Christian Mletzko: MetaXsA: Modulares Framework zur Metadatenextraktion durch semantische Dokumentanalyse auf unstrukturierten Textdokumenten. Informatiktage 2008: 197-200 | |
Colors in the list of coauthors
Last update Sun May 26 07:47:28 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page