Universit\'e Paris Diderot)
Identifiers
No identifiers captured yet.
Papers (8)
- Constraints on particle acceleration in SS433/W50 from MAGIC and H.E.S.S. observations astro-ph.HE · 2017 · author #579
- Indexed linear logic and higher-order model checking cs.LO · 2015 · author #3
- Ordered Models of the Lambda Calculus cs.LO · 2013 · author #3
- The stack calculus cs.LO · 2013 · author #2
- The untyped stack calculus and Bohm's theorem cs.LO · 2013 · author #2
- Minimal lambda-theories by ultraproducts cs.LO · 2013 · author #2
- The nature of the multi-wavelength emission of 3C 111 astro-ph.HE · 2012 · author #5
- Circular words and applications cs.FL · 2011 · author #6
Mentions
No mention provenance yet.
Frequent Coauthors
- Alberto Carraro (PPS 3 shared papers
- Antonino Salibra (DAIS 2 shared papers
- CNRS 2 shared papers
- Universit\`a Ca' Foscari Venezia) 2 shared papers
- 0019 Yerevan 1 shared papers
- 00-478 Warsaw 1 shared papers
- 00-716 Warsaw 1 shared papers
- 08193 Bellaterra (Barcelona) 1 shared papers
- 10 1 shared papers
- 10) 1 shared papers
- 1098 XH Amsterdam 1 shared papers
- (10) Universidad de La Laguna 1 shared papers
- (11) University of L\'od\'z 1 shared papers
- (12) Deutsches Elektronen-Synchrotron (DESY) 1 shared papers
- 13288Marseille 1 shared papers
- (13) Institut de Fisica d'Altes Energies (IFAE) 1 shared papers
- (14) Universit\'a di Siena 1 shared papers
- 150 - Urca 1 shared papers
- (15) Institute for Space Sciences (CSIC/IEEC) 1 shared papers
- (16) Technische Universit\"at Dortmund 1 shared papers