Self-sovereign identity opportunities and challenges for the digital revolution U Der, S Jähnichen, J Sürmeli arXiv preprint arXiv:1712.01767, 2017 | 79 | 2017 |
From event streams to process models and back: Challenges and opportunities P Soffer, A Hinze, A Koschmider, H Ziekow, C Di Ciccio, B Koldehofe, ... Information Systems 81, 181-200, 2019 | 65 | 2019 |
Homogeneous equations of algebraic petri nets M Triebel, J Sürmeli arXiv preprint arXiv:1606.05490, 2016 | 12 | 2016 |
Estimating costs of a service. C Gierds, J Sürmeli ZEUS, 121-128, 2010 | 8 | 2010 |
Service discovery using communication fingerprints O Oanea, J Sürmeli, K Wolf Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010 | 6 | 2010 |
Selbstverwaltete digitale Identitäten–Chancen und Herausforderungen für die weltweite Digitalisierung U Der, S Jähnichen, J Sürmeli Digitalisierung im Spannungsfeld von Politik, Wirtschaft, Wissenschaft und …, 2018 | 5 | 2018 |
Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers J Sürmeli, U Der, S Jähnichen, A Vogelsang Informatik-Spektrum 40, 595-601, 2017 | 5 | 2017 |
Self-sovereign Identity–Opportunities and Challenges for the Digital Revolution. Arxiv U Der, S Jähnichen, J Sürmeli arXiv preprint arXiv:1712.01767, 2017 | 5 | 2017 |
Synthesizing cost-minimal partners for services J Sürmeli, M Triebel Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013 | 5 | 2013 |
Profiling services with static analysis J Sürmeli AWPN, 2009 | 4 | 2009 |
Interleaving isotactics–An equivalence notion on behaviour abstractions A Polyvyanyy, J Sürmeli, M Weidlich Theoretical Computer Science 737, 1-18, 2018 | 3 | 2018 |
Characterizing stable inequalities of Petri nets M Triebel, J Sürmeli International Conference on Applications and Theory of Petri Nets and …, 2015 | 3 | 2015 |
Asynchronous Communication R Dzikowski, A Moelle, W Reisig, J Sürmeli Professoren des Institutes für Informatik, 2014 | 3 | 2014 |
Service discovery with cost thresholds J Sürmeli International Workshop on Web Services and Formal Methods, 30-48, 2012 | 3 | 2012 |
Creating a message profile for open nets. J Sürmeli, D Weinberg ZEUS, 74-80, 2009 | 3 | 2009 |
Epistemic logic in ensemble specification J Sürmeli Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 2 | 2020 |
Modelling the transition to distributed ledgers J Sürmeli, S Jähnichen, JW Sanders Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 2 | 2018 |
Embedding Multi-Hemirings Into Semirings S Heiden, J Sürmeli, M Triebel Informatik-Berichte 246, 129-131, 2014 | 2 | 2014 |
Know Your Customer Well—Selbstverwaltete, Authentische Digitale Identitäten J Sürmeli, S Jähnichen Wirtschaftsinformatik & Management 10, 30-32, 2018 | 1 | 2018 |
Characterizing stable and deriving valid inequalities of Petri nets M Triebel, J Sürmeli Fundamenta Informaticae 146 (1), 1-34, 2016 | 1 | 2016 |