Show Menu
Hide Menu
Laboratório de Ciência da Computação
Opinião do orientador
Organograma
Organisation
Orientadores
Serviços Administrativos
IT Service
Conselho
Conselho do Laboratório
Conselho
Teaching
Como vir ao LIP6
Pesquisa
Axes & Teams
Publicações
Projetos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Relatório Anual
Avaliação
Our skills
Works with us
Software
Patentes
Start-ups
Empregos
Anuário
colóquio
🔒
📫
🇵🇹
🇫🇷
🇬🇧
🇵🇹
-
Computer Science Laboratory
Pesquisa
Publicações
Research reports
Current teams :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
Publicações PolSys
2021
2022
2023
2024
2025
Total
Livros
0
0
0
0
0
0
Livros Editados
0
0
0
0
0
0
Jornais
14
9
7
7
3
40
Capítulos de livros
0
0
0
0
1
1
Artigos de Conferencia
3
7
7
9
3
29
Habilitações (Livre Docência)
0
0
1
0
0
1
Teses
1
2
2
1
0
6
LIP6
E. Bartzos, I. Emiris, J. Legerský, E. Tsigaridas
: “
On the maximal number of real embeddings of minimally rigid graphs in $\mathbb{R}^2$, $\mathbb{R}^3$ and $S^2$
”, Journal of Symbolic Computation, (Elsevier) [Bartzos 2019]
M. Conde Pena, R. Durán Díaz, J.‑Ch. Faugère, L. Hernández Encinas, L. Perret
: “
Non-quantum cryptanalysis of the noisy version of Aaronson–Christiano's quantum money scheme
”, IET Information Security, vol. 13 (4), pp. 362-366, (Institution of Engineering and Technology) [Conde Pena 2019]
D. Henrion, S. Naldi, M. Safey El Din
: “
SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
”, Optimization Methods and Software, vol. 34 (1), pp. 62-78, (Taylor & Francis) [Henrion 2019]
V. Magron, A. Rocca, Th. Dang
: “
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
”, IEEE Transactions on Computers, vol. 68 (7), pp. 953-966, (Institute of Electrical and Electronics Engineers) [Magron 2019a]
V. Magron, M. Forets, D. Henrion
: “
Semidefinite Approximations of Invariant Measures for Polynomial Systems
”, Discrete and Continuous Dynamical Systems - Series B, vol. 24 (12), pp. 6745-6770, (American Institute of Mathematical Sciences) [Magron 2019b]
V. Magron, M. Safey El Din, M. Schweighofer
: “
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
”, Journal of Symbolic Computation, vol. 93, pp. 200-220, (Elsevier) [Magron 2019c]
L. Masure, C. Dumas, E. Prouff
: “
A Comprehensive Study of Deep Learning for Side-Channel Analysis
”, IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2020 (1), pp. 348-375, (IACR) [Masure 2019]