Springer-LNCS-LaTeX-Vorlage (llncs)

Die offizielle Springer-LNCS-Vorlage ist die Klasse llncs, von CTAN oder aus den Richtlinien von Springer für Tagungsbände. Scissor LaTeX hat eine kostenlose Nachbildung für Entwürfe im Browser, ohne Konto: Beginnen Sie mit der LNCS-Vorlage oder schreiben Sie \documentclass[runningheads]{llncs}, für eine Spalte mit nummerierten Instituten und den Satzumgebungen der Klasse. Dieselbe .tex lässt sich mit der offiziellen Klasse übersetzen.

Vorlage LNCS im Editor öffnen Kostenlos, im Browser, ohne Konto

Die Vorlage

Die LNCS-Vorlage ist ein Paper zu formalen Methoden über Bounded Model Checking, mit drei Autoren an zwei Instituten, Schlagwörtern, einer Definition, einem Satz mit Beweis, einem Diagramm auf logarithmischer Skala, einer booktabs-Tabelle, einem credits-Abschnitt und nummerierter Literatur. Öffnen Sie die LNCS-Vorlage im Editor, um sie ganz zu sehen.

Einschalten

llncs ist eine Dokumentklasse:

\documentclass[runningheads]{llncs}

Das Layout ist der LNCS-Satzspiegel (12.2 mal 19.3 cm, einspaltig), zentriert auf Letter-Papier oder mit der Option a4paper auf A4, gesetzt in Latin Modern in 10 pt. runningheads fügt auf den Seiten nach der ersten oben Kurztitel und Autorenliste mit der Seitenzahl hinzu; ohne die Option haben die Seiten keinen Kolumnentitel.

Autoren mit Instituten, ORCID, Schlagwörter und ein Satz

LaTeXKopierenIm Editor öffnen (öffnet in einem neuen Tab)

\documentclass[runningheads]{llncs}
\usepackage{amsmath}

\begin{document}
\title{Bounded Model Checking of Timed Message Protocols}
\titlerunning{Bounded Model Checking of Timed Protocols}
\author{Erika Mustermann\inst{1}\orcidID{0000-0000-0000-0044} \and
John Doe\inst{2}}
\authorrunning{E. Mustermann and J. Doe}
\institute{Example University, Musterstadt, Germany\\
\email{erika.mustermann@example.org} \and
Institute of Example Studies, Exampleton, USA}
\maketitle

\begin{abstract}
We encode timed protocols as SMT problems and check them up to a bound.
\keywords{Model checking \and Timed automata \and SMT.}
\end{abstract}

\section{Introduction}
\begin{definition}
A run of a protocol is a finite sequence of states $s_0, \dots, s_k$.
\end{definition}

\begin{theorem}\label{thm:bound}
Every run of a protocol with 44 nodes reaches a fixed point within $2n$ steps.
\end{theorem}

\begin{proof}
By induction on the number of pending messages. \qed
\end{proof}

Theorem~\ref{thm:bound} gives the bound we use.
\end{document}

Tab „Probleme“: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Befehle der Klasse

Überschriften folgen der Klasse: „1 Introduction“ und „1.1“ fett, wobei \subsubsection als kleine fette Überschrift in einer eigenen Zeile gesetzt wird (die Klasse lässt sie in den Absatz übergehen). Abbildungs- und Tabellenbeschriftungen lauten „Fig. 1.“ und „Table 1.“.

Literaturverzeichnis

Die Vorlage verwendet \bibliographystyle{splncs04}, das Scissor LaTeX im Zitierstil von Springer LNCS setzt: nummerierte Einträge und Zitate wie [1]. Siehe Literaturverzeichnisse.

Was anders ist als bei llncs

Zum Einreichen holen Sie llncs.cls von CTAN (llncs), wo auch die Dokumentation der Klasse liegt, oder aus den Richtlinien von Springer für Tagungsbände. Ihre .tex-Datei lässt sich damit unverändert übersetzen. Die anderen Layouts finden Sie unter nachgebildete Konferenzvorlagen, Satzumgebungen allgemein unter Sätze und Beweise.

Jedes Beispiel auf dieser Seite wird beim Erstellen der Website von Scissor LaTeX gesetzt. Zuletzt aktualisiert am 2026-11-07.