Follow
Jan Sürmeli
Title
Cited by
Cited by
Year
Self-sovereign identity opportunities and challenges for the digital revolution
U Der, S Jähnichen, J Sürmeli
arXiv preprint arXiv:1712.01767, 2017
752017
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
632019
Homogeneous equations of algebraic petri nets
M Triebel, J Sürmeli
arXiv preprint arXiv:1606.05490, 2016
102016
Estimating costs of a service.
C Gierds, J Sürmeli
ZEUS, 121-128, 2010
82010
Service discovery using communication fingerprints
O Oanea, J Sürmeli, K Wolf
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
62010
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
52018
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
52017
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
52017
Synthesizing cost-minimal partners for services
J Sürmeli, M Triebel
Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013
52013
Profiling services with static analysis
J Sürmeli
AWPN, 2009
42009
Interleaving isotactics–An equivalence notion on behaviour abstractions
A Polyvyanyy, J Sürmeli, M Weidlich
Theoretical Computer Science 737, 1-18, 2018
32018
Characterizing stable inequalities of Petri nets
M Triebel, J Sürmeli
International Conference on Applications and Theory of Petri Nets and …, 2015
32015
Asynchronous Communication
R Dzikowski, A Moelle, W Reisig, J Sürmeli
Professoren des Institutes für Informatik, 2014
32014
Service discovery with cost thresholds
J Sürmeli
International Workshop on Web Services and Formal Methods, 30-48, 2012
32012
Creating a message profile for open nets.
J Sürmeli, D Weinberg
ZEUS, 74-80, 2009
32009
Epistemic logic in ensemble specification
J Sürmeli
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
22020
Modelling the transition to distributed ledgers
J Sürmeli, S Jähnichen, JW Sanders
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
22018
Embedding Multi-Hemirings Into Semirings
S Heiden, J Sürmeli, M Triebel
Informatik-Berichte 246, 129-131, 2014
22014
Know Your Customer Well—Selbstverwaltete, Authentische Digitale Identitäten
J Sürmeli, S Jähnichen
Wirtschaftsinformatik & Management 10, 30-32, 2018
12018
Characterizing stable and deriving valid inequalities of Petri nets
M Triebel, J Sürmeli
Fundamenta Informaticae 146 (1), 1-34, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20