Hans Wössner
Impact in
- Software top 5%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 6
- Logic, Reasoning, and Knowledge 2
-
- Formal Methods in Verification 3
- Co-authors
- Friedrich L. Bauer (9 shared papers)H. Partsch (7 shared papers)Manfred Broy (6 shared papers)Peter Pepper (6 shared papers)Bernd Krieg-Brückner (4 shared papers)Rupert Gnatz (4 shared papers)Walter Dosch (3 shared papers)Rudolf Berghammer (2 shared papers)
- Journals
- Science of Computer Programming (1 paper)ACM SIGPLAN Notices (1 paper)Communications of the ACM (1 paper)Lecture notes in computer science (4 papers)Informatik-Fachberichte (1 paper)
In The Last Decade
Hans Wössner
12 papers receiving 335 citations
Peers
Comparison fields: 5 of 38
- Software 109
- Computational Theory and Mathematics 212
- Hardware and Architecture 76
- Artificial Intelligence 304
- Information Systems 78
Countries citing papers authored by Hans Wössner
This map shows the geographic impact of Hans Wössner's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hans Wössner with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hans Wössner more than expected).
Fields of papers citing papers by Hans Wössner
This network shows the impact of papers produced by Hans Wössner. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hans Wössner. The network helps show where Hans Wössner may publish in the future.
Co-authors
The 13 scholars most cited alongside Hans Wössner, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 1985 | 122 | |
| 2 | The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L | 1985 | 76 |
| 3 | 1978 | 42 | |
| 4 | 1981 | 32 | |
| 5 | 1984 | 29 | |
| 6 | 1981 | 27 | |
| 7 | 1972 | 22 | |
| 8 | 1979 | 20 | |
| 9 | 1979 | 6 | |
| 10 | 1982 | 6 | |
| 11 | Zuses "Plankalkül", ein Vorläufer der Programmiersprachen - gesehen vom Jahre 1972. | 1972 | 4 |
| 12 | 1979 | 3 |
About Hans Wössner
Hans Wössner is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Software, Information Systems and Hardware and Architecture, having authored 12 papers that have together received 389 indexed citations. Recurring topics across this work include Logic, programming, and type systems (6 papers), Formal Methods in Verification (3 papers), Model-Driven Software Engineering Techniques (2 papers), Teaching and Learning Programming (2 papers), Software Engineering Research (2 papers), Logic, Reasoning, and Knowledge (2 papers), History of Computing Technologies (2 papers) and Parallel Computing and Optimization Techniques (2 papers). The work is most often cited by research in Software (109 citations), Computational Theory and Mathematics (212 citations), Hardware and Architecture (76 citations), Artificial Intelligence (304 citations) and Information Systems (78 citations). Hans Wössner has collaborated with scholars based in Germany and Ireland. Frequent co-authors include Friedrich L. Bauer, H. Partsch, Manfred Broy, Peter Pepper, Bernd Krieg-Brückner, Rupert Gnatz, Walter Dosch, Rudolf Berghammer, Wolfgang Hesse and K. Samelson. Their work appears in journals such as Science of Computer Programming, ACM SIGPLAN Notices, Communications of the ACM, Lecture notes in computer science and Informatik-Fachberichte.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.