litlas
Log inCreate account

Peter Raulefs

Active 1974–2006

Affiliations
University of KaiserslauternUniversity of BonnFMC (United States)Intel (United States)Karlsruhe Institute of TechnologyKarlsruhe University of EducationKarlsruhe University of Applied SciencesThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
34
Papers
312
Citations
10
h-index
13
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Peter Raulefs1978: 2 citations1979: 3 citations1980: 7 citations1981: 23 citations1982: 16 citations1983: 9 citations1984: 7 citations1985: 8 citations1986: 7 citations1987: 8 citations1988: 6 citations1989: 7 citations1990: 4 citations1991: 5 citations1992: 11 citations1993: 3 citations1994: 3 citations1995: 2 citations1996: 2 citations1997: 2 citations1998: 5 citations1999: 2 citations2001: 1 citations2002: 3 citations2003: 1 citations2004: 2 citations2005: 1 citations2008: 1 citations2009: 1 citations2010: 2 citations2011: 2 citations2012: 1 citations2013: 1 citations2014: 1 citations2016: 2 citations2019: 1 citations2023: 2 citations2025: 1 citations2000: no citations, so this year is not shown2006–2007: no citations, so these years are not shown2015: no citations, so this year is not shown2017–2018: no citations, so these years are not shown2020–2022: no citations, so these years are not shown2024: no citations, so this year is not shown

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.

Institutions

Fields

  • Computer Science84.1%
  • Engineering10.6%
  • Business, Management and Accounting2%
  • Agricultural and Biological Sciences0.7%
  • Arts and Humanities0.7%
  • Decision Sciences0.7%
  • Other1.3%

Topics

  • Logic, programming, and type systems22.5%
  • Formal Methods in Verification13.1%
  • Logic, Reasoning, and Knowledge11.6%
  • AI-based Problem Solving and Planning11.2%
  • Semantic Web and Ontologies6%
  • semigroups and automata theory4.9%
  • Other30.7%

Frequent coauthors

All papers

Open in search

Loading papers…

Peter Raulefs | Litlas