◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Innopolis University

Russia

135 papers here3k citations across 135
fields
  • cs.CV18
  • cs.SE16
  • cs.RO12
  • math.OC11
  • cs.LG10
  • cs.CL7
  • cs.AI6
  • cs.CR6
ROR 02b7jh107OpenAlex

affiliations via OpenAlex

output
20132026
most citedAI for Next Generation Computing: Emerging Trends and Future Directions

681 citations

researchers with a paper here
  • M. Mazzara23 · h 36
  • Muhammad Ahmad3 profiles14 · h 17
  • Salvatore Distefano2 profiles13 · h 20
  • Manuel Mazzara2 profiles12 · h 15
  • A. Gasnikov2 profiles9 · h 31
  • A. Beznosikov8 · h 18
  • Ilya M. Afanasyev8 · h 17
  • Rasheed Hussain2 profiles7 · h 36
  • V. Rivera7 · h 14
  • Adil Mehmood Khan6 · h 9
  • A. Khan5 · h 36
  • B. Meyer5 · h 45
collaborating institutions
  • Moscow Institute of Physics and TechnologyRU17 papers
  • University of MessinaIT14 papers
  • National University of Computer and Emerging SciencesPK9 papers
  • Institute for System ProgrammingRU8 papers
  • University of BolognaIT7 papers
  • Politecnico di MilanoIT6 papers
  • University of HullGB6 papers
  • Chinese Academy of SciencesCN5 papers
  • Institute for Information Transmission ProblemsRU4 papers
  • Kazan Federal UniversityRU4 papers
  • King Fahd University of Petroleum and MineralsSA4 papers
  • Kyung Hee UniversityKR4 papers
Showing 2013Show all

1 paper · 1 filter

cs.LO2013

A semantic account of strong normalization in Linear Logic

Daniel de Carvalho, Lorenzo Tortora de Falco

We prove that given two cut free nets of linear logic, by means of their relational interpretations one can: 1) first determine whether or not the net obtained by cutting the two n…

◍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.