Desel, Jörg.
Desel, Jörg, 1959-
Jörg Desel Dr. rer. nat. Technische Universität München 1992
VIAF ID: 85223048 ( Personal )
Permalink: http://viaf.org/viaf/85223048
Preferred Forms
-
- 100 1 _ ‡a Desel, Jörg
-
-
- 100 1 _ ‡a Desel, Jörg ‡d 1959-
- 100 1 _ ‡a Desel, Jörg, ‡d 1959-....
- 100 1 _ ‡a Desel, Jörg
- 100 1 _ ‡a Desel, Jörg
-
-
-
-
- 100 0 _ ‡a Jörg Desel ‡c Dr. rer. nat. Technische Universität München 1992
4xx's: Alternate Name Forms (3)
5xx's: Related Names (4)
- 551 _ _ ‡a Frankfurt am Main ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Humboldt-Universität zu Berlin ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität München ‡b Institut für Informatik ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Karlsruhe (TH) ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
ACSD 2005 | |
Adaption von Lernwegen in adaptierten Lehrmaterialien für Studierende mit Berufsausbildungsabschluss | |
Aggregating causal runs into workflow nets | |
Application and theory of Petri nets 1998 : 19th international conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings | |
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme | |
BPM 2004 | |
Business process management : models, techniques, and empirical studies | |
Business process management : second international conference, BPM 2004, Potsdam, Germany, June 17-18, 2004 ; proceedings | |
DeLFI 2012 - die 10. E-Learning-Fachtagung Informatik der Gesellschaft für Informatik e.V. 24. - 26. September 2012, FernUniversität Hagen | |
Enterprise modelling and information systems architectures workshop, Klagenfurt, Austria, October 24 - 25, 2005 | |
Fifth International Conference on Application of Concurrency to System Design ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France | |
Formal methods for concurrency (abstracts) ; colloquium Munich, July 1996 | |
Free choice Petri nets | |
Fünfter Workshop Algorithmen und Werkzeuge für Petrinetze | |
Grundlagen der Parallelität Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der Informatik '97 | |
Hochschuldidaktik Informatik HDI 2021 9. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik 15.–16. September 2021 in Dortmund | |
ICATPN'98 | |
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report | |
ist Informatik | |
Lectures on concurrency and Petri nets advances in petri nets | |
Modellierung ’99 Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe | |
P/T-systems as abstractions of C/E-systems | |
P-T-sytems, invariants, and free choice systems | |
Partial order behaviour and structure of Petri nets | |
Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen | |
Proving non-reachability by modulo-place invariants | |
Reachability in reversible free-choice systems | |
Shortest paths in reachability graphs | |
STRICT | |
Structures in concurrency theory, c1995: | |
Synchronie-Abstand in Stellen-Transistoren-Systemen | |
synthesis problem of Petri nets | |
Vorqualifikationen und Anerkennungsoptionen im Informatikstudium |