Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDBibTeX records: Jan Sürmeli
@inproceedings{DBLP:conf/isola/Surmeli20,
author = {Jan S{\"{u}}rmeli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Epistemic Logic in Ensemble Specification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {329--343},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_20},
doi = {10.1007/978-3-030-61470-6\_20},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Surmeli20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SofferHKZCKKJSS19,
author = {Pnina Soffer and
Annika Hinze and
Agnes Koschmider and
Holger Ziekow and
Claudio Di Ciccio and
Boris Koldehofe and
Oliver Kopp and
Hans{-}Arno Jacobsen and
Jan S{\"{u}}rmeli and
Wei Song},
title = {From event streams to process models and back: Challenges and opportunities},
journal = {Inf. Syst.},
volume = {81},
pages = {181--200},
year = {2019},
url = {https://doi.org/10.1016/j.is.2017.11.002},
doi = {10.1016/j.is.2017.11.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/SofferHKZCKKJSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PolyvyanyySW18,
author = {Artem Polyvyanyy and
Jan S{\"{u}}rmeli and
Matthias Weidlich},
title = {Interleaving isotactics - An equivalence notion on behaviour abstractions},
journal = {Theor. Comput. Sci.},
volume = {737},
pages = {1--18},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.01.005},
doi = {10.1016/j.tcs.2018.01.005},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PolyvyanyySW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wm/SurmeliJ18,
author = {Jan S{\"{u}}rmeli and
Stefan J{\"{a}}hnichen},
title = {Know Your Customer Well - Selbstverwaltete, Authentische Digitale
Identit{\"{a}}ten},
journal = {Wirtschaftsinformatik Manag.},
volume = {10},
number = {5},
pages = {30--32},
year = {2018},
url = {https://doi.org/10.1007/s35764-018-0113-y},
doi = {10.1007/s35764-018-0113-y},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wm/SurmeliJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SurmeliJS18,
author = {Jan S{\"{u}}rmeli and
Stefan J{\"{a}}hnichen and
Jeff W. Sanders},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling the Transition to Distributed Ledgers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {48--62},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_4},
doi = {10.1007/978-3-030-03424-5\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/SurmeliJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/DerJS18,
author = {Uwe Der and
Stefan J{\"{a}}hnichen and
Jan S{\"{u}}rmeli},
editor = {Christian B{\"{a}}r and
Thomas Gr{\"{a}}dler and
Robert Mayr},
title = {Selbstverwaltete digitale Identit{\"{a}}ten - Chancen und Herausforderungen
f{\"{u}}r die weltweite Digitalisierung},
booktitle = {Digitalisierung im Spannungsfeld von Politik, Wirtschaft, Wissenschaft
und Recht, 2. Band: Wissenschaft und Recht},
pages = {25--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-56438-7\_2},
doi = {10.1007/978-3-662-56438-7\_2},
timestamp = {Sun, 19 May 2019 16:48:29 +0200},
biburl = {https://dblp.org/rec/books/sp/18/DerJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/SurmeliDJV17,
author = {Jan S{\"{u}}rmeli and
Uwe Der and
Stefan J{\"{a}}hnichen and
Andreas Vogelsang},
title = {Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed
Ledgers},
journal = {Inform. Spektrum},
volume = {40},
number = {6},
pages = {595--601},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1080-z},
doi = {10.1007/s00287-017-1080-z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/SurmeliDJV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01767,
author = {Uwe Der and
Stefan J{\"{a}}hnichen and
Jan S{\"{u}}rmeli},
title = {Self-sovereign Identity - Opportunities and Challenges for the Digital
Revolution},
journal = {CoRR},
volume = {abs/1712.01767},
year = {2017},
url = {http://arxiv.org/abs/1712.01767},
eprinttype = {arXiv},
eprint = {1712.01767},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TriebelS16,
author = {Marvin Triebel and
Jan S{\"{u}}rmeli},
title = {Characterizing Stable and Deriving Valid Inequalities of Petri Nets},
journal = {Fundam. Informaticae},
volume = {146},
number = {1},
pages = {1--34},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1374},
doi = {10.3233/FI-2016-1374},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/TriebelS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TriebelS16,
author = {Marvin Triebel and
Jan S{\"{u}}rmeli},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Homogeneous Equations of Algebraic Petri Nets},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {14:1--14:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.14},
doi = {10.4230/LIPIcs.CONCUR.2016.14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/TriebelS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TriebelS16,
author = {Marvin Triebel and
Jan S{\"{u}}rmeli},
title = {Homogeneous Equations of Algebraic Petri Nets},
journal = {CoRR},
volume = {abs/1606.05490},
year = {2016},
url = {http://arxiv.org/abs/1606.05490},
eprinttype = {arXiv},
eprint = {1606.05490},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TriebelS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Surmeli15,
author = {Jan S{\"{u}}rmeli},
title = {Optimale Partner offener Systeme: Modellierung, Analyse, Synthese},
school = {Humboldt University of Berlin},
year = {2015},
url = {http://edoc.hu-berlin.de/dissertationen/suermeli-jan-2015-04-30/PDF/suermeli.pdf},
urn = {urn:nbn:de:kobv:11-100229990},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Surmeli15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TriebelS15,
author = {Marvin Triebel and
Jan S{\"{u}}rmeli},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Characterizing Stable Inequalities of Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {266--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_14},
doi = {10.1007/978-3-319-19488-2\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/TriebelS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/PruferS14,
author = {Robert Pr{\"{u}}fer and
Jan S{\"{u}}rmeli},
editor = {Nico Herzberg and
Matthias Kunze},
title = {Introducing Configurability into Scenario-Based Specification of Business
Processes},
booktitle = {Proceedings of the 6th Central-European Workshop on Services and their
Composition, {ZEUS} 2014, Potsdam, Germany, February 20-21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1140},
pages = {42--48},
publisher = {CEUR-WS.org},
year = {2014},
url = {http://ceur-ws.org/Vol-1140/paper7.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/PruferS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SurmeliT13,
author = {Jan S{\"{u}}rmeli and
Marvin Triebel},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Synthesizing Cost-Minimal Partners for Services},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {584--591},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_49},
doi = {10.1007/978-3-642-45005-1\_49},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/SurmeliT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/Surmeli12,
author = {Jan S{\"{u}}rmeli},
editor = {Maurice H. ter Beek and
Niels Lohmann},
title = {Service Discovery with Cost Thresholds},
booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7843},
pages = {30--48},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38230-7\_3},
doi = {10.1007/978-3-642-38230-7\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/Surmeli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Surmeli12,
author = {Jan S{\"{u}}rmeli},
editor = {Andreas Sch{\"{o}}nberger and
Oliver Kopp and
Niels Lohmann},
title = {Cost-minimal Adapters for Services},
booktitle = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
Services and their Composition, ZEUS-2012, Bamberg, Germany, February
23-24, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {847},
pages = {9--16},
publisher = {CEUR-WS.org},
year = {2012},
url = {http://ceur-ws.org/Vol-847/paper2.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/Surmeli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/Surmeli11,
author = {Jan S{\"{u}}rmeli},
editor = {Daniel Eichhorn and
Agnes Koschmider and
Huayu Zhang},
title = {Towards Deciding Policy Violation During Service Discovery},
booktitle = {3rd Central-European Workshop on Services and their Composition, Services
und ihre Komposition, {ZEUS} 2011, Karlsruhe, Germany, February 21-22,
2011. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {705},
pages = {34--41},
publisher = {CEUR-WS.org},
year = {2011},
url = {http://ceur-ws.org/Vol-705/paper5.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/Surmeli11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/SchullerS11,
author = {Dieter Schuller and
Jan S{\"{u}}rmeli},
editor = {Daniel Eichhorn and
Agnes Koschmider and
Huayu Zhang},
title = {Dienstg{\"{u}}te-basierte Service-Selektion f{\"{u}}r Zustandsbehaftete
Services},
booktitle = {3rd Central-European Workshop on Services and their Composition, Services
und ihre Komposition, {ZEUS} 2011, Karlsruhe, Germany, February 21-22,
2011. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {705},
pages = {42--49},
publisher = {CEUR-WS.org},
year = {2011},
url = {http://ceur-ws.org/Vol-705/paper6.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/SchullerS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/OaneaSW10,
author = {Olivia Oanea and
Jan S{\"{u}}rmeli and
Karsten Wolf},
editor = {Paul P. Maglio and
Mathias Weske and
Jian Yang and
Marcelo Fantinato},
title = {Service Discovery Using Communication Fingerprints},
booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6470},
pages = {612--618},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17358-5\_46},
doi = {10.1007/978-3-642-17358-5\_46},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/OaneaSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/GierdsS10,
author = {Christian Gierds and
Jan S{\"{u}}rmeli},
editor = {Christian Gierds and
Jan S{\"{u}}rmeli},
title = {Estimating costs of a service},
booktitle = {2nd Central-European Workshop on Services and their Composition, Services
und ihre Komposition, {ZEUS} 2010, Berlin, Germany, February 25-26,
2010. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {563},
pages = {121--128},
publisher = {CEUR-WS.org},
year = {2010},
url = {http://ceur-ws.org/Vol-563/paper15.pdf},
timestamp = {Thu, 21 Jan 2021 17:37:12 +0100},
biburl = {https://dblp.org/rec/conf/zeus/GierdsS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zeus/2010,
editor = {Christian Gierds and
Jan S{\"{u}}rmeli},
title = {2nd Central-European Workshop on Services and their Composition, Services
und ihre Komposition, {ZEUS} 2010, Berlin, Germany, February 25-26,
2010. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {563},
publisher = {CEUR-WS.org},
year = {2010},
url = {http://ceur-ws.org/Vol-563},
urn = {urn:nbn:de:0074-563-8},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/SurmeliW09,
author = {Jan S{\"{u}}rmeli and
Daniela Weinberg},
editor = {Oliver Kopp and
Niels Lohmann},
title = {Creating a message profile for open nets},
booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {438},
pages = {74--80},
publisher = {CEUR-WS.org},
year = {2009},
url = {http://ceur-ws.org/Vol-438/paper12.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zeus/SurmeliW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2022-03-20 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
