H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 40 Citations 6,254 167 World Ranking 4551 National Ranking 208

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.

Top Publications

Algebraic specification

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

821 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

Leveraging Applications of Formal Methods, Verification and Validation

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

309 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)

253 Citations

Formal Syntax and Semantics of Java

Pietro Cenciarelli;Alexander Knapp;Bernhard Reus;Martin Wirsing.
(1999)

252 Citations

CHAPTER 13 – Algebraic Specification

Martin Wirsing.
Formal Models and Semantics (1990)

249 Citations

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

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

241 Citations

Structured algebraic specifications: A kernel language

M Wirsing.
Theoretical Computer Science (1986)

238 Citations

A Kernel Language for Algebraic Specification and Implementation.

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

237 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top 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

Royal Holloway University of London

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

Martin Gogolla

Martin Gogolla

University of Bremen

Publications: 20

Rocco De Nicola

Rocco De Nicola

IMT Institute for Advanced Studies Lucca

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

Something went wrong. Please try again later.