Plantilla LaTeX de Springer LNCS (llncs)

La plantilla oficial de Springer LNCS es la clase llncs, disponible en CTAN o en las directrices de actas de Springer. Scissor LaTeX tiene una imitación gratuita para redactar en tu navegador, sin cuenta: empieza desde la plantilla LNCS o escribe \documentclass[runningheads]{llncs}, para una columna con institutos numerados y los entornos de teorema de la clase. El mismo .tex compila con la clase oficial.

Abre la plantilla LNCS en el editor Gratis, en tu navegador, sin cuenta

La plantilla

La plantilla LNCS es un artículo de métodos formales sobre verificación de modelos acotada, con tres autores de dos institutos, palabras clave, una definición, un teorema con demostración, un gráfico en escala logarítmica, una tabla con booktabs, una sección credits y referencias numeradas. Abre la plantilla LNCS en el editor para verla entera.

Cómo activarla

llncs es una clase de documento:

\documentclass[runningheads]{llncs}

La maquetación es la caja de texto de LNCS (12.2 por 19.3 cm, una columna) centrada en papel Letter, o en A4 con la opción a4paper, compuesta en Latin Modern a 10 pt. runningheads añade el título corto y la lista de autores arriba de las páginas posteriores a la primera, con el número de página; sin esa opción, las páginas no tienen encabezado.

Autores con institutos, ORCID, palabras clave y un teorema

LaTeXCopiarAbrir en el editor (se abre en una pestaña nueva)

\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}

Pestaña Problemas: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Comandos de la clase

Los encabezados siguen la clase: "1 Introduction" y "1.1" en negrita, con \subsubsection compuesto como un pequeño encabezado en negrita en su propia línea (la clase lo integra en el párrafo). Los pies de figura y tabla dicen "Fig. 1." y "Table 1.".

Bibliografía

La plantilla usa \bibliographystyle{splncs04}, que Scissor LaTeX compone con el estilo de cita de Springer LNCS: entradas numeradas y citas [1]. Consulta bibliografías.

En qué se diferencia de llncs

Para enviar, consigue llncs.cls en CTAN (llncs), donde también está la documentación de la clase, o en las directrices de actas de Springer. Tu archivo .tex compila con ella sin cambios. Consulta imitaciones de formatos de congreso para los demás formatos y teoremas y demostraciones para los entornos de teorema en general.

Scissor LaTeX compone cada ejemplo de esta página al generar el sitio. Última actualización: 2026-11-07.