Equipes atuais :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Antigos grupos :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL Whisper
Antigos tópicos de pesquisa :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publicações PolSys	2016	2017	2018	2019	2020	2021	Total
Livros	0	0	0	0	0	0	0
Livros Editados	0	0	0	0	1	0	1
Jornais	10	8	10	8	11	0	47
Capítulos de livros	1	0	0	0	0	0	1
Artigos de Conferencia	15	6	10	5	3	0	39
Habilitações (Livre Docência)	2	0	0	0	0	0	2
Teses	2	1	0	1	0	0	4

LIP6

• M. Burr, Sh. Gao, E. Tsigaridas : “The Complexity of Subdivision for Diameter-Distance Tests”, Journal of Symbolic Computation, (Elsevier) [Burr 2018]
• H. Chabanne, H. Maghrebi, E. Prouff : “Linear Repairing Codes and Side-Channel Attacks”, IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2018 (1), pp. 118-141, (IACR) [Chabanne 2018]
• H. Fawzi, M. Safey El Din : “A lower bound on the positive semidefinite rank of convex bodies”, SIAM Journal on Applied Algebra and Geometry, vol. 2 (1), pp. 126-139, (Society for Industrial and Applied Mathematics) [Fawzi 2018]
• G. Grasegger, Ch. Koutschan, E. Tsigaridas : “Lower bounds on the number of realizations of rigid graphs”, Experimental Mathematics, pp. 1-22, (Taylor & Francis) [Grasegger 2018]
• J.‑B. Lasserre, V. Magron : “Optimal data fitting: a moment approach”, SIAM Journal on Optimization, vol. 28 (4), pp. 3127-3144, (Society for Industrial and Applied Mathematics) [Lasserre 2018]
• V. Magron : “Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming”, ACM Transactions on Mathematical Software, vol. 44 (4), pp. 41:1-41:18, (Association for Computing Machinery) [Magron 2018a]
• V. Magron, A. Rocca, Th. Dang : “Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations”, IEEE Transactions on Computers, (Institute of Electrical and Electronics Engineers) [Magron 2018b]
• V. Magron, M. Safey El Din : “RealCertify: a Maple package for certifying non-negativity”, ACM Communications in Computer Algebra, vol. 52 (2), pp. 34-37, (Association for Computing Machinery (ACM)) [Magron 2018e]
• M. Safey El Din, E. Schost : “Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization”, Journal of Symbolic Computation, vol. 87, pp. 176-206, (Elsevier) [Safey El Din 2018a]
• A. Strzebonski, E. Tsigaridas : “Univariate real root isolation in an extension field and applications”, Journal of Symbolic Computation, (Elsevier) [Strzebonski 2018]