D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 42 Citations 7,352 262 World Ranking 5270 National Ranking 241

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algebra

His primary areas of investigation include Programming language, Algebraic specification, Theoretical computer science, Software engineering and Algebra. His Programming language research includes elements of Simple and Existential quantification. The Algebraic specification study combines topics in areas such as Discrete mathematics, Axiom, Algebraic modeling language and Data structure.

Martin Wirsing regularly links together related areas like Program analysis in his Theoretical computer science studies. His work on Formal methods as part of general Software engineering study is frequently linked to End-user computing, therefore connecting diverse disciplines of science. His study looks at the relationship between Algebra and fields such as Abstract data type, as well as how they intersect with chemical problems.

His most cited work include:

  • Algebraic specification (524 citations)
  • Extraction of Structured Programs from Specification Proofs (316 citations)
  • Leveraging Applications of Formal Methods, Verification and Validation (205 citations)

What are the main themes of his work throughout his whole career to date?

Martin Wirsing mainly investigates Programming language, Theoretical computer science, Software engineering, Algebraic specification and Specification language. His study in Mathematical proof extends to Programming language with its themes. His Theoretical computer science research includes themes of Object-oriented programming, Rewriting, Correctness and Unified Modeling Language.

The Software engineering study which covers Software development that intersects with Class diagram. To a larger extent, Martin Wirsing studies Algebra with the aim of understanding Algebraic specification. The concepts of his Specification language study are interwoven with issues in Sublanguage and Programming language specification.

He most often published in these fields:

  • Programming language (38.20%)
  • Theoretical computer science (20.17%)
  • Software engineering (17.60%)

What were the highlights of his more recent work (between 2011-2021)?

  • Collective adaptive systems (3.43%)
  • Software engineering (17.60%)
  • Systems engineering (6.87%)

In recent papers he was focusing on the following fields of study:

Collective adaptive systems, Software engineering, Systems engineering, Distributed computing and Adaptation are his primary areas of study. Formal methods is closely connected to Software in his research, which is encompassed under the umbrella topic of Software engineering. His work deals with themes such as Field, Systems development life cycle and Adaptive system, which intersect with Systems engineering.

As a part of the same scientific study, Martin Wirsing usually deals with the Adaptation, concentrating on Software development process and frequently concerns with Component, Key, Real-time computing and Object-oriented programming. His Model checking study is related to the wider topic of Programming language. The study incorporates disciplines such as Reference modeling and Semantic domain in addition to Programming language.

Between 2011 and 2021, his most popular works were:

  • Software Engineering for Collective Autonomic Systems (53 citations)
  • Stable availability under denial of service attacks through formal patterns (39 citations)
  • A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase (27 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algebra
  • Artificial intelligence

Martin Wirsing spends much of his time researching Theoretical computer science, Systems engineering, Software engineering, Adaptation and Rewriting. His work carried out in the field of Theoretical computer science brings together such families of science as Correctness and State. His Systems engineering course of study focuses on Adaptive system and Semantics.

Semantics is the subject of his research, which falls under Programming language. His studies in Software engineering integrate themes in fields like Robot and Software. His work deals with themes such as Systems development life cycle and Software development process, which intersect with Adaptation.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Algebraic specification

Martin Wirsing.
Handbook of theoretical computer science (vol. B) (1991)

809 Citations

Extraction of Structured Programs from Specification Proofs

John N. Crossley;Iman Poernomo;Martin Wirsing.
workshop on recent trends in algebraic development techniques (1999)

488 Citations

Extraction of Structured Programs from Specification Proofs

John N. Crossley;Iman Poernomo;Martin Wirsing.
workshop on recent trends in algebraic development techniques (1999)

326 Citations

Leveraging Applications of Formal Methods, Verification and Validation

Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti.
Springer-Verlag GmbH (2008)

312 Citations

A Kernel Language for Algebraic Specification and Implementation - Extended Abstract

Donald Sannella;Martin Wirsing.
fundamentals of computation theory (1983)

271 Citations

Partial abstract types

Manfred Broy;Martin Wirsing.
Acta Informatica (1982)

259 Citations

CHAPTER 13 – Algebraic Specification

Martin Wirsing.
Formal Models and Semantics (1990)

247 Citations

Structured algebraic specifications: A kernel language

M Wirsing.
Theoretical Computer Science (1986)

240 Citations

The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L

F L Bauer;R Berghammer;M Broy;W Dosch.
(1985)

237 Citations

A Kernel Language for Algebraic Specification and Implementation.

Donald Sannella;Martin Wirsing.
Annales Des Télécommunications (1983)

236 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Martin Wirsing

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 74

Andrzej Tarlecki

Andrzej Tarlecki

University of Warsaw

Publications: 51

Jan A. Bergstra

Jan A. Bergstra

University of Amsterdam

Publications: 51

Manfred Broy

Manfred Broy

Technical University of Munich

Publications: 45

Hartmut Ehrig

Hartmut Ehrig

Technical University of Berlin

Publications: 35

José Luiz Fiadeiro

José Luiz Fiadeiro

University of Dundee

Publications: 29

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 27

Carolyn L. Talcott

Carolyn L. Talcott

SRI International

Publications: 26

Bernhard Steffen

Bernhard Steffen

TU Dortmund University

Publications: 22

Rocco De Nicola

Rocco De Nicola

IMT Institute for Advanced Studies Lucca

Publications: 20

Martin Gogolla

Martin Gogolla

University of Bremen

Publications: 20

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 20

Frank S. de Boer

Frank S. de Boer

Centrum Wiskunde & Informatica

Publications: 19

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 16

Nora Koch

Nora Koch

Ludwig-Maximilians-Universität München

Publications: 15

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 15

Trending Scientists

Sławomir Zadrożny

Sławomir Zadrożny

Systems Research Institute

Dejan Kostic

Dejan Kostic

KTH Royal Institute of Technology

Weiming Zhang

Weiming Zhang

Nanjing University

David F. O'Brien

David F. O'Brien

University of Arizona

Roger A. C. Jones

Roger A. C. Jones

University of Western Australia

Satoshi Fukumoto

Satoshi Fukumoto

Tohoku University

Brian Herman

Brian Herman

The University of Texas Health Science Center at San Antonio

Peter I. Miller

Peter I. Miller

Plymouth Marine Laboratory

Rosalyn J. Moran

Rosalyn J. Moran

King's College London

Andrew G. Farr

Andrew G. Farr

University of Washington

Catherine T. Best

Catherine T. Best

Haskins Laboratories

Olalekan A. Uthman

Olalekan A. Uthman

University of Warwick

Christopher G. Wood

Christopher G. Wood

The University of Texas MD Anderson Cancer Center

Robert A. Fisher

Robert A. Fisher

Beth Israel Deaconess Medical Center

Carme Borrell

Carme Borrell

Pompeu Fabra University

David N. Schramm

David N. Schramm

University of Chicago

Something went wrong. Please try again later.