mycoreobjectcpr_person_00001924cpr_person_00001924cprpersoncpr_derivate_00004920https://theo.informatik.uni-rostock.de/home-theo/karsten-wolf/http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wolf:Karsten.html#2022-11-17T17:35:33.830Z2007-11-19T13:59:26.555Zadministratorccwahrmannpublished1cpr_derivate_00004920truetruederivate_types:display_portraitals Portrait anzeigenshow as portraitwf_edit_profkatprofkat_class_proftypes:cpr.PROF0001profkat_class_proftypes:cpr.PROF00011-ordentlichprofkat_class_proftypes:cpr.PROF0001.002profkat_class_proftypes:cpr.PROF0001.002(Universitäts) Professorprofkat_class_subjects:BK54profkat_class_subjects:BK5454 Informatikprofkat_class_institutions:cpr.0profkat_class_institutions:cpr.0Universität RostockUniversität Rostockhttps://d-nb.info/gnd/38329-6profkat_class_institutions:cpr.06profkat_class_institutions:cpr.06Fakultät für Maschinenbau und Schiffstechnik / Fakultät für Informatik und Elektrotechnik (und Vorgänger)Fakultät für Maschinenbau und Schiffstechnik / Fakultät für Informatik und Elektrotechnik (und Vorgänger)profkat_class_institutions:cpr.06.110profkat_class_institutions:cpr.06.110Fakultät für Informatik und Elektrotechnik (2004- )Fakultät für Informatik und Elektrotechnikprofkat_class_persontypes:cpr.ro_professorprofkat_class_persontypes:cpr.ro_professorProfessor an der Universität Rostockprofkat_class_epochs:cprprofkat_class_epochs:cprEpochen an der Universität Rostockprofkat_class_epochs:cpr.1989-heuteprofkat_class_epochs:cpr.1989-heute1990-heute1990TO2999state:publishedstate:publishedveröffentlichtpublishedWolfgeb. SchmidtKarstenProf. Dr. rer. nat. habil.seit 2006cpr_person_00001606gregorian24537372006-01-01 AD31820574000-01-28 ADProfessor für Theorie der Programmiersprachen und Programmierungseit 2006gregorian24537372006-01-01 AD31820574000-01-28 ADInstitut für InformatikEntwicklung korrekter Systeme, computergestützte Verifikation, Algorithmen für Web Servicesseit 2006gregorian24537372006-01-01 AD31820574000-01-28 ADkarsten.wolf@uni-rostock.de#03.03.1967gregorian24395531967-03-03 AD24395531967-03-03 ADBerlin-FriedrichshainmaleWolfgang SchmidtKriminalistKarola Schmidt, geb. WilfertLehrerin1985Abitur, BerlinBerlin1985-1988Wehrdienst1988-1993Studium der Informatik, Humboldt Univ. BerlinBerlin1993-1996wiss. Mitarbeiter, Humboldt Univ. BerlinBerlin1996Forscher (Stipendiat des Deutschen Akademischen Auslandsdienstes), TU Helsinki (Finnland)Helsinki1997Post-Doc-Stipendiat (Graduiertenkolleg der Deutschen Forschungsgemeinschaft), TU DresdenDresden1997-2005wiss. Mitarbeiter, Humboldt Univ. BerlinBerlin2000-2001Forscher, Carnegie Mellon Univ. Pittsburgh (USA)Pittsburghseit 2006Professor für Theorie der Programmiersprachen und Programmierung, Univ. RostockRostock1993Dipl.-Informatiker, Humboldt-Univ. BerlinBerlin1996Dr. rer. nat., Humboldt-Univ. BerlinSymbolische Analysemethoden für algebraische Petri-Netze.Berlin2002Dr. rer. nat. habil. (Informatik), Humboldt-Univ. BerlinExplicit State Space Verification.Berlinseit 2006Mitglied der Studienkommission Informatikseit 2006Mitglied der Studienkommission Wirtschaftsinformatik2007-2010Mitglied, ab 2008 Vorsitzender des Prüfungsausschusses am Institut für Informatikseit 2009Institutsvertreter im Fakultätentag Informatikseit 2010Studiendekanseit 2012Mitglied des Akademischen Senatsseit 2012Mitglied im Direktorium des Zentrums für Lehrerbildung#Sprecher der Fachgruppe "Petrinetze und verwandte Systemmodelle" der Gesellschaft für InformatikDirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. Analysis on Demand: Instantaneous Soundness Checking of Industrial Business Process Models. Data Knowl. Eng., 70(5):448-466, 2011.Niels Lohmann and Karsten Wolf. Artifact-Centric Choreographies. In Paul Maglio, Mathias Weske, Jian Yang, and Marcelo Fantinato, editors, 8th International Conference on Service Oriented Computing, ICSOC 2010, December 7-10, 2010, San Francisco, California, USA, Proceedings, volume 6470 of Lecture Notes in Computer Science, pages 32-46, December 2010. Springer-Verlag.Karsten Wolf. Generating Petri Net State Spaces. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 29-42, June 2007. Springer-Verlag. Invited lecture.Lars Michael Kristensen, Karsten Schmidt, and Antii Valmari. Question-Guided Stubborn Set Methods for State Properties. Formal Methods in System Design, 29(3):215-251, November 2006.Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, pages 220-235, September 2005. Springer-Verlag.Publikationsverzeichnis auf DBLP Bibliography Servereigene Angaben (Stand: Oktober 2013)124773052longWolf, KarstenWoseit 2006Professor für Theorie der Programmiersprachen und ProgrammierungFakultät für Informatik und ElektrotechnikOMD.profkat.state.longProf. Dr. rer. nat. habil.http://d-nb.info/gnd/124773052124773052Wolfgeb. SchmidtKarstenmalefatherWolfgang SchmidtKriminalistmotherKarola Schmidt, geb. WilfertLehrerinInstitut für InformatikEntwicklung korrekter Systeme, computergestützte Verifikation, Algorithmen für Web ServicesProfessor für Theorie der Programmiersprachen und ProgrammierungProfessor für Theorie der Programmiersprachen und ProgrammierungBerlin-FriedrichshainKriminalistLehrerin1985 Abitur, Berlin1985-1988 Wehrdienst1988-1993 Studium der Informatik, Humboldt Univ. Berlin1993-1996 wiss. Mitarbeiter, Humboldt Univ. Berlin1996 Forscher (Stipendiat des Deutschen Akademischen Auslandsdienstes), TU Helsinki (Finnland)1997 Post-Doc-Stipendiat (Graduiertenkolleg der Deutschen Forschungsgemeinschaft), TU Dresden1997-2005 wiss. Mitarbeiter, Humboldt Univ. Berlin2000-2001 Forscher, Carnegie Mellon Univ. Pittsburgh (USA)seit 2006 Professor für Theorie der Programmiersprachen und Programmierung, Univ. Rostock1985 Abitur, BerlinDipl.-Informatiker, Humboldt-Univ. BerlinDr. rer. nat., Humboldt-Univ. BerlinDr. rer. nat. habil. (Informatik), Humboldt-Univ. Berlin1993 Dipl.-Informatiker, Humboldt-Univ. Berlin1996 Dr. rer. nat., Humboldt-Univ. Berlin2002 Dr. rer. nat. habil. (Informatik), Humboldt-Univ. Berlinseit 2006 Mitglied der Studienkommission Informatikseit 2006 Mitglied der Studienkommission Wirtschaftsinformatik2007-2010 Mitglied, ab 2008 Vorsitzender des Prüfungsausschusses am Institut für Informatikseit 2009 Institutsvertreter im Fakultätentag Informatikseit 2010 Studiendekanseit 2012 Mitglied des Akademischen Senatsseit 2012 Mitglied im Direktorium des Zentrums für Lehrerbildung# Sprecher der Fachgruppe "Petrinetze und verwandte Systemmodelle" der Gesellschaft für InformatikDirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. Analysis on Demand: Instantaneous Soundness Checking of Industrial Business Process Models. Data Knowl. Eng., 70(5):448-466, 2011.Niels Lohmann and Karsten Wolf. Artifact-Centric Choreographies. In Paul Maglio, Mathias Weske, Jian Yang, and Marcelo Fantinato, editors, 8th International Conference on Service Oriented Computing, ICSOC 2010, December 7-10, 2010, San Francisco, California, USA, Proceedings, volume 6470 of Lecture Notes in Computer Science, pages 32-46, December 2010. Springer-Verlag.Karsten Wolf. Generating Petri Net State Spaces. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 29-42, June 2007. Springer-Verlag. Invited lecture.Lars Michael Kristensen, Karsten Schmidt, and Antii Valmari. Question-Guided Stubborn Set Methods for State Properties. Formal Methods in System Design, 29(3):215-251, November 2006.Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, pages 220-235, September 2005. Springer-Verlag.eigene Angaben (Stand: Oktober 2013)long2006245373740003182057196703.03.1967https://purl.uni-rostock.de/cpr/00001924Karsten Wolf (Foto, Privatbesitz)file/cpr_person_00001924/cpr_derivate_00004920/wolf_karsten_pic.jpg