Jan Sürmeli
Title
Cited by
Cited by
Year
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
212019
Self-sovereign identity opportunities and challenges for the digital revolution
U Der, S Jähnichen, J Sürmeli
arXiv preprint arXiv:1712.01767, 2017
172017
Homogeneous equations of algebraic petri nets
M Triebel, J Sürmeli
arXiv preprint arXiv:1606.05490, 2016
92016
Estimating costs of a service.
C Gierds, J Sürmeli
ZEUS, 121-128, 2010
72010
Service discovery using communication fingerprints
O Oanea, J Sürmeli, K Wolf
International Conference on Service-Oriented Computing, 612-618, 2010
52010
Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers
J Sürmeli, U Der, S Jähnichen, A Vogelsang
Informatik-Spektrum 40 (6), 595-601, 2017
42017
Synthesizing cost-minimal partners for services
J Sürmeli, M Triebel
International Conference on Service-Oriented Computing, 584-591, 2013
42013
Profiling services with static analysis
J Sürmeli
AWPN, 2009
42009
Modelling the transition to distributed ledgers
J Sürmeli, S Jähnichen, JW Sanders
International Symposium on Leveraging Applications of Formal Methods, 48-62, 2018
22018
Interleaving isotactics–An equivalence notion on behaviour abstractions
A Polyvyanyy, J Sürmeli, M Weidlich
Theoretical Computer Science 737, 1-18, 2018
22018
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
22018
Asynchronous Communication
R Dzikowski, A Moelle, W Reisig, J Sürmeli
Techn. Ber 246, 139-162, 2014
22014
Service discovery with cost thresholds
J Sürmeli
International Workshop on Web Services and Formal Methods, 30-48, 2012
22012
Characterizing stable and deriving valid inequalities of Petri nets
M Triebel, J Sürmeli
Fundamenta Informaticae 146 (1), 1-34, 2016
12016
Characterizing Stable Inequalities of Petri Nets
M Triebel, J Sürmeli
International Conference on Applications and Theory of Petri Nets and …, 2015
12015
Embedding Multi-Hemirings into Semirings
S Heiden, J Sürmeli, M Triebel
Informatik-Berichte 246, 129-131, 2014
12014
Cost-optimizing compositions of services-analysis and synthesis
J Sürmeli, M Triebel
Inst. für Informatik, 2013
12013
Towards deciding policy violation during service discovery
J Sürmeli
Services und ihre Komposition, 2011
12011
Creating a message profile for open nets.
J Sürmeli, D Weinberg
ZEUS, 74-80, 2009
12009
Know Your Customer Well—Selbstverwaltete, Authentische Digitale Identitäten
J Sürmeli, S Jähnichen
Wirtschaftsinformatik & Management 10 (5), 30-32, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20