Анализ сайта archimendes.com
Основное Готовность: 75%
Домен
archimendes.com
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Домен второго уровня идеален для продвижения.
Отличный запоминающийся домен.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Цепочка редиректов:
http://archimendes.com
301 MovedPermanently
https://archimendes.com/
200 OK
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 09.10.2026 14:43:32.
Включён HSTS (Strict-Transport-Security) — защита от подмены на http.
HTTP автоматически перенаправляется на HTTPS.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en-us
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en-us.
Скорость загрузки
~1,78сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 1,78сек превышает 1 секунду. Желательно улучшить работу сайта!
Объем документа
44Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 44Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 22
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 22 много для одной страницы. Приемлемо до 10. Проведите оптимизацию файлов ресурсов!
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | https://cdnjs.cloudflare.com/ajax/libs/academicons/1.8.6/css/academicons.min.css | |
| stylesheet | https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.12.0-1/css/all.min.css | |
| stylesheet | https://cdnjs.cloudflare.com/ajax/libs/fancybox/3.5.7/jquery.fancybox.min.css | |
| stylesheet | https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/styles/github.min.css | |
| stylesheet | https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/styles/dracula.min.css | |
| stylesheet | https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.5.1/leaflet.css | |
| stylesheet | https://fonts.googleapis.com/css?family=Montserrat:400,700%7CRoboto:400,400italic,700%7CRoboto+Mono&display=swap | |
| stylesheet | /css/academic.min.9c11387f271137fcbcd6f9aaf6c6327f.css | |
| js | /js/mathjax-config.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/lazysizes/5.1.2/lazysizes.min.js | |
| js | https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml.js | |
| js | https://www.googletagmanager.com/gtag/js?id=UA-162947892-1 | |
| js | https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/jquery.imagesloaded/4.1.4/imagesloaded.pkgd.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/jquery.isotope/3.0.6/isotope.pkgd.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/fancybox/3.5.7/jquery.fancybox.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/highlight.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.10/languages/r.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.5.1/leaflet.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/fuse.js/3.2.1/fuse.min.js | |
| js | https://cdnjs.cloudflare.com/ajax/libs/mark.js/8.11.1/jquery.mark.min.js | |
| js | /js/academic.min.a8d7005002cb4a052fd6d721e83df9ba.js |
Серверные заголовки
Кол-во: 9
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 9шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Accept-Ranges | bytes |
| Age | 0 |
| Cache-Control | public, must-revalidate, max-age=0 |
| cache-status | "Netlify Edge"; fwd=miss; fwd-status=200; stored |
| Date | Sun, 23 Aug 2026 10:53:33 GMT |
| ETag | "652c085ea5b6cd11e7941ecdf2658fab-ssl" |
| Server | Netlify |
| Strict-Transport-Security | max-age=31536000 |
| x-nf-request-id | 01M0Q426HCHW0GJXDA48GV23KV |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
Netlify
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: Netlify.
Мета-теги Готовность: 48%
Title
Alexandra Mendes
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение мало: 16, минимум: 25, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Alexandra Mendes is an Assistant Professor at the Department of Informatics Engineering, University of Porto, and a researcher at INESCTEC. Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality.
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо уменьшить число символов в description (текущее значение: 258, оптимально: от 120 до 130)
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
https://archimendes.com/
Указывает поисковику основную версию страницы
?
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
Кол-во: 7
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph задана. Страница оптимизирована под социальные сети.
Показать полный список og мета-тегов
| Тип | Значение |
|---|---|
| og:site_name | Alexandra Mendes |
| og:url | https://archimendes.com/ |
| og:title | Alexandra Mendes |
| og:description | Alexandra Mendes is an Assistant Professor at the Department of Informatics Engineering, University of Porto, and a researcher at INESCTEC. Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. |
| og:image | img/map[gravatar:%!s(bool=false) shape:circle] |
| og:locale | en-us |
| og:updated_time | 2020-03-12T00:00:59+00:00 |
Все мета-теги
Кол-во: 16
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 16шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width,initial-scale=1 |
| name | generator | Source Themes Academic 4.7.0 |
| name | author | Alexandra Mendes |
| name | description | Alexandra Mendes is an Assistant Professor at the Department of Informatics Engineering, University of Porto, and a researcher at INESCTEC. Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. |
| name | theme-color | #2962ff |
| property | twitter:card | summary |
| property | twitter:site | @afm |
| property | twitter:creator | @afm |
| property | og:site_name | Alexandra Mendes |
| property | og:url | https://archimendes.com/ |
| property | og:title | Alexandra Mendes |
| property | og:description | Alexandra Mendes is an Assistant Professor at the Department of Informatics Engineering, University of Porto, and a researcher at INESCTEC. Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. |
| property | og:image | img/map[gravatar:%!s(bool=false) shape:circle] |
| property | twitter:image | img/map[gravatar:%!s(bool=false) shape:circle] |
| property | og:locale | en-us |
| property | og:updated_time | 2020-03-12T00:00:59+00:00 |
Оптимизация Готовность: 72%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 61 достаточно.
Среднее число слов в абзаце 15 достаточно.
Кол-во знаков контента 9388 на странице оптимально.
Кол-во слов 1474 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 21. Это прекрасно.
На странице присутствуют заголовки <h2> 1. Это хорошо.
На странице присутствуют заголовки <h3> 4.
Тошнота
4,90
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 3. Измените текст страницы!
Академич. тошнота
7,80%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота страницы в пределах нормы.
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| alexandra | 24 | 1,63% |
| mendes | 23 | 1,56% |
| ferreira | 19 | 1,29% |
| accepted | 17 | 1,15% |
| conference | 15 | 1,02% |
| methods | 9 | 0,61% |
| software | 9 | 0,61% |
| research | 8 | 0,54% |
| saavedra | 8 | 0,54% |
| carolina | 8 | 0,54% |
| carreira | 8 | 0,54% |
| formal | 8 | 0,54% |
| publications | 7 | 0,47% |
| computer | 6 | 0,41% |
| teaching | 5 | 0,34% |
| challenges | 5 | 0,34% |
| password | 5 | 0,34% |
| security | 5 | 0,34% |
| engineering | 5 | 0,34% |
| university | 5 | 0,34% |
Индексация Готовность: 0%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 186 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 134
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 134 оптимально.
На странице присутствуют изображения 3.
Показать первые 100 внутренних ссылок
| Url | Анкор | Состояние | Анализировать |
|---|---|---|---|
| / |
Alexandra Mendes
|
|
Анализировать url |
| / |
Alexandra Mendes
|
|
Анализировать url |
| /further |
<span>Funded Projects & Service</span>
|
|
Анализировать url |
| /opportunities |
<span>Research Opportunities</span>
|
|
Анализировать url |
| /teaching |
<span>Teaching</span>
|
|
Анализировать url |
| /publication |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>To Be Added Soon
|
|
Анализировать url |
| /publication |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>To Be Added Soon
|
|
Анализировать url |
| /publication |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Papers Here
|
|
Анализировать url |
| /publication/2025/ISSRE |
Paper Here
|
|
Анализировать url |
| /publication/2025/ECOOP |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication/2025/ISSTA |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication/2024/FAC |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication/2024/ICST |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /publication/2024/ICSE |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Paper Here
|
|
Анализировать url |
| /opportunities |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Learn More
|
|
Анализировать url |
| /news/ |
More News
|
|
Анализировать url |
| /publication |
View all the publications
|
|
Анализировать url |
| /authors/martim-afonso/ |
Martim Afonso
|
|
Анализировать url |
| /authors/nuno-saavedra/ |
Nuno Saavedra
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /publication/2026/fse/ |
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
|
|
Анализировать url |
| /publication/2026/FSE/FSE26-ProfOlaf.pdf |
PDF
|
|
|
| /authors/carolina-carreira/ |
Carolina Carreira
|
|
Анализировать url |
| /authors/nuno-saavedra/ |
Nuno Saavedra
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /publication/2026/ease/ |
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
|
|
Анализировать url |
| /publication/2026/EASE/EASE26-AnsibleStudy.pdf |
PDF
|
|
|
| /authors/isabel-amaral/ |
Isabel Amaral
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /publication/2026/icse/ |
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
|
|
Анализировать url |
| /publication/2026/ICSE/ICSE26-MutDafny.pdf |
PDF
|
|
|
| /authors/francisco-oliveira/ |
Francisco Oliveira
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/carolina-carreira/ |
Carolina Carreira
|
|
Анализировать url |
| /publication/2025/issre/ |
What Challenges do Developers Face when using Verification-Aware Languages?
|
|
Анализировать url |
| /publication/2025/ISSRE/issre25-challenges.pdf |
PDF
|
|
|
| /authors/anna-rita-fasolino/ |
Anna Rita Fasolino
|
|
Анализировать url |
| /authors/tanja-ej-vos/ |
Tanja EJ Vos
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/ana-cr-paiva/ |
Ana CR Paiva
|
|
Анализировать url |
| /authors/felix-cammaerts/ |
Felix Cammaerts
|
|
Анализировать url |
| /authors/monique-snoeck/ |
Monique Snoeck
|
|
Анализировать url |
| /authors/mehrdad-saadatmand/ |
Mehrdad Saadatmand
|
|
Анализировать url |
| /authors/porfirio-tramontana/ |
Porfirio Tramontana
|
|
Анализировать url |
| /publication/2025/toce/ |
Teachers’ Perspective on Software Testing Education
|
|
Анализировать url |
| /publication/2025/TOCE/Teacher_Survey_Study.pdf |
PDF
|
|
|
| /authors/nuno-saavedra/ |
Nuno Saavedra
|
|
Анализировать url |
| /authors/jff/ |
João F. Ferreira
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /publication/2025/issta/ |
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
|
|
Анализировать url |
| /authors/david-ferreira/ |
David Ferreira
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/jff/ |
João F. Ferreira
|
|
Анализировать url |
| /authors/carolina-carreira/ |
Carolina Carreira
|
|
Анализировать url |
| /publication/2025/ecoop/ |
Contract Usage and Evolution in Android Mobile Applications
|
|
Анализировать url |
| /publication/2025/ECOOP/ecoop25-contracts-android.pdf |
PDF
|
|
|
| /authors/manfred-broy/ |
Manfred Broy
|
|
Анализировать url |
| /authors/alessandro-fantechi/ |
Alessandro Fantechi
|
|
Анализировать url |
| /authors/mario-gleirscher/ |
Mario Gleirscher
|
|
Анализировать url |
| /authors/klaus-havelund/ |
Klaus Havelund
|
|
Анализировать url |
| /authors/markus-kuppe/ |
Markus Kuppe
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/jan-oliver-ringert/ |
Jan Oliver Ringert
|
|
Анализировать url |
| /authors/allison-sullivan/ |
Allison Sullivan
|
|
Анализировать url |
| /publication/2024/fac/ |
Does Every Computer Scientist Need to Know Formal Methods?
|
|
Анализировать url |
| /authors/porfirio-tramontana/ |
Porfirio Tramontana
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/domenico-amalfitano/ |
Domenico Amalfitano
|
|
Анализировать url |
| /authors/felix-cammaerts/ |
Felix Cammaerts
|
|
Анализировать url |
| /authors/monique-snoeck/ |
Monique Snoeck
|
|
Анализировать url |
| /authors/anna-rita-fasolino/ |
Anna Rita Fasolino
|
|
Анализировать url |
| /publication/2024/icst/ |
State of the Practice in Software Testing Teaching in Four European Countries
|
|
Анализировать url |
| /publication/2024/ICST/ICST24_Course_Mapping.pdf |
PDF
|
|
|
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/jff/ |
João F. Ferreira
|
|
Анализировать url |
| /publication/2024/formalise/ |
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
|
|
Анализировать url |
| /publication/2024/FORMALISE/Formalise24_DafnyLLM.pdf |
PDF
|
|
|
| /authors/saul-johnson/ |
Saul Johnson
|
|
Анализировать url |
| /authors/jff/ |
João F. Ferreira
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/julien-cordry/ |
Julien Cordry
|
|
Анализировать url |
| /publication/2020/asiaccs/ |
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
|
|
Анализировать url |
| /publication/2020/AsiaCCS/asiaccs20-skeptic.pdf |
PDF
|
|
|
| /project/password-security/ |
Project
|
|
Анализировать url |
| /authors/tony-hoare/ |
Tony Hoare
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/jff/ |
João F. Ferreira
|
|
Анализировать url |
| /publication/2019/fmtea/ |
Logic, Algebra, and Geometry at the Foundation of Computer Science
|
|
Анализировать url |
| /publication/2019/fmtea/FMTea19-HMF.pdf |
PDF
|
|
|
| /project/fm-education/ |
Project
|
|
Анализировать url |
| /authors/alexandra-mendes/ |
Alexandra Mendes
|
|
Анализировать url |
| /authors/jff/ |
João F. Ferreira
|
|
Анализировать url |
| /publication/2018/itp/ |
Towards Verified Handwritten Calculational Proofs
|
|
Анализировать url |
| /publication/2018/itp/itp18-handwritten.pdf |
PDF
|
|
|
| /project/ui-fm/ |
Project
|
|
Анализировать url |
| /authors/jamie-matthews/ |
Jamie Matthews
|
|
Анализировать url |
| /authors/fred-charles/ |
Fred Charles
|
|
Анализировать url |
Внешние ссылки
Кол-во: 34
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 34 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать внешние ссылки
| Url | Анкор | Анализировать |
|---|---|---|
| amazon.science |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Learn More
|
Анализировать url |
| flad.pt |
<i class="fas fa-arrow-circle-right" style="padding-right:10px"></i>Learn More
|
Анализировать url |
| sr-lab.github.io |
<span>Software Reliability Lab</span>
|
Анализировать url |
| twitter.com |
<i class="fab fa-twitter big-icon"></i>
|
|
| scholar.google.com |
<i class="ai ai-google-scholar big-icon"></i>
|
Анализировать url |
| dei.fe.up.pt |
Department of Informatics Engineering
|
Анализировать url |
| sr-lab.github.io |
Software Reliability Lab
|
Анализировать url |
| fme-teaching.github.io |
Formal Methods Teaching Committee
|
Анализировать url |
| advance-he.ac.uk |
Fellow of The Higher Education Academy (HEA)
|
Анализировать url |
| cmu.edu |
Carnegie Mellon University
|
Анализировать url |
| cmuportugal.org |
CMU Portugal Program
|
Анализировать url |
| cylab.cmu.edu |
CyLab Security and Privacy Institute
|
Анализировать url |
| amazon.science |
Amazon Research Award
|
Анализировать url |
| inesctec.pt |
INESC TEC
|
Анализировать url |
| conf.researchr.org |
ASE 2026
|
Анализировать url |
| cyprusconferences.org |
ISSRE 2026
|
Анализировать url |
| conf.researchr.org |
FormaliSE 2027
|
Анализировать url |
| conf.researchr.org |
ICSE 2026
|
Анализировать url |
| conf.researchr.org |
FSE 2026
|
Анализировать url |
| conf.researchr.org |
EASE 2026
|
Анализировать url |
| conf.researchr.org |
ISSTA26
|
Анализировать url |
| conf.researchr.org |
ASE26
|
Анализировать url |
| conf.researchr.org |
ICSE27
|
Анализировать url |
| doi.org |
DOI
|
Анализировать url |
| arxiv.org |
PDF
|
Анализировать url |
| github.com |
Code
|
Анализировать url |
| youtube.com |
Video
|
Анализировать url |
| github.com |
Code
|
Анализировать url |
| dl.acm.org |
PDF
|
Анализировать url |
| doi.org |
DOI
|
Анализировать url |
| github.com |
Code
|
Анализировать url |
| twitter.com |
Twitter
|
|
| sourcethemes.com |
Academic theme
|
Анализировать url |
| gohugo.io |
Hugo
|
Анализировать url |
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Анализ сайта archimendes.com, слабо оптимизирован на 49%. Для хорошей оптимизации и выхода на первые места в поиске требуется:
Исправьте ошибки в мета-тегах.
Исправьте ошибки индексации.
Поделитесь с друзьями: