Christoph Haase
-
- Formal Methods in Verification 14
- semigroups and automata theory 9
- Petri Nets in System Modeling 3
- Language and Linguistics top 10%
- Language, Discourse, Communication Strategies 2
-
- Logic, programming, and type systems 5
- Logic, Reasoning, and Knowledge 2
-
- Language, Metaphor, and Cognition 3
-
- DNA and Biological Computing 2
- Co-authors
- Josef SchmiedBertus van RooyPhilippe SchnoebelenSylvain SchmitzStefan KieferAlain FinkelSerge HaddadJames Worrell
- Journals
- Logical Methods in Computer Science (2 papers)World Englishes (1 paper)English World-Wide A Journal of Varieties of English (1 paper)
- Partner nations
- United KingdomFranceGermany
In The Last Decade
Christoph Haase
19 papers receiving 87 citations
Peers
Comparison fields: 5 of 38
- Computational Theory and Mathematics 51
- Linguistics and Language 14
- Language and Linguistics 24
- Computational Mathematics 1
- Artificial Intelligence 38
Countries citing papers authored by Christoph Haase
This map shows the geographic impact of Christoph Haase'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 Christoph Haase with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Christoph Haase more than expected).
Fields of papers citing papers by Christoph Haase
This network shows the impact of papers produced by Christoph Haase. 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 Christoph Haase. The network helps show where Christoph Haase may publish in the future.
Co-authorship network
The 15 scholars most cited alongside Christoph Haase, 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 | 2022 | 0 | |
| 2 | 2021 | 1 | |
| 3 | 2021 | 0 | |
| 4 | On the Size of Finite Rational Matrix Semigroups | 2020 | 1 |
| 5 | 2018 | 17 | |
| 6 | 2017 | 1 | |
| 7 | 2017 | 7 | |
| 8 | 2017 | 0 | |
| 9 | 2016 | 2 | |
| 10 | 2016 | 8 | |
| 11 | 2016 | 2 | |
| 12 | 2014 | 8 | |
| 13 | Integer Vector Addition Systems. | 2014 | 1 |
| 14 | 2014 | 0 | |
| 15 | MEDIATING BETWEEN THE ‘TWO CULTURES’ IN ACADEMIA: THE ROLE OF CONCEPTUAL METAPHOR | 2010 | 0 |
| 16 | 2010 | 19 | |
| 17 | Resultative vs. causative event framing: Description, modelling, problems | 2009 | 0 |
| 18 | Complexity and coherence - Outlining a mosaic | 2007 | 0 |
| 19 | Aspects of coherence in spoken discourse | 2007 | 6 |
| 20 | 2004 | 4 |
About Christoph Haase
Christoph Haase is a scholar working on Computational Theory and Mathematics, Language and Linguistics and Linguistics and Language, having authored 27 papers that have together received 96 indexed citations. Recurring topics across this work include Formal Methods in Verification (14 papers), semigroups and automata theory (9 papers), Logic, programming, and type systems (5 papers), Language, Metaphor, and Cognition (3 papers), Petri Nets in System Modeling (3 papers), DNA and Biological Computing (2 papers), Logic, Reasoning, and Knowledge (2 papers) and Language, Discourse, Communication Strategies (2 papers). The work is most often cited by research in Computational Theory and Mathematics (51 citations), Linguistics and Language (14 citations) and Language and Linguistics (24 citations). Christoph Haase has collaborated with scholars based in United Kingdom, France and Germany. Frequent co-authors include Josef Schmied, Bertus van Rooy, Philippe Schnoebelen, Sylvain Schmitz, Stefan Kiefer, Alain Finkel, Serge Haddad, James Worrell, Stefan Göller and Ranko Lazić. Their work appears in journals such as Logical Methods in Computer Science, World Englishes, English World-Wide A Journal of Varieties of English, Journal of the ACM and ACM Transactions on Computational Logic.
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.