◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Laboratoire d'Algorithmique, Complexité et Logique

45 papers here242 citations across 45
fields
  • cs.LO15
  • cs.FL10
  • cs.CC5
  • cs.DC3
  • cs.GT3
  • cs.DM2
  • math.LO2
  • cs.CR1
ROR 05bdn0q71OpenAlex

affiliations via OpenAlex

output
20062021
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations

researchers with a paper here
  • C. Dima7 · h 16
  • Sergey Verlan6 · h 22
  • Clément Aubert5 · h 8
  • Emmanuel Polonowski5 · h 6
  • Pascal Vanier4 · h 7
  • J. Cervelle3 · h 11
  • P. Cégielski3 · h 8
  • Rodica Bozianu3 · h 2
  • Sergiu Ivanov3 · h 13
  • T. Crolard3 · h 8
  • Thomas Seiller3 · h 11
  • Antoine Spicher2 · h 15
collaborating institutions
  • Université Paris-Est CréteilFR14 papers
  • Centre National de la Recherche ScientifiqueFR7 papers
  • Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR5 papers
  • Paris-Est SupFR5 papers
  • Institute of Mathematics and Computer ScienceMD3 papers
  • Université Paris DiderotFR3 papers
  • Åbo Akademi UniversityFI2 papers
  • Institut de Mécanique et d'Ingénierie de BordeauxFR2 papers
  • Institut national de recherche en sciences et technologies du numériqueFR2 papers
  • Laboratoire d'Informatique de Paris-NordFR2 papers
  • Laboratoire d'Informatique Gaspard-MongeFR2 papers
  • Laboratoire Spécification et VérificationFR2 papers
Showing 2021 · cs.CCShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.