WorldCat Identities

Wolf, Karsten 1967-

Overview
Works: 27 works in 109 publications in 2 languages and 1,803 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, htt, Other, Contributor, dgs
Publication Timeline
.
Most widely held works by Karsten Wolf
Business process management : 9th international conference, BPM 2011, Clermont-Ferrand, France, August 28 - September 2, 2011 ; proceedings by Stefanie Rinderle-Ma( )

19 editions published in 2011 in 3 languages and held by 489 WorldCat member libraries worldwide

Annotation
Web services and formal methods : 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, revised selected papers by Roberto Bruni( )

23 editions published in 2009 in English and Undetermined and held by 488 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets
Applications and theory of Petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22 - 26, 2009 ; proceedings by Jon Kleinberg( )

18 editions published in 2009 in English and held by 482 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented
Präzises Denken für Informatiker by Karsten Wolf( )

7 editions published in 2017 in German and held by 141 WorldCat member libraries worldwide

Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann
Transactions on petri nets and other models of concurrency VII by K Jensen( )

10 editions published in 2013 in English and held by 94 WorldCat member libraries worldwide

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 7th volume of ToPNoC contains revised material from the 5th International Summer School "Advanced Course on Petri Nets", held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas
An algorithm for matching nondeterministic services with operating guidelines by P Massuthe( )

3 editions published in 2006 in English and held by 26 WorldCat member libraries worldwide

Operating guidelines for finite state services by N Lohmann( Book )

4 editions published in 2006 in English and German and held by 11 WorldCat member libraries worldwide

Behavioral constraints for services by N Lohmann( Book )

2 editions published in 2007 in German and English and held by 9 WorldCat member libraries worldwide

Operating guidelines an alternative to public view by P Massuthe( Book )

1 edition published in 2005 in English and held by 6 WorldCat member libraries worldwide

Verteilte Geschäftsprozesse modellieren und analysieren by Wolfgang Reisig( Book )

1 edition published in 2005 in German and held by 6 WorldCat member libraries worldwide

Service discovery using communication fingerprints by Olivia Oanea( Book )

2 editions published in 2010 in English and held by 6 WorldCat member libraries worldwide

Stubborn sets for model checking the EF-AG fragment of CTL by Karsten Wolf( Book )

1 edition published in 1999 in English and held by 6 WorldCat member libraries worldwide

Integrating low level symmetries into reachability analysis by Karsten Wolf( Book )

1 edition published in 1999 in English and held by 6 WorldCat member libraries worldwide

Controlability of distributed business processes by Karsten Wolf( Book )

1 edition published in 2005 in English and held by 5 WorldCat member libraries worldwide

Symbolische Analysemethoden für algebraische Petrinetze by Karsten Wolf( Book )

1 edition published in 1996 in German and held by 4 WorldCat member libraries worldwide

Explicit state space verification by Karsten Wolf( Book )

2 editions published in 2002 in English and held by 4 WorldCat member libraries worldwide

An operating guideline approach to the SOA by P Massuthe( Book )

1 edition published in 2005 in German and held by 4 WorldCat member libraries worldwide

Matching nondeterministic services with operating guidelines by P Massuthe( Book )

1 edition published in 2005 in English and held by 3 WorldCat member libraries worldwide

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

1 edition published in 2005 in German and held by 2 WorldCat member libraries worldwide

Specifying and generating behavioral service adapters based on transformation rules by Christian Gierds( Book )

2 editions published in 2008 in German and English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.52 for Business p ... to 0.97 for Operating ...)

WorldCat IdentitiesRelated Identities
Web services and formal methods : 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, revised selected papers
Covers
Web services and formal methods : 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, revised selected papersApplications and theory of Petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22 - 26, 2009 ; proceedingsPräzises Denken für InformatikerTransactions on petri nets and other models of concurrency VII
Alternative Names
Schmidt, K. 1967-

Schmidt, Karsten

Schmidt, Karsten 1967-

Wolf, K.

Wolf, K. 1967-

Languages
English (84)

German (15)