---
title: "Lecture notes in computer science 2008 — papers"
description: "Lecture notes in computer science 2008 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by citations."
canonical: "https://research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2008/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2008/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/) / 2008

# Lecture notes in computer science 2008 — papers

The works of Lecture notes in computer science published in 2008 that our library holds (publisher: Springer Science+Business Media): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**1** work in our library](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2008/#works) · [**183** citations of these works](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2008/#works)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[The Isabelle Framework](https://md.research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow*2008 · 183 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/)

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Lawrence C. Paulson**1 work here · 183 citations](https://md.research.elamur.ai/free/en/authors/lawrence-c-paulson/) · [🧑‍🔬**Tobias Nipkow**1 work here · 183 citations](https://md.research.elamur.ai/free/en/authors/tobias-nipkow/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🎓**University of Cambridge** Cambridge · United Kingdom 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-cambridge/) · [🎓**Technical University of Munich** Munich · Germany 1 work here](https://md.research.elamur.ai/free/en/universities/technical-university-of-munich/)

works and citations from OpenAlex and our library.

- [← previous Lecture notes in computer science 2006](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2006/)
- [next → Lecture notes in computer science 2011](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2011/)
- [↑ back to Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)