Dan Hirsch

403 citations
17 papers · 324 · h-index 10

Impact in

  • Software top 5%
    • Model-Driven Software Engineering Techniques
    • Advanced Software Engineering Methodologies
    • Logic, programming, and type systems
    • Logic, Reasoning, and Knowledge

Papers in

    • Model-Driven Software Engineering Techniques 11
    • Advanced Software Engineering Methodologies 9
    • Logic, programming, and type systems 4
    • Logic, Reasoning, and Knowledge 3

Dan Hirsch

17 papers receiving 301 citations

Peers

Dan Hirsch
Comparison fields: 5 of 15
  • Software 125
  • Artificial Intelligence 238
  • Computational Theory and Mathematics 43
  • Information Systems 41
  • Hardware and Architecture 6
Replace Chang Hwan Peter Kim with:
Chang Hwan Peter Kim United States
David Kitchin United States
Sebastian Fischer Germany
Mark Seigle United States
Quoc-Sang Phan United States
Frank Huch Germany
Aaron Tomb United States
Jürgen Dingel Canada
Jeremy W. Nimmer United States
Sam Blackshear United States
Dan Hirsch relative to Chang Hwan Peter Kim United States Chang Hwan Peter Kim's profile →
Citations per field
00.5×1.7×
Chang Hwan Peter Kim · 1×
Citations per year

Countries citing papers authored by Dan Hirsch

Since Specialization
Citations

This map shows the geographic impact of Dan Hirsch'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 Dan Hirsch with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dan Hirsch more than expected).

Fields of papers citing papers by Dan Hirsch

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Dan Hirsch. 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 Dan Hirsch. The network helps show where Dan Hirsch may publish in the future.

Co-authors

The 16 scholars most cited alongside Dan Hirsch, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Dan Hirsch Line = papers co-authored together Dan Hirsch links everyone, so they are left out of the graph.

All Works

17 of 17 papers shown
#Work
1 200662
2 199852
3 199942
4 200633
5 200028
6 200827
7 200518
8 200014
9 199912
10 200412
11 20069
12 20028
13 20043
14
Modal logic as a software engineering tool
19971
15 19981
16 20021
17 20041

About Dan Hirsch

Dan Hirsch is a scholar working on Software, Artificial Intelligence, Computational Theory and Mathematics, Information Systems and Nuclear Energy and Engineering, having authored 17 papers that have together received 324 indexed citations. Recurring topics across this work include Model-Driven Software Engineering Techniques (11 papers), Advanced Software Engineering Methodologies (9 papers), Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers), Service-Oriented Architecture and Web Services (3 papers) and Logic, Reasoning, and Knowledge (3 papers). The work is most often cited by research in Software (125 citations), Artificial Intelligence (238 citations), Computational Theory and Mathematics (43 citations), Information Systems (41 citations) and Hardware and Architecture (6 citations). Dan Hirsch has collaborated with scholars based in Italy, Argentina and United Kingdom. Frequent co-authors include Ugo Montanari, Paola Inverardi, Sebastián Uchitel, Emilio Tuosto, Jeff Magee, Jeffrey Kramer, Alberto Lluch Lafuente, Gian-Luigi Ferrari, Ivan Lanese B and Stefania Gnesi. Their work appears in journals such as Electronic Notes in Theoretical Computer Science, Lecture notes in computer science, IFIP advances in information and communication technology, UvA-DARE (University of Amsterdam) and HAL (Le Centre pour la Communication Scientifique Directe).

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.

Explore authors with similar magnitude of impact