◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Institute for System Programming

Russia

12 papers here65 citations across 12
fields
  • cs.SE7
  • cs.CR2
  • cs.CL1
  • cs.CV1
  • cs.DC1
ROR 017ef8252OpenAlex

affiliations via OpenAlex

output
20122023
most citedRuntime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

17 citations

researchers with a paper here
  • A. Petrenko2 · h 14
  • Manuk Akopyan2 profiles2 · h 2
  • A. A. Kirsanova1
  • A. Fedotov1
  • A. Kamkin1 · h 8
  • A. Khoroshilov1 · h 11
  • Alain-Georges Vouffo Feudjio1 · h 2
  • Aleksey Yakushev1
  • Alexander Frolov1
  • Alexander K. Petrenko1
  • A. Novikov1
  • Arthur Gaynov1
collaborating institutions
  • Fraunhofer Institute for Open Communication SystemsDE2 papers
  • Russian Academy of SciencesRU2 papers
  • 3rd Central Research Institute of the Russian Defence MinistryRU1 paper
  • Academy of Federal Security Guard Service of Russian FederationRU1 paper
  • Ericsson (Hungary)HU1 paper
  • Ericsson (Sweden)SE1 paper
  • European Telecommunications Standards InstituteFR1 paper
  • Federal Protective ServiceRU1 paper
  • Humboldt-Universität zu BerlinDE1 paper
  • Lomonosov Moscow State UniversityRU1 paper
  • Ministry of Defence of the Russian FederationRU1 paper
  • Moscow Institute of Physics and TechnologyRU1 paper
Showing 2012 · cs.DCShow 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.