BibTeX records: Jan Sürmeli

download as .bib file

@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 = {Fri, 27 Mar 2020 00:00:00 +0100},
  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 = {Wed, 25 Sep 2019 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},
  archivePrefix = {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},
  archivePrefix = {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 = {Thu, 21 Jan 2021 00:00:00 +0100},
  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 Schloss Dagstuhl - Leibniz Center for Informatics