Detail page

Knowledge Web

Person

Karsten Wolf (1967-)

Informatiker

Name	Karsten Wolf
Time	1967- (Date of birth and death)
Place	Berlin (Wirkungsort) Rostock (Wirkungsort) Deutschland
Gender	männlich
Academic degree	Prof. Dr. rer. nat.
Profession	Informatiker (characteristic profession)
Variant	Karsten Schmidt (Geburtsname) (früherer Name) K. Schmidt K. Wolf
Further information	1997-2005 tätig am Institut für Informatik der Humboldt-Universität zu Berlin; ab 2006 Professor für Theorie der Programmiersprachen und Programmierung am Institut für Informatik der Universität Rostock
Source	Internet
Record type	Person
GND-Identifier	124773052
Record ID	124773052
Involved in show all Zur Komplexität der Synthese von Petri-Netzen Improving explicit model checking for Petri nets Präzises Denken für Informatiker Präzises Denken für Informatiker Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss Business process management : 9th international conference ; proceedings Business Process Management : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings Service discovery using communication fingerprints Service Discovery Using Communication Fingerprints Specifying and generating behavioral service adapters based on transformation rules Behavioral constraints for services Behavioral Constraints for Services Einführung in die Matrix-Algebra mit Derive An algorithm for matching nondeterministic services with operating guidelines An algorithm for matching nondeterministic services with operating guidelines An Algorithm for Matching Nondeterministic Services with Operating Guidelines Matching Nondeterministic Services with Operating Guidelines Operating guidelines for finite state services Operating Guidelines for Finite-State Services An operating guideline approach to the SOA An Operating Guideline Approach to the SOA Controlability of distributed business processes Matching nondeterministic services with operating guidelines Operating Guidelines - an Alternative to Public View Operating guidelines : an alternative to public view Proceedings / 12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (APWN 2005) : 29. - 30. September 2005, Humboldt-Universität zu Berlin Verteilte Geschäftsprozesse modellieren und analysieren Verteilte Geschäftsprozesse modellieren und analysieren Explicit state space verification Explicit state space verification Integrating low level symmetries into reachability analysis Stubborn sets for model checking the EF-AG fragment of CTL Symbolische Analysemethoden für algebraische Petrinetze Symmetrie of Petri nets T-invariants of algebraic Petri nets

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Karsten Wolf (1967-)

Zur Komplexität der Synthese von Petri-Netzen

Improving explicit model checking for Petri nets

Präzises Denken für Informatiker

Präzises Denken für Informatiker

Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss

Business process management : 9th international conference ; proceedings

Business Process Management : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

Service discovery using communication fingerprints

Service Discovery Using Communication Fingerprints

Specifying and generating behavioral service adapters based on transformation rules

Behavioral constraints for services

Behavioral Constraints for Services

Einführung in die Matrix-Algebra mit Derive

An algorithm for matching nondeterministic services with operating guidelines

An algorithm for matching nondeterministic services with operating guidelines

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Matching Nondeterministic Services with Operating Guidelines

Operating guidelines for finite state services

Operating Guidelines for Finite-State Services

An operating guideline approach to the SOA

An Operating Guideline Approach to the SOA

Controlability of distributed business processes

Matching nondeterministic services with operating guidelines

Operating Guidelines - an Alternative to Public View

Operating guidelines : an alternative to public view

Proceedings / 12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (APWN 2005) : 29. - 30. September 2005, Humboldt-Universität zu Berlin

Verteilte Geschäftsprozesse modellieren und analysieren

Verteilte Geschäftsprozesse modellieren und analysieren

Explicit state space verification

Explicit state space verification

Integrating low level symmetries into reachability analysis

Stubborn sets for model checking the EF-AG fragment of CTL

Symbolische Analysemethoden für algebraische Petrinetze

Symmetrie of Petri nets

T-invariants of algebraic Petri nets