◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Laboratoire Spécification et Vérification

France

137 papers here1.8k citations across 137
fields
  • cs.LO72
  • cs.FL21
  • cs.GT11
  • cs.DB6
  • eess.SY4
  • cs.CC3
  • math.OC3
  • cs.DM2
ROR 01kz1bj67OpenAlex

affiliations via OpenAlex

output
20032024
most citedDemystifying Reachability in Vector Addition Systems

88 citations

researchers with a paper here
  • P. Bouyer14 · h 39
  • L. Doyen11 · h 38
  • P. Schnoebelen11 · h 36
  • S. Schmitz10 · h 20
  • A. Finkel9 · h 28
  • N. Markey9 · h 34
  • Stephane Demri9 · h 26
  • Krishnendu Chatterjee8 · h 58
  • L. Fribourg8 · h 27
  • N. Bertrand7 · h 24
  • B. Bollig6 · h 21
  • C. Haase5 · h 20
collaborating institutions
  • École Normale Supérieure Paris-SaclayFR90 papers
  • Centre National de la Recherche ScientifiqueFR87 papers
  • Institut national de recherche en sciences et technologies du numériqueFR29 papers
  • Université Paris-SaclayFR16 papers
  • Chennai Mathematical InstituteIN10 papers
  • Laboratoire Bordelais de Recherche en InformatiqueFR9 papers
  • Institute of Science and Technology AustriaAT8 papers
  • Université Libre de BruxellesBE7 papers
  • Aalborg UniversityDK6 papers
  • Université Paris CitéFR6 papers
  • University of MonsBE6 papers
  • Centre Inria de l'Université de RennesFR5 papers
Showing 2016 · cs.DBShow 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.