Martin Wirsing - Concepedia

Author

Martin Wirsing

Ludwig-Maximilians-Universität München ORCID

Also Known As

Andrade, L., BALSAMO, Maria Simonetta, Hutchison, David, ICTAC 2005 Hanoi, M. Boreale, M. Wirsing, MARTIN WIRSING, Martin WIRSING, Martin Wirsing, Mitchell, John

331

Publications

5.5K

Citations

H-Index

Concepts

All Affiliations

Ludwig-Maximilians-Universität München University of Passau Technical University of Munich Centre National de la Recherche Scientifique Technische Universität Berlin

About

Martin Wirsing is an author at Ludwig-Maximilians-Universität München specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	28	1.1K
2	Computer Science	15	19	820
3	Management	2	2	70
4	Data Science	2	2	164
5	Language Studies	1	1	37

Martin Wirsing

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Partial abstract types Manfred Broy, Martin Wirsing Acta Informatica Automated ReasoningPolymorphism (Computer Science)Type TheoryPartial Abstract TypesType System	1982	163
A Kernel Language for Algebraic Specification and Implementation. Donald Sannella, Martin Wirsing Annals of Telecommunications Specification LanguageFormal SpecificationEngineeringAutomated ReasoningAbstract Interpretation	1983	156
Structured algebraic specifications: A Kernel language Martin Wirsing Theoretical Computer Science Structured Algebraic SpecificationsSpecification LanguageFormal SpecificationEngineeringProgram Analysis	1986	138
On hierarchies of abstract data types Martin Wirsing, Peter Pepper, H. Partsch, Acta Informatica Abstract Data TypesEngineeringData TypeData ScienceAutomated Reasoning	1983	133
Behavioural and abstractor specifications Michel Bidoit, Rolf Hennicker, Martin Wirsing Science of Computer Programming Formal SpecificationEngineeringOperational SemanticsAbstractor SpecificationsAutomated Reasoning	1995	80
Software Engineering for Adaptive Hypermedia Applications Nora Koch, Martin Wirsing	2001	71
On the algebraic definition of programming languages Manfred Broy, Martin Wirsing, Peter Pepper ACM Transactions on Programming Languages and Systems Programming Language TheoryDeclarative ProgrammingEngineeringOperational SemanticsFirst-order Conditional Equations	1987	62
A systematic study of models of abstract data types Manfred Broy, Martin Wirsing, Claude Pair Theoretical Computer Science Abstract Data TypesEngineeringData TypeManagementData Integration	1984	47
Algebraic implementations preserve program correctness Manfred Broy, Bernhard Möller, Peter Pepper, Science of Computer Programming Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisAbstract Interpretation	1986	46
Rigorous engineering of collective adaptive systems: special section Rocco De Nicola, Stefan Jähnichen, Martin Wirsing International Journal on Software Tools for Technology Transfer Adaptive SystemsComplex Adaptive SystemEngineeringRigorous EngineeringDistributed Space Systems	2020	41

Page 1