| Birthplace
|
http://fr.dbpedia.org/resource/Bayreuth +
|
| http://dbpedia.org/ontology/abstract
|
Martin Wirsing (né le 24 décembre 1948 à B … Martin Wirsing (né le 24 décembre 1948 à Bayreuth en Allemagne) est un informaticien allemand et professeur à l'Université Louis-et-Maximilien de Munich (Ludwig-Maximilians-Universität München, abrégé en LMU) en Allemagne. Depuis 2010, il est vice-président de la LMU.uis 2010, il est vice-président de la LMU.
|
| http://dbpedia.org/ontology/almaMater
|
http://fr.dbpedia.org/resource/Universit%C3%A9_Louis-et-Maximilien_de_Munich +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Paris-Diderot +
|
| http://dbpedia.org/ontology/birthDate
|
"1948-12-24"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://fr.dbpedia.org/resource/Kurt_Sch%C3%BCtte +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://www.wikidata.org/entity/Q102578197 +
, http://www.wikidata.org/entity/Q102578210 +
, http://www.wikidata.org/entity/Q102578172 +
, http://www.wikidata.org/entity/Q102578185 +
, http://www.wikidata.org/entity/Q102578346 +
, http://www.wikidata.org/entity/Q102578373 +
, http://www.wikidata.org/entity/Q102578312 +
, http://www.wikidata.org/entity/Q102578327 +
, http://www.wikidata.org/entity/Q102578294 +
, http://www.wikidata.org/entity/Q102578301 +
, http://www.wikidata.org/entity/Q102578219 +
, http://www.wikidata.org/entity/Q102578228 +
, http://www.wikidata.org/entity/Q102578552 +
, http://www.wikidata.org/entity/Q102578570 +
, http://www.wikidata.org/entity/Q102578516 +
, http://www.wikidata.org/entity/Q102344041 +
, http://www.wikidata.org/entity/Q102578535 +
, http://www.wikidata.org/entity/Q102578477 +
, http://www.wikidata.org/entity/Q102578495 +
, http://www.wikidata.org/entity/Q102578460 +
, http://www.wikidata.org/entity/Q102578622 +
, http://www.wikidata.org/entity/Q102371966 +
, http://www.wikidata.org/entity/Q102373027 +
, http://www.wikidata.org/entity/Q102291499 +
, http://www.wikidata.org/entity/Q102374859 +
, http://www.wikidata.org/entity/Q102257291 +
, http://www.wikidata.org/entity/Q102273293 +
, http://www.wikidata.org/entity/Q102466517 +
, http://www.wikidata.org/entity/Q102388357 +
, http://www.wikidata.org/entity/Q102671960 +
, http://www.wikidata.org/entity/Q102671983 +
, http://www.wikidata.org/entity/Q102671906 +
, http://www.wikidata.org/entity/Q102671928 +
, http://www.wikidata.org/entity/Q102671888 +
, http://www.wikidata.org/entity/Q102672030 +
, http://www.wikidata.org/entity/Q102672081 +
, http://www.wikidata.org/entity/Q102671996 +
, http://www.wikidata.org/entity/Q102672020 +
, http://www.wikidata.org/entity/Q102389822 +
, http://www.wikidata.org/entity/Q102342983 +
, http://www.wikidata.org/entity/Q102181155 +
, http://www.wikidata.org/entity/Q102181147 +
, http://www.wikidata.org/entity/Q102343294 +
|
| http://dbpedia.org/ontology/employer
|
http://fr.dbpedia.org/resource/Universit%C3%A9_Louis-et-Maximilien_de_Munich +
|
| http://dbpedia.org/ontology/occupation
|
http://www.wikidata.org/entity/Q1622272 +
, http://fr.dbpedia.org/resource/Informaticien +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books%3Fid=Oqj-Z-lTmboC&printsec=frontcover +
, https://books.google.com/books%3Fid=zmU3gHnlJl8C&printsec=frontcover +
, http://www.pst.ifi.lmu.de/people/staff/wirsing +
, http://dblp.uni-trier.de/pers/hd/w/Wirsing:Martin +
, https://books.google.com/books%3Fid=nK0kBAAAQBAJ&printsec=frontcover +
, https://books.google.com/books%3Fid=wQMx2B3m8usC&printsec=frontcover +
|
| http://dbpedia.org/ontology/wikiPageID
|
10279156
|
| http://dbpedia.org/ontology/wikiPageLength
|
11281
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
189017207
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_%C3%A0_Bayreuth +
, http://fr.dbpedia.org/resource/Allemagne +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Informaticien_allemand +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_de_Passau +
, http://fr.dbpedia.org/resource/Universit%C3%A9_de_Bordeaux +
, http://fr.dbpedia.org/resource/Math%C3%A9matiques +
, http://fr.dbpedia.org/resource/Informaticien +
, http://fr.dbpedia.org/resource/G%C3%A9nie_logiciel +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_d%C3%A9cembre_1948 +
, http://fr.dbpedia.org/resource/Habilitation_universitaire +
, http://fr.dbpedia.org/resource/Institut_national_de_recherche_en_informatique_et_en_automatique +
, http://fr.dbpedia.org/resource/Universit%C3%A9_technique_de_Munich +
, http://fr.dbpedia.org/resource/Theoretical_Computer_Science +
, http://fr.dbpedia.org/resource/Institut_Mines-T%C3%A9l%C3%A9com +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Louis-et-Maximilien_de_Munich +
, http://fr.dbpedia.org/resource/Kurt_Sch%C3%BCtte +
, http://fr.dbpedia.org/resource/Informatique +
, http://fr.dbpedia.org/resource/Professeur_%28titre%29 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Digital_Bibliography_&_Library_Project +
, http://fr.dbpedia.org/resource/Universit%C3%A9_de_Londres +
, http://fr.dbpedia.org/resource/Claude_Pair +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_Louis-et-Maximilien_de_Munich +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles +
, http://fr.dbpedia.org/resource/Doctorat +
, http://fr.dbpedia.org/resource/Bayreuth +
, http://fr.dbpedia.org/resource/Doctorat_honoris_causa +
, http://fr.dbpedia.org/resource/Friedrich_L._Bauer +
, http://fr.dbpedia.org/resource/Royal_Holloway_%28universit%C3%A9_de_Londres%29 +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Paris-Diderot +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89tudiant_de_l%27universit%C3%A9_Paris-VII +
, http://fr.dbpedia.org/resource/Programmation_informatique +
, http://fr.dbpedia.org/resource/Electronic_Proceedings_in_Theoretical_Computer_Science +
, http://fr.dbpedia.org/resource/M%C3%A9thode_formelle_%28informatique%29 +
, http://fr.dbpedia.org/resource/Universit%C3%A9_de_Passau +
|
| http://fr.dbpedia.org/property/année
|
2016
, 1999
, 1990
, 1991
, 1986
, 1984
, 2015
, 2012
, 2013
, 2011
, 2008
, 2005
, 1978
|
| http://fr.dbpedia.org/property/auteur
|
http://fr.dbpedia.org/resource/Claude_Pair +
, Iman Poernomo
, Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl et Axel Rauschmayer
, Musab AlTurki
, Lenz Belzner
, Allaithy Raed
, Manfred Broy
, José Meseguer
, Matthias Hölzl
, Friedrich L. Bauer
, Rocco De Nicola
, Martin Wirsing, Matthias Hölzl
, Bernhard Reus
, Martin Wirsing, Matthias Hölzl, Nora Koch et Philip Mayer
, Jonas Eckhardt
, Pietro Cenciarelli
, Tobias Mühlbauer
, Martin Wirsing
, John N. Crossley
, Alexander Knapp
, Rolf Hennicker
|
| http://fr.dbpedia.org/property/auteurOuvrage
|
Juan de Lara, Andrea Zisman
, Christiano Braga, Peter Csaba Ölveczky
, Jim Alves-Foss
, J. van Leeuwen
|
| http://fr.dbpedia.org/property/collection
|
Lecture Notes in Computer Science Series
|
| http://fr.dbpedia.org/property/doi
|
10.1007
|
| http://fr.dbpedia.org/property/id
|
SSS
|
| http://fr.dbpedia.org/property/isbn
|
978
, 3540529748
|
| http://fr.dbpedia.org/property/journal
|
Archiv für mathematische Logik und Grundlagenforschung
, Theoretical Computer Science
|
| http://fr.dbpedia.org/property/langue
|
en
, de
|
| http://fr.dbpedia.org/property/lieu
|
New York
, Dordrecht
|
| http://fr.dbpedia.org/property/lireEnLigne
|
https://books.google.com/books%3Fid=wQMx2B3m8usC&printsec=frontcover +
, https://books.google.com/books%3Fid=Oqj-Z-lTmboC&printsec=frontcover +
, https://books.google.com/books%3Fid=nK0kBAAAQBAJ&printsec=frontcover +
, https://books.google.com/books%3Fid=zmU3gHnlJl8C&printsec=frontcover +
|
| http://fr.dbpedia.org/property/numéro
|
1
|
| http://fr.dbpedia.org/property/numéroDansCollection
|
8950
|
| http://fr.dbpedia.org/property/pages
|
675
, 157
, 139
, 78
, 123
, 97
, 1
|
| http://fr.dbpedia.org/property/pagesTotales
|
xiv+694
, 228
, x+252
, 420
, 533
, 265
, 737
|
| http://fr.dbpedia.org/property/responsabilité
|
éditeurs
|
| http://fr.dbpedia.org/property/sousTitre
|
Results of the ASCENS Project
, Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
, Challenges and Visions
, The Curry--Howard Protocol
, Eine Einführung in die Software-Entwicklung mit Java.
|
| http://fr.dbpedia.org/property/titre
|
Software, Services, and Systems
, Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
, Software Engineering for Collective Autonomic Systems
, Adapting Proofs-as-Programs
, Structured algebraic specifications: A kernel language
, Handbook of Theoretical Computer Science
, Java kompakt
, Formal Syntax and Semantics of Java
, A Systematic Study of Models of Abstract Data Types
, Software-Intensive Systems and New Computing Paradigms
, Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
, Elementare Aussagenlogik
|
| http://fr.dbpedia.org/property/titreChapitre
|
Stable Availability under Denial of Service Attacks through Formal Patterns
, Algebraic Specification
, An Event-Based Structural Operational Semantics of Multi-Threaded Java
, OnPlan: A Framework for Simulation-Based Online Planning
|
| http://fr.dbpedia.org/property/titreOuvrage
|
Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012
, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
|
| http://fr.dbpedia.org/property/volume
|
8998
, 19
, 6582
, 9539
, 7212
, 5380
, 1523
, 43
, 33
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Ouvrage +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_biographie2 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Date +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Chapitre +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Autorit%C3%A9 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Article +
|
| http://fr.dbpedia.org/property/éditeur
|
Monographs in Computer Science, Berlin: Springer
, Springer
, Lecture Notes in Computer Science, Berlin: Springer
, Lecture Notes in Computer Science, Berlin: Springer
, Springer International Publishing
, Amsterdam: North-Holland
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_Louis-et-Maximilien_de_Munich +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89tudiant_de_l%27universit%C3%A9_Paris-VII +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Informaticien_allemand +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_de_Passau +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_d%C3%A9cembre_1948 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_%C3%A0_Bayreuth +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Martin_Wirsing?oldid=189017207&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Martin_Wirsing +
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Martin_Wirsing +
, http://viaf.org/viaf/76878652 +
, http://ar.dbpedia.org/resource/%D9%85%D8%A7%D8%B1%D8%AA%D9%86_%D9%88%D9%88%D8%B1%D8%B3%D9%8A%D9%86%D8%BA +
, https://id.loc.gov/authorities/names/n85281290 +
, https://d-nb.info/gnd/14353582X +
, http://de.dbpedia.org/resource/Martin_Wirsing_%28Informatiker%29 +
, http://www.wikidata.org/entity/Q25337169 +
, https://data.bibliotheken.nl/doc/thes/p074597124 +
, https://dblp.org/pid/w/MartinWirsing +
, http://dbpedia.org/resource/Martin_Wirsing +
, http://g.co/kg/g/11c0pz4dp_ +
|
| rdf:type |
http://schema.org/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q19088 +
|
| rdfs:comment |
Martin Wirsing (né le 24 décembre 1948 à B … Martin Wirsing (né le 24 décembre 1948 à Bayreuth en Allemagne) est un informaticien allemand et professeur à l'Université Louis-et-Maximilien de Munich (Ludwig-Maximilians-Universität München, abrégé en LMU) en Allemagne. Depuis 2010, il est vice-président de la LMU.uis 2010, il est vice-président de la LMU.
|
| rdfs:label |
Martin Wirsing
, Martin Wirsing (Informatiker)
|
| rdfs:seeAlso |
http://isni.org/isni/0000_0001_1676_2681 +
, https://zbmath.org/authors/?q=ai:wirsing.martin +
, http://genealogy.math.ndsu.nodak.edu/id.php?id=21918 +
, http://aut.nkp.cz/xx0040018 +
|
