L
Laboratoire d'Informatique de l'École Polytechnique
Palaiseau, France
5,557
Publications
143,177
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (3,031)
- Preprint (1,314)
- Book Chapter (794)
- Dissertation (77)
- Book (48)
Filter by Open Access Type
- Open Access (1,933)
- Closed Access (3,448)
Filter by Authors
- Leo Liberti (254)
- Catuscia Palamidessi (161)
- Joris van der Hoeven (134)
- Michel Fliess (132)
- Maks Ovsjanikov (121)
Filter by Topics
- Logic, programming, and type systems (609)
- Formal Methods in Verification (466)
- Logic, Reasoning, and Knowledge (419)
- Polynomial and algebraic computation (227)
- Advanced Combinatorial Mathematics (225)