Шаблон LaTeX для Springer LNCS (llncs)

Офіційним шаблоном Springer LNCS є клас llncs із CTAN або з настанов Springer для збірників. Scissor LaTeX має безкоштовну схожу версію для чернеток у браузері без облікового запису: почніть із шаблону LNCS або напишіть \documentclass[runningheads]{llncs}, щоб отримати один стовпець із нумерованими установами й середовищами теорем класу. Той самий .tex компілюється з офіційним класом.

Відкрити шаблон LNCS у редакторі Безкоштовно, у браузері, без облікового запису

Шаблон

Шаблон LNCS є статтею з формальних методів про обмежену перевірку моделей, з трьома авторами з двох установ, ключовими словами, означенням, теоремою з доведенням, графіком із логарифмічною шкалою, таблицею booktabs, розділом credits і нумерованими посиланнями. Відкрийте шаблон LNCS у редакторі, щоб побачити його повністю.

Як його ввімкнути

llncs є класом документа:

\documentclass[runningheads]{llncs}

Макет: текстовий блок LNCS (12.2 на 19.3 см, один стовпець) по центру паперу Letter або A4 з параметром a4paper, набраний шрифтом Latin Modern кеглем 10 pt. runningheads додає короткий заголовок і список авторів угорі сторінок після першої разом із номером сторінки; без нього сторінки не мають колонтитула.

Автори з установами, ORCID, ключові слова й теорема

LaTeXКопіюватиВідкрити в редакторі (відкриється в новій вкладці)

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

Вкладка «Проблеми»: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Команди класу

Заголовки відповідають класу: «1 Introduction» і «1.1» жирним, а \subsubsection набирається як невеликий жирний заголовок в окремому рядку (клас вбудовує його в абзац). Підписи рисунків і таблиць мають вигляд «Fig. 1.» і «Table 1.».

Бібліографія

Шаблон використовує \bibliographystyle{splncs04}, який Scissor LaTeX верстає стилем цитування Springer LNCS: нумеровані записи й цитування [1]. Див. бібліографія.

Чим це відрізняється від llncs

Для подання візьміть llncs.cls з CTAN (llncs), де також є документація класу, або з настанов Springer для збірників. Ваш файл .tex компілюється з ним без змін. Інші макети див. на сторінці шаблони, схожі на формати конференцій, а про середовища теорем загалом на сторінці теореми й доведення.

Кожен приклад на цій сторінці верстається в Scissor LaTeX під час збирання сайту. Оновлено 2026-11-07.