Ruedi Risler

Active 1997–1997

1
Papers
18
Citations
1
h-index
1
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Ruedi Risler1998: 1 citations2001: 1 citations2002: 1 citations2003: 1 citations2004: 1 citations2014: 1 citations1999–2000: no citations, so these years are not shown2005–2013: no citations, so these years are not shown
  • 1 year (1 citations) is not shown (dated before this author's first paper)

Citation sources

Countries

This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.

Fields

  • Computer Science100%

Topics

  • Formal Methods in Verification28.6%
  • Logic, programming, and type systems9.5%
  • Advanced Software Engineering Methodologies9.5%
  • Real-Time Systems Scheduling9.5%
  • Model-Driven Software Engineering Techniques9.5%
  • Semantic Web and Ontologies4.8%
  • Other28.6%

Frequent coauthors

All papers

Loading papers…