| Property |
Value |
| dbo:abstract
|
- 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. (fr)
- 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. (fr)
|
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11281 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1978 (xsd:integer)
- 1984 (xsd:integer)
- 1986 (xsd:integer)
- 1990 (xsd:integer)
- 1991 (xsd:integer)
- 1999 (xsd:integer)
- 2005 (xsd:integer)
- 2008 (xsd:integer)
- 2011 (xsd:integer)
- 2012 (xsd:integer)
- 2013 (xsd:integer)
- 2015 (xsd:integer)
- 2016 (xsd:integer)
|
| prop-fr:auteur
|
- dbpedia-fr:Claude_Pair
- Manfred Broy (fr)
- Friedrich L. Bauer (fr)
- Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl et Axel Rauschmayer (fr)
- Alexander Knapp (fr)
- Allaithy Raed (fr)
- Bernhard Reus (fr)
- Iman Poernomo (fr)
- John N. Crossley (fr)
- Jonas Eckhardt (fr)
- José Meseguer (fr)
- Lenz Belzner (fr)
- Martin Wirsing (fr)
- Martin Wirsing, Matthias Hölzl (fr)
- Matthias Hölzl (fr)
- Musab AlTurki (fr)
- Pietro Cenciarelli (fr)
- Rocco De Nicola (fr)
- Rolf Hennicker (fr)
- Tobias Mühlbauer (fr)
- Martin Wirsing, Matthias Hölzl, Nora Koch et Philip Mayer (fr)
|
| prop-fr:auteurOuvrage
|
- J. van Leeuwen (fr)
- Christiano Braga, Peter Csaba Ölveczky (fr)
- Jim Alves-Foss (fr)
- Juan de Lara, Andrea Zisman (fr)
- J. van Leeuwen (fr)
- Christiano Braga, Peter Csaba Ölveczky (fr)
- Jim Alves-Foss (fr)
- Juan de Lara, Andrea Zisman (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science Series (fr)
- Lecture Notes in Computer Science Series (fr)
|
| prop-fr:doi
| |
| prop-fr:id
| |
| prop-fr:isbn
|
- 978 (xsd:integer)
- 3540529748 (xsd:decimal)
|
| prop-fr:journal
|
- Theoretical Computer Science (fr)
- Archiv für mathematische Logik und Grundlagenforschung (fr)
- Theoretical Computer Science (fr)
- Archiv für mathematische Logik und Grundlagenforschung (fr)
|
| prop-fr:langue
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
| prop-fr:lieu
|
- Dordrecht (fr)
- New York (fr)
- Dordrecht (fr)
- New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:numéro
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
|
- 1 (xsd:integer)
- 78 (xsd:integer)
- 97 (xsd:integer)
- 123 (xsd:integer)
- 139 (xsd:integer)
- 157 (xsd:integer)
- 675 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 228 (xsd:integer)
- 265 (xsd:integer)
- 420 (xsd:integer)
- 533 (xsd:integer)
- 737 (xsd:integer)
- x+252 (fr)
- xiv+694 (fr)
|
| prop-fr:responsabilité
|
- éditeurs (fr)
- éditeurs (fr)
|
| prop-fr:sousTitre
|
- Challenges and Visions (fr)
- Results of the ASCENS Project (fr)
- The Curry--Howard Protocol (fr)
- Eine Einführung in die Software-Entwicklung mit Java. (fr)
- Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (fr)
- Challenges and Visions (fr)
- Results of the ASCENS Project (fr)
- The Curry--Howard Protocol (fr)
- Eine Einführung in die Software-Entwicklung mit Java. (fr)
- Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (fr)
|
| prop-fr:titre
|
- Handbook of Theoretical Computer Science (fr)
- A Systematic Study of Models of Abstract Data Types (fr)
- Elementare Aussagenlogik (fr)
- Software-Intensive Systems and New Computing Paradigms (fr)
- Adapting Proofs-as-Programs (fr)
- Formal Syntax and Semantics of Java (fr)
- Java kompakt (fr)
- Software, Services, and Systems (fr)
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen (fr)
- Software Engineering for Collective Autonomic Systems (fr)
- Structured algebraic specifications: A kernel language (fr)
- Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (fr)
- Handbook of Theoretical Computer Science (fr)
- A Systematic Study of Models of Abstract Data Types (fr)
- Elementare Aussagenlogik (fr)
- Software-Intensive Systems and New Computing Paradigms (fr)
- Adapting Proofs-as-Programs (fr)
- Formal Syntax and Semantics of Java (fr)
- Java kompakt (fr)
- Software, Services, and Systems (fr)
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen (fr)
- Software Engineering for Collective Autonomic Systems (fr)
- Structured algebraic specifications: A kernel language (fr)
- Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (fr)
|
| prop-fr:titreChapitre
|
- OnPlan: A Framework for Simulation-Based Online Planning (fr)
- Algebraic Specification (fr)
- An Event-Based Structural Operational Semantics of Multi-Threaded Java (fr)
- Stable Availability under Denial of Service Attacks through Formal Patterns (fr)
- OnPlan: A Framework for Simulation-Based Online Planning (fr)
- Algebraic Specification (fr)
- An Event-Based Structural Operational Semantics of Multi-Threaded Java (fr)
- Stable Availability under Denial of Service Attacks through Formal Patterns (fr)
|
| prop-fr:titreOuvrage
|
- Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012 (fr)
- Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (fr)
- Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012 (fr)
- Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (fr)
|
| prop-fr:volume
|
- 19 (xsd:integer)
- 33 (xsd:integer)
- 43 (xsd:integer)
- 1523 (xsd:integer)
- 5380 (xsd:integer)
- 6582 (xsd:integer)
- 7212 (xsd:integer)
- 8998 (xsd:integer)
- 9539 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Springer International Publishing (fr)
- Amsterdam: North-Holland (fr)
- Monographs in Computer Science, Berlin: Springer (fr)
- Lecture Notes in Computer Science, Berlin: Springer (fr)
- Lecture Notes in Computer Science, Berlin: Springer (fr)
- Springer (fr)
- Springer International Publishing (fr)
- Amsterdam: North-Holland (fr)
- Monographs in Computer Science, Berlin: Springer (fr)
- Lecture Notes in Computer Science, Berlin: Springer (fr)
- Lecture Notes in Computer Science, Berlin: Springer (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 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. (fr)
- 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. (fr)
|
| rdfs:label
|
- Martin Wirsing (fr)
- Martin Wirsing (en)
- Martin Wirsing (Informatiker) (de)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:editor
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:auteur
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
