Publications
Home > Spotlight > Publications
Exploring the Bidimensional Space: a Dynamic Logic Point of View
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. …

Balbiani Philippe, Fernández-Duque David, Lorini Emiliano

Preface
Annales de la Faculté des Sciences de Toulouse. Mathématiques., 2017, 26 (4), pp.1-2

Bakry Dominique, Cohen Serge, Hairer Martin, Roquejoffre Jean-Michel

Shifted Poisson structures and deformation quantization
Journal of topology, 2017, 10 (2), pp.483-584. ⟨10.1112/topo.12012⟩

Calaque Damien, Pantev Tony, Toën Bertrand, Vaquié Michel, Vezzosi Gabriele

Stable recovery of the factors from a deep matrix product
Signal Processing with Adaptive Sparse Structured Representations (SPARS) , 2017, Lisbonne, Portugal

Malgouyres François, Landsberg Joseph

Statistical significance based on the length and position of the local score in a model of i.i.d. sequences.
Bioinformatics, 2017, 33 (5), pp.654-660. ⟨10.1093/bioinformatics/btw699⟩

Lagnoux Agnes, Mercier Sabine, Vallois Pierre

Undecidable problems for modal definability
Journal of Logic and Computation, 2017, 27 (3), pp.901-920. ⟨10.1093/logcom/exv094⟩

Balbiani Philippe, Tinchev Tinko

Using inconsistency measures for estimating reliability
International Journal of Approximate Reasoning, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩

Cholvy Laurence, Perrussel Laurent, Thévenin Jean-Marc

A Comparison of Genetic Regulatory Network Dynamics and Encoding
Genetic and Evolutionary Computation COnference (GECCO 2017), Jul 2017, Berlin, Germany. pp.91-98, ⟨10.1145/3071178.3071322⟩

Disset Jean, Wilson Dennis, Cussat-Blanc Sylvain, Sanchez Stephane, Luga Hervé, Duthen Yves

Sorting out typicality with the inverse moment matrix SOS polynomial
30th Conference on Neural Information Processing Systems (NIPS 2016), Dec 2016, Barcelone, Spain. pp.1-16, ⟨10.48550/arXiv.1606.03858⟩

Lasserre Jean-Bernard, Pauwels Edouard

Metabolic Pathways as Temporal Logic Programs
15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. ⟨10.1007/978-3-319-48758-8_1⟩

Alliot Jean-Marc, Dieguez Martin, Fariñas del Cerro Luis