Анализ страницы https://anthonywlin.github.io/publications.html
Основное Готовность: 100%
Домен
anthonywlin.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 22.10.2026 22:11:59.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
UTF-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице UTF-8.
Язык
en-US
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en-US.
Скорость загрузки
~0,32сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,32сек оптимальна.
Объем документа
19Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 19Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 1
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 1 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | /assets/css/style.css?v=319cf0368615a3359bf5a4344a622985b7d5ef67 |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "6a4ff75b-501f" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | 5BC8:12CAF9:5549EFB:5605633:6A8B8376 |
| x-github-edge-region | fra |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sun, 23 Aug 2026 23:34:14 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-fra-eddf8230207-FRA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787528055.534947,VS0,VE117 |
| Vary | Accept-Encoding |
| x-fastly-request-id | 0355edf7eae9e607871434e4d0ab444e167a3c52 |
CMS
Jekyll v3.10.0
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
В мета-теге generator указано: Jekyll v3.10.0.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 38%
Title
Anthony W. Lin’s Publications | Home Page of Anthony W. Lin
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Устраните дубли в title: anthony(2)
Необходимо уменьшить число символов в title (текущее значение: 59, оптимально: от 40 до 45)
Description
This page is always under construction …
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо увеличить число символов в description (текущее значение мало: 40, минимум: 80, оптимально: от 120 до 130)
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
https://anthonywlin.github.io/publications.html
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Канонический Url прописан корректно.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Кол-во: 6
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph задана. Страница оптимизирована под социальные сети.
Показать полный список og мета-тегов
| Тип | Значение |
|---|---|
| og:title | Anthony W. Lin’s Publications |
| og:locale | en_US |
| og:description | This page is always under construction … |
| og:url | https://anthonywlin.github.io/publications.html |
| og:site_name | Home Page of Anthony W. Lin |
| og:type | website |
Все мета-теги
Кол-во: 13
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 13шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | generator | Jekyll v3.10.0 |
| name | description | This page is always under construction … |
| name | twitter:card | summary |
| name | viewport | width=device-width, initial-scale=1 |
| name | theme-color | #157878 |
| name | apple-mobile-web-app-status-bar-style | black-translucent |
| property | og:title | Anthony W. Lin’s Publications |
| property | og:locale | en_US |
| property | og:description | This page is always under construction … |
| property | og:url | https://anthonywlin.github.io/publications.html |
| property | og:site_name | Home Page of Anthony W. Lin |
| property | og:type | website |
| property | twitter:title | Anthony W. Lin’s Publications |
Оптимизация Готовность: 85%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Абзацев с текстом 1 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Слова из title 7 встречаются в тексте достаточно.
Среднее число слов в абзаце 105 достаточно.
Кол-во знаков контента 12839 на странице оптимально.
Кол-во слов 1862 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 2. Это прекрасно.
На странице присутствуют заголовки <h2> 4. Это хорошо.
Тошнота
4,47
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота страницы в пределах нормы 4,47.
Академич. тошнота
4,51%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота не дотягивает до нормы 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| anthony | 20 | 1,07% |
| proceedings | 20 | 1,07% |
| philipp | 16 | 0,86% |
| systems | 16 | 0,86% |
| computer | 14 | 0,75% |
| ruemmer | 13 | 0,70% |
| science | 12 | 0,64% |
| checking | 11 | 0,59% |
| matthew | 10 | 0,54% |
| regular | 10 | 0,54% |
| complexity | 9 | 0,48% |
| verification | 8 | 0,43% |
| queries | 8 | 0,43% |
| string | 8 | 0,43% |
| programs | 7 | 0,38% |
| transformers | 7 | 0,38% |
| pascal | 7 | 0,38% |
| zetzsche | 7 | 0,38% |
| applications | 7 | 0,38% |
| oliver | 7 | 0,38% |
Индексация Готовность: 0%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 94 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 45
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 45 оптимально.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| /papers/kr26.pdf |
The Polynomial Counting Capabilities of Message Passing Neural
Networks
|
|
| /papers/rp25-invited.pdf |
The Role of Logic and Automata in Understanding Transformers
|
|
| /papers/cav19.pdf |
CAV’19 paper
|
|
| /papers/cav23.pdf |
Decision Procedures for Sequence Theories
|
|
| /papers/lics22a.pdf |
Reasoning on Data Words over Numeric Domains
|
|
| /papers/pods22.pdf |
Data Path Queries over Embedded Graph Databases
|
|
| /papers/cpp22.pdf |
CertiStr: A Certified String Solver
|
|
| /papers/atva18.pdf |
Extended abstract
|
|
| /papers/icalp19.pdf |
Monadic Decomposability of Regular Relations
|
|
| /papers/toplas19.pdf |
CSS Minification via Constraint Solving
|
|
| /papers/aplas18.pdf |
Complexity Analysis of Tree Share Structure
|
|
| /papers/rp16.pdf |
here
|
|
| /papers/popl18-efficient.pdf |
String Constraints with Concatenation and Transducers Solved Efficiently
|
|
| /papers/popl18-replace.pdf |
What is Decidable About String Constraints with ReplaceAll Function
|
|
| /papers/fmcad17_full.pdf |
Learning to Prove Safety over Parameterised Concurrent Systems
|
|
| /papers/tacas17.pdf |
Fair Termination for Parameterized Probabilistic Concurrent Systems
|
|
| /papers/100-Le.pdf |
Decidability and Complexity of Tree Share Formulas
|
|
| /papers/cav16.pdf |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers
|
|
| /slides/cav_talk16.pdf |
Slides
|
|
| /papers/popl16-full.pdf |
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS
|
|
| /popl16-slides.pdf |
Slides
|
|
| /papers/vmcai16.pdf |
Regular Symmetry Patterns
|
|
| /VMCAI16-slides-without-build.pdf |
Slides
|
|
| /papers/concur14.pdf |
CONCUR’14 paper
|
|
| /papers/css-html5.pdf |
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach.
|
|
| /oopsla15-talk.pdf |
Slides
|
|
| /papers/lpar13.pdf |
LPAR’13 paper
|
|
| /papers/exprtocl.pdf |
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems
|
|
| /papers/hierarchy.pdf |
CONCUR’11 paper
|
|
| /papers/fsttcs12.pdf |
Accelerating Tree Automatic Relations
|
|
| /papers/mfcs12.pdf |
Weakly-Synchronized Ground Tree Rewriting (with Applications to Verifying Multithreaded Programs)
|
|
| /papers/mfcs12-slides.pdf |
Slides
|
|
| /papers/cav12-long.pdf |
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters
|
|
| /papers/stacs12.pdf |
Concurrency Makes Simple Theories Hard
|
|
| /papers/tods.pdf |
Expressive Languages for Path Queries over Graph-structured Data
|
|
| /papers/cav11.pdf |
Model Checking Recursive Programs with Numeric Data Types
|
|
| /papers/lics11.pdf |
The Complexity of Verifying Ground Tree Rewrite Systems
|
|
| /papers/fsttcs10.pdf |
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
|
|
| /papers/lics10a.pdf |
Parikh Images of Grammars: Complexity and Applications
|
|
| /papers/parikh.pdf |
Parikh Images of Regular Languages: Complexity and Applications
|
|
| /papers/ltl-meta.pdf |
Algorithmic metatheorems for decidable LTL model checking over infinite systems
|
|
| /papers/csl09.pdf |
Model checking FO(R) over one-counter processes and beyond
|
|
| /papers/lics09.pdf |
On the Computational Complexity of Verifying One-Counter Processes
|
|
| /papers/lpar08_full.pdf |
Recurrent Reachability Analysis in Regular Model Checking
|
|
| /papers/phdthesis.pdf |
Model Checking Infinite-State Systems: Generic and Specific Approaches
|
|
Внешние ссылки
Кол-во: 48
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 48 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать внешние ссылки
| Url | Анкор |
|---|---|
| arxiv.org |
Synthesis and Verification of Transformer Programs
|
| arxiv.org |
Length Generalization Bounds for Transformers
|
| arxiv.org |
Why Are Linear RNNs More Parallelizable?
|
| arxiv.org |
The Counting Power of Transformers
|
| arxiv.org |
Transformers are Inherently Succinct
|
| arxiv.org |
Softmax Transformers are Turing-Complete
|
| arxiv.org |
Probability Distributions Computed by Hard-Attention Transformers
|
| arxiv.org |
Solving Qualitative Multi-Objective Stochastic Games
|
| arxiv.org |
Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
|
| arxiv.org |
Complexity of Evaluating GQL Queries
|
| arxiv.org |
Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
|
| openreview.net |
Mitigating Spurious Features in Contrastive Learning with Spectral Regularization
|
| arxiv.org |
OSTRICH2: Solver for Complex String Constraints
|
| arxiv.org |
The Power of Regular Constraint Propagation
|
| arxiv.org |
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
|
| arxiv.org |
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses
|
| openreview.net |
Generalization Bounds with Logarithmic Negative-Sample Dependence for Adversarial Contrastive Learning.
|
| arxiv.org |
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
|
| arxiv.org |
Logical Languages Accepted by Transformer Encoders with Hard Attention
|
| arxiv.org |
Regular Abstractions for Array Systems
|
| arxiv.org |
Ramsey Quantifiers in Linear Arithmetic
|
| arxiv.org |
Parikh’s Theorem Made Symbolic
|
| arxiv.org |
Concurrent Stochastic Lossy Channel Games
|
| arxiv.org |
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
|
| arxiv.org |
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.
|
| arxiv.org |
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
|
| arxiv.org |
Regular Model Checking Revisited
|
| arxiv.org |
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
|
| arxiv.org |
Rational Verification for Probabilistic Systems
|
| arxiv.org |
Learning Union of Integer Hypercubes with Queries (with Applications to Monadic Decompositions)
|
| arxiv.org |
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems
|
| arxiv.org |
Parameterized Synthesis with Safety Properties.
|
| arxiv.org |
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
|
| arxiv.org |
Monadic Decomposition in Integer Linear Arithmetic
|
| arxiv.org |
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
|
| github.com |
here
|
| github.com |
SLRP
|
| arxiv.org |
A linear-time algorithm for the orbit problem over cyclic groups
|
| bitbucket.org |
Tool
|
| arxiv.org |
Expressive Path Queries on Graphs with Data
|
| arxiv.org |
Analysis of Probabilistic Basic Parallel Processes
|
| arxiv.org |
arXiv link
|
| tocl.acm.org |
Logical Queries over Views: Decidability and Expressiveness
|
| arxiv.org |
Unary finite automata vs. arithmetic progressions
|
| arxiv.org |
Revisiting the Expressiveness Landscape of Data Graph Queries
|
| arxiv.org |
Extracting Robust Register Automata from Neural Networks over Data
Sequences
|
| arxiv.org |
Answering Constraint Path Queries over Graphs
|
| pages.github.com |
GitHub Pages
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://anthonywlin.github.io/publications.html готова к продвижению на 56%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки индексации.
Поделитесь с друзьями: