Elamur Research⌕
☰
home / 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.

 1work in our library 183citations of these works

 Works with our summary in our library (1)

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

  1. The Isabelle FrameworkLecture notes in computer scienceMakarius Wenzel, Lawrence C. Paulson, Tobias Nipkow2008 · 183 citations

 Top topics

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

Reasoning (1)

 Fields

Computer Science (1)

 Top authors

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

🧑‍🔬Lawrence C. Paulson1 work here · 183 citations🧑‍🔬Tobias Nipkow1 work here · 183 citations

 Top institutions

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

🎓University of CambridgeCambridge · United Kingdom1 work here🎓Technical University of MunichMunich · Germany1 work here

works and citations from OpenAlex and our library.

This page in Markdown → https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2008/