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