Science Explorer Back to mapMap
Discussion
Researcher · ETH Zurich · Switzerland

David Basin

David Basin publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Formal Methods in Verification, Advanced Authentication Protocols Security and Logic, programming, and type systems.

ORCID 0000-0003-2952-939X OpenAlex
World rank
#78,372
of 7,710,434 ranked researchers
Rank in Switzerland
#1,661
of 80,918
Works
504
Citations
13k
Citations per work
26.1
h-index
51
i10-index 215Top 0.9% in Artificial Intelligence
David Basin

What does David Basin research?

David Basin's work is mostly in Computer Science (76%), Social Sciences (7%).

Physical Sciences: 382 works · 75.7% of their workComputer Science: 382 works · 75.7% of their workArtificial Intelligence: 160 works · 31.7% of their workComputer Networks and Communications: 86 works · 17.0% of their workInformation Systems: 60 works · 12.0% of their workComputational Theory and Mathematics: 60 works · 11.9% of their workSoftware: 16 works · 3.1% of their workEverything else: 89 works · 17.6% of their workSocial Sciences: 34 works · 6.7% of their workSocial Sciences: 34 works · 6.7% of their workSociology and Political Science: 34 works · 6.7% of their workTHEIR WORKDavid Basin504works
Physical Sciences76%Social Sciences7%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science38275.7%
  2. Everything else8917.6%
    1. Social Sciences346.7%
  1. 1Artificial Intelligence32% of their works
  2. 2Computer Networks and Communications17% of their works
  3. 3Information Systems12% of their works
  4. 4Computational Theory and Mathematics12% of their works
  5. 5Sociology and Political Science7% of their works
  6. 6Software3% of their works

Research topics

Which keywords describe David Basin's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Authentication, Biometrics, Security, Satisfiability Modulo Theories, Symbolic Model Checker and Key Exchange.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 21 words, with their numbers
  1. Model Checking2733 topics
  2. Temporal Logic1782 topics
  3. Authentication1712 topics
  4. Biometrics1712 topics
  5. Security1472 topics
  6. Satisfiability Modulo Theories1201 topic
  7. Symbolic Model Checker1201 topic
  8. Key Exchange971 topic
  9. Security Protocols971 topic
  10. Formal Verification951 topic
  11. Static Analysis951 topic
  12. Security Policies851 topic
  13. Side-Channel Attacks851 topic
  14. Passwords741 topic
  15. Usability741 topic
  16. Reputation731 topic
  17. Trust731 topic
  18. Answer Set Programming581 topic
  19. Modal Logic581 topic
  20. Homomorphic Encryption571 topic
  21. Identity-Based Encryption571 topic

Where does David Basin work?

David Basin's main affiliation in the publication record is ETH Zurich, Switzerland.

How many publications and citations does David Basin have?

OpenAlex counts 504 works and 13,134 citations for David Basin, an h-index of 51, ranking #78,372 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about David Basin. Posts are plain text and can be reported.