Modelo LaTeX do Springer LNCS (llncs)

O modelo oficial do Springer LNCS é a classe llncs, do CTAN ou das diretrizes de anais da Springer. O Scissor LaTeX tem uma imitação grátis para rascunho no navegador, sem conta: comece pelo modelo LNCS, ou escreva \documentclass[runningheads]{llncs}, para uma coluna com instituições numeradas e os ambientes de teorema da classe. O mesmo .tex compila com a classe oficial.

Abra o modelo LNCS no editor Grátis, no seu navegador, sem conta

O modelo

O modelo LNCS é um artigo de métodos formais sobre verificação de modelos limitada, com três autores de duas instituições, palavras-chave, uma definição, um teorema com demonstração, um gráfico em escala logarítmica, uma tabela com booktabs, uma seção credits e referências numeradas. Abra o modelo LNCS no editor para vê-lo inteiro.

Ativando o layout

llncs é uma classe de documento:

\documentclass[runningheads]{llncs}

O layout é a mancha de texto do LNCS (12.2 por 19.3 cm, uma coluna) centralizada em papel Letter, ou em A4 com a opção a4paper, composta em Latin Modern com 10 pt. runningheads acrescenta o título curto e a lista de autores no topo das páginas depois da primeira, com o número da página; sem essa opção, as páginas não têm cabeçalho.

Autores com instituições, ORCID, palavras-chave e um teorema

LaTeXCopiarAbrir no editor (abre em uma nova aba)

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

Aba 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 da classe

Os títulos de seção seguem a classe: "1 Introduction" e "1.1" em negrito, com \subsubsection composto como um pequeno título em negrito na própria linha (a classe o emenda no parágrafo). As legendas de figura e de tabela dizem "Fig. 1." e "Table 1.".

Bibliografia

O modelo usa \bibliographystyle{splncs04}, que o Scissor LaTeX compõe com o estilo de citação do Springer LNCS: entradas numeradas e citações [1]. Veja bibliografias.

O que muda em relação ao llncs

Para submeter, obtenha o llncs.cls no CTAN (llncs), onde também está a documentação da classe, ou nas diretrizes de anais da Springer. O seu arquivo .tex compila com ele sem mudanças. Veja modelos parecidos com os de conferências para os outros layouts e teoremas e demonstrações para ambientes de teorema em geral.

Cada exemplo desta página é composto pelo Scissor LaTeX quando o site é gerado. Última atualização: 2026-11-07.