


Остановите войну!
for scientists:
BibTeX 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} }

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.