25:
475:
Lenz
Belzner, Rolf Hennicker, Martin Wirsing: OnPlan: A Framework for Simulation-Based Online Planning. Christiano Braga, Peter Csaba Ölveczky: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14–16, 2015, Revised Selected Papers. Lecture Notes
452:
Jonas
Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. In: Juan de Lara, Andrea Zisman (Eds.): Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. Lecture Notes
206:
and in 1992 he returned to LMU as the Chair of
Programming and Software Engineering. Several years he served as Dean, Head of Department and Vice President of the Senat of LMU. Since 2010 he is Vice President for Teaching and Studies of LMU. In July 2016, he was awarded a Degree of Doctor of Science
218:
and its formal foundations, autonomous self-aware systems, and digitisation of universities. In 2006-2015 he was coordinating the
European IP projects SENSORIA (2006-2010) on software engineering for service-oriented systems and ASCENS (2010-2015) on engineering collective autonomic systems. In
401:
Pietro
Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In: Jim Alves-Foss (ed.): Formal Syntax and Semantics of Java, Lect. Notes Comp. Sci. 1523, Berlin: Springer, 1999, pp. 157–200
937:
500:
Rocco De Nicola, Rolf
Hennicker (eds.):Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015,
440:
Martin
Wirsing, Matthias Hölzl (Eds.): Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, 737 pages
602:
Hölzl, Matthias M.; Koch, Nora; Mayer, Philip; Schroeder, Andreas; Belzner, Lenz; Busch, Marianne; Fasching, Anton; Klarl, Annabelle; Kroiss, Christian; Raed, Laith (2015). "Ode to the PST". In De Nicola, Rocco; Hennicker, Rolf (eds.).
922:
649:
428:
Martin
Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science 5380, Springer-Verlag, 2008, 265 pages
464:
Martin
Wirsing, Matthias Hölzl, Nora Koch and Philip Mayer (eds.). Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project, Vol. 8998 LNCS, Springer, 2015, 533 pages (
264:(1978). "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen" [Small undecidable classes of predicate logic with identity and function symbols].
927:
248:
917:
653:
244:
753:
358:
Martin
Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Amsterdam, North-Holland, 1990, pp. 675–788 (
167:
151:
53:
33:
697:
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
873:
240:
737:
708:
612:
586:
545:
506:
481:
469:
458:
446:
434:
422:
407:
190:(Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). In 1975-1983 he was a research assistant at the chair of
811:
907:
786:
363:
228:
417:, Martin Wirsing: Adapting Proofs-as-Programs: The Curry—Howard Protocol. Springer Monographs in Computer Science, 2005, 420 pages (
392:
126:
729:
700:
195:
107:
79:
564:
790:
57:
49:
761:
757:
224:
86:
674:
577:
De Nicola, Rocco; Hennicker, Rolf (2015). "A Homage to Martin Wirsing". In De Nicola, Rocco; Hennicker, Rolf (eds.).
536:
De Nicola, Rocco; Hennicker, Rolf (2015). "A Homage to Martin Wirsing". In De Nicola, Rocco; Hennicker, Rolf (eds.).
38:
42:
93:
839:
607:. Lecture Notes in Computer Science Series. Vol. 8950. Springer International Publishing. pp. 13–23.
236:
581:. Lecture Notes in Computer Science Series. Vol. 8950. Springer International Publishing. pp. 1–12.
540:. Lecture Notes in Computer Science Series. Vol. 8950. Springer International Publishing. pp. 1–12.
179:
171:
75:
932:
815:
370:
232:
414:
912:
215:
203:
516:
835:
317:
281:
239:. He is a member of the editorial board of several scientific journals and book series including
187:
147:
64:
628:
733:
704:
608:
582:
541:
502:
477:
465:
454:
442:
430:
418:
403:
388:
359:
345:
309:
273:
100:
384:
183:
208:
859:
202:
in Informatics; in 1985 Wirsing became full professor and Chair of Informatics at the
901:
350:
333:
887:
321:
285:
293:
199:
378:
938:
Recipients of the Cross of the Order of Merit of the Federal Republic of Germany
163:
191:
812:"Comité Stratégique de l'Initiative d'Excellence de l'Université de Bordeaux"
724:
Wirsing, Martin; Hölzl, Matthias M.; Koch, Nora; Mayer, Philip, eds. (2015).
782:
560:
726:
Software Engineering for Collective Autonomic Systems - The ASCENS Approach
178:
in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the
143:
313:
277:
219:
2007-2010 Martin Wirsing was the chairman of the Scientific Board of
175:
186:, he received his PhD from LMU in 1976, with a thesis on a topic in
220:
512:
63:
from the article and its talk page, especially if potentially
18:
923:
Academic staff of the Ludwig Maximilian University of Munich
728:. Lecture Notes in Computer Science Series. Vol. 8998.
699:. Lecture Notes in Computer Science Series. Vol. 6582.
650:"Honorary Degrees conferred at Summer Graduation Ceremonies"
652:. Royal Holloway College News. 2016-07-21. Archived from
453:
in Computer Science 7212, Springer 2012, pp. 78–93 (
223:
and in 2014-2017 a member of the scientific committee of
783:"Max Planck Institute of Psychiatry - Board of Trustees"
476:
in Computer Science 9539, Springer 2016, pp. 1–30 (
334:"Structured algebraic specifications: A Kernel language"
227:. Currently, he is a member of the board of trustees of
266:
Archiv fĂĽr Mathematische Logik und Grundlagenforschung
249:
Electronic Proceedings in Theoretical Computer Science
754:"Conseil Scientifique de l'Institut Mines-Télécom"
695:Wirsing, Martin; Hölzl, Matthias M., eds. (2011).
245:International Journal of Software and Informatics
860:"Prof. Dr. Dr. H.c. Martin Wirsing, LMU Munich"
511:Publications of Martin Wirsing indexed by the
928:Ludwig Maximilian University of Munich alumni
836:"Scientific Advisory Board of IMDEA Software"
8:
629:"Three new vice presidents at LMU (German)"
918:Academic staff of the University of Passau
56:about living persons that is unsourced or
349:
127:Learn how and when to remove this message
231:and of the scientific committees of the
675:"Honorary doctorate for Martin Wirsing"
528:
241:Theoretical Computer Science (journal)
168:Ludwig-Maximilians-Universität München
152:Ludwig-Maximilians-Universität München
7:
787:Max Planck Institute of Psychiatry
631:. LMU Munich Aktuelles. 2010-07-27
383:(in German). Berlin / Heidelberg:
300:(1982). "Partial abstract types".
229:Max Planck Institute of Psychiatry
14:
214:His research interests comprise
23:
793:from the original on 2016-09-11
730:Springer Science+Business Media
701:Springer Science+Business Media
605:Software, Services, and Systems
579:Software, Services, and Systems
538:Software, Services, and Systems
198:where in 1984 he completed his
196:Technical University of Munich
1:
677:. LMU Munich News. 2016-07-21
565:Mathematics Genealogy Project
351:10.1016/0304-3975(86)90051-4
338:Theoretical Computer Science
34:biography of a living person
515:Bibliography Server at the
61:must be removed immediately
954:
908:German computer scientists
874:"Organizational structure"
142:(born 24 December 1948 in
255:Selected papers and books
16:German computer scientist
840:IMDEA Software Institute
380:Elementare Aussagenlogik
237:IMDEA Software Institute
211:, University of London.
371:Bauer, Friedrich Ludwig
150:, and Professor at the
888:"DBLP: Martin Wirsing"
816:University of Bordeaux
758:Institut Mines-Télécom
233:University of Bordeaux
225:Institut Mines-Télécom
48:Please help by adding
413:Iman Poernomo, John
216:software engineering
204:University of Passau
54:Contentious material
517:University of Trier
207:(Honoris Causa) by
314:10.1007/BF00625280
278:10.1007/BF02011871
188:mathematical logic
180:Université Paris 7
172:Université Paris 7
148:computer scientist
739:978-3-319-16309-3
710:978-3-642-20400-5
614:978-3-319-15545-6
588:978-3-319-15545-6
547:978-3-319-15545-6
507:978-3-319-15544-9
482:978-3-319-28933-5
470:978-3-319-16309-3
459:978-3-642-28871-5
447:978-3-642-20400-5
435:978-3-540-89436-0
423:978-0-387-23759-6
408:978-3-540-48737-1
137:
136:
129:
111:
37:needs additional
945:
892:
891:
884:
878:
877:
870:
864:
863:
856:
850:
849:
847:
846:
832:
826:
825:
823:
822:
808:
802:
801:
799:
798:
779:
773:
772:
770:
769:
760:. Archived from
750:
744:
743:
721:
715:
714:
692:
686:
685:
683:
682:
671:
665:
664:
662:
661:
646:
640:
639:
637:
636:
625:
619:
618:
599:
593:
592:
574:
568:
558:
552:
551:
533:
497:Home page at LMU
398:
355:
353:
325:
302:Acta Informatica
289:
182:. Supervised by
174:, obtaining the
162:Wirsing studied
132:
125:
121:
118:
112:
110:
76:"Martin Wirsing"
69:
50:reliable sources
27:
26:
19:
953:
952:
948:
947:
946:
944:
943:
942:
898:
897:
896:
895:
886:
885:
881:
872:
871:
867:
858:
857:
853:
844:
842:
834:
833:
829:
820:
818:
810:
809:
805:
796:
794:
781:
780:
776:
767:
765:
752:
751:
747:
740:
723:
722:
718:
711:
694:
693:
689:
680:
678:
673:
672:
668:
659:
657:
648:
647:
643:
634:
632:
627:
626:
622:
615:
601:
600:
596:
589:
576:
575:
571:
559:
555:
548:
535:
534:
530:
525:
491:
395:
385:Springer-Verlag
375:Wirsing, Martin
369:
330:Wirsing, Martin
328:
298:Wirsing, Martin
292:
262:Wirsing, Martin
260:
257:
160:
133:
122:
116:
113:
70:
68:
47:
28:
24:
17:
12:
11:
5:
951:
949:
941:
940:
935:
930:
925:
920:
915:
910:
900:
899:
894:
893:
879:
865:
851:
827:
803:
774:
745:
738:
716:
709:
687:
666:
641:
620:
613:
594:
587:
569:
561:Martin Wirsing
553:
546:
527:
526:
524:
521:
520:
519:
509:
498:
495:
490:
489:External links
487:
486:
485:
473:
462:
450:
438:
426:
411:
399:
393:
377:(March 1991).
367:
364:978-0444880741
356:
326:
290:
256:
253:
209:Royal Holloway
159:
156:
146:) is a German
140:Martin Wirsing
135:
134:
58:poorly sourced
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
950:
939:
936:
934:
933:Living people
931:
929:
926:
924:
921:
919:
916:
914:
911:
909:
906:
905:
903:
889:
883:
880:
875:
869:
866:
861:
855:
852:
841:
837:
831:
828:
817:
813:
807:
804:
792:
788:
784:
778:
775:
764:on 2016-09-11
763:
759:
755:
749:
746:
741:
735:
731:
727:
720:
717:
712:
706:
702:
698:
691:
688:
676:
670:
667:
656:on 2016-08-01
655:
651:
645:
642:
630:
624:
621:
616:
610:
606:
598:
595:
590:
584:
580:
573:
570:
566:
562:
557:
554:
549:
543:
539:
532:
529:
522:
518:
514:
510:
508:
504:
499:
496:
493:
492:
488:
483:
479:
474:
471:
467:
463:
460:
456:
451:
448:
444:
439:
436:
432:
427:
424:
420:
416:
412:
409:
405:
400:
396:
394:3-540-52974-8
390:
386:
382:
381:
376:
372:
368:
365:
361:
357:
352:
347:
343:
339:
335:
331:
327:
323:
319:
315:
311:
307:
303:
299:
295:
294:Broy, Manfred
291:
287:
283:
279:
275:
272:(1): 97–109.
271:
268:(in German).
267:
263:
259:
258:
254:
252:
250:
246:
242:
238:
234:
230:
226:
222:
217:
212:
210:
205:
201:
197:
193:
189:
185:
181:
177:
173:
170:(LMU) and at
169:
165:
157:
155:
153:
149:
145:
141:
131:
128:
120:
109:
106:
102:
99:
95:
92:
88:
85:
81:
78: –
77:
73:
72:Find sources:
66:
62:
59:
55:
51:
45:
44:
40:
35:
30:
21:
20:
882:
868:
854:
843:. Retrieved
830:
819:. Retrieved
806:
795:. Retrieved
777:
766:. Retrieved
762:the original
748:
725:
719:
696:
690:
679:. Retrieved
669:
658:. Retrieved
654:the original
644:
633:. Retrieved
623:
604:
597:
578:
572:
556:
537:
531:
379:
374:
341:
337:
329:
308:(1): 47–64.
305:
301:
297:
269:
265:
261:
213:
200:Habilitation
184:Kurt SchĂĽtte
161:
139:
138:
123:
114:
104:
97:
90:
83:
71:
60:
43:verification
36:
913:1948 births
344:: 123–249.
164:Mathematics
154:, Germany.
902:Categories
845:2016-08-16
821:2016-12-03
797:2018-09-10
768:2017-06-02
681:2016-08-01
660:2016-08-01
635:2018-09-07
523:References
192:F.L. Bauer
117:March 2017
87:newspapers
494:Home page
158:Biography
39:citations
791:Archived
415:Crossley
332:(1986).
322:11391201
286:46605535
144:Bayreuth
65:libelous
563:at the
101:scholar
736:
707:
611:
585:
544:
505:
480:
468:
457:
445:
433:
421:
406:
391:
362:
320:
284:
247:, and
176:Diplom
103:
96:
89:
82:
74:
318:S2CID
282:S2CID
221:INRIA
108:JSTOR
94:books
32:This
734:ISBN
705:ISBN
609:ISBN
583:ISBN
542:ISBN
513:DBLP
503:ISBN
478:ISBN
466:ISBN
455:ISBN
443:ISBN
431:ISBN
419:ISBN
404:ISBN
389:ISBN
360:ISBN
235:and
80:news
41:for
346:doi
310:doi
274:doi
194:at
166:at
904::
838:.
814:.
789:.
785:.
756:.
732:.
703:.
387:.
373:;
342:42
340:.
336:.
316:.
306:18
304:.
296:;
280:.
270:19
251:.
243:,
52:.
890:.
876:.
862:.
848:.
824:.
800:.
771:.
742:.
713:.
684:.
663:.
638:.
617:.
591:.
567:.
550:.
484:)
472:)
461:)
449:)
441:(
437:)
429:(
425:)
410:)
402:(
397:.
366:)
354:.
348::
324:.
312::
288:.
276::
130:)
124:(
119:)
115:(
105:·
98:·
91:·
84:·
67:.
46:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.