◍wovepaper
SearchResearchersInstitutions
Sign in
institution

IMDEA Software Institute

Spain

143 papers here1.7k citations across 143
fields
  • cs.PL53
  • cs.LO44
  • cs.CR16
  • cs.FL9
  • cs.DC6
  • cs.SE5
  • cs.AI2
  • cs.AR1
ROR 04xvfkh51OpenAlex

affiliations via OpenAlex

output
20082026
most citedProving Differential Privacy via Probabilistic Couplings

98 citations

researchers with a paper here
  • G. Barthe18 · h 53
  • P. Ganty15 · h 19
  • Justin Hsu14 · h 32
  • M. Hermenegildo14 · h 53
  • Marco Gaboardi2 profiles12 · h 33
  • J. Gallagher11 · h 27
  • J. Morales11 · h 14
  • Pierre-Yves Strub10 · h 32
  • Aleksandar Nanevski8 · h 24
  • Bishoksan Kafle8 · h 9
  • M. Carro8 · h 21
  • A. Banerjee6 · h 46
collaborating institutions
  • Universidad Politécnica de MadridES38 papers
  • Madrid Institute for Advanced StudiesES15 papers
  • Roskilde UniversityDK11 papers
  • University of PennsylvaniaUS11 papers
  • Max Planck Institute for Software SystemsDE10 papers
  • University at Buffalo, State University of New YorkUS9 papers
  • Institut national de recherche en sciences et technologies du numériqueFR8 papers
  • Universidad Complutense de MadridES7 papers
  • Consejo Superior de Investigaciones CientíficasES5 papers
  • Saarland UniversityDE5 papers
  • University College LondonGB5 papers
  • Centre National de la Recherche ScientifiqueFR4 papers
Showing 2010 · cs.AIShow all

1 paper · 2 filters

cs.AI2010

Introduction to the 26th International Conference on Logic Programming Special Issue

Manuel Hermenegildo, Torsten Schaub

This is the preface to the 26th International Conference on Logic Programming Special Issue

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