425 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- École Normale Supérieure de LyonFR2 papers
- University of GenevaCH2 papers
- CAS Key Laboratory of Urban Pollutant ConversionCN1 paper
- Hefei National Center for Physical Sciences at NanoscaleCN1 paper
- Laboratoire de l'Informatique du ParallélismeFR1 paper
- University of Science and Technology of ChinaCN1 paper
- University of WaterlooCA1 paper
6 papers
String Diagrams for Monoidal Categories, in Rocq
Damien Pous
We present a Rocq library for monoidal categories, which includes a decision procedure for proving equality of morphisms as well as notations that make it possible to reason as if…
Adhesive category theory for graph rewriting in Rocq
Samuel Arsac, Russ Harmer, Damien Pous
We design a Rocq library about adhesive categories, using Hierarchy Builder (HB). It is built around two hierarchies. The first is for categories, with usual categories at the bott…
Learning to Count up to Symmetry
Pierre Clairambault
In this paper we develop the theory of how to count, in thin concurrent games, the configurations of a strategy witnessing that it reaches a certain configuration of the game. This…
Advances in InGaAs/InP single-photon detector systems for quantum communication
Jun Zhang, Mark A. Itzler, Hugo Zbinden +1
Single-photon detectors (SPDs) are the most sensitive instruments for light detection. In the near-infrared range, SPDs based on III-V compound semiconductor avalanche photodiodes…
Free Running Single Photon Detection based on a negative feedback InGaAs APD
Tommaso Lunghi, Claudio Barreiro, Olivier Guinnard +4
InGaAs/InP-based semiconductor avalanche photodiode are usually employed for single-photon counting at telecom wavelength. However they are affected by afterpulsing which limits th…
An Ultra-Low Noise Telecom Wavelength Free Running Single Photon Detector Using Negative Feedback Avalanche Diode
Zhizhong Yan, Deny R. Hamel, Aimee K. Heinrichs +3
It is challenging to implement genuine free running single photon detectors for the 1550 nm wavelength range with simultaneously high detection efficiency (DE), low dark noise, and…