ENS Cachan

Identifiers

• name variant ENS Cachan 0.60 · backfill

Papers (17)

1. Ultrasound modulated optical tomography in scattering media: flux filtering based on persistent spectral hole burning in the optical diagnosis window physics.optics · 2018 · author #18
2. Solutions of the buoyancy-drag equation with a time-dependent acceleration nlin.SI · 2017 · author #5
3. Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games cs.GT · 2016 · author #3
4. Two-Buffer Simulation Games cs.FL · 2016 · author #10
5. ATLsc with partial observation cs.LO · 2015 · author #6
6. A Robust Class of Data Languages and an Application to Learning cs.LO · 2014 · author #2
7. The master Painlev\'e VI heat equation math-ph · 2014 · author #2
8. Avoiding Shared Clocks in Networks of Timed Automata cs.FL · 2013 · author #2
9. Reachability under Contextual Locking cs.LO · 2013 · author #2
10. Satisfiability of ATL with strategy contexts cs.LO · 2013 · author #5
11. Petri Net Reachability Graphs: Decidability Status of First Order Properties cs.LO · 2012 · author #3
12. Forward Analysis for WSTS, Part II: Complete WSTS cs.LO · 2012 · author #2
13. Model Checking Vector Addition Systems with one zero-test cs.DM · 2012 · author #2
14. QRB-Domains and the Probabilistic Powerdomain cs.PL · 2012 · author #2
15. Relating timed and register automata cs.FL · 2010 · author #2
16. The complexity of linear-time temporal logic over the class of ordinals cs.LO · 2010 · author #2
17. Propositional Dynamic Logic for Message-Passing Systems cs.LO · 2010 · author #2

Mentions

• 1310.5558 #2 · backfill · confidence 0.70 ENS Cachan
• 1308.2349 #2 · backfill · confidence 0.70 ENS Cachan
• 1307.4478 #5 · backfill · confidence 0.70 ENS Cachan
• 1210.2972 #3 · backfill · confidence 0.70 ENS Cachan
• 1208.4549 #2 · backfill · confidence 0.70 ENS Cachan
• 1205.4458 #2 · backfill · confidence 0.70 ENS Cachan
• 1202.2287 #2 · backfill · confidence 0.70 ENS Cachan
• 1011.6432 #2 · backfill · confidence 0.70 ENS Cachan
• 1009.5206 #2 · backfill · confidence 0.70 ENS Cachan
• 1007.4764 #2 · backfill · confidence 0.70 ENS Cachan

Frequent Coauthors

• CNRS 9 shared papers
• France) 8 shared papers
• CNRS) 4 shared papers
• INRIA) 4 shared papers
• Nicolas Markey (LSV 3 shared papers
• Alain Finkel (LSV 2 shared papers
• Benedikt Bollig (LSV 2 shared papers
• Fran\c{c}ois Laroussinie (LIAFA 2 shared papers
• Germany) 2 shared papers
• Jean Goubault-Larrecq (LSV 2 shared papers
• Stephane Demri (LSV 2 shared papers
• Universit\'e Paris-Saclay 2 shared papers
• Univ. Paris Diderot 2 shared papers
• 2) 1 shared papers
• (2) Laboratoire Aim\'e Cotton 1 shared papers
• Alexander Rabinovich (School of CS 1 shared papers
• Anne Louchet-Chauvet (2) ((1) Institut Langevin 1 shared papers
• Arnaud Sangnier (LIAFA 1 shared papers
• Belgium) 1 shared papers
• Benjamin Monmege (Universit\'e Libre de Bruxelles 1 shared papers