Ludwig-Maximilians-University Munich, Department of Mathematics


Joachim Wehler

Study of mathematics and physics (Dr. rer. nat. habil.)

Lecturer at Ludwig-Maximilians-Universität, Munich, since 1985

Software engineer and business consultant at sd&m, Isomag, Softlab (NTT Data), 1989-2016

Email (home): Joachim.Wehler@gmx.net

Email (university): wehler@math.lmu.de

 

Interests and publications

1. Mathematics

2. Computer Science and Business Administration

3. Philosophy

4. Lectures

 

1. Mathematics

·       K3-Surfaces with Picard Number2

Arch. Math. 50, (1988), p.73-82

 

·       Hypersurfaces of the Flag Variety: Deformation Theory and the Theorems of Kodaira-Spencer, Torelli, Lefschetz, M. Noether and Serre

Math. Zeitschrift 198 (1988), p.21-38

 

·       Infinitesimal Torelli Theorem

Seminari di Geometria 1986. Università degli studi di Bologna. Dip. di Matematica, Bologna 1987

 

·       Cyclic Coverings: Deformation and Torelli Theorems

Math. Ann. 274 (1986), p.443-472

 

·       Der relative Dualitätssatz für Cohen-Macaulay Räume

Schriftenreihe des Mathematischen Instituts der Universität Münster, 2. Serie, Heft 35, 114p., Münster 1985

 

·       Moduli Spaces and Versal Deformation of Stable Vector Bundles

Revue Roumaine de Mathématiques Pures et Appliquées. Tome XXX, 1985, p.69-78

 

·       Beiträge zur algebraischen Geometrie auf homogenen komplexen Mannigfaltigkeiten

Habilitationsschrift, Ludwig-Maximilians-Universität München, München 1984

 

·       Deformation of Varieties Defined by Sections in Homogeneous Vector Bundles

Math. Ann. 268 (1984), p.519-532

 

·       Deformation of Complete Intersections with Singularities

Math. Zeitschrift 179 (1982), p.473-491

 

·       Versal Deformation of Hopf Surfaces

Journal für die reine und angewandte Mathematik. 328 (1981), p.22-32

 

·       Isomorphie von Familien kompakter komplexer Mannigfaltigkeiten

Math. Ann. 231, (1977), p. 77-90


2. Computer Science and Business Administration

·       with Schneider, Christoph: Embedding the free-choice semantics of AND/XOR-EPCs into the Boolean semantics

In: Schwarick, Martin; Heiner, Monika (Hrsg.): Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07--08, 2010

 

·       Simplified proof of the blocking theorem for free-choice Petri nets

Journal of Computer and System Sciences 76 (2010), p. 532-537

 

·       Free-Choice Petri Nets without frozen tokens, and Bipolar Synchronization Systems

Fundamenta Informaticae 98 (2010), p. 283-320

(Preliminary version)

 

·       Boolean and free-choice semantics of Event-driven Process Chains

In: Nüttgens, Markus; Rump, Frank, Gadatsch, Andreas (Eds.): 6. GI-Workshop EPK 2007: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. St.Augustin, 2007

 

·       Morphisms of Coloured Petri Nets

Preprint 2006

 

·       Visuelle Verhaltensmodellierung in kommerziellen Projekten

In: Giese, Holger; Philippi, Stephan (Hrsg.): Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme.  8. Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, November 2000, Universität Münster. Bericht 24/00-I, Angewandte Mathematik und Informatik, Universität Münster, Münster 2000

 

·       Aggregation der UML und Abstraktion gefärbter Netze

In: Philippi, Stephan (Hrsg.): Proceedings 7.Workshop Algorithmen und Werkzeuge für Petrinetze, 2. - 3. Oktober 2000. Universität in Koblenz, Fachbereich Informatik, Institut für Softwaretechnik. Technischer Bericht 7/2000, Koblenz 2000

 

·       with Schneider, Christoph: Potential Reachability in Commutative Nets

In: Desel, Jörg; Oberweis, Andreas: Proceedings 6.Workshop Algorithmen und Werkzeuge für Petrinetze, 11. - 12. Oktober 1999. J. W. Goethe-Universität Frankfurt/Main, Institut für Wirtschaftsinformatik, Frankfurt/Main 1999

 

·       with Schneider, Christoph: Petri Net Theory - Problems Solved by Commutative Algebra

In: Donatelli, Susanna; Kleijn, Jetty (Eds.): Application and Theory of Petri Nets 1999. Lecture Notes in Computer Science 1639. Springer, Berlin et al. 1999, p. 248-267

 

·       Towards an Interaction Theory of Business Modeling

In: van der Aalst, Wil; Desel, Jörg; Kaschek, Roland (Eds.): Proceedings Software Architectures for Business Process Management. Institut für Angewandte Informatik und Formale Beschreibungsverfahren AIFB, Universität Karlsruhe (TH), Bericht 390, Karlsruhe 1999, p. 43-62

 

·       with Schneider, Christoph: Commutative Algebra applied to Net Theory

In: Desel, Jörg; Kemper, Peter; Kindler, Ekkart; Oberweis, Andreas (Eds.): 5. Workshop Algorithmen und Werkzeuge für Petrinetze. Forschungsbericht Nr. 694. Fachbereich Informatik der Universität Dortmund. Dortmund 1998, p. 94-100

 

·       with Langner, Peter; Schneider, Christoph: Petri Net Based Certification of Event-Driven Process Chains

In: Desel, Jörg; Silva, Manuel (Eds.): Application and Theory of Petri Nets 1998. Lecture Notes in Computer Science 1420. Springer, Berlin et al. 1998, p. 286 - 305

 

·       with Langner, Peter; Schneider, Christoph: Relating Event-Driven Process Chains to Boolean Nets

Ludwig-Maximilians-Universität München, Institut für Informatik, Technischer Bericht 9707, München 1997, 38p.

 

·       with Langner, Peter; Schneider, Christoph: Prozeßmodellierung mit ereignisgesteuerten Prozeßketten und Petri-Netzen.

Wirtschaftsinformatik 39 (1997), p. 479 - 489

Preprint

 

·       with Langner, Peter; Schneider, Christoph: Ereignisgesteuerte Prozeßketten und Petri-Netze

Universität Hamburg, Fachbereich Informatik, Bericht Nr. 196, FBI-HH-B-196/97, Hamburg 1997, 110p.


3. Philosophy

·       Kritischer Rationalismus: Theologie zwischen Flirt und Abwehr

Aufklärung und Kritik 2/2013

Corrected version

 

·       Grundriß eines rationalen Weltbildes

Alibri, Aschaffenburg 2. Aufl. 2007 (Zarys racjonalnego obrazu swiata. Oficyna Naukowa, Warszawa 1998)

 

4. Lectures

·       Objektorientierung in IT-Projekten der Praxis

Vorlesung Ludwig-Maximilians-Universität München, Sommer 2007

 

·       Computational Algebraic Geometry - Algebraische Geometrie auf dem Computer (Teil1, Teil2)

Vorlesung Ludwig-Maximilians-Universität München, Sommersemester 2005

 

·       Computational Algebraic Geometry

Vorlesung Ludwig-Maximilians-Universität München, Wintersemester 2003/4

 

·       Fourier-Transformation und Wavelets

Vorlesung Ludwig-Maximilians-Universität München, Wintersemester 2000/2001

 

·       Petri nets

Vorlesung Ludwig-Maximilians-Universität München, Sommersemester 1999